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 (6738 MiB free)
memory of node 1: 16384 MiB (10607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292643-1532470661/watcher-4292643-1532470661 -o /tmp/evaluation-result-4292643-1532470661/solver-4292643-1532470661 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532470661-17281 --watchdog 2560 HOME/xcsp3-exec -seed 971782168 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292643-1532470661.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=17307, runsolver pid=17303
Current StackSize limit: 8192 KiB
[startup+0.110764 s]*
/proc/loadavg: 1.00 1.00 1.02 7/218 17342
/proc/meminfo: memFree=17729464/32770624 swapFree=67108796/67108860
[pid=17307] ppid=17303 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17307/stat : 17307 (xcsp3-exec) S 17303 17307 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 64629335 115843072 363 33554432000 4194304 5098028 140736376884112 140736376882216 139625545675388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40579072 140736376886331 140736376886532 140736376886532 140736376889290 0
/proc/17307/statm: 28282 363 306 221 0 87 0
[pid=17314] ppid=17307 vsize=14082840 memory=28576 CPUtime=0.12 cores=1,3,5,7
/proc/17314/stat : 17314 (java) S 17307 17307 17249 0 -1 1077944320 5507 0 0 0 11 1 0 0 20 0 15 0 64629335 14420828160 7144 33554432000 4194304 4196468 140732091108256 140732091090800 139765927247607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
/proc/17314/statm: 3520710 7144 3002 1 0 3483008 0
[pid=17314/tid=17315] ppid=17307 vsize=14082840 memory=5854518564242424225 CPUtime=0.09 cores=1,3,5,7
/proc/17314/task/17315/stat : 17315 (java) R 17307 17307 17249 0 -1 4202560 3511 0 0 0 9 0 0 0 20 0 15 0 64629336 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765931468184 139765927259542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17317] ppid=17307 vsize=14082840 memory=3472468373649585360 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17317/stat : 17317 (java) S 17307 17307 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64629337 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765888207760 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17319] ppid=17307 vsize=14082840 memory=140244754433664 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17319/stat : 17319 (java) S 17307 17307 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64629337 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765521558288 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17321] ppid=17307 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17321/stat : 17321 (java) S 17307 17307 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64629337 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765520506000 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17323] ppid=17307 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17323/stat : 17323 (java) S 17307 17307 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64629337 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765519453200 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17326] ppid=17307 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17326/stat : 17326 (java) S 17307 17307 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64629338 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765401446512 139765927258754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17327] ppid=17307 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17327/stat : 17327 (java) S 17307 17307 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64629339 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765400392480 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17329] ppid=17307 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17329/stat : 17329 (java) S 17307 17307 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64629339 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765399340144 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17332] ppid=17307 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17332/stat : 17332 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629341 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765398288464 139765927266203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17334] ppid=17307 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17334/stat : 17334 (java) S 17307 17307 17249 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 64629342 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765397236336 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17336] ppid=17307 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17336/stat : 17336 (java) S 17307 17307 17249 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 64629342 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765396183536 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17337] ppid=17307 vsize=14082840 memory=140244754433664 CPUtime=0.01 cores=1,3,5,7
/proc/17314/task/17337/stat : 17337 (java) R 17307 17307 17249 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 15 0 64629342 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765395131248 139765906267316 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17339] ppid=17307 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17339/stat : 17339 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629342 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765394078688 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17341] ppid=17307 vsize=14082840 memory=140244754433664 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17341/stat : 17341 (java) S 17307 17307 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64629342 14420828160 7144 33554432000 4194304 4196468 140732091108256 139765393025456 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30028 KiB
[startup+0.210489 s]*
/proc/loadavg: 1.00 1.00 1.02 1/218 17342
/proc/meminfo: memFree=17712100/32770624 swapFree=67108796/67108860
[pid=17307] ppid=17303 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17307/stat : 17307 (xcsp3-exec) S 17303 17307 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 64629335 115843072 363 33554432000 4194304 5098028 140736376884112 140736376882216 139625545675388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40579072 140736376886331 140736376886532 140736376886532 140736376889290 0
/proc/17307/statm: 28282 363 306 221 0 87 0
[pid=17314] ppid=17307 vsize=14082840 memory=37760 CPUtime=0.27 cores=1,3,5,7
/proc/17314/stat : 17314 (java) S 17307 17307 17249 0 -1 1077944320 7931 0 0 0 24 3 0 0 20 0 15 0 64629335 14420828160 9440 33554432000 4194304 4196468 140732091108256 140732091090800 139765927247607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
/proc/17314/statm: 3520710 9440 3186 1 0 3483008 0
[pid=17314/tid=17315] ppid=17307 vsize=14082840 memory=5854518564242424225 CPUtime=0.15 cores=1,3,5,7
/proc/17314/task/17315/stat : 17315 (java) D 17307 17307 17249 0 -1 4202560 5153 0 0 0 14 1 0 0 20 0 15 0 64629336 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765931483904 139765927269533 0 4 0 16800975 18446744071580419588 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17317] ppid=17307 vsize=14082840 memory=3472468373649585360 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17317/stat : 17317 (java) S 17307 17307 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64629337 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765888207760 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17319] ppid=17307 vsize=14082840 memory=140244754433664 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17319/stat : 17319 (java) S 17307 17307 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64629337 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765521558288 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17321] ppid=17307 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17321/stat : 17321 (java) S 17307 17307 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64629337 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765520506000 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17323] ppid=17307 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17323/stat : 17323 (java) S 17307 17307 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64629337 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765519453200 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17326] ppid=17307 vsize=14082840 memory=140244754433664 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17326/stat : 17326 (java) S 17307 17307 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64629338 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765401446512 139765927258754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17327] ppid=17307 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17327/stat : 17327 (java) S 17307 17307 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64629339 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765400392480 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17329] ppid=17307 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17329/stat : 17329 (java) S 17307 17307 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64629339 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765399340144 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17332] ppid=17307 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17332/stat : 17332 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629341 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765398288464 139765927266203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17334] ppid=17307 vsize=14082840 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17314/task/17334/stat : 17334 (java) S 17307 17307 17249 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 15 0 64629342 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765397236336 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17336] ppid=17307 vsize=14082840 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17314/task/17336/stat : 17336 (java) S 17307 17307 17249 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 15 0 64629342 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765396183536 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17337] ppid=17307 vsize=14082840 memory=140244754433664 CPUtime=0.05 cores=1,3,5,7
/proc/17314/task/17337/stat : 17337 (java) S 17307 17307 17249 0 -1 1077944384 790 0 0 0 5 0 0 0 20 0 15 0 64629342 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765395131248 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17339] ppid=17307 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17339/stat : 17339 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629342 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765394078688 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17341] ppid=17307 vsize=14082840 memory=140244754433664 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17341/stat : 17341 (java) S 17307 17307 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64629342 14420828160 9440 33554432000 4194304 4196468 140732091108256 139765393025456 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 39212 KiB
[startup+0.310369 s]*
/proc/loadavg: 1.00 1.00 1.02 2/218 17342
/proc/meminfo: memFree=17705492/32770624 swapFree=67108796/67108860
[pid=17307] ppid=17303 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17307/stat : 17307 (xcsp3-exec) S 17303 17307 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 64629335 115843072 363 33554432000 4194304 5098028 140736376884112 140736376882216 139625545675388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40579072 140736376886331 140736376886532 140736376886532 140736376889290 0
/proc/17307/statm: 28282 363 306 221 0 87 0
[pid=17314] ppid=17307 vsize=14082840 memory=40312 CPUtime=0.3 cores=1,3,5,7
/proc/17314/stat : 17314 (java) S 17307 17307 17249 0 -1 1077944320 8078 0 0 0 27 3 0 0 20 0 15 0 64629335 14420828160 10078 33554432000 4194304 4196468 140732091108256 140732091090800 139765927247607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
/proc/17314/statm: 3520710 10078 3201 1 0 3483008 0
[pid=17314/tid=17315] ppid=17307 vsize=14082840 memory=-6730459689176371552 CPUtime=0.17 cores=1,3,5,7
/proc/17314/task/17315/stat : 17315 (java) D 17307 17307 17249 0 -1 4202560 5293 0 0 0 16 1 0 0 20 0 15 0 64629336 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765931482512 139765927269533 0 4 0 16800975 18446744071580419588 0 0 -1 5 0 0 9 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17317] ppid=17307 vsize=14082840 memory=3472468373649585360 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17317/stat : 17317 (java) S 17307 17307 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64629337 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765888207760 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17319] ppid=17307 vsize=14082840 memory=140244754433664 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17319/stat : 17319 (java) S 17307 17307 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64629337 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765521558288 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17321] ppid=17307 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17321/stat : 17321 (java) S 17307 17307 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64629337 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765520506000 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17323] ppid=17307 vsize=14082840 memory=140244640999455 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17323/stat : 17323 (java) S 17307 17307 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64629337 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765519453200 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17326] ppid=17307 vsize=14082840 memory=280489281973536 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17326/stat : 17326 (java) S 17307 17307 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64629338 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765401446512 139765927258754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17327] ppid=17307 vsize=14082840 memory=140244640971791 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17327/stat : 17327 (java) S 17307 17307 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64629339 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765400392480 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17329] ppid=17307 vsize=14082840 memory=280489395412352 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17329/stat : 17329 (java) S 17307 17307 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64629339 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765399340144 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17332] ppid=17307 vsize=14082840 memory=140244640976399 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17332/stat : 17332 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629341 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765398288464 139765927266203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17334] ppid=17307 vsize=14082840 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17314/task/17334/stat : 17334 (java) S 17307 17307 17249 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 15 0 64629342 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765397236336 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17336] ppid=17307 vsize=14082840 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17314/task/17336/stat : 17336 (java) S 17307 17307 17249 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 15 0 64629342 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765396183536 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17337] ppid=17307 vsize=14082840 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/17314/task/17337/stat : 17337 (java) S 17307 17307 17249 0 -1 1077944384 797 0 0 0 6 0 0 0 20 0 15 0 64629342 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765395131248 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17339] ppid=17307 vsize=14082840 memory=2108 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17339/stat : 17339 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629342 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765394078688 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17341] ppid=17307 vsize=14082840 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17341/stat : 17341 (java) S 17307 17307 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64629342 14420828160 10078 33554432000 4194304 4196468 140732091108256 139765393025456 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41764 KiB
[startup+0.700794 s]
/proc/loadavg: 1.00 1.00 1.02 1/218 17342
/proc/meminfo: memFree=17702144/32770624 swapFree=67108796/67108860
[pid=17307] ppid=17303 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17307/stat : 17307 (xcsp3-exec) S 17303 17307 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 64629335 115843072 363 33554432000 4194304 5098028 140736376884112 140736376882216 139625545675388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40579072 140736376886331 140736376886532 140736376886532 140736376889290 0
/proc/17307/statm: 28282 363 306 221 0 87 0
[pid=17314] ppid=17307 vsize=14087172 memory=51960 CPUtime=0.61 cores=1,3,5,7
/proc/17314/stat : 17314 (java) S 17307 17307 17249 0 -1 1077944320 9613 0 1 0 57 4 0 0 20 0 15 0 64629335 14425264128 12990 33554432000 4194304 4196468 140732091108256 140732091090800 139765927247607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
/proc/17314/statm: 3521793 12990 3274 1 0 3483008 0
[pid=17314/tid=17315] ppid=17307 vsize=14087172 memory=7007707949394126417 CPUtime=0.34 cores=1,3,5,7
/proc/17314/task/17315/stat : 17315 (java) R 17307 17307 17249 0 -1 4202560 6461 0 1 0 32 2 0 0 20 0 15 0 64629336 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765931483840 139765911291237 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17317] ppid=17307 vsize=14087172 memory=7300728970739542608 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17317/stat : 17317 (java) S 17307 17307 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64629337 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765888207760 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17319] ppid=17307 vsize=14087172 memory=7516877558933116501 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17319/stat : 17319 (java) S 17307 17307 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64629337 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765521558288 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17321] ppid=17307 vsize=14087172 memory=8041645962788481611 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17321/stat : 17321 (java) S 17307 17307 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64629337 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765520506000 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17323] ppid=17307 vsize=14087172 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17323/stat : 17323 (java) S 17307 17307 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64629337 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765519453200 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17326] ppid=17307 vsize=14087172 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17326/stat : 17326 (java) S 17307 17307 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64629338 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765401446512 139765927258754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17327] ppid=17307 vsize=14087172 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17327/stat : 17327 (java) S 17307 17307 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64629339 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765400392480 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17329] ppid=17307 vsize=14087172 memory=280489282043712 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17329/stat : 17329 (java) S 17307 17307 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64629339 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765399340144 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17332] ppid=17307 vsize=14087172 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17332/stat : 17332 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629341 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765398288464 139765927266203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17334] ppid=17307 vsize=14087172 memory=19572 CPUtime=0.04 cores=1,3,5,7
/proc/17314/task/17334/stat : 17334 (java) S 17307 17307 17249 0 -1 1077944384 411 0 0 0 4 0 0 0 20 0 15 0 64629342 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765397236336 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17336] ppid=17307 vsize=14087172 memory=2088 CPUtime=0.06 cores=1,3,5,7
/proc/17314/task/17336/stat : 17336 (java) R 17307 17307 17249 0 -1 1077944384 375 0 0 0 6 0 0 0 20 0 15 0 64629342 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765396183536 139765927258754 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17337] ppid=17307 vsize=14087172 memory=1040 CPUtime=0.14 cores=1,3,5,7
/proc/17314/task/17337/stat : 17337 (java) S 17307 17307 17249 0 -1 1077944384 1058 0 0 0 14 0 0 0 20 0 15 0 64629342 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765395131248 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17339] ppid=17307 vsize=14087172 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17339/stat : 17339 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629342 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765394078688 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17341] ppid=17307 vsize=14087172 memory=7518026621751088992 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17341/stat : 17341 (java) S 17307 17307 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64629342 14425264128 12990 33554432000 4194304 4196468 140732091108256 139765393025456 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 14200300 KiB
Current children cumulated memory: 53412 KiB
[startup+1.50082 s]
/proc/loadavg: 1.48 1.10 1.06 8/218 17342
/proc/meminfo: memFree=17635736/32770624 swapFree=67108796/67108860
[pid=17307] ppid=17303 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17307/stat : 17307 (xcsp3-exec) S 17303 17307 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 64629335 115843072 363 33554432000 4194304 5098028 140736376884112 140736376882216 139625545675388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40579072 140736376886331 140736376886532 140736376886532 140736376889290 0
/proc/17307/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/17314/task/17327/stat : 17327 (java) S 17307 17307 17249 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 64629339 14427361280 49936 33554432000 4194304 4196468 140732091108256 139765400392480 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17329] ppid=17307 vsize=14089220 memory=7662981763964556651 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17329/stat : 17329 (java) S 17307 17307 17249 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 64629339 14427361280 49936 33554432000 4194304 4196468 140732091108256 139765399340144 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17332] ppid=17307 vsize=14089220 memory=33 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17332/stat : 17332 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629341 14427361280 49936 33554432000 4194304 4196468 140732091108256 139765398288464 139765927266203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17334] ppid=17307 vsize=14089220 memory=7450197779817125733 CPUtime=1.84 cores=1,3,5,7
/proc/17314/task/17334/stat : 17334 (java) S 17307 17307 17249 0 -1 1077944384 12181 0 0 0 182 2 0 0 20 0 15 0 64629342 14427361280 49936 33554432000 4194304 4196468 140732091108256 139765397236336 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17336] ppid=17307 vsize=14089220 memory=5024 CPUtime=1.93 cores=1,3,5,7
/proc/17314/task/17336/stat : 17336 (java) S 17307 17307 17249 0 -1 1077944384 16120 0 0 0 191 2 0 0 20 0 15 0 64629342 14427361280 49936 33554432000 4194304 4196468 140732091108256 139765396183536 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17337] ppid=17307 vsize=14089220 memory=4032 CPUtime=0.35 cores=1,3,5,7
/proc/17314/task/17337/stat : 17337 (java) S 17307 17307 17249 0 -1 1077944384 3837 0 0 0 34 1 0 0 20 0 15 0 64629342 14427361280 49936 33554432000 4194304 4196468 140732091108256 139765395131248 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17339] ppid=17307 vsize=14089220 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17339/stat : 17339 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629342 14427361280 49936 33554432000 4194304 4196468 140732091108256 139765394078688 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17341] ppid=17307 vsize=14089220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17341/stat : 17341 (java) S 17307 17307 17249 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 64629342 14427361280 49936 33554432000 4194304 4196468 140732091108256 139765393025456 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
Current children cumulated CPU time: 29.4 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 201196 KiB
[startup+28.4044 s]
# the end of solver process 17307 was just reported to runsolver
# cumulated CPU time of all completed processes: user=32.156 s, system=0.170091 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6048 s]
/proc/loadavg: 1.55 1.14 1.07 3/218 17342
/proc/meminfo: memFree=17419892/32770624 swapFree=67108796/67108860
[pid=17307] ppid=17303 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17307/stat : 17307 (xcsp3-exec) S 17303 17307 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 64629335 115843072 363 33554432000 4194304 5098028 140736376884112 140736376882216 139625545675388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40579072 140736376886331 140736376886532 140736376886532 140736376889290 0
/proc/17307/statm: 28282 363 306 221 0 87 0
[pid=17314] ppid=17307 vsize=14089220 memory=201792 CPUtime=29.51 cores=1,3,5,7
/proc/17314/stat : 17314 (java) S 17307 17307 17249 0 -1 1077944320 45649 0 1 0 2936 15 0 0 20 0 15 0 64629335 14427361280 50448 33554432000 4194304 4196468 140732091108256 140732091090800 139765927247607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
/proc/17314/statm: 3522305 50448 3368 1 0 3483520 0
[pid=17314/tid=17315] ppid=17307 vsize=14089220 memory=6791534058613427641 CPUtime=25.1 cores=1,3,5,7
/proc/17314/task/17315/stat : 17315 (java) R 17307 17307 17249 0 -1 4202560 8891 0 1 0 2505 5 0 0 20 0 15 0 64629336 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765931487152 139765911587805 0 4 0 16800975 0 0 0 -1 7 0 0 29 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17317] ppid=17307 vsize=14089220 memory=94 CPUtime=0.04 cores=1,3,5,7
/proc/17314/task/17317/stat : 17317 (java) S 17307 17307 17249 0 -1 1077944384 772 0 0 0 4 0 0 0 20 0 15 0 64629337 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765888207760 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17319] ppid=17307 vsize=14089220 memory=192 CPUtime=0.04 cores=1,3,5,7
/proc/17314/task/17319/stat : 17319 (java) S 17307 17307 17249 0 -1 1077944384 242 0 0 0 3 1 0 0 20 0 15 0 64629337 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765521558288 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17321] ppid=17307 vsize=14089220 memory=2443 CPUtime=0.03 cores=1,3,5,7
/proc/17314/task/17321/stat : 17321 (java) S 17307 17307 17249 0 -1 1077944384 568 0 0 0 3 0 0 0 20 0 15 0 64629337 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765520506000 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17323] ppid=17307 vsize=14089220 memory=56 CPUtime=0.03 cores=1,3,5,7
/proc/17314/task/17323/stat : 17323 (java) S 17307 17307 17249 0 -1 1077944384 530 0 0 0 3 0 0 0 20 0 15 0 64629337 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765519453200 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17326] ppid=17307 vsize=14089220 memory=8514726395715218844 CPUtime=0.04 cores=1,3,5,7
/proc/17314/task/17326/stat : 17326 (java) S 17307 17307 17249 0 -1 1077944384 850 0 0 0 4 0 0 0 20 0 15 0 64629338 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765401446512 139765927258754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17327] ppid=17307 vsize=14089220 memory=5450916479948256810 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17327/stat : 17327 (java) S 17307 17307 17249 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 64629339 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765400392480 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17329] ppid=17307 vsize=14089220 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17329/stat : 17329 (java) S 17307 17307 17249 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 64629339 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765399340144 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17332] ppid=17307 vsize=14089220 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17332/stat : 17332 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629341 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765398288464 139765927266203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17334] ppid=17307 vsize=14089220 memory=19572 CPUtime=1.84 cores=1,3,5,7
/proc/17314/task/17334/stat : 17334 (java) S 17307 17307 17249 0 -1 1077944384 12181 0 0 0 182 2 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765397236336 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17336] ppid=17307 vsize=14089220 memory=1452 CPUtime=1.93 cores=1,3,5,7
/proc/17314/task/17336/stat : 17336 (java) S 17307 17307 17249 0 -1 1077944384 16120 0 0 0 191 2 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765396183536 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17337] ppid=17307 vsize=14089220 memory=197696 CPUtime=0.35 cores=1,3,5,7
/proc/17314/task/17337/stat : 17337 (java) S 17307 17307 17249 0 -1 1077944384 3837 0 0 0 34 1 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765395131248 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17339] ppid=17307 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17339/stat : 17339 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765394078688 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17341] ppid=17307 vsize=14089220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17341/stat : 17341 (java) S 17307 17307 17249 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765393025456 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
Current children cumulated CPU time: 29.51 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 203244 KiB
[startup+27.2008 s]
/proc/loadavg: 1.58 1.15 1.08 3/218 17342
/proc/meminfo: memFree=17415672/32770624 swapFree=67108796/67108860
[pid=17307] ppid=17303 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17307/stat : 17307 (xcsp3-exec) S 17303 17307 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 64629335 115843072 363 33554432000 4194304 5098028 140736376884112 140736376882216 139625545675388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40579072 140736376886331 140736376886532 140736376886532 140736376889290 0
/proc/17307/statm: 28282 363 306 221 0 87 0
[pid=17314] ppid=17307 vsize=14089220 memory=201792 CPUtime=31.12 cores=1,3,5,7
/proc/17314/stat : 17314 (java) S 17307 17307 17249 0 -1 1077944320 45681 0 1 0 3096 16 0 0 20 0 15 0 64629335 14427361280 50448 33554432000 4194304 4196468 140732091108256 140732091090800 139765927247607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
/proc/17314/statm: 3522305 50448 3368 1 0 3483520 0
[pid=17314/tid=17315] ppid=17307 vsize=14089220 memory=1120 CPUtime=26.68 cores=1,3,5,7
/proc/17314/task/17315/stat : 17315 (java) R 17307 17307 17249 0 -1 4202560 8915 0 1 0 2663 5 0 0 20 0 15 0 64629336 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765931487264 139765913315732 0 4 0 16800975 0 0 0 -1 3 0 0 29 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17317] ppid=17307 vsize=14089220 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/17314/task/17317/stat : 17317 (java) S 17307 17307 17249 0 -1 1077944384 772 0 0 0 4 0 0 0 20 0 15 0 64629337 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765888207760 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17319] ppid=17307 vsize=14089220 memory=197684 CPUtime=0.05 cores=1,3,5,7
/proc/17314/task/17319/stat : 17319 (java) S 17307 17307 17249 0 -1 1077944384 242 0 0 0 4 1 0 0 20 0 15 0 64629337 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765521558288 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17321] ppid=17307 vsize=14089220 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/17314/task/17321/stat : 17321 (java) S 17307 17307 17249 0 -1 1077944384 568 0 0 0 4 0 0 0 20 0 15 0 64629337 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765520506000 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17323] ppid=17307 vsize=14089220 memory=197696 CPUtime=0.05 cores=1,3,5,7
/proc/17314/task/17323/stat : 17323 (java) S 17307 17307 17249 0 -1 1077944384 532 0 0 0 4 1 0 0 20 0 15 0 64629337 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765519453200 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17326] ppid=17307 vsize=14089220 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/17314/task/17326/stat : 17326 (java) S 17307 17307 17249 0 -1 1077944384 850 0 0 0 5 0 0 0 20 0 15 0 64629338 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765401446512 139765927258754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17327] ppid=17307 vsize=14089220 memory=197696 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17327/stat : 17327 (java) S 17307 17307 17249 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 64629339 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765400392480 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17329] ppid=17307 vsize=14089220 memory=-5345911753256963030 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17329/stat : 17329 (java) S 17307 17307 17249 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 64629339 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765399340144 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17332] ppid=17307 vsize=14089220 memory=7018123730419476843 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17332/stat : 17332 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629341 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765398288464 139765927266203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17334] ppid=17307 vsize=14089220 memory=7235147594880805952 CPUtime=1.84 cores=1,3,5,7
/proc/17314/task/17334/stat : 17334 (java) S 17307 17307 17249 0 -1 1077944384 12183 0 0 0 182 2 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765397236336 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17336] ppid=17307 vsize=14089220 memory=0 CPUtime=1.93 cores=1,3,5,7
/proc/17314/task/17336/stat : 17336 (java) S 17307 17307 17249 0 -1 1077944384 16122 0 0 0 191 2 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765396183536 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17337] ppid=17307 vsize=14089220 memory=184 CPUtime=0.35 cores=1,3,5,7
/proc/17314/task/17337/stat : 17337 (java) S 17307 17307 17249 0 -1 1077944384 3839 0 0 0 34 1 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765395131248 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17339] ppid=17307 vsize=14089220 memory=193 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17339/stat : 17339 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765394078688 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17341] ppid=17307 vsize=14089220 memory=35 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17341/stat : 17341 (java) S 17307 17307 17249 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765393025456 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
Current children cumulated CPU time: 31.12 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 203244 KiB
[startup+28.0008 s]*
/proc/loadavg: 1.58 1.15 1.08 3/218 17342
/proc/meminfo: memFree=17415672/32770624 swapFree=67108796/67108860
[pid=17307] ppid=17303 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17307/stat : 17307 (xcsp3-exec) S 17303 17307 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 64629335 115843072 363 33554432000 4194304 5098028 140736376884112 140736376882216 139625545675388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40579072 140736376886331 140736376886532 140736376886532 140736376889290 0
/proc/17307/statm: 28282 363 306 221 0 87 0
[pid=17314] ppid=17307 vsize=14089220 memory=201792 CPUtime=31.94 cores=1,3,5,7
/proc/17314/stat : 17314 (java) S 17307 17307 17249 0 -1 1077944320 45691 0 1 0 3178 16 0 0 20 0 15 0 64629335 14427361280 50448 33554432000 4194304 4196468 140732091108256 140732091090800 139765927247607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
/proc/17314/statm: 3522305 50448 3368 1 0 3483520 0
[pid=17314/tid=17315] ppid=17307 vsize=14089220 memory=6791534058613427641 CPUtime=27.48 cores=1,3,5,7
/proc/17314/task/17315/stat : 17315 (java) R 17307 17307 17249 0 -1 4202560 8924 0 1 0 2743 5 0 0 20 0 15 0 64629336 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765931487264 139765913315732 0 4 0 16800975 0 0 0 -1 3 0 0 29 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17317] ppid=17307 vsize=14089220 memory=-7003737579269690708 CPUtime=0.04 cores=1,3,5,7
/proc/17314/task/17317/stat : 17317 (java) S 17307 17307 17249 0 -1 1077944384 773 0 0 0 4 0 0 0 20 0 15 0 64629337 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765888207760 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17319] ppid=17307 vsize=14089220 memory=165872 CPUtime=0.05 cores=1,3,5,7
/proc/17314/task/17319/stat : 17319 (java) S 17307 17307 17249 0 -1 1077944384 242 0 0 0 4 1 0 0 20 0 15 0 64629337 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765521558288 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17321] ppid=17307 vsize=14089220 memory=201792 CPUtime=0.04 cores=1,3,5,7
/proc/17314/task/17321/stat : 17321 (java) S 17307 17307 17249 0 -1 1077944384 568 0 0 0 4 0 0 0 20 0 15 0 64629337 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765520506000 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17323] ppid=17307 vsize=14089220 memory=1981 CPUtime=0.05 cores=1,3,5,7
/proc/17314/task/17323/stat : 17323 (java) S 17307 17307 17249 0 -1 1077944384 532 0 0 0 4 1 0 0 20 0 15 0 64629337 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765519453200 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17326] ppid=17307 vsize=14089220 memory=1557 CPUtime=0.05 cores=1,3,5,7
/proc/17314/task/17326/stat : 17326 (java) S 17307 17307 17249 0 -1 1077944384 850 0 0 0 5 0 0 0 20 0 15 0 64629338 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765401446512 139765927258754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17327] ppid=17307 vsize=14089220 memory=2 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17327/stat : 17327 (java) S 17307 17307 17249 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 64629339 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765400392480 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17329] ppid=17307 vsize=14089220 memory=2088 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17329/stat : 17329 (java) S 17307 17307 17249 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 64629339 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765399340144 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17332] ppid=17307 vsize=14089220 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17332/stat : 17332 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629341 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765398288464 139765927266203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17334] ppid=17307 vsize=14089220 memory=1628 CPUtime=1.84 cores=1,3,5,7
/proc/17314/task/17334/stat : 17334 (java) S 17307 17307 17249 0 -1 1077944384 12183 0 0 0 182 2 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765397236336 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17336] ppid=17307 vsize=14089220 memory=8876 CPUtime=1.93 cores=1,3,5,7
/proc/17314/task/17336/stat : 17336 (java) S 17307 17307 17249 0 -1 1077944384 16122 0 0 0 191 2 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765396183536 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17337] ppid=17307 vsize=14089220 memory=1120 CPUtime=0.35 cores=1,3,5,7
/proc/17314/task/17337/stat : 17337 (java) S 17307 17307 17249 0 -1 1077944384 3839 0 0 0 34 1 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765395131248 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17339] ppid=17307 vsize=14089220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17339/stat : 17339 (java) S 17307 17307 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765394078688 139765927257813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
[pid=17314/tid=17341] ppid=17307 vsize=14089220 memory=832 CPUtime=0 cores=1,3,5,7
/proc/17314/task/17341/stat : 17341 (java) S 17307 17307 17249 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 64629342 14427361280 50448 33554432000 4194304 4196468 140732091108256 139765393025456 139765927258754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 39178240 140732091114625 140732091114801 140732091114801 140732091117519 0
Current children cumulated CPU time: 31.94 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 203244 KiB
[startup+28.4009 s]
/proc/loadavg: 1.58 1.15 1.08 3/218 17342
/proc/meminfo: memFree=17415672/32770624 swapFree=67108796/67108860
[pid=17307] ppid=17303 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17307/stat : 17307 (xcsp3-exec) S 17303 17307 17249 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 64629335 115843072 363 33554432000 4194304 5098028 140736376884112 140736376882216 139625545675388 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40579072 140736376886331 140736376886532 140736376886532 140736376889290 0
/proc/17307/statm: 28282 363 306 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 28.4045
CPU time (s): 32.3261
CPU user time (s): 32.156
CPU system time (s): 0.170091
CPU usage (%): 113.806
Max. virtual memory (cumulated for all children) (KiB): 14206320
Max. memory (cumulated for all children) (KiB): 228712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.156
system time used= 0.170091
maximum resident set size= 227260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46994
page faults= 1
swaps= 0
block input operations= 3864
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4046
involuntary context switches= 223
# summary of solver processes directly reported to runsolver:
# pid: 17307
# total CPU time (s): 32.3261
# total CPU user time (s): 32.156
# total CPU system time (s): 0.170091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.208304 second user time and 0.301378 second system time
The end