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 (15313 MiB free)
memory of node 1: 16384 MiB (14310 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393366-1568315114/watcher-4393366-1568315114 -o /tmp/evaluation-result-4393366-1568315114/solver-4393366-1568315114 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14285 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1350523678 HOME/instance-4393366-1568315114.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=16455, runsolver pid=16452
[startup+0.100085 s]*
/proc/loadavg: 7.48 7.73 7.10 7/234 16471
/proc/meminfo: memFree=30317372/32770624 swapFree=66920668/67108860
[pid=16455] ppid=16452 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16455/stat : 16455 (xcsp3-exec) S 16452 16455 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407767531 115843072 363 33554432000 4194304 5098028 140722580400784 140722580398888 140190230151804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26890240 140722580403066 140722580403309 140722580403309 140722580406218 0
/proc/16455/statm: 28282 363 304 221 0 87 0
[pid=16457] ppid=16455 vsize=15144768 memory=29380 CPUtime=0.13 cores=0,2,4,6
/proc/16457/stat : 16457 (java) S 16455 16455 14254 0 -1 1077944320 5834 0 0 0 12 1 0 0 20 0 15 0 407767531 15508242432 7345 33554432000 4194304 4196468 140728947405600 140728947388144 140287270723319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
/proc/16457/statm: 3786192 7345 3120 1 0 3748377 0
[pid=16457/tid=16458] ppid=16455 vsize=15144768 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/16457/task/16458/stat : 16458 (java) R 16455 16455 14254 0 -1 4202560 3739 0 0 0 8 0 0 0 20 0 15 0 407767531 15508242432 7345 33554432000 4194304 4196468 140728947405600 140287274954464 140287252296808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16459] ppid=16455 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16459/stat : 16459 (java) S 16455 16455 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407767532 15508242432 7345 33554432000 4194304 4196468 140728947405600 140287198764048 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16460] ppid=16455 vsize=15144768 memory=139727249964878 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16460/stat : 16460 (java) S 16455 16455 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407767532 15508242432 7345 33554432000 4194304 4196468 140728947405600 140287197711504 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16461] ppid=16455 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16461/stat : 16461 (java) S 16455 16455 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407767532 15508242432 7345 33554432000 4194304 4196468 140728947405600 140287196658448 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16462] ppid=16455 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16462/stat : 16462 (java) S 16455 16455 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407767532 15508242432 7345 33554432000 4194304 4196468 140728947405600 140287195605904 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16463] ppid=16455 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16463/stat : 16463 (java) S 16455 16455 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407767533 15508242432 7345 33554432000 4194304 4196468 140728947405600 140286739351792 140287270734466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16464] ppid=16455 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16464/stat : 16464 (java) S 16455 16455 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407767534 15508242432 7345 33554432000 4194304 4196468 140728947405600 140286738298016 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16465] ppid=16455 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16465/stat : 16465 (java) S 16455 16455 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407767534 15508242432 7345 33554432000 4194304 4196468 140728947405600 140286737244912 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16466] ppid=16455 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16466/stat : 16466 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407767537 15508242432 7411 33554432000 4194304 4196468 140728947405600 140286736193488 140287270741915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16467] ppid=16455 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16467/stat : 16467 (java) R 16455 16455 14254 0 -1 4202560 333 0 0 0 0 0 0 0 20 0 15 0 407767537 15508242432 7411 33554432000 4194304 4196468 140728947405600 140286735141616 140287251136624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16468] ppid=16455 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16468/stat : 16468 (java) R 16455 16455 14254 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 407767537 15508242432 7411 33554432000 4194304 4196468 140728947405600 140286734089072 140287270734466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16469] ppid=16455 vsize=15144768 memory=139727249950336 CPUtime=0.02 cores=0,2,4,6
/proc/16457/task/16469/stat : 16469 (java) S 16455 16455 14254 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 407767537 15508242432 7411 33554432000 4194304 4196468 140728947405600 140286733036016 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16470] ppid=16455 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16470/stat : 16470 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407767537 15508242432 7411 33554432000 4194304 4196468 140728947405600 140286731983712 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16471] ppid=16455 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16471/stat : 16471 (java) S 16455 16455 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407767537 15508242432 7411 33554432000 4194304 4196468 140728947405600 140286730930736 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30832 KiB
[startup+0.211088 s]*
/proc/loadavg: 7.48 7.73 7.10 7/234 16471
/proc/meminfo: memFree=30305408/32770624 swapFree=66920668/67108860
[pid=16455] ppid=16452 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16455/stat : 16455 (xcsp3-exec) S 16452 16455 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407767531 115843072 363 33554432000 4194304 5098028 140722580400784 140722580398888 140190230151804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26890240 140722580403066 140722580403309 140722580403309 140722580406218 0
/proc/16455/statm: 28282 363 304 221 0 87 0
[pid=16457] ppid=16455 vsize=15144768 memory=41228 CPUtime=0.34 cores=0,2,4,6
/proc/16457/stat : 16457 (java) S 16455 16455 14254 0 -1 1077944320 9463 0 0 0 32 2 0 0 20 0 15 0 407767531 15508242432 10307 33554432000 4194304 4196468 140728947405600 140728947388144 140287270723319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
/proc/16457/statm: 3786192 10307 3320 1 0 3748377 0
[pid=16457/tid=16458] ppid=16455 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16457/task/16458/stat : 16458 (java) R 16455 16455 14254 0 -1 4202560 6647 0 0 0 18 2 0 0 20 0 15 0 407767531 15508242432 10307 33554432000 4194304 4196468 140728947405600 140287274960368 140287270745245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16459] ppid=16455 vsize=15144768 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16459/stat : 16459 (java) S 16455 16455 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407767532 15508242432 10307 33554432000 4194304 4196468 140728947405600 140287198764048 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16460] ppid=16455 vsize=15144768 memory=288370103401662080 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16460/stat : 16460 (java) S 16455 16455 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407767532 15508242432 10307 33554432000 4194304 4196468 140728947405600 140287197711504 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16461] ppid=16455 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16461/stat : 16461 (java) S 16455 16455 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407767532 15508242432 10307 33554432000 4194304 4196468 140728947405600 140287196658448 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16462] ppid=16455 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16462/stat : 16462 (java) S 16455 16455 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407767532 15508242432 10307 33554432000 4194304 4196468 140728947405600 140287195605904 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16463] ppid=16455 vsize=15144768 memory=139727249950336 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16463/stat : 16463 (java) S 16455 16455 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407767533 15508242432 10307 33554432000 4194304 4196468 140728947405600 140286739351792 140287270734466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16464] ppid=16455 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16464/stat : 16464 (java) S 16455 16455 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407767534 15508242432 10307 33554432000 4194304 4196468 140728947405600 140286738298016 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16465] ppid=16455 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16465/stat : 16465 (java) S 16455 16455 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407767534 15508242432 10307 33554432000 4194304 4196468 140728947405600 140286737244912 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16466] ppid=16455 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16466/stat : 16466 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407767537 15508242432 10307 33554432000 4194304 4196468 140728947405600 140286736193488 140287270741915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16467] ppid=16455 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16457/task/16467/stat : 16467 (java) S 16455 16455 14254 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 15 0 407767537 15508242432 10307 33554432000 4194304 4196468 140728947405600 140286735141616 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16468] ppid=16455 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16457/task/16468/stat : 16468 (java) S 16455 16455 14254 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 407767537 15508242432 10307 33554432000 4194304 4196468 140728947405600 140286734089072 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16469] ppid=16455 vsize=15144768 memory=139727249950336 CPUtime=0.08 cores=0,2,4,6
/proc/16457/task/16469/stat : 16469 (java) R 16455 16455 14254 0 -1 4202560 729 0 0 0 8 0 0 0 20 0 15 0 407767537 15508242432 10307 33554432000 4194304 4196468 140728947405600 140286733036016 140287270744666 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16470] ppid=16455 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16470/stat : 16470 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407767537 15508242432 10307 33554432000 4194304 4196468 140728947405600 140286731983712 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16471] ppid=16455 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16471/stat : 16471 (java) S 16455 16455 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407767537 15508242432 10307 33554432000 4194304 4196468 140728947405600 140286730930736 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42680 KiB
[startup+0.319205 s]*
/proc/loadavg: 7.48 7.73 7.10 7/234 16471
/proc/meminfo: memFree=30297068/32770624 swapFree=66920668/67108860
[pid=16455] ppid=16452 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16455/stat : 16455 (xcsp3-exec) S 16452 16455 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407767531 115843072 363 33554432000 4194304 5098028 140722580400784 140722580398888 140190230151804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26890240 140722580403066 140722580403309 140722580403309 140722580406218 0
/proc/16455/statm: 28282 363 304 221 0 87 0
[pid=16457] ppid=16455 vsize=15149024 memory=50468 CPUtime=0.54 cores=0,2,4,6
/proc/16457/stat : 16457 (java) S 16455 16455 14254 0 -1 1077944320 10951 0 0 0 51 3 0 0 20 0 15 0 407767531 15512600576 12617 33554432000 4194304 4196468 140728947405600 140728947388144 140287270723319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
/proc/16457/statm: 3787256 12617 3353 1 0 3748377 0
[pid=16457/tid=16458] ppid=16455 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/16457/task/16458/stat : 16458 (java) R 16455 16455 14254 0 -1 4202560 7905 0 0 0 28 2 0 0 20 0 15 0 407767531 15512600576 12617 33554432000 4194304 4196468 140728947405600 140287274950944 140287254803806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16459] ppid=16455 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16459/stat : 16459 (java) S 16455 16455 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407767532 15512600576 12617 33554432000 4194304 4196468 140728947405600 140287198764048 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16460] ppid=16455 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16460/stat : 16460 (java) S 16455 16455 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407767532 15512600576 12617 33554432000 4194304 4196468 140728947405600 140287197711504 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16461] ppid=16455 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16461/stat : 16461 (java) S 16455 16455 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407767532 15512600576 12625 33554432000 4194304 4196468 140728947405600 140287196658448 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16462] ppid=16455 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16462/stat : 16462 (java) S 16455 16455 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407767532 15512600576 12625 33554432000 4194304 4196468 140728947405600 140287195605904 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16463] ppid=16455 vsize=15149024 memory=-7449686455322460319 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16463/stat : 16463 (java) S 16455 16455 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407767533 15512600576 12625 33554432000 4194304 4196468 140728947405600 140286739351792 140287270734466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16464] ppid=16455 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16464/stat : 16464 (java) S 16455 16455 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407767534 15512600576 12625 33554432000 4194304 4196468 140728947405600 140286738298016 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16465] ppid=16455 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16465/stat : 16465 (java) S 16455 16455 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407767534 15512600576 12625 33554432000 4194304 4196468 140728947405600 140286737244912 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16466] ppid=16455 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16466/stat : 16466 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407767537 15512600576 12625 33554432000 4194304 4196468 140728947405600 140286736193488 140287270741915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16467] ppid=16455 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/16457/task/16467/stat : 16467 (java) S 16455 16455 14254 0 -1 1077944384 442 0 0 0 4 0 0 0 20 0 15 0 407767537 15512600576 12625 33554432000 4194304 4196468 140728947405600 140286735141616 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16468] ppid=16455 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/16457/task/16468/stat : 16468 (java) S 16455 16455 14254 0 -1 1077944384 488 0 0 0 5 0 0 0 20 0 15 0 407767537 15512600576 12625 33554432000 4194304 4196468 140728947405600 140286734089072 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16469] ppid=16455 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16457/task/16469/stat : 16469 (java) S 16455 16455 14254 0 -1 1077944384 813 0 0 0 12 0 0 0 20 0 15 0 407767537 15512600576 12625 33554432000 4194304 4196468 140728947405600 140286733036016 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16470] ppid=16455 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16470/stat : 16470 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407767537 15512600576 12625 33554432000 4194304 4196468 140728947405600 140286731983712 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16471] ppid=16455 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16471/stat : 16471 (java) S 16455 16455 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407767537 15512600576 12625 33554432000 4194304 4196468 140728947405600 140286730930736 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51920 KiB
[startup+0.711205 s]
/proc/loadavg: 7.48 7.73 7.10 8/234 16471
/proc/meminfo: memFree=30281188/32770624 swapFree=66920668/67108860
[pid=16455] ppid=16452 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16455/stat : 16455 (xcsp3-exec) S 16452 16455 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407767531 115843072 363 33554432000 4194304 5098028 140722580400784 140722580398888 140190230151804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26890240 140722580403066 140722580403309 140722580403309 140722580406218 0
/proc/16455/statm: 28282 363 304 221 0 87 0
[pid=16457] ppid=16455 vsize=15417404 memory=101356 CPUtime=1.7 cores=0,2,4,6
/proc/16457/stat : 16457 (java) S 16455 16455 14254 0 -1 1077944320 14519 0 0 0 165 5 0 0 20 0 19 0 407767531 15787421696 25339 33554432000 4194304 4196468 140728947405600 140728947388144 140287270723319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
/proc/16457/statm: 3854351 25339 3463 1 0 3815453 0
[pid=16457/tid=16458] ppid=16455 vsize=15417404 memory=-3704326594973231466 CPUtime=0.64 cores=0,2,4,6
/proc/16457/task/16458/stat : 16458 (java) S 16455 16455 14254 0 -1 1077944384 9237 0 0 0 61 3 0 0 20 0 19 0 407767531 15787421696 25339 33554432000 4194304 4196468 140728947405600 140287274964096 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16459] ppid=16455 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16459/stat : 16459 (java) S 16455 16455 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407767532 15787421696 25339 33554432000 4194304 4196468 140728947405600 140287198764048 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16460] ppid=16455 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16460/stat : 16460 (java) S 16455 16455 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407767532 15787421696 25339 33554432000 4194304 4196468 140728947405600 140287197711504 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16461] ppid=16455 vsize=15417404 memory=708 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16461/stat : 16461 (java) S 16455 16455 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407767532 15787421696 25339 33554432000 4194304 4196468 140728947405600 140287196658448 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16462] ppid=16455 vsize=15417404 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16462/stat : 16462 (java) S 16455 16455 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407767532 15787421696 25339 33554432000 4194304 4196468 140728947405600 140287195605904 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16463] ppid=16455 vsize=15417404 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16463/stat : 16463 (java) S 16455 16455 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 407767533 15787421696 25339 33554432000 4194304 4196468 140728947405600 140286739351792 140287270734466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16464] ppid=16455 vsize=15417404 memory=776 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16464/stat : 16464 (java) S 16455 16455 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407767534 15787421696 25339 33554432000 4194304 4196468 140728947405600 140286738298016 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16465] ppid=16455 vsize=15417404 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16465/stat : 16465 (java) S 16455 16455 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407767534 15787421696 25339 33554432000 4194304 4196468 140728947405600 140286737244912 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16466] ppid=16455 vsize=15417404 memory=7956 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16466/stat : 16466 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407767537 15787421696 25339 33554432000 4194304 4196468 140728947405600 140286736193488 140287270741915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16467] ppid=16455 vsize=15417404 memory=3444 CPUtime=0.28 cores=0,2,4,6
/proc/16457/task/16467/stat : 16467 (java) R 16455 16455 14254 0 -1 1077944384 1169 0 0 0 28 0 0 0 20 0 19 0 407767537 15787421696 25339 33554432000 4194304 4196468 140728947405600 140286735141744 140287270733525 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16468] ppid=16455 vsize=15417404 memory=1556 CPUtime=0.3 cores=0,2,4,6
/proc/16457/task/16468/stat : 16468 (java) R 16455 16455 14254 0 -1 4202560 957 0 0 0 30 0 0 0 20 0 19 0 407767537 15787421696 25339 33554432000 4194304 4196468 140728947405600 140286734080336 140287249956088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16469] ppid=16455 vsize=15417404 memory=2832 CPUtime=0.36 cores=0,2,4,6
/proc/16457/task/16469/stat : 16469 (java) S 16455 16455 14254 0 -1 1077944384 1720 0 0 0 36 0 0 0 20 0 19 0 407767537 15787421696 25339 33554432000 4194304 4196468 140728947405600 140286733036016 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16470] ppid=16455 vsize=15417404 memory=984 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16470/stat : 16470 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407767537 15787421696 25339 33554432000 4194304 4196468 140728947405600 140286731983712 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16471] ppid=16455 vsize=15417404 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16471/stat : 16471 (java) S 16455 16455 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407767537 15787421696 25339 33554432000 4194304 4196468 140728947405600 140286730930736 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 102808 KiB
[startup+1.50121 s]
/proc/loadavg: 7.48 7.73 7.10 12/238 16475
/proc/meminfo: memFree=30222796/32770624 swapFree=66920668/67108860
[pid=16455] ppid=16452 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16455/stat : 16455 (xcsp3-exec) S 16452 16455 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407767531 115843072 363 33554432000 4194304 5098028 140722580400784 140722580398888 140190230151804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26890240 140722580403066 140722580403309 140722580403309 140722580406218 0
/proc/16455/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/16457/task/16467/stat : 16467 (java) R 16455 16455 14254 0 -1 4202560 2230 0 0 0 67 0 0 0 20 0 19 0 407767537 15925850112 51645 33554432000 4194304 4196468 140728947405600 140286735127816 140287254246664 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16468] ppid=16455 vsize=15552588 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/16457/task/16468/stat : 16468 (java) R 16455 16455 14254 0 -1 4202560 1998 0 0 0 77 0 0 0 20 0 19 0 407767537 15925850112 51645 33554432000 4194304 4196468 140728947405600 140286734079184 140287255632243 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16469] ppid=16455 vsize=15552588 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/16457/task/16469/stat : 16469 (java) R 16455 16455 14254 0 -1 1077944384 2462 0 0 0 49 0 0 0 20 0 19 0 407767537 15925850112 51645 33554432000 4194304 4196468 140728947405600 140286733031056 140287270733525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16470] ppid=16455 vsize=15552588 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16470/stat : 16470 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407767537 15925850112 51645 33554432000 4194304 4196468 140728947405600 140286731983712 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16471] ppid=16455 vsize=15552588 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16471/stat : 16471 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407767537 15925850112 51645 33554432000 4194304 4196468 140728947405600 140286730930736 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 208032 KiB
[startup+2.36215 s]
# the end of solver process 16455 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.05176 s, system=0.107592 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.84821 s]
/proc/loadavg: 7.48 7.73 7.10 12/238 16475
/proc/meminfo: memFree=30222796/32770624 swapFree=66920668/67108860
[pid=16455] ppid=16452 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16455/stat : 16455 (xcsp3-exec) S 16452 16455 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407767531 115843072 363 33554432000 4194304 5098028 140722580400784 140722580398888 140190230151804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26890240 140722580403066 140722580403309 140722580403309 140722580406218 0
/proc/16455/statm: 28282 363 304 221 0 87 0
[pid=16457] ppid=16455 vsize=15552588 memory=207196 CPUtime=6.18 cores=0,2,4,6
/proc/16457/stat : 16457 (java) S 16455 16455 14254 0 -1 1077944320 18048 0 0 0 609 9 0 0 20 0 19 0 407767531 15925850112 51799 33554432000 4194304 4196468 140728947405600 140728947388144 140287270723319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
/proc/16457/statm: 3888147 51799 3503 1 0 3849249 0
[pid=16457/tid=16458] ppid=16455 vsize=15552588 memory=201060304041902 CPUtime=0.64 cores=0,2,4,6
/proc/16457/task/16458/stat : 16458 (java) S 16455 16455 14254 0 -1 1077944384 9240 0 0 0 61 3 0 0 20 0 19 0 407767531 15925850112 51799 33554432000 4194304 4196468 140728947405600 140287274964096 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16459] ppid=16455 vsize=15552588 memory=148743307397172 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16459/stat : 16459 (java) S 16455 16455 14254 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 407767532 15925850112 51799 33554432000 4194304 4196468 140728947405600 140287198764048 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16460] ppid=16455 vsize=15552588 memory=201081778878382 CPUtime=0.01 cores=0,2,4,6
/proc/16457/task/16460/stat : 16460 (java) S 16455 16455 14254 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 19 0 407767532 15925850112 51799 33554432000 4194304 4196468 140728947405600 140287197711504 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16461] ppid=16455 vsize=15552588 memory=208331683674030 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16461/stat : 16461 (java) S 16455 16455 14254 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 407767532 15925850112 51799 33554432000 4194304 4196468 140728947405600 140287196658448 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16462] ppid=16455 vsize=15552588 memory=208335978643050 CPUtime=0.01 cores=0,2,4,6
/proc/16457/task/16462/stat : 16462 (java) S 16455 16455 14254 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 19 0 407767532 15925850112 51799 33554432000 4194304 4196468 140728947405600 140287195605904 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16463] ppid=16455 vsize=15552588 memory=208348863544938 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16463/stat : 16463 (java) S 16455 16455 14254 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 407767533 15925850112 51799 33554432000 4194304 4196468 140728947405600 140286739351792 140287270734466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16464] ppid=16455 vsize=15552588 memory=201077483911086 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16464/stat : 16464 (java) S 16455 16455 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407767534 15925850112 51799 33554432000 4194304 4196468 140728947405600 140286738298016 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16465] ppid=16455 vsize=15552588 memory=210380383074222 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16465/stat : 16465 (java) S 16455 16455 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407767534 15925850112 51799 33554432000 4194304 4196468 140728947405600 140286737244912 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16466] ppid=16455 vsize=15552588 memory=210384678043719 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16466/stat : 16466 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407767537 15925850112 51799 33554432000 4194304 4196468 140728947405600 140286736193488 140287270741915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16467] ppid=16455 vsize=15552588 memory=210397562945607 CPUtime=0.82 cores=0,2,4,6
/proc/16457/task/16467/stat : 16467 (java) R 16455 16455 14254 0 -1 4202560 2263 0 0 0 82 0 0 0 20 0 19 0 407767537 15925850112 51799 33554432000 4194304 4196468 140728947405600 140286735127712 140287256763665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16468] ppid=16455 vsize=15552588 memory=139728171072245 CPUtime=0.94 cores=0,2,4,6
/proc/16457/task/16468/stat : 16468 (java) R 16455 16455 14254 0 -1 4202560 2037 0 0 0 94 0 0 0 20 0 19 0 407767537 15925850112 51799 33554432000 4194304 4196468 140728947405600 140286734075856 140287249969167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16469] ppid=16455 vsize=15552588 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/16457/task/16469/stat : 16469 (java) S 16455 16455 14254 0 -1 1077944384 2554 0 0 0 53 0 0 0 20 0 19 0 407767537 15925850112 51799 33554432000 4194304 4196468 140728947405600 140286733036016 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16470] ppid=16455 vsize=15552588 memory=210397562962066 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16470/stat : 16470 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407767537 15925850112 51799 33554432000 4194304 4196468 140728947405600 140286731983712 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16471] ppid=16455 vsize=15552588 memory=210397562962067 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16471/stat : 16471 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407767537 15925850112 51799 33554432000 4194304 4196468 140728947405600 140286730930736 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 208648 KiB
[startup+2.2012 s]*
/proc/loadavg: 7.48 7.73 7.10 11/238 16487
/proc/meminfo: memFree=30120496/32770624 swapFree=66920668/67108860
[pid=16455] ppid=16452 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16455/stat : 16455 (xcsp3-exec) S 16452 16455 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407767531 115843072 363 33554432000 4194304 5098028 140722580400784 140722580398888 140190230151804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26890240 140722580403066 140722580403309 140722580403309 140722580406218 0
/proc/16455/statm: 28282 363 304 221 0 87 0
[pid=16457] ppid=16455 vsize=15552588 memory=225928 CPUtime=7.6 cores=0,2,4,6
/proc/16457/stat : 16457 (java) S 16455 16455 14254 0 -1 1077944320 18157 0 0 0 750 10 0 0 20 0 19 0 407767531 15925850112 56482 33554432000 4194304 4196468 140728947405600 140728947388144 140287270723319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
/proc/16457/statm: 3888147 56482 3507 1 0 3849249 0
[pid=16457/tid=16458] ppid=16455 vsize=15552588 memory=590024538736820355 CPUtime=0.64 cores=0,2,4,6
/proc/16457/task/16458/stat : 16458 (java) S 16455 16455 14254 0 -1 1077944384 9240 0 0 0 61 3 0 0 20 0 19 0 407767531 15925850112 56482 33554432000 4194304 4196468 140728947405600 140287274964096 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16459] ppid=16455 vsize=15552588 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16457/task/16459/stat : 16459 (java) S 16455 16455 14254 0 -1 1077944384 33 0 0 0 2 0 0 0 20 0 19 0 407767532 15925850112 56482 33554432000 4194304 4196468 140728947405600 140287198764048 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16460] ppid=16455 vsize=15552588 memory=139727249964878 CPUtime=0.02 cores=0,2,4,6
/proc/16457/task/16460/stat : 16460 (java) S 16455 16455 14254 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 19 0 407767532 15925850112 56482 33554432000 4194304 4196468 140728947405600 140287197711504 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16461] ppid=16455 vsize=15552588 memory=279454195047296 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16461/stat : 16461 (java) S 16455 16455 14254 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 407767532 15925850112 56482 33554432000 4194304 4196468 140728947405600 140287196658448 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16462] ppid=16455 vsize=15552588 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16457/task/16462/stat : 16462 (java) S 16455 16455 14254 0 -1 1077944384 37 0 0 0 2 0 0 0 20 0 19 0 407767532 15925850112 56482 33554432000 4194304 4196468 140728947405600 140287195605904 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16463] ppid=16455 vsize=15552588 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16463/stat : 16463 (java) S 16455 16455 14254 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 407767533 15925850112 56482 33554432000 4194304 4196468 140728947405600 140286739351792 140287270734466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16464] ppid=16455 vsize=15552588 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16464/stat : 16464 (java) S 16455 16455 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407767534 15925850112 56482 33554432000 4194304 4196468 140728947405600 140286738298080 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16465] ppid=16455 vsize=15552588 memory=4026532099 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16465/stat : 16465 (java) S 16455 16455 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407767534 15925850112 56482 33554432000 4194304 4196468 140728947405600 140286737244928 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16466] ppid=16455 vsize=15552588 memory=16964 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16466/stat : 16466 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407767537 15925850112 56482 33554432000 4194304 4196468 140728947405600 140286736193488 140287270741915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16467] ppid=16455 vsize=15552588 memory=0 CPUtime=0.97 cores=0,2,4,6
/proc/16457/task/16467/stat : 16467 (java) R 16455 16455 14254 0 -1 4202560 2284 0 0 0 97 0 0 0 20 0 19 0 407767537 15925850112 56482 33554432000 4194304 4196468 140728947405600 140286735141912 140287248889800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16468] ppid=16455 vsize=15552588 memory=3978424719714099248 CPUtime=1.11 cores=0,2,4,6
/proc/16457/task/16468/stat : 16468 (java) S 16455 16455 14254 0 -1 1077944384 2065 0 0 0 111 0 0 0 20 0 19 0 407767537 15925850112 56482 33554432000 4194304 4196468 140728947405600 140286734089072 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16469] ppid=16455 vsize=15552588 memory=2315025258068398010 CPUtime=0.55 cores=0,2,4,6
/proc/16457/task/16469/stat : 16469 (java) S 16455 16455 14254 0 -1 1077944384 2581 0 0 0 55 0 0 0 20 0 19 0 407767537 15925850112 56482 33554432000 4194304 4196468 140728947405600 140286733036016 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16470] ppid=16455 vsize=15552588 memory=3533419649928619377 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16470/stat : 16470 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407767537 15925850112 56482 33554432000 4194304 4196468 140728947405600 140286731983712 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16471] ppid=16455 vsize=15552588 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16471/stat : 16471 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407767537 15925850112 56482 33554432000 4194304 4196468 140728947405600 140286730930736 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16484] ppid=16455 vsize=15552588 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/16457/task/16484/stat : 16484 (java) R 16455 16455 14254 0 -1 4202560 17 0 0 0 46 0 0 0 20 0 19 0 407767678 15925850112 56482 33554432000 4194304 4196468 140728947405600 140286123561064 140286874109753 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16485] ppid=16455 vsize=15552588 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/16457/task/16485/stat : 16485 (java) R 16455 16455 14254 0 -1 4202560 19 0 0 0 58 0 0 0 20 0 19 0 407767678 15925850112 56482 33554432000 4194304 4196468 140728947405600 140286122508936 140286874683796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16486] ppid=16455 vsize=15552588 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/16457/task/16486/stat : 16486 (java) R 16455 16455 14254 0 -1 4202560 17 0 0 0 49 0 0 0 20 0 19 0 407767678 15925850112 56482 33554432000 4194304 4196468 140728947405600 140286121456600 140286874109366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16487] ppid=16455 vsize=15552588 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/16457/task/16487/stat : 16487 (java) R 16455 16455 14254 0 -1 4202560 19 0 0 0 55 0 0 0 20 0 19 0 407767679 15925850112 56482 33554432000 4194304 4196468 140728947405600 140286120403336 140286874631146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
Current children cumulated CPU time: 7.6 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 227380 KiB
[startup+2.31121 s]
/proc/loadavg: 7.48 7.73 7.10 11/238 16487
/proc/meminfo: memFree=30120496/32770624 swapFree=66920668/67108860
[pid=16455] ppid=16452 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16455/stat : 16455 (xcsp3-exec) S 16452 16455 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407767531 115843072 363 33554432000 4194304 5098028 140722580400784 140722580398888 140190230151804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26890240 140722580403066 140722580403309 140722580403309 140722580406218 0
/proc/16455/statm: 28282 363 304 221 0 87 0
[pid=16457] ppid=16455 vsize=15552588 memory=225984 CPUtime=8 cores=0,2,4,6
/proc/16457/stat : 16457 (java) S 16455 16455 14254 0 -1 1077944320 18166 0 0 0 790 10 0 0 20 0 19 0 407767531 15925850112 56496 33554432000 4194304 4196468 140728947405600 140728947388144 140287270723319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
/proc/16457/statm: 3888147 56496 3508 1 0 3849249 0
[pid=16457/tid=16458] ppid=16455 vsize=15552588 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/16457/task/16458/stat : 16458 (java) S 16455 16455 14254 0 -1 1077944384 9240 0 0 0 61 3 0 0 20 0 19 0 407767531 15925850112 56496 33554432000 4194304 4196468 140728947405600 140287274964096 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16459] ppid=16455 vsize=15552588 memory=7956005005403644012 CPUtime=0.02 cores=0,2,4,6
/proc/16457/task/16459/stat : 16459 (java) S 16455 16455 14254 0 -1 1077944384 33 0 0 0 2 0 0 0 20 0 19 0 407767532 15925850112 56496 33554432000 4194304 4196468 140728947405600 140287198764048 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16460] ppid=16455 vsize=15552588 memory=225848 CPUtime=0.02 cores=0,2,4,6
/proc/16457/task/16460/stat : 16460 (java) S 16455 16455 14254 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 19 0 407767532 15925850112 56496 33554432000 4194304 4196468 140728947405600 140287197711504 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16461] ppid=16455 vsize=15552588 memory=279454194626960 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16461/stat : 16461 (java) S 16455 16455 14254 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 407767532 15925850112 56496 33554432000 4194304 4196468 140728947405600 140287196658448 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16462] ppid=16455 vsize=15552588 memory=708 CPUtime=0.02 cores=0,2,4,6
/proc/16457/task/16462/stat : 16462 (java) S 16455 16455 14254 0 -1 1077944384 37 0 0 0 2 0 0 0 20 0 19 0 407767532 15925850112 56496 33554432000 4194304 4196468 140728947405600 140287195605904 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16463] ppid=16455 vsize=15552588 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16463/stat : 16463 (java) S 16455 16455 14254 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 407767533 15925850112 56496 33554432000 4194304 4196468 140728947405600 140286739351792 140287270734466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16464] ppid=16455 vsize=15552588 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16464/stat : 16464 (java) S 16455 16455 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407767534 15925850112 56496 33554432000 4194304 4196468 140728947405600 140286738298080 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16465] ppid=16455 vsize=15552588 memory=70673686888604 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16465/stat : 16465 (java) S 16455 16455 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407767534 15925850112 56496 33554432000 4194304 4196468 140728947405600 140286737244928 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16466] ppid=16455 vsize=15552588 memory=70673686888605 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16466/stat : 16466 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407767537 15925850112 56496 33554432000 4194304 4196468 140728947405600 140286736193488 140287270741915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16467] ppid=16455 vsize=15552588 memory=70673686888606 CPUtime=0.98 cores=0,2,4,6
/proc/16457/task/16467/stat : 16467 (java) S 16455 16455 14254 0 -1 1077944384 2290 0 0 0 98 0 0 0 20 0 19 0 407767537 15925850112 56496 33554432000 4194304 4196468 140728947405600 140286735141616 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16468] ppid=16455 vsize=15552588 memory=64 CPUtime=1.12 cores=0,2,4,6
/proc/16457/task/16468/stat : 16468 (java) S 16455 16455 14254 0 -1 1077944384 2065 0 0 0 112 0 0 0 20 0 19 0 407767537 15925850112 56496 33554432000 4194304 4196468 140728947405600 140286734089072 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16469] ppid=16455 vsize=15552588 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/16457/task/16469/stat : 16469 (java) S 16455 16455 14254 0 -1 1077944384 2582 0 0 0 55 0 0 0 20 0 19 0 407767537 15925850112 56496 33554432000 4194304 4196468 140728947405600 140286733036016 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16470] ppid=16455 vsize=15552588 memory=1 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16470/stat : 16470 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407767537 15925850112 56496 33554432000 4194304 4196468 140728947405600 140286731983712 140287270733525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16471] ppid=16455 vsize=15552588 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16457/task/16471/stat : 16471 (java) S 16455 16455 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407767537 15925850112 56496 33554432000 4194304 4196468 140728947405600 140286730930736 140287270734466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16484] ppid=16455 vsize=15552588 memory=297237773746962458 CPUtime=0.55 cores=0,2,4,6
/proc/16457/task/16484/stat : 16484 (java) R 16455 16455 14254 0 -1 4202560 17 0 0 0 55 0 0 0 20 0 19 0 407767678 15925850112 56496 33554432000 4194304 4196468 140728947405600 140286123561064 140286874323884 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16485] ppid=16455 vsize=15552588 memory=3054156605268583796 CPUtime=0.67 cores=0,2,4,6
/proc/16457/task/16485/stat : 16485 (java) R 16455 16455 14254 0 -1 4202560 19 0 0 0 67 0 0 0 20 0 19 0 407767678 15925850112 56496 33554432000 4194304 4196468 140728947405600 140286122508936 140286873798111 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16486] ppid=16455 vsize=15552588 memory=-8529969244802432967 CPUtime=0.59 cores=0,2,4,6
/proc/16457/task/16486/stat : 16486 (java) R 16455 16455 14254 0 -1 4202560 17 0 0 0 59 0 0 0 20 0 19 0 407767678 15925850112 56496 33554432000 4194304 4196468 140728947405600 140286121456552 140286873591029 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
[pid=16457/tid=16487] ppid=16455 vsize=15552588 memory=-6515979188301327492 CPUtime=0.66 cores=0,2,4,6
/proc/16457/task/16487/stat : 16487 (java) R 16455 16455 14254 0 -1 4202560 19 0 0 0 66 0 0 0 20 0 19 0 407767679 15925850112 56496 33554432000 4194304 4196468 140728947405600 140286120403336 140286874427029 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140728947409903 140728947410074 140728947410074 140728947412943 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 227436 KiB
Child status: 0
Real time (s): 2.36219
CPU time (s): 8.15936
CPU user time (s): 8.05176
CPU system time (s): 0.107592
CPU usage (%): 345.415
Max. virtual memory (cumulated for all children) (KiB): 15665716
Max. memory (cumulated for all children) (KiB): 227436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.05176
system time used= 0.107592
maximum resident set size= 227260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18820
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2003
involuntary context switches= 336
# summary of solver processes directly reported to runsolver:
# pid: 16455
# total CPU time (s): 8.15936
# total CPU user time (s): 8.05176
# total CPU system time (s): 0.107592
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045706 second user time and 0.063118 second system time
The end