runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255260-1501618434/watcher-4255260-1501618434 -o /tmp/evaluation-result-4255260-1501618434/solver-4255260-1501618434 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501617027-7473 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1933588072 HOME/instance-4255260-1501618434.xml
pid=10806
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.88 1.90 1.79 2/195 10809
/proc/meminfo: memFree=30406604/32770624 swapFree=0/969528
[pid=10809] ppid=10806 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10809/stat : 10809 (runsolver) D 10806 10809 5678 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10468152 24240128 107 18446744073709551615 4194304 4338465 140732734825536 140732734823176 140074142831319 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 20791296 140732734832733 140732734833222 140732734833222 140732734836682 0
/proc/10809/statm: 5918 107 54 36 0 2156 0
[startup+0.100139 s]
/proc/loadavg: 1.88 1.90 1.79 2/195 10809
/proc/meminfo: memFree=30406604/32770624 swapFree=0/969528
[pid=10809] ppid=10806 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10809/stat : 10809 (xcsp3-exec) S 10806 10809 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10468152 9740288 345 18446744073709551615 4194304 5098028 140733632515360 140733632513464 139992268776060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 25006080 140733632520603 140733632520807 140733632520807 140733632524267 0
/proc/10809/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.207348 s]
/proc/loadavg: 1.88 1.90 1.79 2/195 10809
/proc/meminfo: memFree=30406604/32770624 swapFree=0/969528
[pid=10809] ppid=10806 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10809/stat : 10809 (xcsp3-exec) S 10806 10809 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10468152 9740288 345 18446744073709551615 4194304 5098028 140733632515360 140733632513464 139992268776060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 25006080 140733632520603 140733632520807 140733632520807 140733632524267 0
/proc/10809/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300653 s]
/proc/loadavg: 1.88 1.90 1.79 2/195 10809
/proc/meminfo: memFree=30406604/32770624 swapFree=0/969528
[pid=10809] ppid=10806 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10809/stat : 10809 (xcsp3-exec) S 10806 10809 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10468152 9740288 345 18446744073709551615 4194304 5098028 140733632515360 140733632513464 139992268776060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 25006080 140733632520603 140733632520807 140733632520807 140733632524267 0
/proc/10809/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.703204 s]
/proc/loadavg: 1.88 1.90 1.79 2/195 10809
/proc/meminfo: memFree=30406604/32770624 swapFree=0/969528
[pid=10809] ppid=10806 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10809/stat : 10809 (xcsp3-exec) S 10806 10809 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10468152 9740288 345 18446744073709551615 4194304 5098028 140733632515360 140733632513464 139992268776060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 25006080 140733632520603 140733632520807 140733632520807 140733632524267 0
/proc/10809/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 1.88 1.90 1.79 5/211 10825
/proc/meminfo: memFree=30282104/32770624 swapFree=0/969564
[pid=10809] ppid=10806 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10809/stat : 10809 (xcsp3-exec) S 10806 10809 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10468152 9740288 345 18446744073709551615 4194304 5098028 140733632515360 140733632513464 139992268776060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 25006080 140733632520603 140733632520807 140733632520807 140733632524267 0
/proc/10809/statm: 2378 345 289 221 0 87 0
[pid=10811] ppid=10809 vsize=13985808 CPUtime=4.11 cores=1,3,5,7
/proc/10811/stat : 10811 (java) S 10809 10809 5678 0 -1 1077944320 33647 0 0 0 402 9 0 0 20 0 15 0 10468158 14321467392 52025 18446744073709551615 4194304 4196468 140721531254624 140721531237168 140454997151479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
/proc/10811/statm: 3496452 52025 3185 1 0 3484753 0
[pid=10811/tid=10812] ppid=10809 vsize=13985808 CPUtime=1.37 cores=1,3,5,7
/proc/10811/task/10812/stat : 10812 (java) R 10809 10809 5678 0 -1 4202560 10373 0 0 0 132 5 0 0 20 0 15 0 10468158 14321467392 52025 18446744073709551615 4194304 4196468 140721531254624 140455001389232 140454645078571 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10813] ppid=10809 vsize=13985808 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10813/stat : 10813 (java) S 10809 10809 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10468159 14321467392 52025 18446744073709551615 4194304 4196468 140721531254624 140454597573392 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10814] ppid=10809 vsize=13985808 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10814/stat : 10814 (java) S 10809 10809 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10468159 14321467392 52025 18446744073709551615 4194304 4196468 140721531254624 140454596520848 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10815] ppid=10809 vsize=13985808 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10815/stat : 10815 (java) S 10809 10809 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10468159 14321467392 52025 18446744073709551615 4194304 4196468 140721531254624 140454595468304 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10816] ppid=10809 vsize=13985808 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10816/stat : 10816 (java) S 10809 10809 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10468159 14321467392 52025 18446744073709551615 4194304 4196468 140721531254624 140454594415760 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10817] ppid=10809 vsize=13985808 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10817/stat : 10817 (java) S 10809 10809 5678 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10468160 14321467392 52025 18446744073709551615 4194304 4196468 140721531254624 140454475532272 140454997162626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10818] ppid=10809 vsize=13985808 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10818/stat : 10818 (java) S 10809 10809 5678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10468160 14321467392 52025 18446744073709551615 4194304 4196468 140721531254624 140454474478496 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10819] ppid=10809 vsize=13985808 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10819/stat : 10819 (java) S 10809 10809 5678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10468161 14321467392 52025 18446744073709551615 4194304 4196468 140721531254624 140454473425904 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10820] ppid=10809 vsize=13985808 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10820/stat : 10820 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14321467392 52025 18446744073709551615 4194304 4196468 140721531254624 140454472374480 140454997170075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10821] ppid=10809 vsize=13985808 CPUtime=1.04 cores=1,3,5,7
/proc/10811/task/10821/stat : 10821 (java) R 10809 10809 5678 0 -1 4202560 9100 0 0 0 103 1 0 0 20 0 15 0 10468163 14321467392 52025 18446744073709551615 4194304 4196468 140721531254624 140454471307560 140454989440861 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10822] ppid=10809 vsize=13985808 CPUtime=1.07 cores=1,3,5,7
/proc/10811/task/10822/stat : 10822 (java) R 10809 10809 5678 0 -1 4202560 8694 0 0 0 106 1 0 0 20 0 15 0 10468163 14321467392 52025 18446744073709551615 4194304 4196468 140721531254624 140454470254600 140454978696440 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10823] ppid=10809 vsize=13985808 CPUtime=0.6 cores=1,3,5,7
/proc/10811/task/10823/stat : 10823 (java) S 10809 10809 5678 0 -1 1077944384 4177 0 0 0 59 1 0 0 20 0 15 0 10468163 14321467392 52025 18446744073709551615 4194304 4196468 140721531254624 140454469217008 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10824] ppid=10809 vsize=13985808 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10824/stat : 10824 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14321467392 52091 18446744073709551615 4194304 4196468 140721531254624 140454468164704 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10825] ppid=10809 vsize=13985808 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10825/stat : 10825 (java) S 10809 10809 5678 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 10468168 14321467392 52091 18446744073709551615 4194304 4196468 140721531254624 140454467111216 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 13995320
[startup+3.10073 s]
/proc/loadavg: 1.88 1.90 1.79 5/211 10825
/proc/meminfo: memFree=30191928/32770624 swapFree=0/969560
[pid=10809] ppid=10806 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10809/stat : 10809 (xcsp3-exec) S 10806 10809 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10468152 9740288 345 18446744073709551615 4194304 5098028 140733632515360 140733632513464 139992268776060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 25006080 140733632520603 140733632520807 140733632520807 140733632524267 0
/proc/10809/statm: 2378 345 289 221 0 87 0
[pid=10811] ppid=10809 vsize=13980732 CPUtime=8.98 cores=1,3,5,7
/proc/10811/stat : 10811 (java) S 10809 10809 5678 0 -1 1077944320 38296 0 0 0 887 11 0 0 20 0 15 0 10468158 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140721531237168 140454997151479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
/proc/10811/statm: 3495183 57891 3200 1 0 3483484 0
[pid=10811/tid=10812] ppid=10809 vsize=13980732 CPUtime=2.98 cores=1,3,5,7
/proc/10811/task/10812/stat : 10812 (java) R 10809 10809 5678 0 -1 4202560 10573 0 0 0 292 6 0 0 20 0 15 0 10468158 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140455001386416 140454997163414 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10813] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10813/stat : 10813 (java) S 10809 10809 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10468159 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140454597573392 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10814] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10814/stat : 10814 (java) S 10809 10809 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10468159 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140454596520848 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10815] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10815/stat : 10815 (java) S 10809 10809 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10468159 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140454595468304 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10816] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10816/stat : 10816 (java) S 10809 10809 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10468159 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140454594415760 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10817] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10817/stat : 10817 (java) S 10809 10809 5678 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 10468160 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140454475532272 140454997162626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10818] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10818/stat : 10818 (java) S 10809 10809 5678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10468160 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140454474478496 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10819] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10819/stat : 10819 (java) S 10809 10809 5678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10468161 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140454473425904 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10820] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10820/stat : 10820 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140454472374480 140454997170075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10821] ppid=10809 vsize=13980732 CPUtime=2.64 cores=1,3,5,7
/proc/10811/task/10821/stat : 10821 (java) R 10809 10809 5678 0 -1 4202560 11121 0 0 0 263 1 0 0 20 0 15 0 10468163 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140454471308528 140454982031695 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10822] ppid=10809 vsize=13980732 CPUtime=2.66 cores=1,3,5,7
/proc/10811/task/10822/stat : 10822 (java) R 10809 10809 5678 0 -1 4202560 10570 0 0 0 265 1 0 0 20 0 15 0 10468163 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140454470250752 140454980651685 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10823] ppid=10809 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/10811/task/10823/stat : 10823 (java) R 10809 10809 5678 0 -1 1077944384 4300 0 0 0 65 1 0 0 20 0 15 0 10468163 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140454469217008 140454997162626 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10824] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10824/stat : 10824 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140454468164704 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10825] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10825/stat : 10825 (java) S 10809 10809 5678 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 10468168 14316269568 57891 18446744073709551615 4194304 4196468 140721531254624 140454467111216 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
Current children cumulated CPU time (s) 8.98
Current children cumulated vsize (KiB) 13990244
[startup+6.30064 s]
/proc/loadavg: 1.97 1.92 1.79 3/211 10831
/proc/meminfo: memFree=30130712/32770624 swapFree=0/969572
[pid=10809] ppid=10806 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10809/stat : 10809 (xcsp3-exec) S 10806 10809 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10468152 9740288 345 18446744073709551615 4194304 5098028 140733632515360 140733632513464 139992268776060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 25006080 140733632520603 140733632520807 140733632520807 140733632524267 0
/proc/10809/statm: 2378 345 289 221 0 87 0
[pid=10811] ppid=10809 vsize=13980732 CPUtime=14.14 cores=1,3,5,7
/proc/10811/stat : 10811 (java) S 10809 10809 5678 0 -1 1077944320 49499 0 0 0 1397 17 0 0 20 0 15 0 10468158 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140721531237168 140454997151479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
/proc/10811/statm: 3495183 71666 3220 1 0 3483484 0
[pid=10811/tid=10812] ppid=10809 vsize=13980732 CPUtime=6.11 cores=1,3,5,7
/proc/10811/task/10812/stat : 10812 (java) R 10809 10809 5678 0 -1 4202560 11156 0 0 0 605 6 0 0 20 0 15 0 10468158 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140455001386688 140454645882989 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10813] ppid=10809 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/10811/task/10813/stat : 10813 (java) S 10809 10809 5678 0 -1 1077944384 396 0 0 0 4 1 0 0 20 0 15 0 10468159 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140454597573392 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10814] ppid=10809 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/10811/task/10814/stat : 10814 (java) S 10809 10809 5678 0 -1 1077944384 79 0 0 0 4 1 0 0 20 0 15 0 10468159 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140454596520848 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10815] ppid=10809 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10811/task/10815/stat : 10815 (java) S 10809 10809 5678 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 10468159 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140454595468304 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10816] ppid=10809 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/10811/task/10816/stat : 10816 (java) S 10809 10809 5678 0 -1 1077944384 59 0 0 0 2 1 0 0 20 0 15 0 10468159 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140454594415760 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10817] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10817/stat : 10817 (java) S 10809 10809 5678 0 -1 1077944384 659 0 0 0 0 0 0 0 20 0 15 0 10468160 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140454475532272 140454997162626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10818] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10818/stat : 10818 (java) S 10809 10809 5678 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10468160 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140454474478496 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10819] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10819/stat : 10819 (java) S 10809 10809 5678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10468161 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140454473425904 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10820] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10820/stat : 10820 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140454472374480 140454997170075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10821] ppid=10809 vsize=13980732 CPUtime=3.65 cores=1,3,5,7
/proc/10811/task/10821/stat : 10821 (java) S 10809 10809 5678 0 -1 1077944384 14519 0 0 0 363 2 0 0 20 0 15 0 10468163 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140454471322096 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10822] ppid=10809 vsize=13980732 CPUtime=3.45 cores=1,3,5,7
/proc/10811/task/10822/stat : 10822 (java) S 10809 10809 5678 0 -1 1077944384 14774 0 0 0 344 1 0 0 20 0 15 0 10468163 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140454470269552 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10823] ppid=10809 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/10811/task/10823/stat : 10823 (java) S 10809 10809 5678 0 -1 1077944384 5232 0 0 0 69 1 0 0 20 0 15 0 10468163 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140454469217008 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10824] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10824/stat : 10824 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140454468164704 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10825] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10825/stat : 10825 (java) S 10809 10809 5678 0 -1 1077944384 1014 0 0 0 0 0 0 0 20 0 15 0 10468168 14316269568 71666 18446744073709551615 4194304 4196468 140721531254624 140454467111216 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
Current children cumulated CPU time (s) 14.14
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.97 1.92 1.79 3/211 10831
/proc/meminfo: memFree=30132880/32770624 swapFree=0/969584
[pid=10809] ppid=10806 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10809/stat : 10809 (xcsp3-exec) S 10806 10809 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10468152 9740288 345 18446744073709551615 4194304 5098028 140733632515360 140733632513464 139992268776060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 25006080 140733632520603 140733632520807 140733632520807 140733632524267 0
/proc/10809/statm: 2378 345 289 221 0 87 0
[pid=10811] ppid=10809 vsize=13980732 CPUtime=20.96 cores=1,3,5,7
/proc/10811/stat : 10811 (java) S 10809 10809 5678 0 -1 1077944320 52254 0 0 0 2059 37 0 0 20 0 15 0 10468158 14316269568 105159 18446744073709551615 4194304 4196468 140721531254624 140721531237168 140454997151479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
/proc/10811/statm: 3495183 105159 3227 1 0 3483484 0
[pid=10811/tid=10812] ppid=10809 vsize=13980732 CPUtime=12.38 cores=1,3,5,7
/proc/10811/task/10812/stat : 10812 (java) R 10809 10809 5678 0 -1 4202560 11294 0 0 0 1232 6 0 0 20 0 15 0 10468158 14316269568 105159 18446744073709551615 4194304 4196468 140721531254624 140455001389680 140454645882920 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10813] ppid=10809 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/10811/task/10813/stat : 10813 (java) S 10809 10809 5678 0 -1 1077944384 645 0 0 0 11 6 0 0 20 0 15 0 10468159 14316269568 105159 18446744073709551615 4194304 4196468 140721531254624 140454597573392 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10814] ppid=10809 vsize=13980732 CPUtime=0.18 cores=1,3,5,7
/proc/10811/task/10814/stat : 10814 (java) S 10809 10809 5678 0 -1 1077944384 301 0 0 0 12 6 0 0 20 0 15 0 10468159 14316269568 105159 18446744073709551615 4194304 4196468 140721531254624 140454596520848 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
################
# More data... #
################
[pid=10811/tid=10818] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10818/stat : 10818 (java) S 10809 10809 5678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10468160 14316269568 394615 18446744073709551615 4194304 4196468 140721531254624 140454474478560 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10819] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10819/stat : 10819 (java) S 10809 10809 5678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10468161 14316269568 394615 18446744073709551615 4194304 4196468 140721531254624 140454473425920 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10820] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10820/stat : 10820 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14316269568 394615 18446744073709551615 4194304 4196468 140721531254624 140454472374480 140454997170075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10821] ppid=10809 vsize=13980732 CPUtime=5.48 cores=1,3,5,7
/proc/10811/task/10821/stat : 10821 (java) S 10809 10809 5678 0 -1 1077944384 19651 0 0 0 546 2 0 0 20 0 15 0 10468163 14316269568 394615 18446744073709551615 4194304 4196468 140721531254624 140454471322096 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10822] ppid=10809 vsize=13980732 CPUtime=5.07 cores=1,3,5,7
/proc/10811/task/10822/stat : 10822 (java) S 10809 10809 5678 0 -1 1077944384 19213 0 0 0 506 1 0 0 20 0 15 0 10468163 14316269568 394615 18446744073709551615 4194304 4196468 140721531254624 140454470269552 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10823] ppid=10809 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/10811/task/10823/stat : 10823 (java) S 10809 10809 5678 0 -1 1077944384 9213 0 0 0 92 1 0 0 20 0 15 0 10468163 14316269568 394615 18446744073709551615 4194304 4196468 140721531254624 140454469217008 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10824] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10824/stat : 10824 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14316269568 394615 18446744073709551615 4194304 4196468 140721531254624 140454468164704 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10825] ppid=10809 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/10811/task/10825/stat : 10825 (java) S 10809 10809 5678 0 -1 1077944384 1125 0 0 0 1 2 0 0 20 0 15 0 10468168 14316269568 394615 18446744073709551615 4194304 4196468 140721531254624 140454467111216 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
Current children cumulated CPU time (s) 121.03
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.75 1.81 1.77 3/215 10864
/proc/meminfo: memFree=29126048/32770624 swapFree=0/969712
[pid=10809] ppid=10806 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10809/stat : 10809 (xcsp3-exec) S 10806 10809 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10468152 9740288 345 18446744073709551615 4194304 5098028 140733632515360 140733632513464 139992268776060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 25006080 140733632520603 140733632520807 140733632520807 140733632524267 0
/proc/10809/statm: 2378 345 289 221 0 87 0
[pid=10811] ppid=10809 vsize=13980732 CPUtime=181.49 cores=1,3,5,7
/proc/10811/stat : 10811 (java) S 10809 10809 5678 0 -1 1077944320 108593 0 0 0 18024 125 0 0 20 0 15 0 10468158 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140721531237168 140454997151479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
/proc/10811/statm: 3495183 423298 3246 1 0 3483484 0
[pid=10811/tid=10812] ppid=10809 vsize=13980732 CPUtime=159.23 cores=1,3,5,7
/proc/10811/task/10812/stat : 10812 (java) R 10809 10809 5678 0 -1 4202560 21364 0 0 0 15908 15 0 0 20 0 15 0 10468158 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140455001387760 140454649613651 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10813] ppid=10809 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/10811/task/10813/stat : 10813 (java) S 10809 10809 5678 0 -1 1077944384 7713 0 0 0 227 25 0 0 20 0 15 0 10468159 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140454597573392 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10814] ppid=10809 vsize=13980732 CPUtime=2.56 cores=1,3,5,7
/proc/10811/task/10814/stat : 10814 (java) S 10809 10809 5678 0 -1 1077944384 7276 0 0 0 230 26 0 0 20 0 15 0 10468159 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140454596520848 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10815] ppid=10809 vsize=13980732 CPUtime=2.5 cores=1,3,5,7
/proc/10811/task/10815/stat : 10815 (java) S 10809 10809 5678 0 -1 1077944384 6333 0 0 0 227 23 0 0 20 0 15 0 10468159 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140454595468304 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10816] ppid=10809 vsize=13980732 CPUtime=2.53 cores=1,3,5,7
/proc/10811/task/10816/stat : 10816 (java) S 10809 10809 5678 0 -1 1077944384 6242 0 0 0 229 24 0 0 20 0 15 0 10468159 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140454594415760 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10817] ppid=10809 vsize=13980732 CPUtime=0.34 cores=1,3,5,7
/proc/10811/task/10817/stat : 10817 (java) S 10809 10809 5678 0 -1 1077944384 4721 0 0 0 33 1 0 0 20 0 15 0 10468160 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140454475532272 140454997162626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10818] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10818/stat : 10818 (java) S 10809 10809 5678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10468160 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140454474478560 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10819] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10819/stat : 10819 (java) S 10809 10809 5678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10468161 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140454473425920 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10820] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10820/stat : 10820 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140454472374480 140454997170075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10821] ppid=10809 vsize=13980732 CPUtime=5.51 cores=1,3,5,7
/proc/10811/task/10821/stat : 10821 (java) S 10809 10809 5678 0 -1 1077944384 20069 0 0 0 549 2 0 0 20 0 15 0 10468163 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140454471322096 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10822] ppid=10809 vsize=13980732 CPUtime=5.22 cores=1,3,5,7
/proc/10811/task/10822/stat : 10822 (java) S 10809 10809 5678 0 -1 1077944384 21702 0 0 0 520 2 0 0 20 0 15 0 10468163 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140454470269552 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10823] ppid=10809 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/10811/task/10823/stat : 10823 (java) S 10809 10809 5678 0 -1 1077944384 10633 0 0 0 93 1 0 0 20 0 15 0 10468163 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140454469217008 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10824] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10824/stat : 10824 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140454468164704 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10825] ppid=10809 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/10811/task/10825/stat : 10825 (java) S 10809 10809 5678 0 -1 1077944384 1169 0 0 0 2 3 0 0 20 0 15 0 10468168 14316269568 423298 18446744073709551615 4194304 4196468 140721531254624 140454467111216 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
Current children cumulated CPU time (s) 181.49
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 2.03 1.87 1.79 3/212 10944
/proc/meminfo: memFree=29235316/32770624 swapFree=0/969788
[pid=10809] ppid=10806 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10809/stat : 10809 (xcsp3-exec) S 10806 10809 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10468152 9740288 345 18446744073709551615 4194304 5098028 140733632515360 140733632513464 139992268776060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 25006080 140733632520603 140733632520807 140733632520807 140733632524267 0
/proc/10809/statm: 2378 345 289 221 0 87 0
[pid=10811] ppid=10809 vsize=13980732 CPUtime=241.73 cores=1,3,5,7
/proc/10811/stat : 10811 (java) S 10809 10809 5678 0 -1 1077944320 115416 0 0 0 24044 129 0 0 20 0 15 0 10468158 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140721531237168 140454997151479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
/proc/10811/statm: 3495183 430444 3246 1 0 3483484 0
[pid=10811/tid=10812] ppid=10809 vsize=13980732 CPUtime=219.17 cores=1,3,5,7
/proc/10811/task/10812/stat : 10812 (java) R 10809 10809 5678 0 -1 4202560 24671 0 0 0 21902 15 0 0 20 0 15 0 10468158 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140455001390912 140454649614195 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10813] ppid=10809 vsize=13980732 CPUtime=2.59 cores=1,3,5,7
/proc/10811/task/10813/stat : 10813 (java) S 10809 10809 5678 0 -1 1077944384 8411 0 0 0 233 26 0 0 20 0 15 0 10468159 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140454597573392 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10814] ppid=10809 vsize=13980732 CPUtime=2.62 cores=1,3,5,7
/proc/10811/task/10814/stat : 10814 (java) S 10809 10809 5678 0 -1 1077944384 7762 0 0 0 236 26 0 0 20 0 15 0 10468159 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140454596520848 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10815] ppid=10809 vsize=13980732 CPUtime=2.58 cores=1,3,5,7
/proc/10811/task/10815/stat : 10815 (java) S 10809 10809 5678 0 -1 1077944384 7238 0 0 0 234 24 0 0 20 0 15 0 10468159 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140454595468304 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10816] ppid=10809 vsize=13980732 CPUtime=2.59 cores=1,3,5,7
/proc/10811/task/10816/stat : 10816 (java) S 10809 10809 5678 0 -1 1077944384 6976 0 0 0 234 25 0 0 20 0 15 0 10468159 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140454594415760 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10817] ppid=10809 vsize=13980732 CPUtime=0.35 cores=1,3,5,7
/proc/10811/task/10817/stat : 10817 (java) S 10809 10809 5678 0 -1 1077944384 4969 0 0 0 34 1 0 0 20 0 15 0 10468160 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140454475532272 140454997162626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10818] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10818/stat : 10818 (java) S 10809 10809 5678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10468160 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140454474478560 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10819] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10819/stat : 10819 (java) S 10809 10809 5678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10468161 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140454473425920 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10820] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10820/stat : 10820 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140454472374480 140454997170075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10821] ppid=10809 vsize=13980732 CPUtime=5.51 cores=1,3,5,7
/proc/10811/task/10821/stat : 10821 (java) S 10809 10809 5678 0 -1 1077944384 20077 0 0 0 549 2 0 0 20 0 15 0 10468163 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140454471322096 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10822] ppid=10809 vsize=13980732 CPUtime=5.22 cores=1,3,5,7
/proc/10811/task/10822/stat : 10822 (java) S 10809 10809 5678 0 -1 1077944384 21705 0 0 0 520 2 0 0 20 0 15 0 10468163 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140454470269552 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10823] ppid=10809 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/10811/task/10823/stat : 10823 (java) S 10809 10809 5678 0 -1 1077944384 11027 0 0 0 93 1 0 0 20 0 15 0 10468163 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140454469217008 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10824] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10824/stat : 10824 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140454468164704 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10825] ppid=10809 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/10811/task/10825/stat : 10825 (java) S 10809 10809 5678 0 -1 1077944384 1209 0 0 0 2 4 0 0 20 0 15 0 10468168 14316269568 430444 18446744073709551615 4194304 4196468 140721531254624 140454467111216 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
Current children cumulated CPU time (s) 241.73
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.08 1.89 1.80 3/212 10944
/proc/meminfo: memFree=29194296/32770624 swapFree=0/969796
[pid=10809] ppid=10806 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10809/stat : 10809 (xcsp3-exec) S 10806 10809 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10468152 9740288 345 18446744073709551615 4194304 5098028 140733632515360 140733632513464 139992268776060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 25006080 140733632520603 140733632520807 140733632520807 140733632524267 0
/proc/10809/statm: 2378 345 289 221 0 87 0
[pid=10811] ppid=10809 vsize=13980732 CPUtime=259.48 cores=1,3,5,7
/proc/10811/stat : 10811 (java) S 10809 10809 5678 0 -1 1077944320 116343 0 0 0 25818 130 0 0 20 0 15 0 10468158 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140721531237168 140454997151479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
/proc/10811/statm: 3495183 430439 3246 1 0 3483484 0
[pid=10811/tid=10812] ppid=10809 vsize=13980732 CPUtime=236.84 cores=1,3,5,7
/proc/10811/task/10812/stat : 10812 (java) R 10809 10809 5678 0 -1 4202560 25584 0 0 0 23669 15 0 0 20 0 15 0 10468158 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140455001390592 140454648981074 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10813] ppid=10809 vsize=13980732 CPUtime=2.61 cores=1,3,5,7
/proc/10811/task/10813/stat : 10813 (java) S 10809 10809 5678 0 -1 1077944384 8416 0 0 0 235 26 0 0 20 0 15 0 10468159 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140454597573392 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10814] ppid=10809 vsize=13980732 CPUtime=2.64 cores=1,3,5,7
/proc/10811/task/10814/stat : 10814 (java) S 10809 10809 5678 0 -1 1077944384 7764 0 0 0 238 26 0 0 20 0 15 0 10468159 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140454596520848 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10815] ppid=10809 vsize=13980732 CPUtime=2.59 cores=1,3,5,7
/proc/10811/task/10815/stat : 10815 (java) S 10809 10809 5678 0 -1 1077944384 7238 0 0 0 235 24 0 0 20 0 15 0 10468159 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140454595468304 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10816] ppid=10809 vsize=13980732 CPUtime=2.61 cores=1,3,5,7
/proc/10811/task/10816/stat : 10816 (java) S 10809 10809 5678 0 -1 1077944384 6979 0 0 0 236 25 0 0 20 0 15 0 10468159 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140454594415760 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10817] ppid=10809 vsize=13980732 CPUtime=0.35 cores=1,3,5,7
/proc/10811/task/10817/stat : 10817 (java) S 10809 10809 5678 0 -1 1077944384 4971 0 0 0 34 1 0 0 20 0 15 0 10468160 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140454475532272 140454997162626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10818] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10818/stat : 10818 (java) S 10809 10809 5678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10468160 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140454474478560 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10819] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10819/stat : 10819 (java) S 10809 10809 5678 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10468161 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140454473425920 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10820] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10820/stat : 10820 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140454472374480 140454997170075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10821] ppid=10809 vsize=13980732 CPUtime=5.51 cores=1,3,5,7
/proc/10811/task/10821/stat : 10821 (java) S 10809 10809 5678 0 -1 1077944384 20077 0 0 0 549 2 0 0 20 0 15 0 10468163 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140454471322096 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10822] ppid=10809 vsize=13980732 CPUtime=5.22 cores=1,3,5,7
/proc/10811/task/10822/stat : 10822 (java) S 10809 10809 5678 0 -1 1077944384 21705 0 0 0 520 2 0 0 20 0 15 0 10468163 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140454470269552 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10823] ppid=10809 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/10811/task/10823/stat : 10823 (java) S 10809 10809 5678 0 -1 1077944384 11027 0 0 0 93 1 0 0 20 0 15 0 10468163 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140454469217008 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10824] ppid=10809 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10811/task/10824/stat : 10824 (java) S 10809 10809 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10468163 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140454468164704 140454997161685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
[pid=10811/tid=10825] ppid=10809 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/10811/task/10825/stat : 10825 (java) S 10809 10809 5678 0 -1 1077944384 1211 0 0 0 3 5 0 0 20 0 15 0 10468168 14316269568 430439 18446744073709551615 4194304 4196468 140721531254624 140454467111216 140454997162626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38940672 140721531257300 140721531257475 140721531257475 140721531260879 0
Current children cumulated CPU time (s) 259.48
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10811 sig 9
??? kill 10809 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10809 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=941
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=941
# CPU time returned by wait4() is 0.001882
# while last known CPU time is 259.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.011
CPU time (s): 259.48
CPU user time (s): 258.18
CPU system time (s): 1.3
CPU usage (%): 108.112
Max. virtual memory (cumulated for all children) (KiB): 13995320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000941
system time used= 0.000941
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07419 second user time and 1.51279 second system time
The end