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-4255284-1501979302/watcher-4255284-1501979302 -o /tmp/evaluation-result-4255284-1501979302/solver-4255284-1501979302 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1465323614 HOME/instance-4255284-1501979302.xml
pid=32689
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: 2.62 2.17 1.97 4/199 32692
/proc/meminfo: memFree=31367476/32770624 swapFree=0/280000
[pid=32692] ppid=32689 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/32692/stat : 32692 (runsolver) D 32689 32692 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 45745514 24240128 108 18446744073709551615 4194304 4338465 140730612772096 140730612769736 139740875625175 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 39129088 140730612777058 140730612777548 140730612777548 140730612781002 0
/proc/32692/statm: 5918 108 54 36 0 2156 0
[startup+0.100112 s]
/proc/loadavg: 2.62 2.17 1.97 4/199 32692
/proc/meminfo: memFree=31367476/32770624 swapFree=0/280000
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45745514 9740288 345 18446744073709551615 4194304 5098028 140722427297600 140722427295704 140463047692924 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26640384 140722427306401 140722427306605 140722427306605 140722427310059 0
/proc/32692/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.210255 s]
/proc/loadavg: 2.62 2.17 1.97 4/199 32692
/proc/meminfo: memFree=31367476/32770624 swapFree=0/280000
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45745514 9740288 345 18446744073709551615 4194304 5098028 140722427297600 140722427295704 140463047692924 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26640384 140722427306401 140722427306605 140722427306605 140722427310059 0
/proc/32692/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300678 s]
/proc/loadavg: 2.62 2.17 1.97 4/199 32692
/proc/meminfo: memFree=31367476/32770624 swapFree=0/280000
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45745514 9740288 345 18446744073709551615 4194304 5098028 140722427297600 140722427295704 140463047692924 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26640384 140722427306401 140722427306605 140722427306605 140722427310059 0
/proc/32692/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702111 s]
/proc/loadavg: 2.62 2.17 1.97 4/199 32692
/proc/meminfo: memFree=31367476/32770624 swapFree=0/280000
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45745514 9740288 345 18446744073709551615 4194304 5098028 140722427297600 140722427295704 140463047692924 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26640384 140722427306401 140722427306605 140722427306605 140722427310059 0
/proc/32692/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: 2.62 2.17 1.97 9/215 32708
/proc/meminfo: memFree=31273140/32770624 swapFree=0/280036
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45745514 9740288 345 18446744073709551615 4194304 5098028 140722427297600 140722427295704 140463047692924 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26640384 140722427306401 140722427306605 140722427306605 140722427310059 0
/proc/32692/statm: 2378 345 289 221 0 87 0
[pid=32694] ppid=32692 vsize=13980732 CPUtime=3.72 cores=0,2,4,6
/proc/32694/stat : 32694 (java) S 32692 32692 30500 0 -1 1077944320 44050 0 0 0 363 9 0 0 20 0 15 0 45745521 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140728440809984 140523588505335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
/proc/32694/statm: 3495183 32198 3192 1 0 3483476 0
[pid=32694/tid=32695] ppid=32692 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/32694/task/32695/stat : 32695 (java) R 32692 32692 30500 0 -1 4202560 9632 0 0 0 133 3 0 0 20 0 15 0 45745522 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140523592741840 140523229379478 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32696] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32696/stat : 32696 (java) S 32692 32692 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45745522 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140523188971920 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32697] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32697/stat : 32697 (java) S 32692 32692 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45745522 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140523187919120 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32698] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32698/stat : 32698 (java) S 32692 32692 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45745522 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140523186866832 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32699] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32699/stat : 32699 (java) S 32692 32692 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45745522 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140523185814032 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32700] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32700/stat : 32700 (java) S 32692 32692 30500 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140522505333360 140523588516482 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32701] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32701/stat : 32701 (java) S 32692 32692 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140522504279328 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32702] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32702/stat : 32702 (java) S 32692 32692 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140522503226992 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32703] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32703/stat : 32703 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140522502175312 140523588523931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32704] ppid=32692 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/32694/task/32704/stat : 32704 (java) R 32692 32692 30500 0 -1 4202560 9899 0 0 0 88 1 0 0 20 0 15 0 45745527 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140522501115352 140523566280658 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32705] ppid=32692 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/32694/task/32705/stat : 32705 (java) R 32692 32692 30500 0 -1 4202560 18539 0 0 0 87 2 0 0 20 0 15 0 45745527 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140522500050472 140523569208901 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32706] ppid=32692 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/32694/task/32706/stat : 32706 (java) S 32692 32692 30500 0 -1 1077944384 4662 0 0 0 53 1 0 0 20 0 15 0 45745527 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140522499017072 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32707] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32707/stat : 32707 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140522497964512 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32708] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32708/stat : 32708 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745531 14316269568 32198 18446744073709551615 4194304 4196468 140728440827440 140522496912304 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 13990244
[startup+3.10075 s]
/proc/loadavg: 2.89 2.23 1.99 5/215 32708
/proc/meminfo: memFree=31177984/32770624 swapFree=0/280036
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45745514 9740288 345 18446744073709551615 4194304 5098028 140722427297600 140722427295704 140463047692924 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26640384 140722427306401 140722427306605 140722427306605 140722427310059 0
/proc/32692/statm: 2378 345 289 221 0 87 0
[pid=32694] ppid=32692 vsize=13980732 CPUtime=8.65 cores=0,2,4,6
/proc/32694/stat : 32694 (java) S 32692 32692 30500 0 -1 1077944320 65370 0 0 0 852 13 0 0 20 0 15 0 45745521 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140728440809984 140523588505335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
/proc/32694/statm: 3495183 55888 3202 1 0 3483476 0
[pid=32694/tid=32695] ppid=32692 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/32694/task/32695/stat : 32695 (java) R 32692 32692 30500 0 -1 4202560 10651 0 0 0 292 4 0 0 20 0 15 0 45745522 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140523592737824 140523232078421 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32696] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32696/stat : 32696 (java) S 32692 32692 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45745522 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140523188971920 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32697] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32697/stat : 32697 (java) S 32692 32692 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45745522 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140523187919120 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32698] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32698/stat : 32698 (java) S 32692 32692 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45745522 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140523186866832 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32699] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32699/stat : 32699 (java) S 32692 32692 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45745522 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140523185814032 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32700] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32700/stat : 32700 (java) S 32692 32692 30500 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140522505333360 140523588516482 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32701] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32701/stat : 32701 (java) S 32692 32692 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140522504279328 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32702] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32702/stat : 32702 (java) S 32692 32692 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140522503226992 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32703] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32703/stat : 32703 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140522502175312 140523588523931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32704] ppid=32692 vsize=13980732 CPUtime=2.5 cores=0,2,4,6
/proc/32694/task/32704/stat : 32704 (java) R 32692 32692 30500 0 -1 4202560 20155 0 0 0 247 3 0 0 20 0 15 0 45745527 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140522501103176 140523566100728 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32705] ppid=32692 vsize=13980732 CPUtime=2.49 cores=0,2,4,6
/proc/32694/task/32705/stat : 32705 (java) R 32692 32692 30500 0 -1 4202560 26264 0 0 0 246 3 0 0 20 0 15 0 45745527 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140522500049952 140523573169157 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32706] ppid=32692 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/32694/task/32706/stat : 32706 (java) S 32692 32692 30500 0 -1 1077944384 6934 0 0 0 65 2 0 0 20 0 15 0 45745527 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140522499017072 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32707] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32707/stat : 32707 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140522497964512 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32708] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32708/stat : 32708 (java) S 32692 32692 30500 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 45745531 14316269568 55888 18446744073709551615 4194304 4196468 140728440827440 140522496912304 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
Current children cumulated CPU time (s) 8.65
Current children cumulated vsize (KiB) 13990244
[startup+6.30254 s]
/proc/loadavg: 2.89 2.23 1.99 5/215 32708
/proc/meminfo: memFree=31111764/32770624 swapFree=0/280036
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45745514 9740288 345 18446744073709551615 4194304 5098028 140722427297600 140722427295704 140463047692924 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26640384 140722427306401 140722427306605 140722427306605 140722427310059 0
/proc/32692/statm: 2378 345 289 221 0 87 0
[pid=32694] ppid=32692 vsize=13980732 CPUtime=18.35 cores=0,2,4,6
/proc/32694/stat : 32694 (java) S 32692 32692 30500 0 -1 1077944320 92915 0 0 0 1818 17 0 0 20 0 15 0 45745521 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140728440809984 140523588505335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
/proc/32694/statm: 3495183 73471 3224 1 0 3483476 0
[pid=32694/tid=32695] ppid=32692 vsize=13980732 CPUtime=6.15 cores=0,2,4,6
/proc/32694/task/32695/stat : 32695 (java) R 32692 32692 30500 0 -1 4202560 11452 0 0 0 610 5 0 0 20 0 15 0 45745522 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140523592743984 140523232314008 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32696] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32696/stat : 32696 (java) S 32692 32692 30500 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 15 0 45745522 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140523188971920 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32697] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32697/stat : 32697 (java) S 32692 32692 30500 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 45745522 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140523187919120 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32698] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32698/stat : 32698 (java) S 32692 32692 30500 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 45745522 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140523186866832 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32699] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32699/stat : 32699 (java) S 32692 32692 30500 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 45745522 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140523185814032 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32700] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32700/stat : 32700 (java) S 32692 32692 30500 0 -1 1077944384 381 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140522505333360 140523588516482 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32701] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32701/stat : 32701 (java) S 32692 32692 30500 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140522504279328 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32702] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32702/stat : 32702 (java) S 32692 32692 30500 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140522503226992 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32703] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32703/stat : 32703 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140522502175312 140523588523931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32704] ppid=32692 vsize=13980732 CPUtime=5.68 cores=0,2,4,6
/proc/32694/task/32704/stat : 32704 (java) R 32692 32692 30500 0 -1 4202560 35763 0 0 0 565 3 0 0 20 0 15 0 45745527 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140522501110240 140523572062693 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32705] ppid=32692 vsize=13980732 CPUtime=5.68 cores=0,2,4,6
/proc/32694/task/32705/stat : 32705 (java) R 32692 32692 30500 0 -1 4202560 35199 0 0 0 564 4 0 0 20 0 15 0 45745527 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140522500058352 140523570049792 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32706] ppid=32692 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/32694/task/32706/stat : 32706 (java) S 32692 32692 30500 0 -1 1077944384 7976 0 0 0 73 2 0 0 20 0 15 0 45745527 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140522499017072 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32707] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32707/stat : 32707 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140522497964512 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32708] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32708/stat : 32708 (java) S 32692 32692 30500 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 15 0 45745531 14316269568 73471 18446744073709551615 4194304 4196468 140728440827440 140522496912304 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
Current children cumulated CPU time (s) 18.35
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.90 2.26 2.00 3/215 32708
/proc/meminfo: memFree=31073688/32770624 swapFree=0/280052
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45745514 9740288 345 18446744073709551615 4194304 5098028 140722427297600 140722427295704 140463047692924 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26640384 140722427306401 140722427306605 140722427306605 140722427310059 0
/proc/32692/statm: 2378 345 289 221 0 87 0
[pid=32694] ppid=32692 vsize=13980732 CPUtime=28.56 cores=0,2,4,6
/proc/32694/stat : 32694 (java) S 32692 32692 30500 0 -1 1077944320 97217 0 0 0 2836 20 0 0 20 0 15 0 45745521 14316269568 77175 18446744073709551615 4194304 4196468 140728440827440 140728440809984 140523588505335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
/proc/32694/statm: 3495183 77175 3243 1 0 3483476 0
[pid=32694/tid=32695] ppid=32692 vsize=13980732 CPUtime=12.53 cores=0,2,4,6
/proc/32694/task/32695/stat : 32695 (java) R 32692 32692 30500 0 -1 4202560 12265 0 0 0 1247 6 0 0 20 0 15 0 45745522 14316269568 77175 18446744073709551615 4194304 4196468 140728440827440 140523592741056 140523234875049 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32696] ppid=32692 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/32694/task/32696/stat : 32696 (java) S 32692 32692 30500 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 15 0 45745522 14316269568 77175 18446744073709551615 4194304 4196468 140728440827440 140523188971920 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32697] ppid=32692 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/32694/task/32697/stat : 32697 (java) S 32692 32692 30500 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 45745522 14316269568 77175 18446744073709551615 4194304 4196468 140728440827440 140523187919120 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
################
# More data... #
################
[pid=32694/tid=32701] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32701/stat : 32701 (java) S 32692 32692 30500 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 73544 18446744073709551615 4194304 4196468 140728440827440 140522504279328 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32702] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32702/stat : 32702 (java) S 32692 32692 30500 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 73544 18446744073709551615 4194304 4196468 140728440827440 140522503226992 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32703] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32703/stat : 32703 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 73544 18446744073709551615 4194304 4196468 140728440827440 140522502175312 140523588523931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32704] ppid=32692 vsize=13980732 CPUtime=8.71 cores=0,2,4,6
/proc/32694/task/32704/stat : 32704 (java) S 32692 32692 30500 0 -1 1077944384 45410 0 0 0 867 4 0 0 20 0 15 0 45745527 14316269568 73544 18446744073709551615 4194304 4196468 140728440827440 140522501122160 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32705] ppid=32692 vsize=13980732 CPUtime=9.13 cores=0,2,4,6
/proc/32694/task/32705/stat : 32705 (java) S 32692 32692 30500 0 -1 1077944384 44111 0 0 0 909 4 0 0 20 0 15 0 45745527 14316269568 73544 18446744073709551615 4194304 4196468 140728440827440 140522500069360 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32706] ppid=32692 vsize=13980732 CPUtime=1 cores=0,2,4,6
/proc/32694/task/32706/stat : 32706 (java) S 32692 32692 30500 0 -1 1077944384 12481 0 0 0 97 3 0 0 20 0 15 0 45745527 14316269568 73544 18446744073709551615 4194304 4196468 140728440827440 140522499017072 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32707] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32707/stat : 32707 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 73544 18446744073709551615 4194304 4196468 140728440827440 140522497964512 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32708] ppid=32692 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/32694/task/32708/stat : 32708 (java) S 32692 32692 30500 0 -1 1077944384 685 0 0 0 2 1 0 0 20 0 15 0 45745531 14316269568 73544 18446744073709551615 4194304 4196468 140728440827440 140522496912304 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
Current children cumulated CPU time (s) 121.87
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.72 2.00 1.94 3/215 32713
/proc/meminfo: memFree=30975924/32770624 swapFree=0/280160
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45745514 9740288 345 18446744073709551615 4194304 5098028 140722427297600 140722427295704 140463047692924 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26640384 140722427306401 140722427306605 140722427306605 140722427310059 0
/proc/32692/statm: 2378 345 289 221 0 87 0
[pid=32694] ppid=32692 vsize=13980732 CPUtime=183.03 cores=0,2,4,6
/proc/32694/stat : 32694 (java) S 32692 32692 30500 0 -1 1077944320 133100 0 0 0 18262 41 0 0 20 0 15 0 45745521 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140728440809984 140523588505335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
/proc/32694/statm: 3495183 86177 3248 1 0 3483476 0
[pid=32694/tid=32695] ppid=32692 vsize=13980732 CPUtime=161.52 cores=0,2,4,6
/proc/32694/task/32695/stat : 32695 (java) R 32692 32692 30500 0 -1 4202560 17617 0 0 0 16146 6 0 0 20 0 15 0 45745522 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140523592744816 140523233116235 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32696] ppid=32692 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/32694/task/32696/stat : 32696 (java) S 32692 32692 30500 0 -1 1077944384 854 0 0 0 49 5 0 0 20 0 15 0 45745522 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140523188971920 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32697] ppid=32692 vsize=13980732 CPUtime=0.55 cores=0,2,4,6
/proc/32694/task/32697/stat : 32697 (java) S 32692 32692 30500 0 -1 1077944384 635 0 0 0 50 5 0 0 20 0 15 0 45745522 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140523187919120 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32698] ppid=32692 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/32694/task/32698/stat : 32698 (java) S 32692 32692 30500 0 -1 1077944384 1387 0 0 0 50 4 0 0 20 0 15 0 45745522 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140523186866832 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32699] ppid=32692 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/32694/task/32699/stat : 32699 (java) S 32692 32692 30500 0 -1 1077944384 2080 0 0 0 49 4 0 0 20 0 15 0 45745522 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140523185814032 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32700] ppid=32692 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/32694/task/32700/stat : 32700 (java) S 32692 32692 30500 0 -1 1077944384 1476 0 0 0 6 1 0 0 20 0 15 0 45745524 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140522505333360 140523588516482 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32701] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32701/stat : 32701 (java) S 32692 32692 30500 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140522504279328 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32702] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32702/stat : 32702 (java) S 32692 32692 30500 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140522503226992 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32703] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32703/stat : 32703 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140522502175312 140523588523931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32704] ppid=32692 vsize=13980732 CPUtime=8.76 cores=0,2,4,6
/proc/32694/task/32704/stat : 32704 (java) S 32692 32692 30500 0 -1 1077944384 46678 0 0 0 872 4 0 0 20 0 15 0 45745527 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140522501122160 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32705] ppid=32692 vsize=13980732 CPUtime=9.36 cores=0,2,4,6
/proc/32694/task/32705/stat : 32705 (java) S 32692 32692 30500 0 -1 1077944384 46557 0 0 0 932 4 0 0 20 0 15 0 45745527 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140522500069360 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32706] ppid=32692 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/32694/task/32706/stat : 32706 (java) S 32692 32692 30500 0 -1 1077944384 13598 0 0 0 98 3 0 0 20 0 15 0 45745527 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140522499017072 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32707] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32707/stat : 32707 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140522497964512 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32708] ppid=32692 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/32694/task/32708/stat : 32708 (java) S 32692 32692 30500 0 -1 1077944384 868 0 0 0 3 2 0 0 20 0 15 0 45745531 14316269568 86177 18446744073709551615 4194304 4196468 140728440827440 140522496912304 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
Current children cumulated CPU time (s) 183.03
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.46 1.88 1.90 3/215 32715
/proc/meminfo: memFree=30855464/32770624 swapFree=0/280184
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45745514 9740288 345 18446744073709551615 4194304 5098028 140722427297600 140722427295704 140463047692924 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26640384 140722427306401 140722427306605 140722427306605 140722427310059 0
/proc/32692/statm: 2378 345 289 221 0 87 0
[pid=32694] ppid=32692 vsize=13980732 CPUtime=244.21 cores=0,2,4,6
/proc/32694/stat : 32694 (java) S 32692 32692 30500 0 -1 1077944320 139786 0 0 0 24368 53 0 0 20 0 15 0 45745521 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140728440809984 140523588505335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
/proc/32694/statm: 3495183 110453 3248 1 0 3483476 0
[pid=32694/tid=32695] ppid=32692 vsize=13980732 CPUtime=221.12 cores=0,2,4,6
/proc/32694/task/32695/stat : 32695 (java) R 32692 32692 30500 0 -1 4202560 18847 0 0 0 22106 6 0 0 20 0 15 0 45745522 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140523592744928 140523238329167 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32696] ppid=32692 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/32694/task/32696/stat : 32696 (java) S 32692 32692 30500 0 -1 1077944384 1238 0 0 0 81 8 0 0 20 0 15 0 45745522 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140523188971920 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32697] ppid=32692 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/32694/task/32697/stat : 32697 (java) S 32692 32692 30500 0 -1 1077944384 1070 0 0 0 82 7 0 0 20 0 15 0 45745522 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140523187919120 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32698] ppid=32692 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/32694/task/32698/stat : 32698 (java) S 32692 32692 30500 0 -1 1077944384 1597 0 0 0 82 7 0 0 20 0 15 0 45745522 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140523186866832 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32699] ppid=32692 vsize=13980732 CPUtime=0.88 cores=0,2,4,6
/proc/32694/task/32699/stat : 32699 (java) S 32692 32692 30500 0 -1 1077944384 2233 0 0 0 82 6 0 0 20 0 15 0 45745522 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140523185814032 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32700] ppid=32692 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/32694/task/32700/stat : 32700 (java) S 32692 32692 30500 0 -1 1077944384 1753 0 0 0 10 1 0 0 20 0 15 0 45745524 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140522505333360 140523588516482 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32701] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32701/stat : 32701 (java) S 32692 32692 30500 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140522504279328 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32702] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32702/stat : 32702 (java) S 32692 32692 30500 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140522503226992 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32703] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32703/stat : 32703 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140522502175312 140523588523931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32704] ppid=32692 vsize=13980732 CPUtime=8.84 cores=0,2,4,6
/proc/32694/task/32704/stat : 32704 (java) S 32692 32692 30500 0 -1 1077944384 48654 0 0 0 880 4 0 0 20 0 15 0 45745527 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140522501122160 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32705] ppid=32692 vsize=13980732 CPUtime=9.38 cores=0,2,4,6
/proc/32694/task/32705/stat : 32705 (java) S 32692 32692 30500 0 -1 1077944384 47256 0 0 0 934 4 0 0 20 0 15 0 45745527 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140522500069360 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32706] ppid=32692 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/32694/task/32706/stat : 32706 (java) S 32692 32692 30500 0 -1 1077944384 14892 0 0 0 98 3 0 0 20 0 15 0 45745527 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140522499017072 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32707] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32707/stat : 32707 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140522497964512 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32708] ppid=32692 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/32694/task/32708/stat : 32708 (java) S 32692 32692 30500 0 -1 1077944384 896 0 0 0 4 4 0 0 20 0 15 0 45745531 14316269568 110453 18446744073709551615 4194304 4196468 140728440827440 140522496912304 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
Current children cumulated CPU time (s) 244.21
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.60 1.88 1.90 3/215 334
/proc/meminfo: memFree=30908228/32770624 swapFree=0/280212
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45745514 9740288 345 18446744073709551615 4194304 5098028 140722427297600 140722427295704 140463047692924 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 26640384 140722427306401 140722427306605 140722427306605 140722427310059 0
/proc/32692/statm: 2378 345 289 221 0 87 0
[pid=32694] ppid=32692 vsize=13980732 CPUtime=262.22 cores=0,2,4,6
/proc/32694/stat : 32694 (java) S 32692 32692 30500 0 -1 1077944320 139928 0 0 0 26165 57 0 0 20 0 15 0 45745521 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140728440809984 140523588505335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
/proc/32694/statm: 3495183 118549 3248 1 0 3483476 0
[pid=32694/tid=32695] ppid=32692 vsize=13980732 CPUtime=238.7 cores=0,2,4,6
/proc/32694/task/32695/stat : 32695 (java) R 32692 32692 30500 0 -1 4202560 18867 0 0 0 23863 7 0 0 20 0 15 0 45745522 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140523592744944 140523231812284 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32696] ppid=32692 vsize=13980732 CPUtime=0.99 cores=0,2,4,6
/proc/32694/task/32696/stat : 32696 (java) S 32692 32692 30500 0 -1 1077944384 1270 0 0 0 91 8 0 0 20 0 15 0 45745522 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140523188971920 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32697] ppid=32692 vsize=13980732 CPUtime=1 cores=0,2,4,6
/proc/32694/task/32697/stat : 32697 (java) S 32692 32692 30500 0 -1 1077944384 1103 0 0 0 92 8 0 0 20 0 15 0 45745522 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140523187919120 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32698] ppid=32692 vsize=13980732 CPUtime=1 cores=0,2,4,6
/proc/32694/task/32698/stat : 32698 (java) S 32692 32692 30500 0 -1 1077944384 1623 0 0 0 92 8 0 0 20 0 15 0 45745522 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140523186866832 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32699] ppid=32692 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/32694/task/32699/stat : 32699 (java) S 32692 32692 30500 0 -1 1077944384 2258 0 0 0 91 7 0 0 20 0 15 0 45745522 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140523185814032 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32700] ppid=32692 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/32694/task/32700/stat : 32700 (java) S 32692 32692 30500 0 -1 1077944384 1757 0 0 0 11 1 0 0 20 0 15 0 45745524 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140522505333360 140523588516482 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32701] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32701/stat : 32701 (java) S 32692 32692 30500 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140522504279328 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32702] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32702/stat : 32702 (java) S 32692 32692 30500 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45745524 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140522503226992 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32703] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32703/stat : 32703 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140522502175312 140523588523931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32704] ppid=32692 vsize=13980732 CPUtime=8.84 cores=0,2,4,6
/proc/32694/task/32704/stat : 32704 (java) S 32692 32692 30500 0 -1 1077944384 48654 0 0 0 880 4 0 0 20 0 15 0 45745527 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140522501122160 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32705] ppid=32692 vsize=13980732 CPUtime=9.38 cores=0,2,4,6
/proc/32694/task/32705/stat : 32705 (java) S 32692 32692 30500 0 -1 1077944384 47256 0 0 0 934 4 0 0 20 0 15 0 45745527 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140522500069360 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32706] ppid=32692 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/32694/task/32706/stat : 32706 (java) S 32692 32692 30500 0 -1 1077944384 14892 0 0 0 98 3 0 0 20 0 15 0 45745527 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140522499017072 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32707] ppid=32692 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/32694/task/32707/stat : 32707 (java) S 32692 32692 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45745527 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140522497964512 140523588515541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
[pid=32694/tid=32708] ppid=32692 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/32694/task/32708/stat : 32708 (java) S 32692 32692 30500 0 -1 1077944384 898 0 0 0 5 4 0 0 20 0 15 0 45745531 14316269568 118549 18446744073709551615 4194304 4196468 140728440827440 140522496912304 140523588516482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 39673856 140728440832474 140728440832649 140728440832649 140728440836047 0
Current children cumulated CPU time (s) 262.22
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 32694 sig 9
??? kill 32692 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 32692 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=990
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=990
# CPU time returned by wait4() is 0.00198
# while last known CPU time is 262.22
#
# 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): 262.22
CPU user time (s): 261.65
CPU system time (s): 0.57
CPU usage (%): 109.254
Max. virtual memory (cumulated for all children) (KiB): 13994728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00099
system time used= 0.00099
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.23031 second user time and 1.39299 second system time
The end