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-4255248-1501618385/watcher-4255248-1501618385 -o /tmp/evaluation-result-4255248-1501618385/solver-4255248-1501618385 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10854 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 621339246 HOME/instance-4255248-1501618385.xml
pid=11386
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.54 1.85 1.91 3/195 11389
/proc/meminfo: memFree=31611672/32770624 swapFree=0/188552
[pid=11389] ppid=11386 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11389/stat : 11389 (runsolver) D 11386 11389 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10461594 24240128 106 18446744073709551615 4194304 4338465 140722093708832 140722093706472 139659836920535 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 33685504 140722093711453 140722093711942 140722093711942 140722093715402 0
/proc/11389/statm: 5918 106 53 36 0 2156 0
[startup+0.100137 s]
/proc/loadavg: 1.54 1.85 1.91 3/195 11389
/proc/meminfo: memFree=31611672/32770624 swapFree=0/188552
[pid=11389] ppid=11386 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11389/stat : 11389 (xcsp3-exec) S 11386 11389 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10461594 9740288 345 18446744073709551615 4194304 5098028 140733276570864 140733276568968 140629472555644 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39251968 140733276574108 140733276574311 140733276574311 140733276577771 0
/proc/11389/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200264 s]
/proc/loadavg: 1.54 1.85 1.91 3/195 11389
/proc/meminfo: memFree=31611672/32770624 swapFree=0/188552
[pid=11389] ppid=11386 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11389/stat : 11389 (xcsp3-exec) S 11386 11389 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10461594 9740288 345 18446744073709551615 4194304 5098028 140733276570864 140733276568968 140629472555644 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39251968 140733276574108 140733276574311 140733276574311 140733276577771 0
/proc/11389/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300348 s]
/proc/loadavg: 1.54 1.85 1.91 3/195 11389
/proc/meminfo: memFree=31611672/32770624 swapFree=0/188552
[pid=11389] ppid=11386 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11389/stat : 11389 (xcsp3-exec) S 11386 11389 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10461594 9740288 345 18446744073709551615 4194304 5098028 140733276570864 140733276568968 140629472555644 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39251968 140733276574108 140733276574311 140733276574311 140733276577771 0
/proc/11389/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700253 s]
/proc/loadavg: 1.54 1.85 1.91 3/195 11389
/proc/meminfo: memFree=31611672/32770624 swapFree=0/188552
[pid=11389] ppid=11386 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11389/stat : 11389 (xcsp3-exec) S 11386 11389 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10461594 9740288 345 18446744073709551615 4194304 5098028 140733276570864 140733276568968 140629472555644 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39251968 140733276574108 140733276574311 140733276574311 140733276577771 0
/proc/11389/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 1.54 1.85 1.91 5/211 11406
/proc/meminfo: memFree=31537212/32770624 swapFree=0/188552
[pid=11389] ppid=11386 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11389/stat : 11389 (xcsp3-exec) S 11386 11389 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10461594 9740288 345 18446744073709551615 4194304 5098028 140733276570864 140733276568968 140629472555644 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39251968 140733276574108 140733276574311 140733276574311 140733276577771 0
/proc/11389/statm: 2378 345 289 221 0 87 0
[pid=11391] ppid=11389 vsize=13980732 CPUtime=3.57 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11389 11389 5091 0 -1 1077944320 36427 0 0 0 349 8 0 0 20 0 15 0 10461604 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140732681634288 140284799794935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
/proc/11391/statm: 3495183 31832 3171 1 0 3483484 0
[pid=11391/tid=11392] ppid=11389 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/11391/task/11392/stat : 11392 (java) R 11389 11389 5091 0 -1 4202560 9945 0 0 0 129 4 0 0 20 0 15 0 10461604 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284804033704 140284390567265 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11393] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11393/stat : 11393 (java) S 11389 11389 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284719208720 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11394] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11394/stat : 11394 (java) S 11389 11389 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284718156176 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11395] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11395/stat : 11395 (java) S 11389 11389 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284717103632 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11396] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11396/stat : 11396 (java) S 11389 11389 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284716051088 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11397] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11397/stat : 11397 (java) S 11389 11389 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10461606 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284300085744 140284799806082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11398] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11398/stat : 11398 (java) S 11389 11389 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10461606 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284299031968 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11399] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11399/stat : 11399 (java) S 11389 11389 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10461607 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284297979376 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11400] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11400/stat : 11400 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284296927952 140284799813531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11401] ppid=11389 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/11391/task/11401/stat : 11401 (java) R 11389 11389 5091 0 -1 4202560 10487 0 0 0 86 1 0 0 20 0 15 0 10461609 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284295859208 140284781339896 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11402] ppid=11389 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/11391/task/11402/stat : 11402 (java) R 11389 11389 5091 0 -1 4202560 11409 0 0 0 89 1 0 0 20 0 15 0 10461609 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284294807464 140284781314667 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11403] ppid=11389 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/11391/task/11403/stat : 11403 (java) S 11389 11389 5091 0 -1 1077944384 3266 0 0 0 43 0 0 0 20 0 15 0 10461609 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284293769456 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11404] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11404/stat : 11404 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284292717152 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11405] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11405/stat : 11405 (java) S 11389 11389 5091 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10461614 14316269568 31832 18446744073709551615 4194304 4196468 140732681651744 140284291664688 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 13990244
[startup+3.10072 s]
/proc/loadavg: 1.54 1.85 1.91 5/211 11406
/proc/meminfo: memFree=31490088/32770624 swapFree=0/188552
[pid=11389] ppid=11386 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11389/stat : 11389 (xcsp3-exec) S 11386 11389 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10461594 9740288 345 18446744073709551615 4194304 5098028 140733276570864 140733276568968 140629472555644 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39251968 140733276574108 140733276574311 140733276574311 140733276577771 0
/proc/11389/statm: 2378 345 289 221 0 87 0
[pid=11391] ppid=11389 vsize=13980732 CPUtime=8.39 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11389 11389 5091 0 -1 1077944320 43315 0 0 0 830 9 0 0 20 0 15 0 10461604 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140732681634288 140284799794935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
/proc/11391/statm: 3495183 39363 3176 1 0 3483484 0
[pid=11391/tid=11392] ppid=11389 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/11391/task/11392/stat : 11392 (java) R 11389 11389 5091 0 -1 4202560 9993 0 0 0 289 4 0 0 20 0 15 0 10461604 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284804030032 140284390567265 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11393] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11393/stat : 11393 (java) S 11389 11389 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284719208720 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11394] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11394/stat : 11394 (java) S 11389 11389 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284718156176 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11395] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11395/stat : 11395 (java) S 11389 11389 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284717103632 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11396] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11396/stat : 11396 (java) S 11389 11389 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284716051088 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11397] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11397/stat : 11397 (java) S 11389 11389 5091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 10461606 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284300085744 140284799806082 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11398] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11398/stat : 11398 (java) S 11389 11389 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10461606 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284299031968 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11399] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11399/stat : 11399 (java) S 11389 11389 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10461607 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284297979376 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11400] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11400/stat : 11400 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284296927952 140284799813531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11401] ppid=11389 vsize=13980732 CPUtime=2.48 cores=1,3,5,7
/proc/11391/task/11401/stat : 11401 (java) R 11389 11389 5091 0 -1 4202560 13258 0 0 0 246 2 0 0 20 0 15 0 10461609 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284295860336 140284783326455 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11402] ppid=11389 vsize=13980732 CPUtime=2.5 cores=1,3,5,7
/proc/11391/task/11402/stat : 11402 (java) R 11389 11389 5091 0 -1 4202560 15309 0 0 0 248 2 0 0 20 0 15 0 10461609 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284294814488 140284779038706 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11403] ppid=11389 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/11391/task/11403/stat : 11403 (java) S 11389 11389 5091 0 -1 1077944384 3401 0 0 0 45 0 0 0 20 0 15 0 10461609 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284293769456 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11404] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11404/stat : 11404 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284292717152 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11405] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11405/stat : 11405 (java) S 11389 11389 5091 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10461614 14316269568 39363 18446744073709551615 4194304 4196468 140732681651744 140284291664688 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
Current children cumulated CPU time (s) 8.39
Current children cumulated vsize (KiB) 13990244
[startup+6.30069 s]
/proc/loadavg: 1.74 1.89 1.92 5/211 11406
/proc/meminfo: memFree=31444068/32770624 swapFree=0/188564
[pid=11389] ppid=11386 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11389/stat : 11389 (xcsp3-exec) S 11386 11389 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10461594 9740288 345 18446744073709551615 4194304 5098028 140733276570864 140733276568968 140629472555644 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39251968 140733276574108 140733276574311 140733276574311 140733276577771 0
/proc/11389/statm: 2378 345 289 221 0 87 0
[pid=11391] ppid=11389 vsize=13980732 CPUtime=17.68 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11389 11389 5091 0 -1 1077944320 68028 0 0 0 1755 13 0 0 20 0 15 0 10461604 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140732681634288 140284799794935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
/proc/11391/statm: 3495183 49973 3200 1 0 3483484 0
[pid=11391/tid=11392] ppid=11389 vsize=13980732 CPUtime=6.12 cores=1,3,5,7
/proc/11391/task/11392/stat : 11392 (java) R 11389 11389 5091 0 -1 4202560 11365 0 0 0 607 5 0 0 20 0 15 0 10461604 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284804030736 140284393796787 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11393] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11393/stat : 11393 (java) S 11389 11389 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284719208720 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11394] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11394/stat : 11394 (java) S 11389 11389 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284718156176 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11395] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11395/stat : 11395 (java) S 11389 11389 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284717103632 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11396] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11396/stat : 11396 (java) S 11389 11389 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284716051088 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11397] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11397/stat : 11397 (java) S 11389 11389 5091 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 10461606 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284300085744 140284799806082 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11398] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11398/stat : 11398 (java) S 11389 11389 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10461606 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284299031968 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11399] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11399/stat : 11399 (java) S 11389 11389 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10461607 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284297979376 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11400] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11400/stat : 11400 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284296927952 140284799813531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11401] ppid=11389 vsize=13980732 CPUtime=5.45 cores=1,3,5,7
/proc/11391/task/11401/stat : 11401 (java) S 11389 11389 5091 0 -1 1077944384 23240 0 0 0 543 2 0 0 20 0 15 0 10461609 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284295874544 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11402] ppid=11389 vsize=13980732 CPUtime=5.5 cores=1,3,5,7
/proc/11391/task/11402/stat : 11402 (java) S 11389 11389 5091 0 -1 1077944384 27363 0 0 0 547 3 0 0 20 0 15 0 10461609 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284294822000 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11403] ppid=11389 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/11391/task/11403/stat : 11403 (java) S 11389 11389 5091 0 -1 1077944384 4413 0 0 0 56 0 0 0 20 0 15 0 10461609 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284293769456 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11404] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11404/stat : 11404 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284292717152 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11405] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11405/stat : 11405 (java) S 11389 11389 5091 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 10461614 14316269568 49973 18446744073709551615 4194304 4196468 140732681651744 140284291664688 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
Current children cumulated CPU time (s) 17.68
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.76 1.89 1.92 3/211 11406
/proc/meminfo: memFree=31363012/32770624 swapFree=0/188568
[pid=11389] ppid=11386 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11389/stat : 11389 (xcsp3-exec) S 11386 11389 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10461594 9740288 345 18446744073709551615 4194304 5098028 140733276570864 140733276568968 140629472555644 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39251968 140733276574108 140733276574311 140733276574311 140733276577771 0
/proc/11389/statm: 2378 345 289 221 0 87 0
[pid=11391] ppid=11389 vsize=13980732 CPUtime=25.26 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11389 11389 5091 0 -1 1077944320 70395 0 0 0 2511 15 0 0 20 0 15 0 10461604 14316269568 65213 18446744073709551615 4194304 4196468 140732681651744 140732681634288 140284799794935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
/proc/11391/statm: 3495183 65213 3211 1 0 3483484 0
[pid=11391/tid=11392] ppid=11389 vsize=13980732 CPUtime=12.52 cores=1,3,5,7
/proc/11391/task/11392/stat : 11392 (java) R 11389 11389 5091 0 -1 4202560 11814 0 0 0 1245 7 0 0 20 0 15 0 10461604 14316269568 65213 18446744073709551615 4194304 4196468 140732681651744 140284804031288 140284395577358 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11393] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11393/stat : 11393 (java) S 11389 11389 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 65213 18446744073709551615 4194304 4196468 140732681651744 140284719208720 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11394] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11394/stat : 11394 (java) S 11389 11389 5091 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 10461605 14316269568 65213 18446744073709551615 4194304 4196468 140732681651744 140284718156176 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
################
# More data... #
################
[pid=11391/tid=11398] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11398/stat : 11398 (java) S 11389 11389 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10461606 14316269568 67106 18446744073709551615 4194304 4196468 140732681651744 140284299031968 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11399] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11399/stat : 11399 (java) S 11389 11389 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10461607 14316269568 67106 18446744073709551615 4194304 4196468 140732681651744 140284297979376 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11400] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11400/stat : 11400 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 67106 18446744073709551615 4194304 4196468 140732681651744 140284296927952 140284799813531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11401] ppid=11389 vsize=13980732 CPUtime=7.1 cores=1,3,5,7
/proc/11391/task/11401/stat : 11401 (java) S 11389 11389 5091 0 -1 1077944384 32173 0 0 0 707 3 0 0 20 0 15 0 10461609 14316269568 67106 18446744073709551615 4194304 4196468 140732681651744 140284295874544 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11402] ppid=11389 vsize=13980732 CPUtime=7.6 cores=1,3,5,7
/proc/11391/task/11402/stat : 11402 (java) S 11389 11389 5091 0 -1 1077944384 38650 0 0 0 756 4 0 0 20 0 15 0 10461609 14316269568 67106 18446744073709551615 4194304 4196468 140732681651744 140284294822000 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11403] ppid=11389 vsize=13980732 CPUtime=0.75 cores=1,3,5,7
/proc/11391/task/11403/stat : 11403 (java) S 11389 11389 5091 0 -1 1077944384 7570 0 0 0 74 1 0 0 20 0 15 0 10461609 14316269568 67106 18446744073709551615 4194304 4196468 140732681651744 140284293769456 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11404] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11404/stat : 11404 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 67106 18446744073709551615 4194304 4196468 140732681651744 140284292717152 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11405] ppid=11389 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11391/task/11405/stat : 11405 (java) S 11389 11389 5091 0 -1 1077944384 488 0 0 0 1 1 0 0 20 0 15 0 10461614 14316269568 67106 18446744073709551615 4194304 4196468 140732681651744 140284291664688 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
Current children cumulated CPU time (s) 117.82
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.87 1.90 1.92 3/216 11522
/proc/meminfo: memFree=31550332/32770624 swapFree=0/188756
[pid=11389] ppid=11386 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11389/stat : 11389 (xcsp3-exec) S 11386 11389 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10461594 9740288 345 18446744073709551615 4194304 5098028 140733276570864 140733276568968 140629472555644 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39251968 140733276574108 140733276574311 140733276574311 140733276577771 0
/proc/11389/statm: 2378 345 289 221 0 87 0
[pid=11391] ppid=11389 vsize=13980732 CPUtime=177.92 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11389 11389 5091 0 -1 1077944320 102818 0 0 0 17767 25 0 0 20 0 15 0 10461604 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140732681634288 140284799794935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
/proc/11391/statm: 3495183 67649 3232 1 0 3483484 0
[pid=11391/tid=11392] ppid=11389 vsize=13980732 CPUtime=162.01 cores=1,3,5,7
/proc/11391/task/11392/stat : 11392 (java) R 11389 11389 5091 0 -1 4202560 16721 0 0 0 16194 7 0 0 20 0 15 0 10461604 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284804034352 140284395577616 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11393] ppid=11389 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/11391/task/11393/stat : 11393 (java) S 11389 11389 5091 0 -1 1077944384 690 0 0 0 5 1 0 0 20 0 15 0 10461605 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284719208720 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11394] ppid=11389 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/11391/task/11394/stat : 11394 (java) S 11389 11389 5091 0 -1 1077944384 1609 0 0 0 7 1 0 0 20 0 15 0 10461605 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284718156176 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11395] ppid=11389 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/11391/task/11395/stat : 11395 (java) S 11389 11389 5091 0 -1 1077944384 1257 0 0 0 7 1 0 0 20 0 15 0 10461605 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284717103632 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11396] ppid=11389 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11396/stat : 11396 (java) S 11389 11389 5091 0 -1 1077944384 559 0 0 0 6 1 0 0 20 0 15 0 10461605 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284716051088 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11397] ppid=11389 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11391/task/11397/stat : 11397 (java) S 11389 11389 5091 0 -1 1077944384 1225 0 0 0 2 0 0 0 20 0 15 0 10461606 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284300085744 140284799806082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11398] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11398/stat : 11398 (java) S 11389 11389 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10461606 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284299031968 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11399] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11399/stat : 11399 (java) S 11389 11389 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10461607 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284297979376 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11400] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11400/stat : 11400 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284296927952 140284799813531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11401] ppid=11389 vsize=13980732 CPUtime=7.11 cores=1,3,5,7
/proc/11391/task/11401/stat : 11401 (java) S 11389 11389 5091 0 -1 1077944384 32302 0 0 0 708 3 0 0 20 0 15 0 10461609 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284295874544 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11402] ppid=11389 vsize=13980732 CPUtime=7.6 cores=1,3,5,7
/proc/11391/task/11402/stat : 11402 (java) S 11389 11389 5091 0 -1 1077944384 38680 0 0 0 756 4 0 0 20 0 15 0 10461609 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284294822000 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11403] ppid=11389 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/11391/task/11403/stat : 11403 (java) S 11389 11389 5091 0 -1 1077944384 7907 0 0 0 75 1 0 0 20 0 15 0 10461609 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284293769456 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11404] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11404/stat : 11404 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284292717152 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11405] ppid=11389 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11391/task/11405/stat : 11405 (java) S 11389 11389 5091 0 -1 1077944384 526 0 0 0 2 1 0 0 20 0 15 0 10461614 14316269568 67649 18446744073709551615 4194304 4196468 140732681651744 140284291664688 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
Current children cumulated CPU time (s) 177.92
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.95 1.92 1.93 3/213 11524
/proc/meminfo: memFree=31483164/32770624 swapFree=0/188788
[pid=11389] ppid=11386 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11389/stat : 11389 (xcsp3-exec) S 11386 11389 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10461594 9740288 345 18446744073709551615 4194304 5098028 140733276570864 140733276568968 140629472555644 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39251968 140733276574108 140733276574311 140733276574311 140733276577771 0
/proc/11389/statm: 2378 345 289 221 0 87 0
[pid=11391] ppid=11389 vsize=13980732 CPUtime=237.97 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11389 11389 5091 0 -1 1077944320 103729 0 0 0 23772 25 0 0 20 0 15 0 10461604 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140732681634288 140284799794935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
/proc/11391/statm: 3495183 66365 3232 1 0 3483484 0
[pid=11391/tid=11392] ppid=11389 vsize=13980732 CPUtime=222 cores=1,3,5,7
/proc/11391/task/11392/stat : 11392 (java) R 11389 11389 5091 0 -1 4202560 16893 0 0 0 22193 7 0 0 20 0 15 0 10461604 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284804034352 140284395577795 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11393] ppid=11389 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/11391/task/11393/stat : 11393 (java) S 11389 11389 5091 0 -1 1077944384 708 0 0 0 7 1 0 0 20 0 15 0 10461605 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284719208720 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11394] ppid=11389 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/11391/task/11394/stat : 11394 (java) S 11389 11389 5091 0 -1 1077944384 1619 0 0 0 8 1 0 0 20 0 15 0 10461605 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284718156176 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11395] ppid=11389 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/11391/task/11395/stat : 11395 (java) S 11389 11389 5091 0 -1 1077944384 1297 0 0 0 8 1 0 0 20 0 15 0 10461605 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284717103632 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11396] ppid=11389 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/11391/task/11396/stat : 11396 (java) S 11389 11389 5091 0 -1 1077944384 569 0 0 0 7 1 0 0 20 0 15 0 10461605 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284716051088 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11397] ppid=11389 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11391/task/11397/stat : 11397 (java) S 11389 11389 5091 0 -1 1077944384 1389 0 0 0 3 0 0 0 20 0 15 0 10461606 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284300085744 140284799806082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11398] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11398/stat : 11398 (java) S 11389 11389 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10461606 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284299031968 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11399] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11399/stat : 11399 (java) S 11389 11389 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10461607 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284297979376 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11400] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11400/stat : 11400 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284296927952 140284799813531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11401] ppid=11389 vsize=13980732 CPUtime=7.11 cores=1,3,5,7
/proc/11391/task/11401/stat : 11401 (java) S 11389 11389 5091 0 -1 1077944384 32784 0 0 0 708 3 0 0 20 0 15 0 10461609 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284295874544 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11402] ppid=11389 vsize=13980732 CPUtime=7.6 cores=1,3,5,7
/proc/11391/task/11402/stat : 11402 (java) S 11389 11389 5091 0 -1 1077944384 38680 0 0 0 756 4 0 0 20 0 15 0 10461609 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284294822000 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11403] ppid=11389 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/11391/task/11403/stat : 11403 (java) S 11389 11389 5091 0 -1 1077944384 7907 0 0 0 75 1 0 0 20 0 15 0 10461609 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284293769456 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11404] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11404/stat : 11404 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284292717152 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11405] ppid=11389 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/11391/task/11405/stat : 11405 (java) S 11389 11389 5091 0 -1 1077944384 541 0 0 0 2 2 0 0 20 0 15 0 10461614 14316269568 66365 18446744073709551615 4194304 4196468 140732681651744 140284291664688 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
Current children cumulated CPU time (s) 237.97
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.96 1.92 1.93 3/213 11525
/proc/meminfo: memFree=31460544/32770624 swapFree=0/188812
[pid=11389] ppid=11386 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11389/stat : 11389 (xcsp3-exec) S 11386 11389 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10461594 9740288 345 18446744073709551615 4194304 5098028 140733276570864 140733276568968 140629472555644 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39251968 140733276574108 140733276574311 140733276574311 140733276577771 0
/proc/11389/statm: 2378 345 289 221 0 87 0
[pid=11391] ppid=11389 vsize=13980732 CPUtime=255.68 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11389 11389 5091 0 -1 1077944320 104177 0 0 0 25543 25 0 0 20 0 15 0 10461604 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140732681634288 140284799794935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
/proc/11391/statm: 3495183 66236 3232 1 0 3483484 0
[pid=11391/tid=11392] ppid=11389 vsize=13980732 CPUtime=239.69 cores=1,3,5,7
/proc/11391/task/11392/stat : 11392 (java) R 11389 11389 5091 0 -1 4202560 17297 0 0 0 23962 7 0 0 20 0 15 0 10461604 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284804034432 140284395577604 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11393] ppid=11389 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/11391/task/11393/stat : 11393 (java) S 11389 11389 5091 0 -1 1077944384 713 0 0 0 7 1 0 0 20 0 15 0 10461605 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284719208720 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11394] ppid=11389 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/11391/task/11394/stat : 11394 (java) S 11389 11389 5091 0 -1 1077944384 1622 0 0 0 8 1 0 0 20 0 15 0 10461605 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284718156176 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11395] ppid=11389 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/11391/task/11395/stat : 11395 (java) S 11389 11389 5091 0 -1 1077944384 1298 0 0 0 8 1 0 0 20 0 15 0 10461605 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284717103632 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11396] ppid=11389 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/11391/task/11396/stat : 11396 (java) S 11389 11389 5091 0 -1 1077944384 571 0 0 0 8 1 0 0 20 0 15 0 10461605 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284716051088 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11397] ppid=11389 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11391/task/11397/stat : 11397 (java) S 11389 11389 5091 0 -1 1077944384 1398 0 0 0 3 0 0 0 20 0 15 0 10461606 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284300085744 140284799806082 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11398] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11398/stat : 11398 (java) S 11389 11389 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10461606 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284299031968 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11399] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11399/stat : 11399 (java) S 11389 11389 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10461607 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284297979376 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11400] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11400/stat : 11400 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284296927952 140284799813531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11401] ppid=11389 vsize=13980732 CPUtime=7.11 cores=1,3,5,7
/proc/11391/task/11401/stat : 11401 (java) S 11389 11389 5091 0 -1 1077944384 32787 0 0 0 708 3 0 0 20 0 15 0 10461609 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284295874544 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11402] ppid=11389 vsize=13980732 CPUtime=7.6 cores=1,3,5,7
/proc/11391/task/11402/stat : 11402 (java) S 11389 11389 5091 0 -1 1077944384 38687 0 0 0 756 4 0 0 20 0 15 0 10461609 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284294822000 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11403] ppid=11389 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/11391/task/11403/stat : 11403 (java) S 11389 11389 5091 0 -1 1077944384 7911 0 0 0 75 1 0 0 20 0 15 0 10461609 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284293769456 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11404] ppid=11389 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11391/task/11404/stat : 11404 (java) S 11389 11389 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10461609 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284292717152 140284799805141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
[pid=11391/tid=11405] ppid=11389 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/11391/task/11405/stat : 11405 (java) S 11389 11389 5091 0 -1 1077944384 551 0 0 0 2 2 0 0 20 0 15 0 10461614 14316269568 66236 18446744073709551615 4194304 4196468 140732681651744 140284291664688 140284799806082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34213888 140732681654740 140732681654915 140732681654915 140732681658319 0
Current children cumulated CPU time (s) 255.68
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 11391 sig 9
??? kill 11389 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 11389 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1888
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=116
# CPU time returned by wait4() is 0.002004
# while last known CPU time is 255.68
#
# 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): 255.68
CPU user time (s): 255.43
CPU system time (s): 0.25
CPU usage (%): 106.529
Max. virtual memory (cumulated for all children) (KiB): 13993040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001888
system time used= 0.000116
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.06219 second user time and 1.33554 second system time
The end