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 (14377 MiB free)
memory of node 1: 16384 MiB (15341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393037-1568321444/watcher-4393037-1568321444 -o /tmp/evaluation-result-4393037-1568321444/solver-4393037-1568321444 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1726161334 HOME/instance-4393037-1568321444.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=25328, runsolver pid=25325
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 8.87 8.59 8.39 8/232 25344
/proc/meminfo: memFree=30415104/32770624 swapFree=66996304/67108860
[pid=25328] ppid=25325 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25328/stat : 25328 (xcsp3-exec) S 25325 25328 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408399087 115843072 362 33554432000 4194304 5098028 140732706189168 140732706187272 139822205923964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27901952 140732706194298 140732706194541 140732706194541 140732706197450 0
/proc/25328/statm: 28282 362 304 221 0 87 0
[pid=25330] ppid=25328 vsize=15144768 memory=29620 CPUtime=0.13 cores=1,3,5,7
/proc/25330/stat : 25330 (java) S 25328 25328 14062 0 -1 1077944320 5830 0 0 0 12 1 0 0 20 0 15 0 408399087 15508242432 7405 33554432000 4194304 4196468 140730785532128 140730785514672 139908907327223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
/proc/25330/statm: 3786192 7405 3140 1 0 3748377 0
[pid=25330/tid=25331] ppid=25328 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/25330/task/25331/stat : 25331 (java) R 25328 25328 14062 0 -1 4202560 3727 0 0 0 8 1 0 0 20 0 15 0 408399087 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908911557600 139908907349149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25332] ppid=25328 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25332/stat : 25332 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399088 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908835367824 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25333] ppid=25328 vsize=15144768 memory=3835289904286389920 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25333/stat : 25333 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399088 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908834315024 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25334] ppid=25328 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25334/stat : 25334 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399088 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908833262736 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25335] ppid=25328 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25335/stat : 25335 (java) S 25328 25328 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408399088 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908832209936 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25336] ppid=25328 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25336/stat : 25336 (java) S 25328 25328 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408399089 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908375804016 139908907338370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25337] ppid=25328 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25337/stat : 25337 (java) S 25328 25328 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408399090 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908374749984 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25338] ppid=25328 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25338/stat : 25338 (java) S 25328 25328 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408399090 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908373697648 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25339] ppid=25328 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25339/stat : 25339 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408399092 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908372645968 139908907345819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25340] ppid=25328 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25340/stat : 25340 (java) R 25328 25328 14062 0 -1 4202560 464 0 0 0 0 0 0 0 20 0 15 0 408399092 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908371593936 139908888850143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25341] ppid=25328 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25341/stat : 25341 (java) R 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408399092 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908370541040 139908907338370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25342] ppid=25328 vsize=15144768 memory=140341589956224 CPUtime=0.02 cores=1,3,5,7
/proc/25330/task/25342/stat : 25342 (java) R 25328 25328 14062 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 408399092 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908369488752 139908886196489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25343] ppid=25328 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25343/stat : 25343 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408399093 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908368436192 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25344] ppid=25328 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25344/stat : 25344 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399093 15508242432 7471 33554432000 4194304 4196468 140730785532128 139908367382960 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31068 KiB
[startup+0.212919 s]*
/proc/loadavg: 8.87 8.59 8.39 6/232 25344
/proc/meminfo: memFree=30402592/32770624 swapFree=66996304/67108860
[pid=25328] ppid=25325 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25328/stat : 25328 (xcsp3-exec) S 25325 25328 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408399087 115843072 362 33554432000 4194304 5098028 140732706189168 140732706187272 139822205923964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27901952 140732706194298 140732706194541 140732706194541 140732706197450 0
/proc/25328/statm: 28282 362 304 221 0 87 0
[pid=25330] ppid=25328 vsize=15144768 memory=40876 CPUtime=0.35 cores=1,3,5,7
/proc/25330/stat : 25330 (java) S 25328 25328 14062 0 -1 1077944320 9427 0 0 0 32 3 0 0 20 0 15 0 408399087 15508242432 10219 33554432000 4194304 4196468 140730785532128 140730785514672 139908907327223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
/proc/25330/statm: 3786192 10219 3294 1 0 3748377 0
[pid=25330/tid=25331] ppid=25328 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25330/task/25331/stat : 25331 (java) R 25328 25328 14062 0 -1 4202560 6617 0 0 0 18 2 0 0 20 0 15 0 408399087 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908911562208 139908891370853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25332] ppid=25328 vsize=15144768 memory=2669798 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25332/stat : 25332 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399088 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908835367824 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25333] ppid=25328 vsize=15144768 memory=140341592626105 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25333/stat : 25333 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399088 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908834315024 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25334] ppid=25328 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25334/stat : 25334 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399088 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908833262736 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25335] ppid=25328 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25335/stat : 25335 (java) S 25328 25328 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408399088 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908832209936 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25336] ppid=25328 vsize=15144768 memory=140341589956224 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25336/stat : 25336 (java) S 25328 25328 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408399089 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908375804016 139908907338370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25337] ppid=25328 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25337/stat : 25337 (java) S 25328 25328 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408399090 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908374749984 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25338] ppid=25328 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25338/stat : 25338 (java) S 25328 25328 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408399090 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908373697648 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25339] ppid=25328 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25339/stat : 25339 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408399092 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908372645968 139908907345819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25340] ppid=25328 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25330/task/25340/stat : 25340 (java) S 25328 25328 14062 0 -1 1077944384 485 0 0 0 2 0 0 0 20 0 15 0 408399092 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908371593840 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25341] ppid=25328 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/25330/task/25341/stat : 25341 (java) S 25328 25328 14062 0 -1 1077944384 276 0 0 0 3 0 0 0 20 0 15 0 408399092 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908370541040 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25342] ppid=25328 vsize=15144768 memory=140341589956224 CPUtime=0.08 cores=1,3,5,7
/proc/25330/task/25342/stat : 25342 (java) S 25328 25328 14062 0 -1 1077944384 745 0 0 0 8 0 0 0 20 0 15 0 408399092 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908369488752 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25343] ppid=25328 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25343/stat : 25343 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408399093 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908368436192 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25344] ppid=25328 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25344/stat : 25344 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399093 15508242432 10219 33554432000 4194304 4196468 140730785532128 139908367382960 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42324 KiB
[startup+0.318422 s]*
/proc/loadavg: 8.87 8.59 8.39 6/232 25344
/proc/meminfo: memFree=30395572/32770624 swapFree=66996304/67108860
[pid=25328] ppid=25325 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25328/stat : 25328 (xcsp3-exec) S 25325 25328 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408399087 115843072 362 33554432000 4194304 5098028 140732706189168 140732706187272 139822205923964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27901952 140732706194298 140732706194541 140732706194541 140732706197450 0
/proc/25328/statm: 28282 362 304 221 0 87 0
[pid=25330] ppid=25328 vsize=15149024 memory=50164 CPUtime=0.53 cores=1,3,5,7
/proc/25330/stat : 25330 (java) S 25328 25328 14062 0 -1 1077944320 10820 0 0 0 49 4 0 0 20 0 15 0 408399087 15512600576 12541 33554432000 4194304 4196468 140730785532128 140730785514672 139908907327223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
/proc/25330/statm: 3787256 12541 3360 1 0 3748377 0
[pid=25330/tid=25331] ppid=25328 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/25330/task/25331/stat : 25331 (java) R 25328 25328 14062 0 -1 4202560 7864 0 0 0 27 3 0 0 20 0 15 0 408399087 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908911554992 139908907349149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25332] ppid=25328 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25332/stat : 25332 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399088 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908835367824 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25333] ppid=25328 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25333/stat : 25333 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399088 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908834315024 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25334] ppid=25328 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25334/stat : 25334 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399088 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908833262736 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25335] ppid=25328 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25335/stat : 25335 (java) S 25328 25328 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408399088 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908832209936 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25336] ppid=25328 vsize=15149024 memory=-7305852742256935071 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25336/stat : 25336 (java) S 25328 25328 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408399089 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908375804016 139908907338370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25337] ppid=25328 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25337/stat : 25337 (java) S 25328 25328 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408399090 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908374749984 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25338] ppid=25328 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25338/stat : 25338 (java) S 25328 25328 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408399090 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908373697648 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25339] ppid=25328 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25339/stat : 25339 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408399092 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908372645968 139908907345819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25340] ppid=25328 vsize=15149024 memory=7827413994055111515 CPUtime=0.03 cores=1,3,5,7
/proc/25330/task/25340/stat : 25340 (java) S 25328 25328 14062 0 -1 1077944384 530 0 0 0 3 0 0 0 20 0 15 0 408399092 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908371593840 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25341] ppid=25328 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/25330/task/25341/stat : 25341 (java) S 25328 25328 14062 0 -1 1077944384 279 0 0 0 4 0 0 0 20 0 15 0 408399092 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908370541040 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25342] ppid=25328 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25330/task/25342/stat : 25342 (java) S 25328 25328 14062 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 15 0 408399092 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908369488752 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25343] ppid=25328 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25343/stat : 25343 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408399093 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908368436192 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25344] ppid=25328 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25344/stat : 25344 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399093 15512600576 12541 33554432000 4194304 4196468 140730785532128 139908367382960 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51612 KiB
[startup+0.702557 s]
/proc/loadavg: 8.87 8.59 8.39 9/232 25344
/proc/meminfo: memFree=30381280/32770624 swapFree=66996304/67108860
[pid=25328] ppid=25325 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25328/stat : 25328 (xcsp3-exec) S 25325 25328 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408399087 115843072 362 33554432000 4194304 5098028 140732706189168 140732706187272 139822205923964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27901952 140732706194298 140732706194541 140732706194541 140732706197450 0
/proc/25328/statm: 28282 362 304 221 0 87 0
[pid=25330] ppid=25328 vsize=15151148 memory=95124 CPUtime=1.61 cores=1,3,5,7
/proc/25330/stat : 25330 (java) S 25328 25328 14062 0 -1 1077944320 14652 0 0 0 155 6 0 0 20 0 15 0 408399087 15514775552 23781 33554432000 4194304 4196468 140730785532128 140730785514672 139908907327223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
/proc/25330/statm: 3787787 23781 3450 1 0 3748889 0
[pid=25330/tid=25331] ppid=25328 vsize=15151148 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/25330/task/25331/stat : 25331 (java) R 25328 25328 14062 0 -1 4202560 9000 0 0 0 63 4 0 0 20 0 15 0 408399087 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908911565888 139908512329344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25332] ppid=25328 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25332/stat : 25332 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399088 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908835367824 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25333] ppid=25328 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25333/stat : 25333 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399088 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908834315024 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25334] ppid=25328 vsize=15151148 memory=772 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25334/stat : 25334 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399088 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908833262736 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25335] ppid=25328 vsize=15151148 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25335/stat : 25335 (java) S 25328 25328 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408399088 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908832209936 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25336] ppid=25328 vsize=15151148 memory=948 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25336/stat : 25336 (java) S 25328 25328 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408399089 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908375804016 139908907338370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25337] ppid=25328 vsize=15151148 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25337/stat : 25337 (java) S 25328 25328 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408399090 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908374749984 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25338] ppid=25328 vsize=15151148 memory=9404 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25338/stat : 25338 (java) S 25328 25328 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408399090 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908373697648 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25339] ppid=25328 vsize=15151148 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25339/stat : 25339 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408399092 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908372645968 139908907345819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25340] ppid=25328 vsize=15151148 memory=628 CPUtime=0.25 cores=1,3,5,7
/proc/25330/task/25340/stat : 25340 (java) R 25328 25328 14062 0 -1 4202560 1450 0 0 0 25 0 0 0 20 0 15 0 408399092 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908371580408 139908886540256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25341] ppid=25328 vsize=15151148 memory=1056 CPUtime=0.26 cores=1,3,5,7
/proc/25330/task/25341/stat : 25341 (java) R 25328 25328 14062 0 -1 4202560 1143 0 0 0 26 0 0 0 20 0 15 0 408399092 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908370522632 139908888027520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25342] ppid=25328 vsize=15151148 memory=1556 CPUtime=0.39 cores=1,3,5,7
/proc/25330/task/25342/stat : 25342 (java) S 25328 25328 14062 0 -1 1077944384 1767 0 0 0 39 0 0 0 20 0 15 0 408399092 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908369488752 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25343] ppid=25328 vsize=15151148 memory=5908 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25343/stat : 25343 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408399093 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908368436192 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25344] ppid=25328 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25344/stat : 25344 (java) S 25328 25328 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408399093 15514775552 23781 33554432000 4194304 4196468 140730785532128 139908367382960 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 96572 KiB
[startup+1.50142 s]
/proc/loadavg: 8.72 8.56 8.38 11/236 25348
/proc/meminfo: memFree=30291216/32770624 swapFree=66996304/67108860
[pid=25328] ppid=25325 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25328/stat : 25328 (xcsp3-exec) S 25325 25328 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408399087 115843072 362 33554432000 4194304 5098028 140732706189168 140732706187272 139822205923964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27901952 140732706194298 140732706194541 140732706194541 140732706197450 0
/proc/25328/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/25330/stat : 25330 (java) S 25328 25328 14062 0 -1 1077944320 64836 0 0 0 231191 54 0 0 20 0 19 0 408399087 15787421696 117830 33554432000 4194304 4196468 140730785532128 140730785514672 139908907327223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
/proc/25330/statm: 3854351 117830 3539 1 0 3815453 0
[pid=25330/tid=25331] ppid=25328 vsize=15417404 memory=471320 CPUtime=0.89 cores=1,3,5,7
/proc/25330/task/25331/stat : 25331 (java) S 25328 25328 14062 0 -1 1077944384 9084 0 0 0 84 5 0 0 20 0 19 0 408399087 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908911568000 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25332] ppid=25328 vsize=15417404 memory=471320 CPUtime=0.97 cores=1,3,5,7
/proc/25330/task/25332/stat : 25332 (java) S 25328 25328 14062 0 -1 1077944384 2322 0 0 0 89 8 0 0 20 0 19 0 408399088 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908835367824 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25333] ppid=25328 vsize=15417404 memory=471320 CPUtime=0.98 cores=1,3,5,7
/proc/25330/task/25333/stat : 25333 (java) S 25328 25328 14062 0 -1 1077944384 2272 0 0 0 90 8 0 0 20 0 19 0 408399088 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908834315024 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25334] ppid=25328 vsize=15417404 memory=1448 CPUtime=0.96 cores=1,3,5,7
/proc/25330/task/25334/stat : 25334 (java) S 25328 25328 14062 0 -1 1077944384 2217 0 0 0 89 7 0 0 20 0 19 0 408399088 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908833262736 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25335] ppid=25328 vsize=15417404 memory=471320 CPUtime=0.97 cores=1,3,5,7
/proc/25330/task/25335/stat : 25335 (java) S 25328 25328 14062 0 -1 1077944384 3262 0 0 0 89 8 0 0 20 0 19 0 408399088 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908832209936 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25336] ppid=25328 vsize=15417404 memory=471320 CPUtime=0.51 cores=1,3,5,7
/proc/25330/task/25336/stat : 25336 (java) S 25328 25328 14062 0 -1 1077944384 6745 0 0 0 46 5 0 0 20 0 19 0 408399089 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908375804016 139908907338370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25337] ppid=25328 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25337/stat : 25337 (java) S 25328 25328 14062 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 408399090 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908374750048 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25338] ppid=25328 vsize=15417404 memory=471320 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25338/stat : 25338 (java) S 25328 25328 14062 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408399090 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908373697664 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25339] ppid=25328 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25339/stat : 25339 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408399092 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908372645968 139908907345819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25340] ppid=25328 vsize=15417404 memory=471320 CPUtime=1.73 cores=1,3,5,7
/proc/25330/task/25340/stat : 25340 (java) S 25328 25328 14062 0 -1 1077944384 9535 0 0 0 172 1 0 0 20 0 19 0 408399092 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908371593840 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25341] ppid=25328 vsize=15417404 memory=1448 CPUtime=2.07 cores=1,3,5,7
/proc/25330/task/25341/stat : 25341 (java) S 25328 25328 14062 0 -1 1077944384 8599 0 0 0 207 0 0 0 20 0 19 0 408399092 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908370541040 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25342] ppid=25328 vsize=15417404 memory=6791534058613427641 CPUtime=0.66 cores=1,3,5,7
/proc/25330/task/25342/stat : 25342 (java) S 25328 25328 14062 0 -1 1077944384 4960 0 0 0 65 1 0 0 20 0 19 0 408399092 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908369488752 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25343] ppid=25328 vsize=15417404 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25343/stat : 25343 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408399093 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908368436192 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25344] ppid=25328 vsize=15417404 memory=1556 CPUtime=0.15 cores=1,3,5,7
/proc/25330/task/25344/stat : 25344 (java) S 25328 25328 14062 0 -1 1077944384 756 0 0 0 15 0 0 0 20 0 19 0 408399093 15787421696 117830 33554432000 4194304 4196468 140730785532128 139908367382960 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25345] ppid=25328 vsize=15417404 memory=1448 CPUtime=576.43 cores=1,3,5,7
/proc/25330/task/25345/stat : 25345 (java) R 25328 25328 14062 0 -1 4202560 1678 0 0 0 57642 1 0 0 20 0 19 0 408399179 15787421696 117830 33554432000 4194304 4196468 140730785532128 139907898002144 139908515642264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25346] ppid=25328 vsize=15417404 memory=471320 CPUtime=575.5 cores=1,3,5,7
/proc/25330/task/25346/stat : 25346 (java) R 25328 25328 14062 0 -1 4202560 6006 0 0 0 57545 5 0 0 20 0 19 0 408399179 15787421696 117830 33554432000 4194304 4196468 140730785532128 139907896950936 139908517032340 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25347] ppid=25328 vsize=15417404 memory=1556 CPUtime=575.5 cores=1,3,5,7
/proc/25330/task/25347/stat : 25347 (java) R 25328 25328 14062 0 -1 4202560 1240 0 0 0 57549 1 0 0 20 0 19 0 408399179 15787421696 117830 33554432000 4194304 4196468 140730785532128 139907895898136 139908514913798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25348] ppid=25328 vsize=15417404 memory=500 CPUtime=575 cores=1,3,5,7
/proc/25330/task/25348/stat : 25348 (java) R 25328 25328 14062 0 -1 4202560 4818 0 0 0 57496 4 0 0 20 0 19 0 408399179 15787421696 117830 33554432000 4194304 4196468 140730785532128 139907894848688 139908517032049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
Current children cumulated CPU time: 2312.45 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 472768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.701 s]
/proc/loadavg: 8.22 8.38 8.41 7/238 25490
/proc/meminfo: memFree=29991248/32770624 swapFree=66996308/67108860
[pid=25328] ppid=25325 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25328/stat : 25328 (xcsp3-exec) S 25325 25328 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408399087 115843072 362 33554432000 4194304 5098028 140732706189168 140732706187272 139822205923964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27901952 140732706194298 140732706194541 140732706194541 140732706197450 0
/proc/25328/statm: 28282 362 304 221 0 87 0
[pid=25330] ppid=25328 vsize=15417404 memory=467448 CPUtime=2520.33 cores=1,3,5,7
/proc/25330/stat : 25330 (java) S 25328 25328 14062 0 -1 1077944320 69496 0 0 0 251976 57 0 0 20 0 19 0 408399087 15787421696 116862 33554432000 4194304 4196468 140730785532128 140730785514672 139908907327223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
/proc/25330/statm: 3854351 116862 3539 1 0 3815453 0
[pid=25330/tid=25331] ppid=25328 vsize=15417404 memory=467448 CPUtime=0.89 cores=1,3,5,7
/proc/25330/task/25331/stat : 25331 (java) S 25328 25328 14062 0 -1 1077944384 9084 0 0 0 84 5 0 0 20 0 19 0 408399087 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908911568000 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25332] ppid=25328 vsize=15417404 memory=467408 CPUtime=1.06 cores=1,3,5,7
/proc/25330/task/25332/stat : 25332 (java) S 25328 25328 14062 0 -1 1077944384 2400 0 0 0 98 8 0 0 20 0 19 0 408399088 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908835367824 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25333] ppid=25328 vsize=15417404 memory=1448 CPUtime=1.07 cores=1,3,5,7
/proc/25330/task/25333/stat : 25333 (java) S 25328 25328 14062 0 -1 1077944384 2377 0 0 0 99 8 0 0 20 0 19 0 408399088 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908834315024 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25334] ppid=25328 vsize=15417404 memory=467448 CPUtime=1.06 cores=1,3,5,7
/proc/25330/task/25334/stat : 25334 (java) S 25328 25328 14062 0 -1 1077944384 2288 0 0 0 98 8 0 0 20 0 19 0 408399088 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908833262736 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25335] ppid=25328 vsize=15417404 memory=467448 CPUtime=1.06 cores=1,3,5,7
/proc/25330/task/25335/stat : 25335 (java) S 25328 25328 14062 0 -1 1077944384 3626 0 0 0 98 8 0 0 20 0 19 0 408399088 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908832209936 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25336] ppid=25328 vsize=15417404 memory=467448 CPUtime=0.58 cores=1,3,5,7
/proc/25330/task/25336/stat : 25336 (java) S 25328 25328 14062 0 -1 1077944384 10500 0 0 0 51 7 0 0 20 0 19 0 408399089 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908375804016 139908907338370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25337] ppid=25328 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25337/stat : 25337 (java) S 25328 25328 14062 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 408399090 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908374750048 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25338] ppid=25328 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25338/stat : 25338 (java) S 25328 25328 14062 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408399090 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908373697664 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25339] ppid=25328 vsize=15417404 memory=467448 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25339/stat : 25339 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408399092 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908372645968 139908907345819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25340] ppid=25328 vsize=15417404 memory=1448 CPUtime=1.73 cores=1,3,5,7
/proc/25330/task/25340/stat : 25340 (java) S 25328 25328 14062 0 -1 1077944384 9535 0 0 0 172 1 0 0 20 0 19 0 408399092 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908371593840 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25341] ppid=25328 vsize=15417404 memory=405868 CPUtime=2.07 cores=1,3,5,7
/proc/25330/task/25341/stat : 25341 (java) S 25328 25328 14062 0 -1 1077944384 8599 0 0 0 207 0 0 0 20 0 19 0 408399092 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908370541040 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25342] ppid=25328 vsize=15417404 memory=467416 CPUtime=0.66 cores=1,3,5,7
/proc/25330/task/25342/stat : 25342 (java) S 25328 25328 14062 0 -1 1077944384 4960 0 0 0 65 1 0 0 20 0 19 0 408399092 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908369488752 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25343] ppid=25328 vsize=15417404 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25343/stat : 25343 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408399093 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908368436192 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25344] ppid=25328 vsize=15417404 memory=467448 CPUtime=0.16 cores=1,3,5,7
/proc/25330/task/25344/stat : 25344 (java) S 25328 25328 14062 0 -1 1077944384 760 0 0 0 16 0 0 0 20 0 19 0 408399093 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908367382960 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25345] ppid=25328 vsize=15417404 memory=1448 CPUtime=628.28 cores=1,3,5,7
/proc/25330/task/25345/stat : 25345 (java) R 25328 25328 14062 0 -1 4202560 1731 0 0 0 62827 1 0 0 20 0 19 0 408399179 15787421696 116862 33554432000 4194304 4196468 140730785532128 139907898002224 139908516342560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25346] ppid=25328 vsize=15417404 memory=-3622645143214314312 CPUtime=627.38 cores=1,3,5,7
/proc/25330/task/25346/stat : 25346 (java) R 25328 25328 14062 0 -1 4202560 6075 0 0 0 62733 5 0 0 20 0 19 0 408399179 15787421696 116862 33554432000 4194304 4196468 140730785532128 139907896951304 139908515733280 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25347] ppid=25328 vsize=15417404 memory=2552 CPUtime=627.45 cores=1,3,5,7
/proc/25330/task/25347/stat : 25347 (java) R 25328 25328 14062 0 -1 4202560 1277 0 0 0 62744 1 0 0 20 0 19 0 408399179 15787421696 116862 33554432000 4194304 4196468 140730785532128 139907895898368 139908517032433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25348] ppid=25328 vsize=15417404 memory=1448 CPUtime=626.76 cores=1,3,5,7
/proc/25330/task/25348/stat : 25348 (java) R 25328 25328 14062 0 -1 4202560 4942 0 0 0 62672 4 0 0 20 0 19 0 408399179 15787421696 116862 33554432000 4194304 4196468 140730785532128 139907894848592 139908517031889 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
Current children cumulated CPU time: 2520.33 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 468896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.725 s]
# the end of solver process 25328 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001103 s, system=0.001103 s
[startup+634.785 s]
# the end of solver process 25330 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.08 s, system=0.583049 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
[startup+634.701 s]
/proc/loadavg: 8.22 8.38 8.41 7/238 25490
/proc/meminfo: memFree=29991248/32770624 swapFree=66996308/67108860
[pid=25328] ppid=25325 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25328/stat : 25328 (xcsp3-exec) S 25325 25328 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408399087 115843072 362 33554432000 4194304 5098028 140732706189168 140732706187272 139822205923964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27901952 140732706194298 140732706194541 140732706194541 140732706197450 0
/proc/25328/statm: 28282 362 304 221 0 87 0
[pid=25330] ppid=25328 vsize=15417404 memory=467448 CPUtime=2520.33 cores=1,3,5,7
/proc/25330/stat : 25330 (java) S 25328 25328 14062 0 -1 1077944320 69496 0 0 0 251976 57 0 0 20 0 19 0 408399087 15787421696 116862 33554432000 4194304 4196468 140730785532128 140730785514672 139908907327223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
/proc/25330/statm: 3854351 116862 3539 1 0 3815453 0
[pid=25330/tid=25331] ppid=25328 vsize=15417404 memory=467448 CPUtime=0.89 cores=1,3,5,7
/proc/25330/task/25331/stat : 25331 (java) S 25328 25328 14062 0 -1 1077944384 9084 0 0 0 84 5 0 0 20 0 19 0 408399087 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908911568000 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25332] ppid=25328 vsize=15417404 memory=467408 CPUtime=1.06 cores=1,3,5,7
/proc/25330/task/25332/stat : 25332 (java) S 25328 25328 14062 0 -1 1077944384 2400 0 0 0 98 8 0 0 20 0 19 0 408399088 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908835367824 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25333] ppid=25328 vsize=15417404 memory=1448 CPUtime=1.07 cores=1,3,5,7
/proc/25330/task/25333/stat : 25333 (java) S 25328 25328 14062 0 -1 1077944384 2377 0 0 0 99 8 0 0 20 0 19 0 408399088 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908834315024 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25334] ppid=25328 vsize=15417404 memory=467448 CPUtime=1.06 cores=1,3,5,7
/proc/25330/task/25334/stat : 25334 (java) S 25328 25328 14062 0 -1 1077944384 2288 0 0 0 98 8 0 0 20 0 19 0 408399088 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908833262736 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25335] ppid=25328 vsize=15417404 memory=467448 CPUtime=1.06 cores=1,3,5,7
/proc/25330/task/25335/stat : 25335 (java) S 25328 25328 14062 0 -1 1077944384 3626 0 0 0 98 8 0 0 20 0 19 0 408399088 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908832209936 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25336] ppid=25328 vsize=15417404 memory=467448 CPUtime=0.58 cores=1,3,5,7
/proc/25330/task/25336/stat : 25336 (java) S 25328 25328 14062 0 -1 1077944384 10500 0 0 0 51 7 0 0 20 0 19 0 408399089 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908375804016 139908907338370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25337] ppid=25328 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25337/stat : 25337 (java) S 25328 25328 14062 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 408399090 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908374750048 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25338] ppid=25328 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25338/stat : 25338 (java) S 25328 25328 14062 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408399090 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908373697664 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25339] ppid=25328 vsize=15417404 memory=467448 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25339/stat : 25339 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408399092 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908372645968 139908907345819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25340] ppid=25328 vsize=15417404 memory=1448 CPUtime=1.73 cores=1,3,5,7
/proc/25330/task/25340/stat : 25340 (java) S 25328 25328 14062 0 -1 1077944384 9535 0 0 0 172 1 0 0 20 0 19 0 408399092 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908371593840 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25341] ppid=25328 vsize=15417404 memory=405868 CPUtime=2.07 cores=1,3,5,7
/proc/25330/task/25341/stat : 25341 (java) S 25328 25328 14062 0 -1 1077944384 8599 0 0 0 207 0 0 0 20 0 19 0 408399092 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908370541040 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25342] ppid=25328 vsize=15417404 memory=467416 CPUtime=0.66 cores=1,3,5,7
/proc/25330/task/25342/stat : 25342 (java) S 25328 25328 14062 0 -1 1077944384 4960 0 0 0 65 1 0 0 20 0 19 0 408399092 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908369488752 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25343] ppid=25328 vsize=15417404 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/25330/task/25343/stat : 25343 (java) S 25328 25328 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408399093 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908368436192 139908907337429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25344] ppid=25328 vsize=15417404 memory=467448 CPUtime=0.16 cores=1,3,5,7
/proc/25330/task/25344/stat : 25344 (java) S 25328 25328 14062 0 -1 1077944384 760 0 0 0 16 0 0 0 20 0 19 0 408399093 15787421696 116862 33554432000 4194304 4196468 140730785532128 139908367382960 139908907338370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25345] ppid=25328 vsize=15417404 memory=1448 CPUtime=628.28 cores=1,3,5,7
/proc/25330/task/25345/stat : 25345 (java) R 25328 25328 14062 0 -1 4202560 1731 0 0 0 62827 1 0 0 20 0 19 0 408399179 15787421696 116862 33554432000 4194304 4196468 140730785532128 139907898002224 139908516342560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25346] ppid=25328 vsize=15417404 memory=-3622645143214314312 CPUtime=627.38 cores=1,3,5,7
/proc/25330/task/25346/stat : 25346 (java) R 25328 25328 14062 0 -1 4202560 6075 0 0 0 62733 5 0 0 20 0 19 0 408399179 15787421696 116862 33554432000 4194304 4196468 140730785532128 139907896951304 139908515733280 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25347] ppid=25328 vsize=15417404 memory=2552 CPUtime=627.45 cores=1,3,5,7
/proc/25330/task/25347/stat : 25347 (java) R 25328 25328 14062 0 -1 4202560 1277 0 0 0 62744 1 0 0 20 0 19 0 408399179 15787421696 116862 33554432000 4194304 4196468 140730785532128 139907895898368 139908517032433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
[pid=25330/tid=25348] ppid=25328 vsize=15417404 memory=1448 CPUtime=626.76 cores=1,3,5,7
/proc/25330/task/25348/stat : 25348 (java) R 25328 25328 14062 0 -1 4202560 4942 0 0 0 62672 4 0 0 20 0 19 0 408399179 15787421696 116862 33554432000 4194304 4196468 140730785532128 139907894848592 139908517031889 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730785534959 140730785535130 140730785535130 140730785537999 0
Current children cumulated CPU time: 2520.33 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 468896 KiB
Child status: 143
Real time (s): 634.785
CPU time (s): 2520.66
CPU user time (s): 2520.08
CPU system time (s): 0.583049
CPU usage (%): 397.089
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 646220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.08
system time used= 0.583049
maximum resident set size= 647392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37501
involuntary context switches= 43887
# summary of solver processes directly reported to runsolver:
# pid: 25328,25330
# total CPU time (s): 2520.66
# total CPU user time (s): 2520.08
# total CPU system time (s): 0.583049
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89963 second user time and 7.2813 second system time
The end