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 (14148 MiB free)
memory of node 1: 16384 MiB (15485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394266-1568329019/watcher-4394266-1568329019 -o /tmp/evaluation-result-4394266-1568329019/solver-4394266-1568329019 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 858233022 HOME/instance-4394266-1568329019.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=32376, runsolver pid=32373
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 8.95 8.48 8.28 7/234 32392
/proc/meminfo: memFree=30327388/32770624 swapFree=66933636/67108860
[pid=32376] ppid=32373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32376/stat : 32376 (xcsp3-exec) S 32373 32376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409173414 115843072 363 33554432000 4194304 5098028 140724466968064 140724466966168 140618708497020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29790208 140724466971515 140724466971757 140724466971757 140724466974666 0
/proc/32376/statm: 28282 363 304 221 0 87 0
[pid=32378] ppid=32376 vsize=15144768 memory=29632 CPUtime=0.13 cores=1,3,5,7
/proc/32378/stat : 32378 (java) S 32376 32376 25300 0 -1 1077944320 5844 0 0 0 12 1 0 0 20 0 15 0 409173414 15508242432 7408 33554432000 4194304 4196468 140722802455616 140722802438160 140378940370679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
/proc/32378/statm: 3786192 7408 3161 1 0 3748377 0
[pid=32378/tid=32379] ppid=32376 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/32378/task/32379/stat : 32379 (java) R 32376 32376 25300 0 -1 4202560 3734 0 0 0 8 1 0 0 20 0 15 0 409173414 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378944602000 140378932607806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32380] ppid=32376 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32380/stat : 32380 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409173415 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378868411280 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32381] ppid=32376 vsize=15144768 memory=140295502308992 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32381/stat : 32381 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409173415 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378867358480 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32382] ppid=32376 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32382/stat : 32382 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409173415 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378866306192 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32383] ppid=32376 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32383/stat : 32383 (java) S 32376 32376 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409173415 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378865253392 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32384] ppid=32376 vsize=15144768 memory=140295502308992 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32384/stat : 32384 (java) S 32376 32376 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409173417 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378408872048 140378940381826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32385] ppid=32376 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32385/stat : 32385 (java) S 32376 32376 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409173417 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378407818016 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32386] ppid=32376 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32386/stat : 32386 (java) S 32376 32376 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409173417 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378406765680 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32387] ppid=32376 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32387/stat : 32387 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409173420 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378405714000 140378940389275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32388] ppid=32376 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32388/stat : 32388 (java) S 32376 32376 25300 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 409173420 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378404661872 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32389] ppid=32376 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32389/stat : 32389 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409173420 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378403609072 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32390] ppid=32376 vsize=15144768 memory=140295502308992 CPUtime=0.02 cores=1,3,5,7
/proc/32378/task/32390/stat : 32390 (java) R 32376 32376 25300 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 409173420 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378402556784 140378919503412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32391] ppid=32376 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32391/stat : 32391 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409173420 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378401504224 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32392] ppid=32376 vsize=15144768 memory=140295502308992 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32392/stat : 32392 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409173420 15508242432 7408 33554432000 4194304 4196468 140722802455616 140378400450992 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31084 KiB
[startup+0.212477 s]*
/proc/loadavg: 8.95 8.48 8.28 5/234 32392
/proc/meminfo: memFree=30314272/32770624 swapFree=66933636/67108860
[pid=32376] ppid=32373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32376/stat : 32376 (xcsp3-exec) S 32373 32376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409173414 115843072 363 33554432000 4194304 5098028 140724466968064 140724466966168 140618708497020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29790208 140724466971515 140724466971757 140724466971757 140724466974666 0
/proc/32376/statm: 28282 363 304 221 0 87 0
[pid=32378] ppid=32376 vsize=15144768 memory=40976 CPUtime=0.34 cores=1,3,5,7
/proc/32378/stat : 32378 (java) S 32376 32376 25300 0 -1 1077944320 9491 0 0 0 31 3 0 0 20 0 15 0 409173414 15508242432 10244 33554432000 4194304 4196468 140722802455616 140722802438160 140378940370679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
/proc/32378/statm: 3786192 10244 3301 1 0 3748377 0
[pid=32378/tid=32379] ppid=32376 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/32378/task/32379/stat : 32379 (java) R 32376 32376 25300 0 -1 4202560 6645 0 0 0 18 2 0 0 20 0 15 0 409173414 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378944605664 140378940382614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32380] ppid=32376 vsize=15144768 memory=2964501 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32380/stat : 32380 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409173415 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378868411280 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32381] ppid=32376 vsize=15144768 memory=288370671654020736 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32381/stat : 32381 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409173415 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378867358480 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32382] ppid=32376 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32382/stat : 32382 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409173415 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378866306192 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32383] ppid=32376 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32383/stat : 32383 (java) S 32376 32376 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409173415 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378865253392 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32384] ppid=32376 vsize=15144768 memory=140295502308992 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32384/stat : 32384 (java) S 32376 32376 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409173417 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378408872048 140378940381826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32385] ppid=32376 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32385/stat : 32385 (java) S 32376 32376 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409173417 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378407818016 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32386] ppid=32376 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32386/stat : 32386 (java) S 32376 32376 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409173417 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378406765680 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32387] ppid=32376 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32387/stat : 32387 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409173420 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378405714000 140378940389275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32388] ppid=32376 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32378/task/32388/stat : 32388 (java) S 32376 32376 25300 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 15 0 409173420 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378404661872 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32389] ppid=32376 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32378/task/32389/stat : 32389 (java) S 32376 32376 25300 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 409173420 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378403609072 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32390] ppid=32376 vsize=15144768 memory=140295502308992 CPUtime=0.08 cores=1,3,5,7
/proc/32378/task/32390/stat : 32390 (java) R 32376 32376 25300 0 -1 4202560 737 0 0 0 8 0 0 0 20 0 15 0 409173420 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378402556784 140378919505296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32391] ppid=32376 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32391/stat : 32391 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409173420 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378401504224 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32392] ppid=32376 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32392/stat : 32392 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409173420 15508242432 10244 33554432000 4194304 4196468 140722802455616 140378400450992 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42428 KiB
[startup+0.310744 s]*
/proc/loadavg: 8.95 8.48 8.28 7/234 32392
/proc/meminfo: memFree=30307488/32770624 swapFree=66933636/67108860
[pid=32376] ppid=32373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32376/stat : 32376 (xcsp3-exec) S 32373 32376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409173414 115843072 363 33554432000 4194304 5098028 140724466968064 140724466966168 140618708497020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29790208 140724466971515 140724466971757 140724466971757 140724466974666 0
/proc/32376/statm: 28282 363 304 221 0 87 0
[pid=32378] ppid=32376 vsize=15149024 memory=50260 CPUtime=0.53 cores=1,3,5,7
/proc/32378/stat : 32378 (java) S 32376 32376 25300 0 -1 1077944320 10890 0 0 0 49 4 0 0 20 0 15 0 409173414 15512600576 12565 33554432000 4194304 4196468 140722802455616 140722802438160 140378940370679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
/proc/32378/statm: 3787256 12565 3363 1 0 3748377 0
[pid=32378/tid=32379] ppid=32376 vsize=15149024 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/32378/task/32379/stat : 32379 (java) R 32376 32376 25300 0 -1 4202560 7839 0 0 0 26 3 0 0 20 0 15 0 409173414 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378944601792 140378924451166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32380] ppid=32376 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32380/stat : 32380 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409173415 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378868411280 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32381] ppid=32376 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32381/stat : 32381 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409173415 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378867358480 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32382] ppid=32376 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32382/stat : 32382 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409173415 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378866306192 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32383] ppid=32376 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32383/stat : 32383 (java) S 32376 32376 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409173415 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378865253392 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32384] ppid=32376 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32384/stat : 32384 (java) S 32376 32376 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409173417 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378408872048 140378940381826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32385] ppid=32376 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32385/stat : 32385 (java) S 32376 32376 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409173417 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378407818016 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32386] ppid=32376 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32386/stat : 32386 (java) S 32376 32376 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409173417 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378406765680 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32387] ppid=32376 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32387/stat : 32387 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409173420 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378405714000 140378940389275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32388] ppid=32376 vsize=15149024 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/32378/task/32388/stat : 32388 (java) S 32376 32376 25300 0 -1 1077944384 648 0 0 0 5 0 0 0 20 0 15 0 409173420 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378404661872 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32389] ppid=32376 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32378/task/32389/stat : 32389 (java) S 32376 32376 25300 0 -1 1077944384 290 0 0 0 3 0 0 0 20 0 15 0 409173420 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378403609072 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32390] ppid=32376 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32378/task/32390/stat : 32390 (java) S 32376 32376 25300 0 -1 1077944384 809 0 0 0 12 0 0 0 20 0 15 0 409173420 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378402556784 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32391] ppid=32376 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32391/stat : 32391 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409173420 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378401504224 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32392] ppid=32376 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32392/stat : 32392 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409173420 15512600576 12565 33554432000 4194304 4196468 140722802455616 140378400450992 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51712 KiB
[startup+0.700771 s]
/proc/loadavg: 8.95 8.48 8.28 8/234 32392
/proc/meminfo: memFree=30290232/32770624 swapFree=66933636/67108860
[pid=32376] ppid=32373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32376/stat : 32376 (xcsp3-exec) S 32373 32376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409173414 115843072 363 33554432000 4194304 5098028 140724466968064 140724466966168 140618708497020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29790208 140724466971515 140724466971757 140724466971757 140724466974666 0
/proc/32376/statm: 28282 363 304 221 0 87 0
[pid=32378] ppid=32376 vsize=15417404 memory=99192 CPUtime=1.69 cores=1,3,5,7
/proc/32378/stat : 32378 (java) S 32376 32376 25300 0 -1 1077944320 14514 0 0 0 163 6 0 0 20 0 19 0 409173414 15787421696 24798 33554432000 4194304 4196468 140722802455616 140722802438160 140378940370679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
/proc/32378/statm: 3854351 24798 3456 1 0 3815453 0
[pid=32378/tid=32379] ppid=32376 vsize=15417404 memory=20228 CPUtime=0.63 cores=1,3,5,7
/proc/32378/task/32379/stat : 32379 (java) S 32376 32376 25300 0 -1 1077944384 9221 0 0 0 59 4 0 0 20 0 19 0 409173414 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378944611456 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32380] ppid=32376 vsize=15417404 memory=984 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32380/stat : 32380 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409173415 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378868411280 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32381] ppid=32376 vsize=15417404 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32381/stat : 32381 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409173415 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378867358480 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32382] ppid=32376 vsize=15417404 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32382/stat : 32382 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409173415 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378866306192 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32383] ppid=32376 vsize=15417404 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32383/stat : 32383 (java) S 32376 32376 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409173415 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378865253392 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32384] ppid=32376 vsize=15417404 memory=976 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32384/stat : 32384 (java) S 32376 32376 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 409173417 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378408872048 140378940381826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32385] ppid=32376 vsize=15417404 memory=772 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32385/stat : 32385 (java) S 32376 32376 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409173417 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378407818016 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32386] ppid=32376 vsize=15417404 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32386/stat : 32386 (java) S 32376 32376 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409173417 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378406765680 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32387] ppid=32376 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32387/stat : 32387 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378405714000 140378940389275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32388] ppid=32376 vsize=15417404 memory=1548 CPUtime=0.28 cores=1,3,5,7
/proc/32378/task/32388/stat : 32388 (java) S 32376 32376 25300 0 -1 1077944384 1339 0 0 0 28 0 0 0 20 0 19 0 409173420 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378404661872 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32389] ppid=32376 vsize=15417404 memory=1056 CPUtime=0.29 cores=1,3,5,7
/proc/32378/task/32389/stat : 32389 (java) S 32376 32376 25300 0 -1 1077944384 833 0 0 0 29 0 0 0 20 0 19 0 409173420 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378403609072 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32390] ppid=32376 vsize=15417404 memory=744 CPUtime=0.35 cores=1,3,5,7
/proc/32378/task/32390/stat : 32390 (java) R 32376 32376 25300 0 -1 1077944384 1660 0 0 0 35 0 0 0 20 0 19 0 409173420 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378402556912 140378940380885 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32391] ppid=32376 vsize=15417404 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32391/stat : 32391 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378401504224 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32392] ppid=32376 vsize=15417404 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32392/stat : 32392 (java) S 32376 32376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 24798 33554432000 4194304 4196468 140722802455616 140378400450992 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 100644 KiB
[startup+1.50077 s]
/proc/loadavg: 8.95 8.48 8.28 11/238 32396
/proc/meminfo: memFree=30246172/32770624 swapFree=66933636/67108860
[pid=32376] ppid=32373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32376/stat : 32376 (xcsp3-exec) S 32373 32376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409173414 115843072 363 33554432000 4194304 5098028 140724466968064 140724466966168 140618708497020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29790208 140724466971515 140724466971757 140724466971757 140724466974666 0
/proc/32376/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/32378/task/32388/stat : 32388 (java) R 32376 32376 25300 0 -1 4202560 1465 0 0 0 67 0 0 0 20 0 19 0 409173420 15787421696 49521 33554432000 4194304 4196468 140722802455616 140378404650560 140378923870885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32389] ppid=32376 vsize=15417404 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/32378/task/32389/stat : 32389 (java) R 32376 32376 25300 0 -1 4202560 1984 0 0 0 82 0 0 0 20 0 19 0 409173420 15787421696 49521 33554432000 4194304 4196468 140722802455616 140378403594952 140378921890364 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32390] ppid=32376 vsize=15417404 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/32378/task/32390/stat : 32390 (java) R 32376 32376 25300 0 -1 1077944384 2000 0 0 0 54 0 0 0 20 0 19 0 409173420 15787421696 49521 33554432000 4194304 4196468 140722802455616 140378402556784 140378940381826 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32391] ppid=32376 vsize=15417404 memory=7516899562453297488 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32391/stat : 32391 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 49521 33554432000 4194304 4196468 140722802455616 140378401504224 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32392] ppid=32376 vsize=15417404 memory=5864904339714826324 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32392/stat : 32392 (java) R 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 49521 33554432000 4194304 4196468 140722802455616 140378400450992 140378940381826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
Current children cumulated CPU time: 4.8 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 199536 KiB
[startup+2.14417 s]
# the end of solver process 32376 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.14597 s, system=0.150287 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6846 s]
/proc/loadavg: 8.95 8.48 8.28 11/238 32396
/proc/meminfo: memFree=30246172/32770624 swapFree=66933636/67108860
[pid=32376] ppid=32373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32376/stat : 32376 (xcsp3-exec) S 32373 32376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409173414 115843072 363 33554432000 4194304 5098028 140724466968064 140724466966168 140618708497020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29790208 140724466971515 140724466971757 140724466971757 140724466974666 0
/proc/32376/statm: 28282 363 304 221 0 87 0
[pid=32378] ppid=32376 vsize=15417404 memory=200632 CPUtime=5.53 cores=1,3,5,7
/proc/32378/stat : 32378 (java) S 32376 32376 25300 0 -1 1077944320 17259 0 0 0 541 12 0 0 20 0 19 0 409173414 15787421696 50158 33554432000 4194304 4196468 140722802455616 140722802438160 140378940370679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
/proc/32378/statm: 3854351 50158 3507 1 0 3815453 0
[pid=32378/tid=32379] ppid=32376 vsize=15417404 memory=7811047497317573715 CPUtime=0.64 cores=1,3,5,7
/proc/32378/task/32379/stat : 32379 (java) S 32376 32376 25300 0 -1 1077944384 9221 0 0 0 60 4 0 0 20 0 19 0 409173414 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378944611456 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32380] ppid=32376 vsize=15417404 memory=7811047497317573715 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32380/stat : 32380 (java) S 32376 32376 25300 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 409173415 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378868411280 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32381] ppid=32376 vsize=15417404 memory=7811047497317573715 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32381/stat : 32381 (java) S 32376 32376 25300 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 409173415 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378867358480 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32382] ppid=32376 vsize=15417404 memory=7811047497351128147 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32382/stat : 32382 (java) S 32376 32376 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409173415 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378866306192 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32383] ppid=32376 vsize=15417404 memory=7379799361257231212 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32383/stat : 32383 (java) S 32376 32376 25300 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 409173415 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378865253392 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32384] ppid=32376 vsize=15417404 memory=7669741664429173346 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32384/stat : 32384 (java) S 32376 32376 25300 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 409173417 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378408872048 140378940381826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32385] ppid=32376 vsize=15417404 memory=280590750458920 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32385/stat : 32385 (java) S 32376 32376 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409173417 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378407818016 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32386] ppid=32376 vsize=15417404 memory=280590750811840 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32386/stat : 32386 (java) S 32376 32376 25300 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409173417 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378406765680 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32387] ppid=32376 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32387/stat : 32387 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378405714000 140378940389275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32388] ppid=32376 vsize=15417404 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/32378/task/32388/stat : 32388 (java) R 32376 32376 25300 0 -1 4202560 1859 0 0 0 82 0 0 0 20 0 19 0 409173420 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378404647968 140378919617196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32389] ppid=32376 vsize=15417404 memory=0 CPUtime=1 cores=1,3,5,7
/proc/32378/task/32389/stat : 32389 (java) R 32376 32376 25300 0 -1 4202560 2198 0 0 0 100 0 0 0 20 0 19 0 409173420 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378403601560 140378923758754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32390] ppid=32376 vsize=15417404 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/32378/task/32390/stat : 32390 (java) R 32376 32376 25300 0 -1 1077944384 2038 0 0 0 55 0 0 0 20 0 19 0 409173420 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378402556784 140378940381826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32391] ppid=32376 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32391/stat : 32391 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378401504224 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32392] ppid=32376 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32392/stat : 32392 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 50158 33554432000 4194304 4196468 140722802455616 140378400450992 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 202084 KiB
[startup+2.0016 s]*
/proc/loadavg: 8.95 8.48 8.28 10/238 32408
/proc/meminfo: memFree=30132664/32770624 swapFree=66933636/67108860
[pid=32376] ppid=32373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32376/stat : 32376 (xcsp3-exec) S 32373 32376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409173414 115843072 363 33554432000 4194304 5098028 140724466968064 140724466966168 140618708497020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29790208 140724466971515 140724466971757 140724466971757 140724466974666 0
/proc/32376/statm: 28282 363 304 221 0 87 0
[pid=32378] ppid=32376 vsize=15417404 memory=221596 CPUtime=6.81 cores=1,3,5,7
/proc/32378/stat : 32378 (java) S 32376 32376 25300 0 -1 1077944320 17375 0 0 0 667 14 0 0 20 0 19 0 409173414 15787421696 55399 33554432000 4194304 4196468 140722802455616 140722802438160 140378940370679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
/proc/32378/statm: 3854351 55399 3508 1 0 3815453 0
[pid=32378/tid=32379] ppid=32376 vsize=15417404 memory=4356259847632814728 CPUtime=0.64 cores=1,3,5,7
/proc/32378/task/32379/stat : 32379 (java) S 32376 32376 25300 0 -1 1077944384 9221 0 0 0 60 4 0 0 20 0 19 0 409173414 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378944611456 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32380] ppid=32376 vsize=15417404 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32378/task/32380/stat : 32380 (java) S 32376 32376 25300 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 19 0 409173415 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378868411280 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32381] ppid=32376 vsize=15417404 memory=140295502308992 CPUtime=0.02 cores=1,3,5,7
/proc/32378/task/32381/stat : 32381 (java) S 32376 32376 25300 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 19 0 409173415 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378867358480 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32382] ppid=32376 vsize=15417404 memory=7306916055891837009 CPUtime=0.02 cores=1,3,5,7
/proc/32378/task/32382/stat : 32382 (java) S 32376 32376 25300 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 19 0 409173415 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378866306192 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32383] ppid=32376 vsize=15417404 memory=288287770689142807 CPUtime=0.02 cores=1,3,5,7
/proc/32378/task/32383/stat : 32383 (java) S 32376 32376 25300 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 19 0 409173415 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378865253392 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32384] ppid=32376 vsize=15417404 memory=140295502308992 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32384/stat : 32384 (java) S 32376 32376 25300 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 409173417 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378408872048 140378940381826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32385] ppid=32376 vsize=15417404 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32385/stat : 32385 (java) S 32376 32376 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409173417 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378407818080 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32386] ppid=32376 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32386/stat : 32386 (java) S 32376 32376 25300 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 409173417 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378406765696 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32387] ppid=32376 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32387/stat : 32387 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378405714000 140378940389275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32388] ppid=32376 vsize=15417404 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/32378/task/32388/stat : 32388 (java) S 32376 32376 25300 0 -1 1077944384 1903 0 0 0 89 0 0 0 20 0 19 0 409173420 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378404661872 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32389] ppid=32376 vsize=15417404 memory=-1 CPUtime=1.11 cores=1,3,5,7
/proc/32378/task/32389/stat : 32389 (java) S 32376 32376 25300 0 -1 1077944384 2217 0 0 0 111 0 0 0 20 0 19 0 409173420 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378403609072 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32390] ppid=32376 vsize=15417404 memory=140295502308992 CPUtime=0.56 cores=1,3,5,7
/proc/32378/task/32390/stat : 32390 (java) S 32376 32376 25300 0 -1 1077944384 2054 0 0 0 56 0 0 0 20 0 19 0 409173420 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378402556784 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32391] ppid=32376 vsize=15417404 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32391/stat : 32391 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378401504224 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32392] ppid=32376 vsize=15417404 memory=140295502308992 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32392/stat : 32392 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378400450992 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32405] ppid=32376 vsize=15417404 memory=-1 CPUtime=0.5 cores=1,3,5,7
/proc/32378/task/32405/stat : 32405 (java) R 32376 32376 25300 0 -1 4202560 17 0 0 0 50 0 0 0 20 0 19 0 409173550 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378390186864 140378545044853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32406] ppid=32376 vsize=15417404 memory=140295502308992 CPUtime=0.4 cores=1,3,5,7
/proc/32378/task/32406/stat : 32406 (java) R 32376 32376 25300 0 -1 4202560 20 0 0 0 40 0 0 0 20 0 19 0 409173550 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378320652840 140378545226484 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32407] ppid=32376 vsize=15417404 memory=32 CPUtime=0.52 cores=1,3,5,7
/proc/32378/task/32407/stat : 32407 (java) R 32376 32376 25300 0 -1 4202560 19 0 0 0 52 0 0 0 20 0 19 0 409173550 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378321704024 140378544421042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32408] ppid=32376 vsize=15417404 memory=-7094132109863559211 CPUtime=0.33 cores=1,3,5,7
/proc/32378/task/32408/stat : 32408 (java) R 32376 32376 25300 0 -1 4202560 18 0 0 0 33 0 0 0 20 0 19 0 409173551 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378391240536 140378544674720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
Current children cumulated CPU time: 6.81 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 223048 KiB
[startup+2.1116 s]
/proc/loadavg: 8.95 8.48 8.28 10/238 32408
/proc/meminfo: memFree=30132664/32770624 swapFree=66933636/67108860
[pid=32376] ppid=32373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32376/stat : 32376 (xcsp3-exec) S 32373 32376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409173414 115843072 363 33554432000 4194304 5098028 140724466968064 140724466966168 140618708497020 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29790208 140724466971515 140724466971757 140724466971757 140724466974666 0
/proc/32376/statm: 28282 363 304 221 0 87 0
[pid=32378] ppid=32376 vsize=15417404 memory=221596 CPUtime=7.21 cores=1,3,5,7
/proc/32378/stat : 32378 (java) S 32376 32376 25300 0 -1 1077944320 17380 0 0 0 707 14 0 0 20 0 19 0 409173414 15787421696 55399 33554432000 4194304 4196468 140722802455616 140722802438160 140378940370679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
/proc/32378/statm: 3854351 55399 3508 1 0 3815453 0
[pid=32378/tid=32379] ppid=32376 vsize=15417404 memory=2958597 CPUtime=0.64 cores=1,3,5,7
/proc/32378/task/32379/stat : 32379 (java) S 32376 32376 25300 0 -1 1077944384 9221 0 0 0 60 4 0 0 20 0 19 0 409173414 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378944611456 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32380] ppid=32376 vsize=15417404 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32378/task/32380/stat : 32380 (java) S 32376 32376 25300 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 19 0 409173415 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378868411280 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32381] ppid=32376 vsize=15417404 memory=-7957962119327172001 CPUtime=0.02 cores=1,3,5,7
/proc/32378/task/32381/stat : 32381 (java) S 32376 32376 25300 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 19 0 409173415 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378867358480 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32382] ppid=32376 vsize=15417404 memory=-3621219749712857441 CPUtime=0.02 cores=1,3,5,7
/proc/32378/task/32382/stat : 32382 (java) S 32376 32376 25300 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 19 0 409173415 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378866306192 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32383] ppid=32376 vsize=15417404 memory=132 CPUtime=0.02 cores=1,3,5,7
/proc/32378/task/32383/stat : 32383 (java) S 32376 32376 25300 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 19 0 409173415 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378865253392 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32384] ppid=32376 vsize=15417404 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32384/stat : 32384 (java) S 32376 32376 25300 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 409173417 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378408872048 140378940381826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32385] ppid=32376 vsize=15417404 memory=15260333157648136 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32385/stat : 32385 (java) S 32376 32376 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409173417 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378407818080 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32386] ppid=32376 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32386/stat : 32386 (java) S 32376 32376 25300 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 409173417 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378406765696 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32387] ppid=32376 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32387/stat : 32387 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378405714000 140378940389275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32388] ppid=32376 vsize=15417404 memory=6791534058613427641 CPUtime=0.89 cores=1,3,5,7
/proc/32378/task/32388/stat : 32388 (java) S 32376 32376 25300 0 -1 1077944384 1903 0 0 0 89 0 0 0 20 0 19 0 409173420 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378404661872 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32389] ppid=32376 vsize=15417404 memory=0 CPUtime=1.11 cores=1,3,5,7
/proc/32378/task/32389/stat : 32389 (java) R 32376 32376 25300 0 -1 1077944384 2217 0 0 0 111 0 0 0 20 0 19 0 409173420 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378403609072 140378940381826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32390] ppid=32376 vsize=15417404 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/32378/task/32390/stat : 32390 (java) S 32376 32376 25300 0 -1 1077944384 2058 0 0 0 56 0 0 0 20 0 19 0 409173420 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378402556784 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32391] ppid=32376 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32391/stat : 32391 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378401504224 140378940380885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32392] ppid=32376 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32378/task/32392/stat : 32392 (java) S 32376 32376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409173420 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378400450992 140378940381826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32405] ppid=32376 vsize=15417404 memory=288230574492221466 CPUtime=0.59 cores=1,3,5,7
/proc/32378/task/32405/stat : 32405 (java) R 32376 32376 25300 0 -1 4202560 17 0 0 0 59 0 0 0 20 0 19 0 409173550 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378390186864 140378543874084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32406] ppid=32376 vsize=15417404 memory=288230617509003574 CPUtime=0.5 cores=1,3,5,7
/proc/32378/task/32406/stat : 32406 (java) R 32376 32376 25300 0 -1 4202560 21 0 0 0 50 0 0 0 20 0 19 0 409173550 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378320650168 140378544909033 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32407] ppid=32376 vsize=15417404 memory=15260333157648136 CPUtime=0.62 cores=1,3,5,7
/proc/32378/task/32407/stat : 32407 (java) R 32376 32376 25300 0 -1 4202560 19 0 0 0 62 0 0 0 20 0 19 0 409173550 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378321704024 140378545044700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
[pid=32378/tid=32408] ppid=32376 vsize=15417404 memory=6308 CPUtime=0.43 cores=1,3,5,7
/proc/32378/task/32408/stat : 32408 (java) R 32376 32376 25300 0 -1 4202560 18 0 0 0 43 0 0 0 20 0 19 0 409173551 15787421696 55399 33554432000 4194304 4196468 140722802455616 140378391240536 140378545223134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19034112 140722802459631 140722802459802 140722802459802 140722802462671 0
Current children cumulated CPU time: 7.21 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 223048 KiB
Child status: 0
Real time (s): 2.14421
CPU time (s): 7.29626
CPU user time (s): 7.14597
CPU system time (s): 0.150287
CPU usage (%): 340.277
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 223048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.14597
system time used= 0.150287
maximum resident set size= 222920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18046
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= 2136
involuntary context switches= 298
# summary of solver processes directly reported to runsolver:
# pid: 32376
# total CPU time (s): 7.29626
# total CPU user time (s): 7.14597
# total CPU system time (s): 0.150287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038511 second user time and 0.070062 second system time
The end