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-4254946-1501621669/watcher-4254946-1501621669 -o /tmp/evaluation-result-4254946-1501621669/solver-4254946-1501621669 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501617193-9962 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 885730385 HOME/instance-4254946-1501621669.xml
pid=12866
running on 4 cores: 0,2,4,6
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.33 1.50 1.69 3/196 12869
/proc/meminfo: memFree=31501044/32770624 swapFree=0/193228
[pid=12869] ppid=12866 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12869/stat : 12869 (runsolver) D 12866 12869 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10787164 24240128 107 18446744073709551615 4194304 4338465 140729710936912 140729710934552 139760945562327 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 10526720 140729710940254 140729710940742 140729710940742 140729710944202 0
/proc/12869/statm: 5918 107 54 36 0 2156 0
[startup+0.100106 s]
/proc/loadavg: 1.33 1.50 1.69 3/196 12869
/proc/meminfo: memFree=31501044/32770624 swapFree=0/193228
[pid=12869] ppid=12866 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12869/stat : 12869 (xcsp3-exec) S 12866 12869 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10787164 9740288 345 18446744073709551615 4194304 5098028 140737202096544 140737202094648 140435356803708 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24936448 140737202102684 140737202102887 140737202102887 140737202106347 0
/proc/12869/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20128 s]
/proc/loadavg: 1.33 1.50 1.69 3/196 12869
/proc/meminfo: memFree=31501044/32770624 swapFree=0/193228
[pid=12869] ppid=12866 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12869/stat : 12869 (xcsp3-exec) S 12866 12869 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10787164 9740288 345 18446744073709551615 4194304 5098028 140737202096544 140737202094648 140435356803708 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24936448 140737202102684 140737202102887 140737202102887 140737202106347 0
/proc/12869/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.305699 s]
/proc/loadavg: 1.33 1.50 1.69 3/196 12869
/proc/meminfo: memFree=31501044/32770624 swapFree=0/193228
[pid=12869] ppid=12866 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12869/stat : 12869 (xcsp3-exec) S 12866 12869 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10787164 9740288 345 18446744073709551615 4194304 5098028 140737202096544 140737202094648 140435356803708 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24936448 140737202102684 140737202102887 140737202102887 140737202106347 0
/proc/12869/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700308 s]
/proc/loadavg: 1.33 1.50 1.69 3/196 12869
/proc/meminfo: memFree=31501044/32770624 swapFree=0/193228
[pid=12869] ppid=12866 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12869/stat : 12869 (xcsp3-exec) S 12866 12869 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10787164 9740288 345 18446744073709551615 4194304 5098028 140737202096544 140737202094648 140435356803708 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24936448 140737202102684 140737202102887 140737202102887 140737202106347 0
/proc/12869/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50065 s]
/proc/loadavg: 1.33 1.50 1.69 4/212 12885
/proc/meminfo: memFree=31414828/32770624 swapFree=0/193256
[pid=12869] ppid=12866 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12869/stat : 12869 (xcsp3-exec) S 12866 12869 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10787164 9740288 345 18446744073709551615 4194304 5098028 140737202096544 140737202094648 140435356803708 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24936448 140737202102684 140737202102887 140737202102887 140737202106347 0
/proc/12869/statm: 2378 345 289 221 0 87 0
[pid=12871] ppid=12869 vsize=13980732 CPUtime=2.95 cores=0,2,4,6
/proc/12871/stat : 12871 (java) S 12869 12869 5131 0 -1 1077944320 18026 0 0 0 289 6 0 0 20 0 15 0 10787172 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 140733317277856 139794814754551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
/proc/12871/statm: 3495183 26644 3175 1 0 3483484 0
[pid=12871/tid=12872] ppid=12869 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/12871/task/12872/stat : 12872 (java) R 12869 12869 5131 0 -1 4202560 8865 0 0 0 133 3 0 0 20 0 15 0 10787173 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794818992864 139794428577180 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12873] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12873/stat : 12873 (java) S 12869 12869 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10787173 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794749188368 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12874] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12874/stat : 12874 (java) S 12869 12869 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10787173 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794748135824 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12875] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12875/stat : 12875 (java) S 12869 12869 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10787173 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794747083280 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12876] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12876/stat : 12876 (java) S 12869 12869 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10787173 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794746030736 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12877] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12877/stat : 12877 (java) S 12869 12869 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10787175 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794292783600 139794814765698 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12878] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12878/stat : 12878 (java) S 12869 12869 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10787175 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794291729824 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12879] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12879/stat : 12879 (java) S 12869 12869 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10787176 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794290677232 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12880] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12880/stat : 12880 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794289625808 139794814773147 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12881] ppid=12869 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/12871/task/12881/stat : 12881 (java) S 12869 12869 5131 0 -1 1077944384 2749 0 0 0 58 0 0 0 20 0 15 0 10787178 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794288572400 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12882] ppid=12869 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/12871/task/12882/stat : 12882 (java) S 12869 12869 5131 0 -1 1077944384 2836 0 0 0 60 0 0 0 20 0 15 0 10787178 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794287519856 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12883] ppid=12869 vsize=13980732 CPUtime=0.37 cores=0,2,4,6
/proc/12871/task/12883/stat : 12883 (java) S 12869 12869 5131 0 -1 1077944384 2264 0 0 0 37 0 0 0 20 0 15 0 10787178 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794286467312 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12884] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12884/stat : 12884 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794285415008 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12885] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12885/stat : 12885 (java) S 12869 12869 5131 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 10787182 14316269568 26644 18446744073709551615 4194304 4196468 140733317295312 139794284362544 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 13990244
[startup+3.10058 s]
/proc/loadavg: 1.33 1.50 1.69 3/212 12885
/proc/meminfo: memFree=31396940/32770624 swapFree=0/193256
[pid=12869] ppid=12866 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12869/stat : 12869 (xcsp3-exec) S 12866 12869 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10787164 9740288 345 18446744073709551615 4194304 5098028 140737202096544 140737202094648 140435356803708 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24936448 140737202102684 140737202102887 140737202102887 140737202106347 0
/proc/12869/statm: 2378 345 289 221 0 87 0
[pid=12871] ppid=12869 vsize=13980732 CPUtime=4.57 cores=0,2,4,6
/proc/12871/stat : 12871 (java) S 12869 12869 5131 0 -1 1077944320 18456 0 0 0 451 6 0 0 20 0 15 0 10787172 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 140733317277856 139794814754551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
/proc/12871/statm: 3495183 33832 3175 1 0 3483484 0
[pid=12871/tid=12872] ppid=12869 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/12871/task/12872/stat : 12872 (java) R 12869 12869 5131 0 -1 4202560 8975 0 0 0 292 4 0 0 20 0 15 0 10787173 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794818990128 139794428577503 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12873] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12873/stat : 12873 (java) S 12869 12869 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10787173 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794749188368 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12874] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12874/stat : 12874 (java) S 12869 12869 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10787173 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794748135824 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12875] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12875/stat : 12875 (java) S 12869 12869 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10787173 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794747083280 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12876] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12876/stat : 12876 (java) S 12869 12869 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10787173 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794746030736 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12877] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12877/stat : 12877 (java) S 12869 12869 5131 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10787175 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794292783600 139794814765698 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12878] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12878/stat : 12878 (java) S 12869 12869 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10787175 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794291729824 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12879] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12879/stat : 12879 (java) S 12869 12869 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10787176 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794290677232 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12880] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12880/stat : 12880 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794289625808 139794814773147 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12881] ppid=12869 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/12871/task/12881/stat : 12881 (java) S 12869 12869 5131 0 -1 1077944384 2831 0 0 0 59 1 0 0 20 0 15 0 10787178 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794288572400 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12882] ppid=12869 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/12871/task/12882/stat : 12882 (java) S 12869 12869 5131 0 -1 1077944384 2839 0 0 0 60 0 0 0 20 0 15 0 10787178 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794287519856 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12883] ppid=12869 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/12871/task/12883/stat : 12883 (java) S 12869 12869 5131 0 -1 1077944384 2437 0 0 0 38 1 0 0 20 0 15 0 10787178 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794286467312 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12884] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12884/stat : 12884 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794285415008 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12885] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12885/stat : 12885 (java) S 12869 12869 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10787182 14316269568 33832 18446744073709551615 4194304 4196468 140733317295312 139794284362544 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 1.39 1.50 1.69 3/212 12885
/proc/meminfo: memFree=31314676/32770624 swapFree=0/193268
[pid=12869] ppid=12866 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12869/stat : 12869 (xcsp3-exec) S 12866 12869 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10787164 9740288 345 18446744073709551615 4194304 5098028 140737202096544 140737202094648 140435356803708 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24936448 140737202102684 140737202102887 140737202102887 140737202106347 0
/proc/12869/statm: 2378 345 289 221 0 87 0
[pid=12871] ppid=12869 vsize=13980732 CPUtime=8.19 cores=0,2,4,6
/proc/12871/stat : 12871 (java) S 12869 12869 5131 0 -1 1077944320 24771 0 0 0 809 10 0 0 20 0 15 0 10787172 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 140733317277856 139794814754551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
/proc/12871/statm: 3495183 49017 3196 1 0 3483484 0
[pid=12871/tid=12872] ppid=12869 vsize=13980732 CPUtime=6.15 cores=0,2,4,6
/proc/12871/task/12872/stat : 12872 (java) R 12869 12869 5131 0 -1 4202560 9892 0 0 0 610 5 0 0 20 0 15 0 10787173 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794818993072 139794807432565 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12873] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12873/stat : 12873 (java) S 12869 12869 5131 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10787173 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794749188368 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12874] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12874/stat : 12874 (java) S 12869 12869 5131 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 10787173 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794748135824 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12875] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12875/stat : 12875 (java) S 12869 12869 5131 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 15 0 10787173 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794747083280 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12876] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12876/stat : 12876 (java) S 12869 12869 5131 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 10787173 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794746030736 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12877] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12877/stat : 12877 (java) S 12869 12869 5131 0 -1 1077944384 563 0 0 0 0 0 0 0 20 0 15 0 10787175 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794292783600 139794814765698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12878] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12878/stat : 12878 (java) S 12869 12869 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10787175 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794291729824 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12879] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12879/stat : 12879 (java) S 12869 12869 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10787176 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794290677232 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12880] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12880/stat : 12880 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794289625808 139794814773147 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12881] ppid=12869 vsize=13980732 CPUtime=0.77 cores=0,2,4,6
/proc/12871/task/12881/stat : 12881 (java) R 12869 12869 5131 0 -1 4202560 4344 0 0 0 76 1 0 0 20 0 15 0 10787178 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794288561872 139794814775898 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12882] ppid=12869 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/12871/task/12882/stat : 12882 (java) R 12869 12869 5131 0 -1 4202560 3836 0 0 0 76 0 0 0 20 0 15 0 10787178 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794287518256 139794814766486 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12883] ppid=12869 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/12871/task/12883/stat : 12883 (java) S 12869 12869 5131 0 -1 1077944384 3663 0 0 0 43 1 0 0 20 0 15 0 10787178 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794286467312 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12884] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12884/stat : 12884 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794285415008 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12885] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12885/stat : 12885 (java) S 12869 12869 5131 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 15 0 10787182 14316269568 49017 18446744073709551615 4194304 4196468 140733317295312 139794284362544 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.52 1.53 1.69 3/212 12885
/proc/meminfo: memFree=31201320/32770624 swapFree=0/193268
[pid=12869] ppid=12866 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12869/stat : 12869 (xcsp3-exec) S 12866 12869 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10787164 9740288 345 18446744073709551615 4194304 5098028 140737202096544 140737202094648 140435356803708 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24936448 140737202102684 140737202102887 140737202102887 140737202106347 0
/proc/12869/statm: 2378 345 289 221 0 87 0
[pid=12871] ppid=12869 vsize=13980732 CPUtime=17.66 cores=0,2,4,6
/proc/12871/stat : 12871 (java) S 12869 12869 5131 0 -1 1077944320 29806 0 0 0 1743 23 0 0 20 0 15 0 10787172 14316269568 86594 18446744073709551615 4194304 4196468 140733317295312 140733317277856 139794814754551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
/proc/12871/statm: 3495183 86594 3216 1 0 3483484 0
[pid=12871/tid=12872] ppid=12869 vsize=13980732 CPUtime=12.44 cores=0,2,4,6
/proc/12871/task/12872/stat : 12872 (java) R 12869 12869 5131 0 -1 4202560 11410 0 0 0 1238 6 0 0 20 0 15 0 10787173 14316269568 86594 18446744073709551615 4194304 4196468 140733317295312 139794818991304 139794431671332 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12873] ppid=12869 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/12871/task/12873/stat : 12873 (java) S 12869 12869 5131 0 -1 1077944384 186 0 0 0 7 3 0 0 20 0 15 0 10787173 14316269568 86594 18446744073709551615 4194304 4196468 140733317295312 139794749188368 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12874] ppid=12869 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/12871/task/12874/stat : 12874 (java) S 12869 12869 5131 0 -1 1077944384 403 0 0 0 7 3 0 0 20 0 15 0 10787173 14316269568 86594 18446744073709551615 4194304 4196468 140733317295312 139794748135824 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
################
# More data... #
################
[pid=12871/tid=12878] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12878/stat : 12878 (java) S 12869 12869 5131 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10787175 14316269568 548141 18446744073709551615 4194304 4196468 140733317295312 139794291729888 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12879] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12879/stat : 12879 (java) S 12869 12869 5131 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 10787176 14316269568 548141 18446744073709551615 4194304 4196468 140733317295312 139794290677248 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12880] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12880/stat : 12880 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 548141 18446744073709551615 4194304 4196468 140733317295312 139794289625808 139794814773147 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12881] ppid=12869 vsize=13980732 CPUtime=3.02 cores=0,2,4,6
/proc/12871/task/12881/stat : 12881 (java) S 12869 12869 5131 0 -1 1077944384 8859 0 0 0 301 1 0 0 20 0 15 0 10787178 14316269568 548141 18446744073709551615 4194304 4196468 140733317295312 139794288572400 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12882] ppid=12869 vsize=13980732 CPUtime=2.87 cores=0,2,4,6
/proc/12871/task/12882/stat : 12882 (java) S 12869 12869 5131 0 -1 1077944384 8144 0 0 0 286 1 0 0 20 0 15 0 10787178 14316269568 548141 18446744073709551615 4194304 4196468 140733317295312 139794287519856 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12883] ppid=12869 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/12871/task/12883/stat : 12883 (java) S 12869 12869 5131 0 -1 1077944384 5799 0 0 0 74 1 0 0 20 0 15 0 10787178 14316269568 548141 18446744073709551615 4194304 4196468 140733317295312 139794286467312 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12884] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12884/stat : 12884 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 548141 18446744073709551615 4194304 4196468 140733317295312 139794285415008 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12885] ppid=12869 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/12871/task/12885/stat : 12885 (java) S 12869 12869 5131 0 -1 1077944384 556 0 0 0 2 2 0 0 20 0 15 0 10787182 14316269568 548141 18446744073709551615 4194304 4196468 140733317295312 139794284362544 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
Current children cumulated CPU time (s) 113.61
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.95 1.72 1.74 3/211 12990
/proc/meminfo: memFree=27425648/32770624 swapFree=0/193440
[pid=12869] ppid=12866 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12869/stat : 12869 (xcsp3-exec) S 12866 12869 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10787164 9740288 345 18446744073709551615 4194304 5098028 140737202096544 140737202094648 140435356803708 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24936448 140737202102684 140737202102887 140737202102887 140737202106347 0
/proc/12869/statm: 2378 345 289 221 0 87 0
[pid=12871] ppid=12869 vsize=13980732 CPUtime=174.8 cores=0,2,4,6
/proc/12871/stat : 12871 (java) S 12869 12869 5131 0 -1 1077944320 71782 0 0 0 17335 145 0 0 20 0 15 0 10787172 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 140733317277856 139794814754551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
/proc/12871/statm: 3495183 592537 3246 1 0 3483484 0
[pid=12871/tid=12872] ppid=12869 vsize=13980732 CPUtime=160.34 cores=0,2,4,6
/proc/12871/task/12872/stat : 12872 (java) R 12869 12869 5131 0 -1 4202560 24132 0 0 0 16013 21 0 0 20 0 15 0 10787173 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794818991400 139794429498775 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12873] ppid=12869 vsize=13980732 CPUtime=1.69 cores=0,2,4,6
/proc/12871/task/12873/stat : 12873 (java) S 12869 12869 5131 0 -1 1077944384 3358 0 0 0 142 27 0 0 20 0 15 0 10787173 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794749188368 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12874] ppid=12869 vsize=13980732 CPUtime=1.7 cores=0,2,4,6
/proc/12871/task/12874/stat : 12874 (java) S 12869 12869 5131 0 -1 1077944384 2783 0 0 0 142 28 0 0 20 0 15 0 10787173 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794748135824 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12875] ppid=12869 vsize=13980732 CPUtime=1.71 cores=0,2,4,6
/proc/12871/task/12875/stat : 12875 (java) S 12869 12869 5131 0 -1 1077944384 3180 0 0 0 142 29 0 0 20 0 15 0 10787173 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794747083280 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12876] ppid=12869 vsize=13980732 CPUtime=1.7 cores=0,2,4,6
/proc/12871/task/12876/stat : 12876 (java) S 12869 12869 5131 0 -1 1077944384 2401 0 0 0 142 28 0 0 20 0 15 0 10787173 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794746030736 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12877] ppid=12869 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/12871/task/12877/stat : 12877 (java) S 12869 12869 5131 0 -1 1077944384 4938 0 0 0 7 0 0 0 20 0 15 0 10787175 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794292783600 139794814765698 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12878] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12878/stat : 12878 (java) S 12869 12869 5131 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10787175 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794291729888 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12879] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12879/stat : 12879 (java) S 12869 12869 5131 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 10787176 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794290677248 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12880] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12880/stat : 12880 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794289625808 139794814773147 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12881] ppid=12869 vsize=13980732 CPUtime=3.42 cores=0,2,4,6
/proc/12871/task/12881/stat : 12881 (java) S 12869 12869 5131 0 -1 1077944384 11355 0 0 0 341 1 0 0 20 0 15 0 10787178 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794288572400 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12882] ppid=12869 vsize=13980732 CPUtime=3.21 cores=0,2,4,6
/proc/12871/task/12882/stat : 12882 (java) S 12869 12869 5131 0 -1 1077944384 11498 0 0 0 320 1 0 0 20 0 15 0 10787178 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794287519856 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12883] ppid=12869 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/12871/task/12883/stat : 12883 (java) S 12869 12869 5131 0 -1 1077944384 6098 0 0 0 77 1 0 0 20 0 15 0 10787178 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794286467312 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12884] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12884/stat : 12884 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794285415008 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12885] ppid=12869 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/12871/task/12885/stat : 12885 (java) S 12869 12869 5131 0 -1 1077944384 621 0 0 0 4 4 0 0 20 0 15 0 10787182 14316269568 592537 18446744073709551615 4194304 4196468 140733317295312 139794284362544 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
Current children cumulated CPU time (s) 174.8
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.98 1.77 1.76 3/211 12992
/proc/meminfo: memFree=26507476/32770624 swapFree=0/193472
[pid=12869] ppid=12866 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12869/stat : 12869 (xcsp3-exec) S 12866 12869 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10787164 9740288 345 18446744073709551615 4194304 5098028 140737202096544 140737202094648 140435356803708 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24936448 140737202102684 140737202102887 140737202102887 140737202106347 0
/proc/12869/statm: 2378 345 289 221 0 87 0
[pid=12871] ppid=12869 vsize=13980732 CPUtime=235.88 cores=0,2,4,6
/proc/12871/stat : 12871 (java) S 12869 12869 5131 0 -1 1077944320 77384 0 0 0 23404 184 0 0 20 0 15 0 10787172 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 140733317277856 139794814754551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
/proc/12871/statm: 3495183 809262 3246 1 0 3483484 0
[pid=12871/tid=12872] ppid=12869 vsize=13980732 CPUtime=219.97 cores=0,2,4,6
/proc/12871/task/12872/stat : 12872 (java) R 12869 12869 5131 0 -1 4202560 27271 0 0 0 21968 29 0 0 20 0 15 0 10787173 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794818991768 139794432190379 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12873] ppid=12869 vsize=13980732 CPUtime=2.04 cores=0,2,4,6
/proc/12871/task/12873/stat : 12873 (java) S 12869 12869 5131 0 -1 1077944384 3718 0 0 0 169 35 0 0 20 0 15 0 10787173 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794749188368 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12874] ppid=12869 vsize=13980732 CPUtime=2.04 cores=0,2,4,6
/proc/12871/task/12874/stat : 12874 (java) S 12869 12869 5131 0 -1 1077944384 3331 0 0 0 169 35 0 0 20 0 15 0 10787173 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794748135824 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12875] ppid=12869 vsize=13980732 CPUtime=2.05 cores=0,2,4,6
/proc/12871/task/12875/stat : 12875 (java) S 12869 12869 5131 0 -1 1077944384 3541 0 0 0 169 36 0 0 20 0 15 0 10787173 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794747083280 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12876] ppid=12869 vsize=13980732 CPUtime=2.05 cores=0,2,4,6
/proc/12871/task/12876/stat : 12876 (java) S 12869 12869 5131 0 -1 1077944384 3044 0 0 0 170 35 0 0 20 0 15 0 10787173 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794746030736 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12877] ppid=12869 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/12871/task/12877/stat : 12877 (java) S 12869 12869 5131 0 -1 1077944384 5399 0 0 0 7 0 0 0 20 0 15 0 10787175 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794292783600 139794814765698 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12878] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12878/stat : 12878 (java) S 12869 12869 5131 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10787175 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794291729888 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12879] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12879/stat : 12879 (java) S 12869 12869 5131 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 10787176 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794290677248 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12880] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12880/stat : 12880 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794289625808 139794814773147 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12881] ppid=12869 vsize=13980732 CPUtime=3.43 cores=0,2,4,6
/proc/12871/task/12881/stat : 12881 (java) S 12869 12869 5131 0 -1 1077944384 11374 0 0 0 342 1 0 0 20 0 15 0 10787178 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794288572400 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12882] ppid=12869 vsize=13980732 CPUtime=3.22 cores=0,2,4,6
/proc/12871/task/12882/stat : 12882 (java) S 12869 12869 5131 0 -1 1077944384 11515 0 0 0 321 1 0 0 20 0 15 0 10787178 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794287519856 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12883] ppid=12869 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/12871/task/12883/stat : 12883 (java) S 12869 12869 5131 0 -1 1077944384 6152 0 0 0 77 1 0 0 20 0 15 0 10787178 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794286467312 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12884] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12884/stat : 12884 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794285415008 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12885] ppid=12869 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/12871/task/12885/stat : 12885 (java) S 12869 12869 5131 0 -1 1077944384 621 0 0 0 5 6 0 0 20 0 15 0 10787182 14316269568 809262 18446744073709551615 4194304 4196468 140733317295312 139794284362544 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
Current children cumulated CPU time (s) 235.88
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.91 1.76 1.75 3/211 12993
/proc/meminfo: memFree=26492832/32770624 swapFree=0/193476
[pid=12869] ppid=12866 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12869/stat : 12869 (xcsp3-exec) S 12866 12869 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10787164 9740288 345 18446744073709551615 4194304 5098028 140737202096544 140737202094648 140435356803708 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24936448 140737202102684 140737202102887 140737202102887 140737202106347 0
/proc/12869/statm: 2378 345 289 221 0 87 0
[pid=12871] ppid=12869 vsize=13980732 CPUtime=253.69 cores=0,2,4,6
/proc/12871/stat : 12871 (java) S 12869 12869 5131 0 -1 1077944320 81775 0 0 0 25184 185 0 0 20 0 15 0 10787172 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 140733317277856 139794814754551 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
/proc/12871/statm: 3495183 809282 3246 1 0 3483484 0
[pid=12871/tid=12872] ppid=12869 vsize=13980732 CPUtime=237.67 cores=0,2,4,6
/proc/12871/task/12872/stat : 12872 (java) R 12869 12869 5131 0 -1 4202560 29018 0 0 0 23737 30 0 0 20 0 15 0 10787173 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794818991608 139794429138384 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12873] ppid=12869 vsize=13980732 CPUtime=2.04 cores=0,2,4,6
/proc/12871/task/12873/stat : 12873 (java) S 12869 12869 5131 0 -1 1077944384 3718 0 0 0 169 35 0 0 20 0 15 0 10787173 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794749188368 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12874] ppid=12869 vsize=13980732 CPUtime=2.04 cores=0,2,4,6
/proc/12871/task/12874/stat : 12874 (java) S 12869 12869 5131 0 -1 1077944384 3331 0 0 0 169 35 0 0 20 0 15 0 10787173 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794748135824 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12875] ppid=12869 vsize=13980732 CPUtime=2.05 cores=0,2,4,6
/proc/12871/task/12875/stat : 12875 (java) S 12869 12869 5131 0 -1 1077944384 3541 0 0 0 169 36 0 0 20 0 15 0 10787173 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794747083280 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12876] ppid=12869 vsize=13980732 CPUtime=2.05 cores=0,2,4,6
/proc/12871/task/12876/stat : 12876 (java) S 12869 12869 5131 0 -1 1077944384 3044 0 0 0 170 35 0 0 20 0 15 0 10787173 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794746030736 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12877] ppid=12869 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/12871/task/12877/stat : 12877 (java) S 12869 12869 5131 0 -1 1077944384 5460 0 0 0 7 0 0 0 20 0 15 0 10787175 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794292783600 139794814765698 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12878] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12878/stat : 12878 (java) S 12869 12869 5131 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10787175 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794291729888 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12879] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12879/stat : 12879 (java) S 12869 12869 5131 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 10787176 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794290677248 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12880] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12880/stat : 12880 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794289625808 139794814773147 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12881] ppid=12869 vsize=13980732 CPUtime=3.46 cores=0,2,4,6
/proc/12871/task/12881/stat : 12881 (java) S 12869 12869 5131 0 -1 1077944384 12411 0 0 0 345 1 0 0 20 0 15 0 10787178 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794288572400 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12882] ppid=12869 vsize=13980732 CPUtime=3.31 cores=0,2,4,6
/proc/12871/task/12882/stat : 12882 (java) S 12869 12869 5131 0 -1 1077944384 12877 0 0 0 330 1 0 0 20 0 15 0 10787178 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794287519856 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12883] ppid=12869 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/12871/task/12883/stat : 12883 (java) S 12869 12869 5131 0 -1 1077944384 6249 0 0 0 77 1 0 0 20 0 15 0 10787178 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794286467312 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12884] ppid=12869 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12871/task/12884/stat : 12884 (java) S 12869 12869 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10787178 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794285415008 139794814764757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
[pid=12871/tid=12885] ppid=12869 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/12871/task/12885/stat : 12885 (java) S 12869 12869 5131 0 -1 1077944384 708 0 0 0 6 7 0 0 20 0 15 0 10787182 14316269568 809282 18446744073709551615 4194304 4196468 140733317295312 139794284362544 139794814765698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140733317300692 140733317300867 140733317300867 140733317304271 0
Current children cumulated CPU time (s) 253.69
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 12871 sig 9
??? kill 12869 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 12869 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1766
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=950
# CPU time returned by wait4() is 0.002716
# while last known CPU time is 253.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 253.69
CPU user time (s): 251.84
CPU system time (s): 1.85
CPU usage (%): 105.7
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001766
system time used= 0.00095
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.25568 second user time and 1.38427 second system time
The end