runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (6817 MiB free)
memory of node 1: 16384 MiB (10431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306976-1534150548/watcher-4306976-1534150548 -o /tmp/evaluation-result-4306976-1534150548/solver-4306976-1534150548 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534138001-15591 --watchdog 2580 HOME/xcsp3-exec -seed 460293757 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306976-1534150548.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17079, runsolver pid=17076
Current StackSize limit: 8192 KiB
[startup+0.105055 s]*
/proc/loadavg: 1.81 1.71 1.68 5/220 17095
/proc/meminfo: memFree=17645824/32770624 swapFree=67108860/67108860
[pid=17079] ppid=17076 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17079/stat : 17079 (xcsp3-exec) S 17076 17079 14305 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232618006 115843072 363 33554432000 4194304 5098028 140732706880912 140732706879016 140255999742588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18366464 140732706886715 140732706886916 140732706886916 140732706889674 0
/proc/17079/statm: 28282 363 305 221 0 87 0
[pid=17081] ppid=17079 vsize=14082940 memory=29092 CPUtime=0.12 cores=1,3,5,7
/proc/17081/stat : 17081 (java) S 17079 17079 14305 0 -1 1077944320 5579 0 0 0 11 1 0 0 20 0 15 0 232618006 14420930560 7273 33554432000 4194304 4196468 140721128018176 140721128000720 139965250178807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
/proc/17081/statm: 3520735 7273 3059 1 0 3483012 0
[pid=17081/tid=17082] ppid=17079 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/17081/task/17082/stat : 17082 (java) R 17079 17079 14305 0 -1 4202560 3508 0 0 0 8 1 0 0 20 0 15 0 232618007 14420930560 7273 33554432000 4194304 4196468 140721128018176 139965254413344 139964880889968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17083] ppid=17079 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17083/stat : 17083 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618007 14420930560 7273 33554432000 4194304 4196468 140721128018176 139965202799632 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17084] ppid=17079 vsize=14082940 memory=139984606226048 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17084/stat : 17084 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618007 14420930560 7273 33554432000 4194304 4196468 140721128018176 139965201747088 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17085] ppid=17079 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17085/stat : 17085 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618007 14420930560 7273 33554432000 4194304 4196468 140721128018176 139965200694032 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17086] ppid=17079 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17086/stat : 17086 (java) S 17079 17079 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232618007 14420930560 7273 33554432000 4194304 4196468 140721128018176 139964843223952 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17087] ppid=17079 vsize=14082940 memory=139984606226048 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17087/stat : 17087 (java) S 17079 17079 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232618009 14420930560 7273 33554432000 4194304 4196468 140721128018176 139964724381936 139965250189954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17088] ppid=17079 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17088/stat : 17088 (java) S 17079 17079 14305 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232618009 14420930560 7273 33554432000 4194304 4196468 140721128018176 139964723328160 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17089] ppid=17079 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17089/stat : 17089 (java) S 17079 17079 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232618009 14420930560 7273 33554432000 4194304 4196468 140721128018176 139964722275056 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17090] ppid=17079 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17090/stat : 17090 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14420930560 7273 33554432000 4194304 4196468 140721128018176 139964721223632 139965250197403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17091] ppid=17079 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17091/stat : 17091 (java) S 17079 17079 14305 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 232618012 14420930560 7273 33554432000 4194304 4196468 140721128018176 139964720171760 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17092] ppid=17079 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17092/stat : 17092 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14420930560 7273 33554432000 4194304 4196468 140721128018176 139964719119216 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17093] ppid=17079 vsize=14082940 memory=139984606226048 CPUtime=0.01 cores=1,3,5,7
/proc/17081/task/17093/stat : 17093 (java) R 17079 17079 14305 0 -1 4202560 351 0 0 0 1 0 0 0 20 0 15 0 232618012 14420930560 7273 33554432000 4194304 4196468 140721128018176 139964718066160 139965228879008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17094] ppid=17079 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17094/stat : 17094 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14420930560 7273 33554432000 4194304 4196468 140721128018176 139964717013856 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17095] ppid=17079 vsize=14082940 memory=139984606226048 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17095/stat : 17095 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618012 14420930560 7273 33554432000 4194304 4196468 140721128018176 139964715960880 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30544 KiB
[startup+0.210812 s]*
/proc/loadavg: 1.81 1.71 1.68 4/220 17095
/proc/meminfo: memFree=17633800/32770624 swapFree=67108860/67108860
[pid=17079] ppid=17076 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17079/stat : 17079 (xcsp3-exec) S 17076 17079 14305 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232618006 115843072 363 33554432000 4194304 5098028 140732706880912 140732706879016 140255999742588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18366464 140732706886715 140732706886916 140732706886916 140732706889674 0
/proc/17079/statm: 28282 363 305 221 0 87 0
[pid=17081] ppid=17079 vsize=14082940 memory=41100 CPUtime=0.34 cores=1,3,5,7
/proc/17081/stat : 17081 (java) S 17079 17079 14305 0 -1 1077944320 8320 0 0 0 31 3 0 0 20 0 15 0 232618006 14420930560 10275 33554432000 4194304 4196468 140721128018176 140721128000720 139965250178807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
/proc/17081/statm: 3520735 10275 3196 1 0 3483012 0
[pid=17081/tid=17082] ppid=17079 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17081/task/17082/stat : 17082 (java) R 17079 17079 14305 0 -1 4202560 5403 0 0 0 18 2 0 0 20 0 15 0 232618007 14420930560 10275 33554432000 4194304 4196468 140721128018176 139965254413344 139965250200733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17083] ppid=17079 vsize=14082940 memory=15369 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17083/stat : 17083 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618007 14420930560 10275 33554432000 4194304 4196468 140721128018176 139965202799632 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17084] ppid=17079 vsize=14082940 memory=288370360757937792 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17084/stat : 17084 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618007 14420930560 10275 33554432000 4194304 4196468 140721128018176 139965201747088 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17085] ppid=17079 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17085/stat : 17085 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618007 14420930560 10275 33554432000 4194304 4196468 140721128018176 139965200694032 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17086] ppid=17079 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17086/stat : 17086 (java) S 17079 17079 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232618007 14420930560 10275 33554432000 4194304 4196468 140721128018176 139964843223952 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17087] ppid=17079 vsize=14082940 memory=139984606226048 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17087/stat : 17087 (java) S 17079 17079 14305 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232618009 14420930560 10275 33554432000 4194304 4196468 140721128018176 139964724381936 139965250189954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17088] ppid=17079 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17088/stat : 17088 (java) S 17079 17079 14305 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232618009 14420930560 10275 33554432000 4194304 4196468 140721128018176 139964723328160 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17089] ppid=17079 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17089/stat : 17089 (java) S 17079 17079 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232618009 14420930560 10275 33554432000 4194304 4196468 140721128018176 139964722275056 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17090] ppid=17079 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17090/stat : 17090 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14420930560 10275 33554432000 4194304 4196468 140721128018176 139964721223632 139965250197403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17091] ppid=17079 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17081/task/17091/stat : 17091 (java) S 17079 17079 14305 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 15 0 232618012 14420930560 10275 33554432000 4194304 4196468 140721128018176 139964720171760 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17092] ppid=17079 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17081/task/17092/stat : 17092 (java) S 17079 17079 14305 0 -1 1077944384 318 0 0 0 2 0 0 0 20 0 15 0 232618012 14420930560 10275 33554432000 4194304 4196468 140721128018176 139964719119216 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17093] ppid=17079 vsize=14082940 memory=139984606226048 CPUtime=0.08 cores=1,3,5,7
/proc/17081/task/17093/stat : 17093 (java) S 17079 17079 14305 0 -1 1077944384 833 0 0 0 8 0 0 0 20 0 15 0 232618012 14420930560 10275 33554432000 4194304 4196468 140721128018176 139964718066160 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17094] ppid=17079 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17094/stat : 17094 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14420930560 10275 33554432000 4194304 4196468 140721128018176 139964717013856 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17095] ppid=17079 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17095/stat : 17095 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618012 14420930560 10275 33554432000 4194304 4196468 140721128018176 139964715960880 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42552 KiB
[startup+0.31068 s]*
/proc/loadavg: 1.81 1.71 1.68 3/220 17095
/proc/meminfo: memFree=17628216/32770624 swapFree=67108860/67108860
[pid=17079] ppid=17076 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17079/stat : 17079 (xcsp3-exec) S 17076 17079 14305 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232618006 115843072 363 33554432000 4194304 5098028 140732706880912 140732706879016 140255999742588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18366464 140732706886715 140732706886916 140732706886916 140732706889674 0
/proc/17079/statm: 28282 363 305 221 0 87 0
[pid=17081] ppid=17079 vsize=14087196 memory=47780 CPUtime=0.51 cores=1,3,5,7
/proc/17081/stat : 17081 (java) S 17079 17079 14305 0 -1 1077944320 9124 0 0 0 47 4 0 0 20 0 15 0 232618006 14425288704 11945 33554432000 4194304 4196468 140721128018176 140721128000720 139965250178807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
/proc/17081/statm: 3521799 11945 3228 1 0 3483012 0
[pid=17081/tid=17082] ppid=17079 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/17081/task/17082/stat : 17082 (java) R 17079 17079 14305 0 -1 4202560 6126 0 0 0 27 2 0 0 20 0 15 0 232618007 14425288704 11945 33554432000 4194304 4196468 140721128018176 139965254416096 139965250200733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17083] ppid=17079 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17083/stat : 17083 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618007 14425288704 11945 33554432000 4194304 4196468 140721128018176 139965202799632 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17084] ppid=17079 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17084/stat : 17084 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618007 14425288704 11945 33554432000 4194304 4196468 140721128018176 139965201747088 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17085] ppid=17079 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17085/stat : 17085 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618007 14425288704 11945 33554432000 4194304 4196468 140721128018176 139965200694032 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17086] ppid=17079 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17086/stat : 17086 (java) S 17079 17079 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232618007 14425288704 11945 33554432000 4194304 4196468 140721128018176 139964843223952 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17087] ppid=17079 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17087/stat : 17087 (java) S 17079 17079 14305 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232618009 14425288704 11945 33554432000 4194304 4196468 140721128018176 139964724381936 139965250189954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17088] ppid=17079 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17088/stat : 17088 (java) S 17079 17079 14305 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232618009 14425288704 11945 33554432000 4194304 4196468 140721128018176 139964723328160 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17089] ppid=17079 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17089/stat : 17089 (java) S 17079 17079 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232618009 14425288704 11945 33554432000 4194304 4196468 140721128018176 139964722275056 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17090] ppid=17079 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17090/stat : 17090 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14425288704 11945 33554432000 4194304 4196468 140721128018176 139964721223632 139965250197403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17091] ppid=17079 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/17081/task/17091/stat : 17091 (java) S 17079 17079 14305 0 -1 1077944384 475 0 0 0 4 0 0 0 20 0 15 0 232618012 14425288704 11945 33554432000 4194304 4196468 140721128018176 139964720171760 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17092] ppid=17079 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17081/task/17092/stat : 17092 (java) S 17079 17079 14305 0 -1 1077944384 323 0 0 0 3 0 0 0 20 0 15 0 232618012 14425288704 11945 33554432000 4194304 4196468 140721128018176 139964719119216 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17093] ppid=17079 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17081/task/17093/stat : 17093 (java) S 17079 17079 14305 0 -1 1077944384 906 0 0 0 12 0 0 0 20 0 15 0 232618012 14425288704 11945 33554432000 4194304 4196468 140721128018176 139964718066160 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17094] ppid=17079 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17094/stat : 17094 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14425288704 11945 33554432000 4194304 4196468 140721128018176 139964717013856 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17095] ppid=17079 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17095/stat : 17095 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618012 14425288704 11945 33554432000 4194304 4196468 140721128018176 139964715960880 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49232 KiB
[startup+0.700833 s]
/proc/loadavg: 1.81 1.71 1.68 6/220 17095
/proc/meminfo: memFree=17609856/32770624 swapFree=67108860/67108860
[pid=17079] ppid=17076 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17079/stat : 17079 (xcsp3-exec) S 17076 17079 14305 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232618006 115843072 363 33554432000 4194304 5098028 140732706880912 140732706879016 140255999742588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18366464 140732706886715 140732706886916 140732706886916 140732706889674 0
/proc/17079/statm: 28282 363 305 221 0 87 0
[pid=17081] ppid=17079 vsize=14089320 memory=71708 CPUtime=1.56 cores=1,3,5,7
/proc/17081/stat : 17081 (java) S 17079 17079 14305 0 -1 1077944320 12767 0 0 0 150 6 0 0 20 0 15 0 232618006 14427463680 17927 33554432000 4194304 4196468 140721128018176 140721128000720 139965250178807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
/proc/17081/statm: 3522330 17927 3361 1 0 3483524 0
[pid=17081/tid=17082] ppid=17079 vsize=14089320 memory=1832 CPUtime=0.66 cores=1,3,5,7
/proc/17081/task/17082/stat : 17082 (java) R 17079 17079 14305 0 -1 4202560 7117 0 0 0 63 3 0 0 20 0 15 0 232618007 14427463680 17927 33554432000 4194304 4196468 140721128018176 139965254416912 139964884696288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17083] ppid=17079 vsize=14089320 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17083/stat : 17083 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618007 14427463680 17927 33554432000 4194304 4196468 140721128018176 139965202799632 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17084] ppid=17079 vsize=14089320 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17084/stat : 17084 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618007 14427463680 17927 33554432000 4194304 4196468 140721128018176 139965201747088 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17085] ppid=17079 vsize=14089320 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17085/stat : 17085 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618007 14427463680 17927 33554432000 4194304 4196468 140721128018176 139965200694032 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17086] ppid=17079 vsize=14089320 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17086/stat : 17086 (java) S 17079 17079 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232618007 14427463680 17927 33554432000 4194304 4196468 140721128018176 139964843223952 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17087] ppid=17079 vsize=14089320 memory=752 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17087/stat : 17087 (java) S 17079 17079 14305 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232618009 14427463680 17927 33554432000 4194304 4196468 140721128018176 139964724381936 139965250189954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17088] ppid=17079 vsize=14089320 memory=7308 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17088/stat : 17088 (java) S 17079 17079 14305 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232618009 14427463680 17927 33554432000 4194304 4196468 140721128018176 139964723328160 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17089] ppid=17079 vsize=14089320 memory=5400 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17089/stat : 17089 (java) S 17079 17079 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232618009 14427463680 17927 33554432000 4194304 4196468 140721128018176 139964722275056 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17090] ppid=17079 vsize=14089320 memory=1108 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17090/stat : 17090 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14427463680 17927 33554432000 4194304 4196468 140721128018176 139964721223632 139965250197403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17091] ppid=17079 vsize=14089320 memory=10784 CPUtime=0.26 cores=1,3,5,7
/proc/17081/task/17091/stat : 17091 (java) R 17079 17079 14305 0 -1 4202560 1238 0 0 0 26 0 0 0 20 0 15 0 232618012 14427463680 17927 33554432000 4194304 4196468 140721128018176 139964720157712 139965234567355 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17092] ppid=17079 vsize=14089320 memory=872 CPUtime=0.24 cores=1,3,5,7
/proc/17081/task/17092/stat : 17092 (java) R 17079 17079 14305 0 -1 4202560 1028 0 0 0 24 0 0 0 20 0 15 0 232618012 14427463680 17927 33554432000 4194304 4196468 140721128018176 139964719111168 139965228595162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17093] ppid=17079 vsize=14089320 memory=4280 CPUtime=0.35 cores=1,3,5,7
/proc/17081/task/17093/stat : 17093 (java) S 17079 17079 14305 0 -1 1077944384 2076 0 0 0 35 0 0 0 20 0 15 0 232618012 14427463680 17927 33554432000 4194304 4196468 140721128018176 139964718066160 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17094] ppid=17079 vsize=14089320 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17094/stat : 17094 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14427463680 17927 33554432000 4194304 4196468 140721128018176 139964717013856 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17095] ppid=17079 vsize=14089320 memory=34952 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17095/stat : 17095 (java) S 17079 17079 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232618012 14427463680 17927 33554432000 4194304 4196468 140721128018176 139964715960880 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 73160 KiB
[startup+1.51098 s]
/proc/loadavg: 1.81 1.71 1.68 5/220 17095
/proc/meminfo: memFree=17582620/32770624 swapFree=67108860/67108860
[pid=17079] ppid=17076 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17079/stat : 17079 (xcsp3-exec) S 17076 17079 14305 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232618006 115843072 363 33554432000 4194304 5098028 140732706880912 140732706879016 140255999742588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18366464 140732706886715 140732706886916 140732706886916 140732706889674 0
/proc/17079/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/17081/task/17089/stat : 17089 (java) S 17079 17079 14305 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 232618009 14427463680 696334 33554432000 4194304 4196468 140721128018176 139964722275056 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17090] ppid=17079 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17090/stat : 17090 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14427463680 696334 33554432000 4194304 4196468 140721128018176 139964721223632 139965250197403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17091] ppid=17079 vsize=14089320 memory=1452 CPUtime=1.55 cores=1,3,5,7
/proc/17081/task/17091/stat : 17091 (java) S 17079 17079 14305 0 -1 1077944384 12554 0 0 0 154 1 0 0 20 0 15 0 232618012 14427463680 696334 33554432000 4194304 4196468 140721128018176 139964720171760 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17092] ppid=17079 vsize=14089320 memory=7288 CPUtime=1.45 cores=1,3,5,7
/proc/17081/task/17092/stat : 17092 (java) S 17079 17079 14305 0 -1 1077944384 12768 0 0 0 144 1 0 0 20 0 15 0 232618012 14427463680 696334 33554432000 4194304 4196468 140721128018176 139964719119216 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17093] ppid=17079 vsize=14089320 memory=804 CPUtime=0.51 cores=1,3,5,7
/proc/17081/task/17093/stat : 17093 (java) S 17079 17079 14305 0 -1 1077944384 6895 0 0 0 50 1 0 0 20 0 15 0 232618012 14427463680 696334 33554432000 4194304 4196468 140721128018176 139964718066160 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17094] ppid=17079 vsize=14089320 memory=752 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17094/stat : 17094 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14427463680 696334 33554432000 4194304 4196468 140721128018176 139964717013856 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17095] ppid=17079 vsize=14089320 memory=7308 CPUtime=0.63 cores=1,3,5,7
/proc/17081/task/17095/stat : 17095 (java) S 17079 17079 14305 0 -1 1077944384 1144 0 0 0 27 36 0 0 20 0 15 0 232618012 14427463680 696334 33554432000 4194304 4196468 140721128018176 139964715960880 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
Current children cumulated CPU time: 2345.75 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2786788 KiB
[startup+2382.3 s]
/proc/loadavg: 1.72 1.62 1.58 3/222 17196
/proc/meminfo: memFree=10326372/32770624 swapFree=67108860/67108860
[pid=17079] ppid=17076 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17079/stat : 17079 (xcsp3-exec) S 17076 17079 14305 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232618006 115843072 363 33554432000 4194304 5098028 140732706880912 140732706879016 140255999742588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18366464 140732706886715 140732706886916 140732706886916 140732706889674 0
/proc/17079/statm: 28282 363 305 221 0 87 0
[pid=17081] ppid=17079 vsize=14089320 memory=2783796 CPUtime=2406.05 cores=1,3,5,7
/proc/17081/stat : 17081 (java) S 17079 17079 14305 0 -1 1077944320 194575 0 0 0 240145 460 0 0 20 0 15 0 232618006 14427463680 695949 33554432000 4194304 4196468 140721128018176 140721128000720 139965250178807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
/proc/17081/statm: 3522330 695949 3432 1 0 3483524 0
[pid=17081/tid=17082] ppid=17079 vsize=14089320 memory=2784820 CPUtime=2373.35 cores=1,3,5,7
/proc/17081/task/17082/stat : 17082 (java) R 17079 17079 14305 0 -1 4202560 106018 0 0 0 236980 355 0 0 20 0 15 0 232618007 14427463680 695949 33554432000 4194304 4196468 140721128018176 139965254418256 139964886626074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17083] ppid=17079 vsize=14089320 memory=2784308 CPUtime=6.76 cores=1,3,5,7
/proc/17081/task/17083/stat : 17083 (java) S 17079 17079 14305 0 -1 1077944384 12805 0 0 0 662 14 0 0 20 0 15 0 232618007 14427463680 695949 33554432000 4194304 4196468 140721128018176 139965202799632 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17084] ppid=17079 vsize=14089320 memory=2784308 CPUtime=6.76 cores=1,3,5,7
/proc/17081/task/17084/stat : 17084 (java) S 17079 17079 14305 0 -1 1077944384 9768 0 0 0 663 13 0 0 20 0 15 0 232618007 14427463680 695949 33554432000 4194304 4196468 140721128018176 139965201747088 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17085] ppid=17079 vsize=14089320 memory=1452 CPUtime=6.75 cores=1,3,5,7
/proc/17081/task/17085/stat : 17085 (java) S 17079 17079 14305 0 -1 1077944384 11427 0 0 0 663 12 0 0 20 0 15 0 232618007 14427463680 695949 33554432000 4194304 4196468 140721128018176 139965200694032 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17086] ppid=17079 vsize=14089320 memory=51 CPUtime=6.75 cores=1,3,5,7
/proc/17081/task/17086/stat : 17086 (java) S 17079 17079 14305 0 -1 1077944384 8665 0 0 0 661 14 0 0 20 0 15 0 232618007 14427463680 695949 33554432000 4194304 4196468 140721128018176 139964843223952 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17087] ppid=17079 vsize=14089320 memory=1452 CPUtime=1.44 cores=1,3,5,7
/proc/17081/task/17087/stat : 17087 (java) S 17079 17079 14305 0 -1 1077944384 11124 0 0 0 122 22 0 0 20 0 15 0 232618009 14427463680 695949 33554432000 4194304 4196468 140721128018176 139964724381936 139965250189954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17088] ppid=17079 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17088/stat : 17088 (java) S 17079 17079 14305 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 232618009 14427463680 695949 33554432000 4194304 4196468 140721128018176 139964723328160 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17089] ppid=17079 vsize=14089320 memory=2784308 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17089/stat : 17089 (java) S 17079 17079 14305 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 232618009 14427463680 695949 33554432000 4194304 4196468 140721128018176 139964722275056 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17090] ppid=17079 vsize=14089320 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17090/stat : 17090 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14427463680 695949 33554432000 4194304 4196468 140721128018176 139964721223632 139965250197403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17091] ppid=17079 vsize=14089320 memory=68 CPUtime=1.55 cores=1,3,5,7
/proc/17081/task/17091/stat : 17091 (java) S 17079 17079 14305 0 -1 1077944384 12556 0 0 0 154 1 0 0 20 0 15 0 232618012 14427463680 695949 33554432000 4194304 4196468 140721128018176 139964720171760 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17092] ppid=17079 vsize=14089320 memory=1452 CPUtime=1.45 cores=1,3,5,7
/proc/17081/task/17092/stat : 17092 (java) S 17079 17079 14305 0 -1 1077944384 12770 0 0 0 144 1 0 0 20 0 15 0 232618012 14427463680 695949 33554432000 4194304 4196468 140721128018176 139964719119216 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17093] ppid=17079 vsize=14089320 memory=1452 CPUtime=0.51 cores=1,3,5,7
/proc/17081/task/17093/stat : 17093 (java) S 17079 17079 14305 0 -1 1077944384 6899 0 0 0 50 1 0 0 20 0 15 0 232618012 14427463680 695949 33554432000 4194304 4196468 140721128018176 139964718066160 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17094] ppid=17079 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17094/stat : 17094 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14427463680 695949 33554432000 4194304 4196468 140721128018176 139964717013856 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17095] ppid=17079 vsize=14089320 memory=1452 CPUtime=0.65 cores=1,3,5,7
/proc/17081/task/17095/stat : 17095 (java) S 17079 17079 14305 0 -1 1077944384 1163 0 0 0 28 37 0 0 20 0 15 0 232618012 14427463680 695949 33554432000 4194304 4196468 140721128018176 139964715960880 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
Current children cumulated CPU time: 2406.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2785248 KiB
[startup+2442.3 s]
/proc/loadavg: 1.68 1.63 1.59 3/221 17197
/proc/meminfo: memFree=9885996/32770624 swapFree=67108860/67108860
[pid=17079] ppid=17076 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17079/stat : 17079 (xcsp3-exec) S 17076 17079 14305 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232618006 115843072 363 33554432000 4194304 5098028 140732706880912 140732706879016 140255999742588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18366464 140732706886715 140732706886916 140732706886916 140732706889674 0
/proc/17079/statm: 28282 363 305 221 0 87 0
[pid=17081] ppid=17079 vsize=14089320 memory=2779176 CPUtime=2466.27 cores=1,3,5,7
/proc/17081/stat : 17081 (java) S 17079 17079 14305 0 -1 1077944320 200374 0 0 0 246167 460 0 0 20 0 15 0 232618006 14427463680 694794 33554432000 4194304 4196468 140721128018176 140721128000720 139965250178807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
/proc/17081/statm: 3522330 694794 3432 1 0 3483524 0
[pid=17081/tid=17082] ppid=17079 vsize=14089320 memory=2779176 CPUtime=2433.26 cores=1,3,5,7
/proc/17081/task/17082/stat : 17082 (java) R 17079 17079 14305 0 -1 4202560 108650 0 0 0 242971 355 0 0 20 0 15 0 232618007 14427463680 694794 33554432000 4194304 4196468 140721128018176 139965254417856 139964886627876 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17083] ppid=17079 vsize=14089320 memory=2780204 CPUtime=6.83 cores=1,3,5,7
/proc/17081/task/17083/stat : 17083 (java) S 17079 17079 14305 0 -1 1077944384 13677 0 0 0 669 14 0 0 20 0 15 0 232618007 14427463680 694794 33554432000 4194304 4196468 140721128018176 139965202799632 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17084] ppid=17079 vsize=14089320 memory=2779176 CPUtime=6.83 cores=1,3,5,7
/proc/17081/task/17084/stat : 17084 (java) S 17079 17079 14305 0 -1 1077944384 10228 0 0 0 670 13 0 0 20 0 15 0 232618007 14427463680 694794 33554432000 4194304 4196468 140721128018176 139965201747088 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17085] ppid=17079 vsize=14089320 memory=1452 CPUtime=6.83 cores=1,3,5,7
/proc/17081/task/17085/stat : 17085 (java) S 17079 17079 14305 0 -1 1077944384 12374 0 0 0 671 12 0 0 20 0 15 0 232618007 14427463680 694794 33554432000 4194304 4196468 140721128018176 139965200694032 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17086] ppid=17079 vsize=14089320 memory=1452 CPUtime=6.82 cores=1,3,5,7
/proc/17081/task/17086/stat : 17086 (java) S 17079 17079 14305 0 -1 1077944384 9358 0 0 0 668 14 0 0 20 0 15 0 232618007 14427463680 694794 33554432000 4194304 4196468 140721128018176 139964843223952 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17087] ppid=17079 vsize=14089320 memory=2779692 CPUtime=1.44 cores=1,3,5,7
/proc/17081/task/17087/stat : 17087 (java) S 17079 17079 14305 0 -1 1077944384 11298 0 0 0 122 22 0 0 20 0 15 0 232618009 14427463680 694794 33554432000 4194304 4196468 140721128018176 139964724381936 139965250189954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17088] ppid=17079 vsize=14089320 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17088/stat : 17088 (java) S 17079 17079 14305 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 232618009 14427463680 694794 33554432000 4194304 4196468 140721128018176 139964723328160 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17089] ppid=17079 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17089/stat : 17089 (java) S 17079 17079 14305 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 232618009 14427463680 694794 33554432000 4194304 4196468 140721128018176 139964722275056 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17090] ppid=17079 vsize=14089320 memory=2779692 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17090/stat : 17090 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14427463680 694794 33554432000 4194304 4196468 140721128018176 139964721223632 139965250197403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17091] ppid=17079 vsize=14089320 memory=1452 CPUtime=1.55 cores=1,3,5,7
/proc/17081/task/17091/stat : 17091 (java) S 17079 17079 14305 0 -1 1077944384 12558 0 0 0 154 1 0 0 20 0 15 0 232618012 14427463680 694794 33554432000 4194304 4196468 140721128018176 139964720171760 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17092] ppid=17079 vsize=14089320 memory=2780204 CPUtime=1.45 cores=1,3,5,7
/proc/17081/task/17092/stat : 17092 (java) S 17079 17079 14305 0 -1 1077944384 12772 0 0 0 144 1 0 0 20 0 15 0 232618012 14427463680 694794 33554432000 4194304 4196468 140721128018176 139964719119216 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17093] ppid=17079 vsize=14089320 memory=4132 CPUtime=0.51 cores=1,3,5,7
/proc/17081/task/17093/stat : 17093 (java) S 17079 17079 14305 0 -1 1077944384 6901 0 0 0 50 1 0 0 20 0 15 0 232618012 14427463680 694794 33554432000 4194304 4196468 140721128018176 139964718066160 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17094] ppid=17079 vsize=14089320 memory=2779176 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17094/stat : 17094 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14427463680 694794 33554432000 4194304 4196468 140721128018176 139964717013856 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17095] ppid=17079 vsize=14089320 memory=1452 CPUtime=0.66 cores=1,3,5,7
/proc/17081/task/17095/stat : 17095 (java) S 17079 17079 14305 0 -1 1077944384 1178 0 0 0 28 38 0 0 20 0 15 0 232618012 14427463680 694794 33554432000 4194304 4196468 140721128018176 139964715960880 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
Current children cumulated CPU time: 2466.27 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2780628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2495.8 s]
/proc/loadavg: 1.72 1.64 1.60 3/221 17198
/proc/meminfo: memFree=9877264/32770624 swapFree=67108860/67108860
[pid=17079] ppid=17076 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17079/stat : 17079 (xcsp3-exec) S 17076 17079 14305 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232618006 115843072 363 33554432000 4194304 5098028 140732706880912 140732706879016 140255999742588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18366464 140732706886715 140732706886916 140732706886916 140732706889674 0
/proc/17079/statm: 28282 363 305 221 0 87 0
[pid=17081] ppid=17079 vsize=14089320 memory=2776096 CPUtime=2520.02 cores=1,3,5,7
/proc/17081/stat : 17081 (java) S 17079 17079 14305 0 -1 1077944320 205105 0 0 0 251541 461 0 0 20 0 15 0 232618006 14427463680 694024 33554432000 4194304 4196468 140721128018176 140721128000720 139965250178807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
/proc/17081/statm: 3522330 694024 3432 1 0 3483524 0
[pid=17081/tid=17082] ppid=17079 vsize=14089320 memory=10784 CPUtime=2486.67 cores=1,3,5,7
/proc/17081/task/17082/stat : 17082 (java) R 17079 17079 14305 0 -1 4202560 110658 0 0 0 248312 355 0 0 20 0 15 0 232618007 14427463680 694024 33554432000 4194304 4196468 140721128018176 139965254417856 139964886625149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17083] ppid=17079 vsize=14089320 memory=872 CPUtime=6.91 cores=1,3,5,7
/proc/17081/task/17083/stat : 17083 (java) S 17079 17079 14305 0 -1 1077944384 14219 0 0 0 677 14 0 0 20 0 15 0 232618007 14427463680 694024 33554432000 4194304 4196468 140721128018176 139965202799632 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17084] ppid=17079 vsize=14089320 memory=4280 CPUtime=6.91 cores=1,3,5,7
/proc/17081/task/17084/stat : 17084 (java) S 17079 17079 14305 0 -1 1077944384 10882 0 0 0 678 13 0 0 20 0 15 0 232618007 14427463680 694024 33554432000 4194304 4196468 140721128018176 139965201747088 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17085] ppid=17079 vsize=14089320 memory=14888 CPUtime=6.91 cores=1,3,5,7
/proc/17081/task/17085/stat : 17085 (java) S 17079 17079 14305 0 -1 1077944384 13030 0 0 0 679 12 0 0 20 0 15 0 232618007 14427463680 694024 33554432000 4194304 4196468 140721128018176 139965200694032 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17086] ppid=17079 vsize=14089320 memory=1920 CPUtime=6.91 cores=1,3,5,7
/proc/17081/task/17086/stat : 17086 (java) S 17079 17079 14305 0 -1 1077944384 10032 0 0 0 677 14 0 0 20 0 15 0 232618007 14427463680 694024 33554432000 4194304 4196468 140721128018176 139964843223952 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17087] ppid=17079 vsize=14089320 memory=1192 CPUtime=1.45 cores=1,3,5,7
/proc/17081/task/17087/stat : 17087 (java) S 17079 17079 14305 0 -1 1077944384 11470 0 0 0 123 22 0 0 20 0 15 0 232618009 14427463680 694024 33554432000 4194304 4196468 140721128018176 139964724381936 139965250189954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17088] ppid=17079 vsize=14089320 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17088/stat : 17088 (java) S 17079 17079 14305 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 232618009 14427463680 694024 33554432000 4194304 4196468 140721128018176 139964723328160 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17089] ppid=17079 vsize=14089320 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17089/stat : 17089 (java) S 17079 17079 14305 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 232618009 14427463680 694024 33554432000 4194304 4196468 140721128018176 139964722275056 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17090] ppid=17079 vsize=14089320 memory=752 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17090/stat : 17090 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14427463680 694024 33554432000 4194304 4196468 140721128018176 139964721223632 139965250197403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17091] ppid=17079 vsize=14089320 memory=7308 CPUtime=1.55 cores=1,3,5,7
/proc/17081/task/17091/stat : 17091 (java) S 17079 17079 14305 0 -1 1077944384 12560 0 0 0 154 1 0 0 20 0 15 0 232618012 14427463680 694024 33554432000 4194304 4196468 140721128018176 139964720171760 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17092] ppid=17079 vsize=14089320 memory=34984 CPUtime=1.45 cores=1,3,5,7
/proc/17081/task/17092/stat : 17092 (java) S 17079 17079 14305 0 -1 1077944384 12774 0 0 0 144 1 0 0 20 0 15 0 232618012 14427463680 694024 33554432000 4194304 4196468 140721128018176 139964719119216 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17093] ppid=17079 vsize=14089320 memory=15932 CPUtime=0.52 cores=1,3,5,7
/proc/17081/task/17093/stat : 17093 (java) S 17079 17079 14305 0 -1 1077944384 6903 0 0 0 50 2 0 0 20 0 15 0 232618012 14427463680 694024 33554432000 4194304 4196468 140721128018176 139964718066160 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17094] ppid=17079 vsize=14089320 memory=3332 CPUtime=0 cores=1,3,5,7
/proc/17081/task/17094/stat : 17094 (java) S 17079 17079 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232618012 14427463680 694024 33554432000 4194304 4196468 140721128018176 139964717013856 139965250189013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
[pid=17081/tid=17095] ppid=17079 vsize=14089320 memory=1732 CPUtime=0.66 cores=1,3,5,7
/proc/17081/task/17095/stat : 17095 (java) S 17079 17079 14305 0 -1 1077944384 1197 0 0 0 28 38 0 0 20 0 15 0 232618012 14427463680 694024 33554432000 4194304 4196468 140721128018176 139964715960880 139965250189954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140721128027270 140721128027441 140721128027441 140721128030159 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2777548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2495.81 s]
# the end of solver process 17079 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001495 s, system=0.000747 s
[startup+2495.82 s]
# the end of solver process 17081 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.43 s, system=4.63314 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2495.82
CPU time (s): 2520.06
CPU user time (s): 2515.43
CPU system time (s): 4.63314
CPU usage (%): 100.971
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 3840976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.43
system time used= 4.63314
maximum resident set size= 3844000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206025
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86437
involuntary context switches= 5242
# summary of solver processes directly reported to runsolver:
# pid: 17079,17081
# total CPU time (s): 2520.06
# total CPU user time (s): 2515.43
# total CPU system time (s): 4.63314
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1611 second user time and 22.9117 second system time
The end