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 (15211 MiB free)
memory of node 1: 16384 MiB (12770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393290-1568347079/watcher-4393290-1568347079 -o /tmp/evaluation-result-4393290-1568347079/solver-4393290-1568347079 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568343521-17189 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1581162505 HOME/instance-4393290-1568347079.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=21394, runsolver pid=21391
[startup+0.10013 s]*
/proc/loadavg: 3.71 3.72 5.45 5/234 21410
/proc/meminfo: memFree=28637628/32770624 swapFree=66999996/67108860
[pid=21394] ppid=21391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21394/stat : 21394 (xcsp3-exec) S 21391 21394 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410621896 115843072 363 33554432000 4194304 5098028 140731293153712 140731293151816 140508748501628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25268224 140731293160314 140731293160557 140731293160557 140731293163466 0
/proc/21394/statm: 28282 363 304 221 0 87 0
[pid=21396] ppid=21394 vsize=15144768 memory=29108 CPUtime=0.11 cores=0,2,4,6
/proc/21396/stat : 21396 (java) S 21394 21394 15420 0 -1 1077944320 5736 0 0 0 10 1 0 0 20 0 15 0 410621896 15508242432 7277 33554432000 4194304 4196468 140724347012240 140724346994784 140199119798007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
/proc/21396/statm: 3786192 7277 3120 1 0 3748377 0
[pid=21396/tid=21397] ppid=21394 vsize=15144768 memory=7748307311448697419 CPUtime=0.08 cores=0,2,4,6
/proc/21396/task/21397/stat : 21397 (java) R 21394 21394 15420 0 -1 4202560 3658 0 0 0 7 1 0 0 20 0 15 0 410621897 15508242432 7277 33554432000 4194304 4196468 140724347012240 140199124029936 140199119809942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21398] ppid=21394 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21398/stat : 21398 (java) S 21394 21394 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410621897 15508242432 7277 33554432000 4194304 4196468 140724347012240 140199076350608 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21399] ppid=21394 vsize=15144768 memory=140276095678080 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21399/stat : 21399 (java) S 21394 21394 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410621897 15508242432 7277 33554432000 4194304 4196468 140724347012240 140199075297808 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21400] ppid=21394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21400/stat : 21400 (java) S 21394 21394 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410621897 15508242432 7277 33554432000 4194304 4196468 140724347012240 140198710270352 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21401] ppid=21394 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21401/stat : 21401 (java) S 21394 21394 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410621897 15508242432 7277 33554432000 4194304 4196468 140724347012240 140198709217552 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21402] ppid=21394 vsize=15144768 memory=140276095678080 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21402/stat : 21402 (java) S 21394 21394 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410621899 15508242432 7277 33554432000 4194304 4196468 140724347012240 140198588382064 140199119809154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21403] ppid=21394 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21403/stat : 21403 (java) S 21394 21394 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410621899 15508242432 7277 33554432000 4194304 4196468 140724347012240 140198587328032 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21404] ppid=21394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21404/stat : 21404 (java) S 21394 21394 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410621899 15508242432 7277 33554432000 4194304 4196468 140724347012240 140198586275184 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21405] ppid=21394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21405/stat : 21405 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410621902 15508242432 7277 33554432000 4194304 4196468 140724347012240 140198585223504 140199119816603 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21406] ppid=21394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21406/stat : 21406 (java) S 21394 21394 15420 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 410621902 15508242432 7277 33554432000 4194304 4196468 140724347012240 140198584170864 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21407] ppid=21394 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21407/stat : 21407 (java) S 21394 21394 15420 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 410621902 15508242432 7277 33554432000 4194304 4196468 140724347012240 140198583118064 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21408] ppid=21394 vsize=15144768 memory=140276095678080 CPUtime=0.01 cores=0,2,4,6
/proc/21396/task/21408/stat : 21408 (java) R 21394 21394 15420 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 15 0 410621902 15508242432 7277 33554432000 4194304 4196468 140724347012240 140198582065264 140199100570033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21409] ppid=21394 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21409/stat : 21409 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410621902 15508242432 7277 33554432000 4194304 4196468 140724347012240 140198581012704 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21410] ppid=21394 vsize=15144768 memory=140276095678080 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21410/stat : 21410 (java) S 21394 21394 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410621902 15508242432 7277 33554432000 4194304 4196468 140724347012240 140198579961008 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30560 KiB
[startup+0.210697 s]*
/proc/loadavg: 3.71 3.72 5.45 4/234 21410
/proc/meminfo: memFree=28625288/32770624 swapFree=66999996/67108860
[pid=21394] ppid=21391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21394/stat : 21394 (xcsp3-exec) S 21391 21394 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410621896 115843072 363 33554432000 4194304 5098028 140731293153712 140731293151816 140508748501628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25268224 140731293160314 140731293160557 140731293160557 140731293163466 0
/proc/21394/statm: 28282 363 304 221 0 87 0
[pid=21396] ppid=21394 vsize=15144768 memory=41036 CPUtime=0.33 cores=0,2,4,6
/proc/21396/stat : 21396 (java) S 21394 21394 15420 0 -1 1077944320 9433 0 0 0 30 3 0 0 20 0 15 0 410621896 15508242432 10259 33554432000 4194304 4196468 140724347012240 140724346994784 140199119798007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
/proc/21396/statm: 3786192 10259 3302 1 0 3748377 0
[pid=21396/tid=21397] ppid=21394 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/21396/task/21397/stat : 21397 (java) R 21394 21394 15420 0 -1 4202560 6618 0 0 0 17 2 0 0 20 0 15 0 410621897 15508242432 10259 33554432000 4194304 4196468 140724347012240 140199124029920 140199119819933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21398] ppid=21394 vsize=15144768 memory=13675 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21398/stat : 21398 (java) S 21394 21394 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410621897 15508242432 10259 33554432000 4194304 4196468 140724347012240 140199076350608 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21399] ppid=21394 vsize=15144768 memory=288370652247389824 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21399/stat : 21399 (java) S 21394 21394 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410621897 15508242432 10259 33554432000 4194304 4196468 140724347012240 140199075297808 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21400] ppid=21394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21400/stat : 21400 (java) S 21394 21394 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410621897 15508242432 10259 33554432000 4194304 4196468 140724347012240 140198710270352 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21401] ppid=21394 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21401/stat : 21401 (java) S 21394 21394 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410621897 15508242432 10259 33554432000 4194304 4196468 140724347012240 140198709217552 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21402] ppid=21394 vsize=15144768 memory=140276095678080 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21402/stat : 21402 (java) S 21394 21394 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410621899 15508242432 10259 33554432000 4194304 4196468 140724347012240 140198588382064 140199119809154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21403] ppid=21394 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21403/stat : 21403 (java) S 21394 21394 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410621899 15508242432 10259 33554432000 4194304 4196468 140724347012240 140198587328032 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21404] ppid=21394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21404/stat : 21404 (java) S 21394 21394 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410621899 15508242432 10259 33554432000 4194304 4196468 140724347012240 140198586275184 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21405] ppid=21394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21405/stat : 21405 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410621902 15508242432 10259 33554432000 4194304 4196468 140724347012240 140198585223504 140199119816603 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21406] ppid=21394 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21396/task/21406/stat : 21406 (java) S 21394 21394 15420 0 -1 1077944384 560 0 0 0 3 0 0 0 20 0 15 0 410621902 15508242432 10259 33554432000 4194304 4196468 140724347012240 140198584170864 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21407] ppid=21394 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/21396/task/21407/stat : 21407 (java) R 21394 21394 15420 0 -1 4202560 213 0 0 0 1 0 0 0 20 0 15 0 410621902 15508242432 10259 33554432000 4194304 4196468 140724347012240 140198583118064 140199097545006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21408] ppid=21394 vsize=15144768 memory=140276095678080 CPUtime=0.07 cores=0,2,4,6
/proc/21396/task/21408/stat : 21408 (java) R 21394 21394 15420 0 -1 4202560 735 0 0 0 7 0 0 0 20 0 15 0 410621902 15508242432 10259 33554432000 4194304 4196468 140724347012240 140198582061216 140199105478661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21409] ppid=21394 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21409/stat : 21409 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410621902 15508242432 10259 33554432000 4194304 4196468 140724347012240 140198581012704 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21410] ppid=21394 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21410/stat : 21410 (java) S 21394 21394 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410621902 15508242432 10259 33554432000 4194304 4196468 140724347012240 140198579961008 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42488 KiB
[startup+0.31372 s]*
/proc/loadavg: 3.71 3.72 5.45 5/234 21410
/proc/meminfo: memFree=28619620/32770624 swapFree=66999996/67108860
[pid=21394] ppid=21391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21394/stat : 21394 (xcsp3-exec) S 21391 21394 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410621896 115843072 363 33554432000 4194304 5098028 140731293153712 140731293151816 140508748501628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25268224 140731293160314 140731293160557 140731293160557 140731293163466 0
/proc/21394/statm: 28282 363 304 221 0 87 0
[pid=21396] ppid=21394 vsize=15149024 memory=49696 CPUtime=0.52 cores=0,2,4,6
/proc/21396/stat : 21396 (java) S 21394 21394 15420 0 -1 1077944320 10789 0 0 0 48 4 0 0 20 0 15 0 410621896 15512600576 12424 33554432000 4194304 4196468 140724347012240 140724346994784 140199119798007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
/proc/21396/statm: 3787256 12424 3343 1 0 3748377 0
[pid=21396/tid=21397] ppid=21394 vsize=15149024 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/21396/task/21397/stat : 21397 (java) R 21394 21394 15420 0 -1 4202560 7745 0 0 0 26 3 0 0 20 0 15 0 410621897 15512600576 12424 33554432000 4194304 4196468 140724347012240 140199124029120 140199119819933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21398] ppid=21394 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21398/stat : 21398 (java) S 21394 21394 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410621897 15512600576 12424 33554432000 4194304 4196468 140724347012240 140199076350608 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21399] ppid=21394 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21399/stat : 21399 (java) S 21394 21394 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410621897 15512600576 12424 33554432000 4194304 4196468 140724347012240 140199075297808 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21400] ppid=21394 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21400/stat : 21400 (java) S 21394 21394 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410621897 15512600576 12424 33554432000 4194304 4196468 140724347012240 140198710270352 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21401] ppid=21394 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21401/stat : 21401 (java) S 21394 21394 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410621897 15512600576 12424 33554432000 4194304 4196468 140724347012240 140198709217552 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21402] ppid=21394 vsize=15149024 memory=-7595490506177102494 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21402/stat : 21402 (java) S 21394 21394 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410621899 15512600576 12424 33554432000 4194304 4196468 140724347012240 140198588382064 140199119809154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21403] ppid=21394 vsize=15149024 memory=-7533229591079788448 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21403/stat : 21403 (java) S 21394 21394 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410621899 15512600576 12424 33554432000 4194304 4196468 140724347012240 140198587328032 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21404] ppid=21394 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21404/stat : 21404 (java) S 21394 21394 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410621899 15512600576 12424 33554432000 4194304 4196468 140724347012240 140198586275184 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21405] ppid=21394 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21405/stat : 21405 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410621902 15512600576 12424 33554432000 4194304 4196468 140724347012240 140198585223504 140199119816603 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21406] ppid=21394 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/21396/task/21406/stat : 21406 (java) S 21394 21394 15420 0 -1 1077944384 576 0 0 0 4 0 0 0 20 0 15 0 410621902 15512600576 12424 33554432000 4194304 4196468 140724347012240 140198584170864 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21407] ppid=21394 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21396/task/21407/stat : 21407 (java) R 21394 21394 15420 0 -1 4202560 330 0 0 0 4 0 0 0 20 0 15 0 410621902 15512600576 12424 33554432000 4194304 4196468 140724347012240 140198583118064 140199101319186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21408] ppid=21394 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/21396/task/21408/stat : 21408 (java) S 21394 21394 15420 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 15 0 410621902 15512600576 12424 33554432000 4194304 4196468 140724347012240 140198582065264 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21409] ppid=21394 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21409/stat : 21409 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410621902 15512600576 12424 33554432000 4194304 4196468 140724347012240 140198581012704 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21410] ppid=21394 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21410/stat : 21410 (java) S 21394 21394 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410621902 15512600576 12424 33554432000 4194304 4196468 140724347012240 140198579961008 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51148 KiB
[startup+0.701537 s]
/proc/loadavg: 3.71 3.72 5.45 6/234 21410
/proc/meminfo: memFree=28594824/32770624 swapFree=66999996/67108860
[pid=21394] ppid=21391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21394/stat : 21394 (xcsp3-exec) S 21391 21394 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410621896 115843072 363 33554432000 4194304 5098028 140731293153712 140731293151816 140508748501628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25268224 140731293160314 140731293160557 140731293160557 140731293163466 0
/proc/21394/statm: 28282 363 304 221 0 87 0
[pid=21396] ppid=21394 vsize=15151148 memory=94104 CPUtime=1.78 cores=0,2,4,6
/proc/21396/stat : 21396 (java) S 21394 21394 15420 0 -1 1077944320 15311 0 0 0 172 6 0 0 20 0 15 0 410621896 15514775552 23526 33554432000 4194304 4196468 140724347012240 140724346994784 140199119798007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
/proc/21396/statm: 3787787 23526 3447 1 0 3748889 0
[pid=21396/tid=21397] ppid=21394 vsize=15151148 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/21396/task/21397/stat : 21397 (java) R 21394 21394 15420 0 -1 4202560 8800 0 0 0 63 4 0 0 20 0 15 0 410621897 15514775552 23526 33554432000 4194304 4196468 140724347012240 140199124032464 140199101447457 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21398] ppid=21394 vsize=15151148 memory=33 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21398/stat : 21398 (java) S 21394 21394 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410621897 15514775552 23526 33554432000 4194304 4196468 140724347012240 140199076350608 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21399] ppid=21394 vsize=15151148 memory=-7604262568725289114 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21399/stat : 21399 (java) S 21394 21394 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410621897 15514775552 23526 33554432000 4194304 4196468 140724347012240 140199075297808 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21400] ppid=21394 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21400/stat : 21400 (java) S 21394 21394 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410621897 15514775552 23526 33554432000 4194304 4196468 140724347012240 140198710270352 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21401] ppid=21394 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21401/stat : 21401 (java) S 21394 21394 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410621897 15514775552 23526 33554432000 4194304 4196468 140724347012240 140198709217552 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21402] ppid=21394 vsize=15151148 memory=34416 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21402/stat : 21402 (java) S 21394 21394 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410621899 15514775552 23526 33554432000 4194304 4196468 140724347012240 140198588382064 140199119809154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21403] ppid=21394 vsize=15151148 memory=988 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21403/stat : 21403 (java) S 21394 21394 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410621899 15514775552 23526 33554432000 4194304 4196468 140724347012240 140198587328032 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21404] ppid=21394 vsize=15151148 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21404/stat : 21404 (java) S 21394 21394 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410621899 15514775552 23526 33554432000 4194304 4196468 140724347012240 140198586275184 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21405] ppid=21394 vsize=15151148 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21405/stat : 21405 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410621902 15514775552 23526 33554432000 4194304 4196468 140724347012240 140198585223504 140199119816603 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21406] ppid=21394 vsize=15151148 memory=580 CPUtime=0.38 cores=0,2,4,6
/proc/21396/task/21406/stat : 21406 (java) R 21394 21394 15420 0 -1 4202560 1541 0 0 0 38 0 0 0 20 0 15 0 410621902 15514775552 23526 33554432000 4194304 4196468 140724347012240 140198584158096 140199097479170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21407] ppid=21394 vsize=15151148 memory=1696 CPUtime=0.31 cores=0,2,4,6
/proc/21396/task/21407/stat : 21407 (java) R 21394 21394 15420 0 -1 4202560 1409 0 0 0 31 0 0 0 20 0 15 0 410621902 15514775552 23526 33554432000 4194304 4196468 140724347012240 140198583107856 140199103326810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21408] ppid=21394 vsize=15151148 memory=3436 CPUtime=0.39 cores=0,2,4,6
/proc/21396/task/21408/stat : 21408 (java) R 21394 21394 15420 0 -1 1077944384 2256 0 0 0 39 0 0 0 20 0 15 0 410621902 15514775552 23526 33554432000 4194304 4196468 140724347012240 140198582065264 140199119809154 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21409] ppid=21394 vsize=15151148 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21409/stat : 21409 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410621902 15514775552 23526 33554432000 4194304 4196468 140724347012240 140198581012704 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21410] ppid=21394 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21410/stat : 21410 (java) S 21394 21394 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410621902 15514775552 23526 33554432000 4194304 4196468 140724347012240 140198579961008 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 95556 KiB
[startup+1.50876 s]
/proc/loadavg: 3.71 3.72 5.45 7/238 21414
/proc/meminfo: memFree=28508748/32770624 swapFree=66999996/67108860
[pid=21394] ppid=21391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21394/stat : 21394 (xcsp3-exec) S 21391 21394 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410621896 115843072 363 33554432000 4194304 5098028 140731293153712 140731293151816 140508748501628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25268224 140731293160314 140731293160557 140731293160557 140731293163466 0
/proc/21394/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/21396/task/21410/stat : 21410 (java) S 21394 21394 15420 0 -1 1077944384 1047 0 0 0 0 1 0 0 20 0 19 0 410621902 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198579961008 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21455] ppid=21394 vsize=15418432 memory=236336 CPUtime=0.94 cores=0,2,4,6
/proc/21396/task/21455/stat : 21455 (java) S 21394 21394 15420 0 -1 1077944384 67 0 0 0 94 0 0 0 20 0 19 0 410623932 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198569700912 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21456] ppid=21394 vsize=15418432 memory=1 CPUtime=0.79 cores=0,2,4,6
/proc/21396/task/21456/stat : 21456 (java) S 21394 21394 15420 0 -1 1077944384 69 0 0 0 79 0 0 0 20 0 19 0 410623932 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198568649552 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21457] ppid=21394 vsize=15418432 memory=2116 CPUtime=1 cores=0,2,4,6
/proc/21396/task/21457/stat : 21457 (java) S 21394 21394 15420 0 -1 1077944384 35 0 0 0 100 0 0 0 20 0 19 0 410623932 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198570754768 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21458] ppid=21394 vsize=15418432 memory=19372 CPUtime=6.79 cores=0,2,4,6
/proc/21396/task/21458/stat : 21458 (java) R 21394 21394 15420 0 -1 4202560 144 0 0 0 679 0 0 0 20 0 19 0 410623932 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198566539976 140198762773794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
Current children cumulated CPU time: 86.56 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 234368 KiB
[startup+28.8008 s]
/proc/loadavg: 3.63 3.71 5.39 3/237 21458
/proc/meminfo: memFree=28432948/32770624 swapFree=66999996/67108860
[pid=21394] ppid=21391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21394/stat : 21394 (xcsp3-exec) S 21391 21394 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410621896 115843072 363 33554432000 4194304 5098028 140731293153712 140731293151816 140508748501628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25268224 140731293160314 140731293160557 140731293160557 140731293163466 0
/proc/21394/statm: 28282 363 304 221 0 87 0
[pid=21396] ppid=21394 vsize=15418432 memory=232916 CPUtime=88.16 cores=0,2,4,6
/proc/21396/stat : 21396 (java) S 21394 21394 15420 0 -1 1077944320 38019 0 0 0 8802 14 0 0 20 0 19 0 410621896 15788474368 58229 33554432000 4194304 4196468 140724347012240 140724346994784 140199119798007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
/proc/21396/statm: 3854608 58229 3534 1 0 3815710 0
[pid=21396/tid=21397] ppid=21394 vsize=15418432 memory=772 CPUtime=0.88 cores=0,2,4,6
/proc/21396/task/21397/stat : 21397 (java) S 21394 21394 15420 0 -1 1077944384 9111 0 0 0 83 5 0 0 20 0 19 0 410621897 15788474368 58229 33554432000 4194304 4196468 140724347012240 140199124038784 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21398] ppid=21394 vsize=15418432 memory=3616 CPUtime=0.03 cores=0,2,4,6
/proc/21396/task/21398/stat : 21398 (java) S 21394 21394 15420 0 -1 1077944384 122 0 0 0 2 1 0 0 20 0 19 0 410621897 15788474368 58229 33554432000 4194304 4196468 140724347012240 140199076350608 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21399] ppid=21394 vsize=15418432 memory=34416 CPUtime=0.02 cores=0,2,4,6
/proc/21396/task/21399/stat : 21399 (java) S 21394 21394 15420 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 19 0 410621897 15788474368 58229 33554432000 4194304 4196468 140724347012240 140199075297808 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21400] ppid=21394 vsize=15418432 memory=532 CPUtime=0.03 cores=0,2,4,6
/proc/21396/task/21400/stat : 21400 (java) S 21394 21394 15420 0 -1 1077944384 939 0 0 0 2 1 0 0 20 0 19 0 410621897 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198710270352 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21401] ppid=21394 vsize=15418432 memory=1564 CPUtime=0.03 cores=0,2,4,6
/proc/21396/task/21401/stat : 21401 (java) S 21394 21394 15420 0 -1 1077944384 379 0 0 0 2 1 0 0 20 0 19 0 410621897 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198709217552 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21402] ppid=21394 vsize=15418432 memory=928 CPUtime=0.01 cores=0,2,4,6
/proc/21396/task/21402/stat : 21402 (java) S 21394 21394 15420 0 -1 1077944384 671 0 0 0 1 0 0 0 20 0 19 0 410621899 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198588382064 140199119809154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21403] ppid=21394 vsize=15418432 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21403/stat : 21403 (java) S 21394 21394 15420 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 410621899 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198587328096 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21404] ppid=21394 vsize=15418432 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21404/stat : 21404 (java) S 21394 21394 15420 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 410621899 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198586275200 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21405] ppid=21394 vsize=15418432 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21405/stat : 21405 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410621902 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198585223504 140199119816603 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21406] ppid=21394 vsize=15418432 memory=532 CPUtime=2.26 cores=0,2,4,6
/proc/21396/task/21406/stat : 21406 (java) S 21394 21394 15420 0 -1 1077944384 6558 0 0 0 226 0 0 0 20 0 19 0 410621902 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198584170864 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21407] ppid=21394 vsize=15418432 memory=1564 CPUtime=2.22 cores=0,2,4,6
/proc/21396/task/21407/stat : 21407 (java) S 21394 21394 15420 0 -1 1077944384 7874 0 0 0 221 1 0 0 20 0 19 0 410621902 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198583118064 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21408] ppid=21394 vsize=15418432 memory=928 CPUtime=0.69 cores=0,2,4,6
/proc/21396/task/21408/stat : 21408 (java) S 21394 21394 15420 0 -1 1077944384 5918 0 0 0 68 1 0 0 20 0 19 0 410621902 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198582065264 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21409] ppid=21394 vsize=15418432 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21409/stat : 21409 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410621902 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198581012704 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21410] ppid=21394 vsize=15418432 memory=1332 CPUtime=0.01 cores=0,2,4,6
/proc/21396/task/21410/stat : 21410 (java) S 21394 21394 15420 0 -1 1077944384 1047 0 0 0 0 1 0 0 20 0 19 0 410621902 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198579961008 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21455] ppid=21394 vsize=15418432 memory=2648 CPUtime=0.94 cores=0,2,4,6
/proc/21396/task/21455/stat : 21455 (java) S 21394 21394 15420 0 -1 1077944384 67 0 0 0 94 0 0 0 20 0 19 0 410623932 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198569700912 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21456] ppid=21394 vsize=15418432 memory=2116 CPUtime=0.79 cores=0,2,4,6
/proc/21396/task/21456/stat : 21456 (java) S 21394 21394 15420 0 -1 1077944384 69 0 0 0 79 0 0 0 20 0 19 0 410623932 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198568649552 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21457] ppid=21394 vsize=15418432 memory=19372 CPUtime=1 cores=0,2,4,6
/proc/21396/task/21457/stat : 21457 (java) S 21394 21394 15420 0 -1 1077944384 35 0 0 0 100 0 0 0 20 0 19 0 410623932 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198570754768 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21458] ppid=21394 vsize=15418432 memory=11852 CPUtime=8.39 cores=0,2,4,6
/proc/21396/task/21458/stat : 21458 (java) R 21394 21394 15420 0 -1 4202560 144 0 0 0 839 0 0 0 20 0 19 0 410623932 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198566539976 140198762773956 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
Current children cumulated CPU time: 88.16 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 234368 KiB
[startup+29.6009 s]
/proc/loadavg: 3.63 3.71 5.39 3/237 21458
/proc/meminfo: memFree=28432952/32770624 swapFree=66999996/67108860
[pid=21394] ppid=21391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21394/stat : 21394 (xcsp3-exec) S 21391 21394 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410621896 115843072 363 33554432000 4194304 5098028 140731293153712 140731293151816 140508748501628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25268224 140731293160314 140731293160557 140731293160557 140731293163466 0
/proc/21394/statm: 28282 363 304 221 0 87 0
[pid=21396] ppid=21394 vsize=15418432 memory=232916 CPUtime=88.96 cores=0,2,4,6
/proc/21396/stat : 21396 (java) S 21394 21394 15420 0 -1 1077944320 38059 0 0 0 8882 14 0 0 20 0 19 0 410621896 15788474368 58229 33554432000 4194304 4196468 140724347012240 140724346994784 140199119798007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
/proc/21396/statm: 3854608 58229 3534 1 0 3815710 0
[pid=21396/tid=21397] ppid=21394 vsize=15418432 memory=3616 CPUtime=0.88 cores=0,2,4,6
/proc/21396/task/21397/stat : 21397 (java) S 21394 21394 15420 0 -1 1077944384 9111 0 0 0 83 5 0 0 20 0 19 0 410621897 15788474368 58229 33554432000 4194304 4196468 140724347012240 140199124038784 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21398] ppid=21394 vsize=15418432 memory=34416 CPUtime=0.03 cores=0,2,4,6
/proc/21396/task/21398/stat : 21398 (java) S 21394 21394 15420 0 -1 1077944384 122 0 0 0 2 1 0 0 20 0 19 0 410621897 15788474368 58229 33554432000 4194304 4196468 140724347012240 140199076350608 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21399] ppid=21394 vsize=15418432 memory=988 CPUtime=0.02 cores=0,2,4,6
/proc/21396/task/21399/stat : 21399 (java) S 21394 21394 15420 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 19 0 410621897 15788474368 58229 33554432000 4194304 4196468 140724347012240 140199075297808 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21400] ppid=21394 vsize=15418432 memory=1224 CPUtime=0.03 cores=0,2,4,6
/proc/21396/task/21400/stat : 21400 (java) S 21394 21394 15420 0 -1 1077944384 939 0 0 0 2 1 0 0 20 0 19 0 410621897 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198710270352 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21401] ppid=21394 vsize=15418432 memory=5908 CPUtime=0.03 cores=0,2,4,6
/proc/21396/task/21401/stat : 21401 (java) S 21394 21394 15420 0 -1 1077944384 379 0 0 0 2 1 0 0 20 0 19 0 410621897 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198709217552 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21402] ppid=21394 vsize=15418432 memory=772 CPUtime=0.01 cores=0,2,4,6
/proc/21396/task/21402/stat : 21402 (java) S 21394 21394 15420 0 -1 1077944384 673 0 0 0 1 0 0 0 20 0 19 0 410621899 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198588382064 140199119809154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21403] ppid=21394 vsize=15418432 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21403/stat : 21403 (java) S 21394 21394 15420 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 410621899 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198587328096 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21404] ppid=21394 vsize=15418432 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21404/stat : 21404 (java) S 21394 21394 15420 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 410621899 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198586275200 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21405] ppid=21394 vsize=15418432 memory=964 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21405/stat : 21405 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410621902 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198585223504 140199119816603 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21406] ppid=21394 vsize=15418432 memory=14008 CPUtime=2.26 cores=0,2,4,6
/proc/21396/task/21406/stat : 21406 (java) S 21394 21394 15420 0 -1 1077944384 6562 0 0 0 226 0 0 0 20 0 19 0 410621902 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198584170864 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21407] ppid=21394 vsize=15418432 memory=2012 CPUtime=2.22 cores=0,2,4,6
/proc/21396/task/21407/stat : 21407 (java) S 21394 21394 15420 0 -1 1077944384 7876 0 0 0 221 1 0 0 20 0 19 0 410621902 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198583118064 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21408] ppid=21394 vsize=15418432 memory=1240 CPUtime=0.69 cores=0,2,4,6
/proc/21396/task/21408/stat : 21408 (java) S 21394 21394 15420 0 -1 1077944384 5927 0 0 0 68 1 0 0 20 0 19 0 410621902 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198582065264 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21409] ppid=21394 vsize=15418432 memory=580 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21409/stat : 21409 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410621902 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198581012704 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21410] ppid=21394 vsize=15418432 memory=1696 CPUtime=0.01 cores=0,2,4,6
/proc/21396/task/21410/stat : 21410 (java) S 21394 21394 15420 0 -1 1077944384 1049 0 0 0 0 1 0 0 20 0 19 0 410621902 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198579961008 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21455] ppid=21394 vsize=15418432 memory=3436 CPUtime=0.94 cores=0,2,4,6
/proc/21396/task/21455/stat : 21455 (java) S 21394 21394 15420 0 -1 1077944384 67 0 0 0 94 0 0 0 20 0 19 0 410623932 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198569700912 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21456] ppid=21394 vsize=15418432 memory=7548 CPUtime=0.79 cores=0,2,4,6
/proc/21396/task/21456/stat : 21456 (java) S 21394 21394 15420 0 -1 1077944384 69 0 0 0 79 0 0 0 20 0 19 0 410623932 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198568649552 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21457] ppid=21394 vsize=15418432 memory=2832 CPUtime=1 cores=0,2,4,6
/proc/21396/task/21457/stat : 21457 (java) S 21394 21394 15420 0 -1 1077944384 35 0 0 0 100 0 0 0 20 0 19 0 410623932 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198570754768 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21458] ppid=21394 vsize=15418432 memory=232824 CPUtime=9.19 cores=0,2,4,6
/proc/21396/task/21458/stat : 21458 (java) R 21394 21394 15420 0 -1 4202560 165 0 0 0 919 0 0 0 20 0 19 0 410623932 15788474368 58229 33554432000 4194304 4196468 140724347012240 140198566539976 140198762773861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
Current children cumulated CPU time: 88.96 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 234368 KiB
[startup+30.0008 s]*
/proc/loadavg: 3.63 3.71 5.39 3/237 21458
/proc/meminfo: memFree=28432952/32770624 swapFree=66999996/67108860
[pid=21394] ppid=21391 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21394/stat : 21394 (xcsp3-exec) S 21391 21394 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410621896 115843072 363 33554432000 4194304 5098028 140731293153712 140731293151816 140508748501628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25268224 140731293160314 140731293160557 140731293160557 140731293163466 0
/proc/21394/statm: 28282 363 304 221 0 87 0
[pid=21396] ppid=21394 vsize=15418432 memory=232936 CPUtime=89.37 cores=0,2,4,6
/proc/21396/stat : 21396 (java) S 21394 21394 15420 0 -1 1077944320 38503 0 0 0 8923 14 0 0 20 0 19 0 410621896 15788474368 58234 33554432000 4194304 4196468 140724347012240 140724346994784 140199119798007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
/proc/21396/statm: 3854608 58234 3534 1 0 3815710 0
[pid=21396/tid=21397] ppid=21394 vsize=15418432 memory=1398722017469774279 CPUtime=0.88 cores=0,2,4,6
/proc/21396/task/21397/stat : 21397 (java) S 21394 21394 15420 0 -1 1077944384 9111 0 0 0 83 5 0 0 20 0 19 0 410621897 15788474368 58234 33554432000 4194304 4196468 140724347012240 140199124038784 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21398] ppid=21394 vsize=15418432 memory=3436 CPUtime=0.03 cores=0,2,4,6
/proc/21396/task/21398/stat : 21398 (java) S 21394 21394 15420 0 -1 1077944384 122 0 0 0 2 1 0 0 20 0 19 0 410621897 15788474368 58234 33554432000 4194304 4196468 140724347012240 140199076350608 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21399] ppid=21394 vsize=15418432 memory=7548 CPUtime=0.02 cores=0,2,4,6
/proc/21396/task/21399/stat : 21399 (java) S 21394 21394 15420 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 19 0 410621897 15788474368 58234 33554432000 4194304 4196468 140724347012240 140199075297808 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21400] ppid=21394 vsize=15418432 memory=2832 CPUtime=0.03 cores=0,2,4,6
/proc/21396/task/21400/stat : 21400 (java) S 21394 21394 15420 0 -1 1077944384 939 0 0 0 2 1 0 0 20 0 19 0 410621897 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198710270352 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21401] ppid=21394 vsize=15418432 memory=4126316290023845779 CPUtime=0.03 cores=0,2,4,6
/proc/21396/task/21401/stat : 21401 (java) S 21394 21394 15420 0 -1 1077944384 379 0 0 0 2 1 0 0 20 0 19 0 410621897 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198709217552 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21402] ppid=21394 vsize=15418432 memory=232916 CPUtime=0.01 cores=0,2,4,6
/proc/21396/task/21402/stat : 21402 (java) S 21394 21394 15420 0 -1 1077944384 673 0 0 0 1 0 0 0 20 0 19 0 410621899 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198588382064 140199119809154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21403] ppid=21394 vsize=15418432 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21403/stat : 21403 (java) S 21394 21394 15420 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 410621899 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198587328096 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21404] ppid=21394 vsize=15418432 memory=280551961395440 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21404/stat : 21404 (java) S 21394 21394 15420 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 410621899 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198586275200 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21405] ppid=21394 vsize=15418432 memory=7449627132879530086 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21405/stat : 21405 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410621902 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198585223504 140199119816603 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21406] ppid=21394 vsize=15418432 memory=6369312982369069675 CPUtime=2.26 cores=0,2,4,6
/proc/21396/task/21406/stat : 21406 (java) R 21394 21394 15420 0 -1 4202560 6884 0 0 0 226 0 0 0 20 0 19 0 410621902 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198584170864 140199112903709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21407] ppid=21394 vsize=15418432 memory=7162531440177276259 CPUtime=2.22 cores=0,2,4,6
/proc/21396/task/21407/stat : 21407 (java) S 21394 21394 15420 0 -1 1077944384 7876 0 0 0 221 1 0 0 20 0 19 0 410621902 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198583118064 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21408] ppid=21394 vsize=15418432 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/21396/task/21408/stat : 21408 (java) S 21394 21394 15420 0 -1 1077944384 5927 0 0 0 68 1 0 0 20 0 19 0 410621902 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198582065264 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21409] ppid=21394 vsize=15418432 memory=232160162260787 CPUtime=0 cores=0,2,4,6
/proc/21396/task/21409/stat : 21409 (java) S 21394 21394 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410621902 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198581012704 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21410] ppid=21394 vsize=15418432 memory=232160162260788 CPUtime=0.01 cores=0,2,4,6
/proc/21396/task/21410/stat : 21410 (java) S 21394 21394 15420 0 -1 1077944384 1049 0 0 0 0 1 0 0 20 0 19 0 410621902 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198579961008 140199119809154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21455] ppid=21394 vsize=15418432 memory=232160162260821 CPUtime=0.94 cores=0,2,4,6
/proc/21396/task/21455/stat : 21455 (java) S 21394 21394 15420 0 -1 1077944384 67 0 0 0 94 0 0 0 20 0 19 0 410623932 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198569700912 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21456] ppid=21394 vsize=15418432 memory=232160162260822 CPUtime=0.79 cores=0,2,4,6
/proc/21396/task/21456/stat : 21456 (java) S 21394 21394 15420 0 -1 1077944384 69 0 0 0 79 0 0 0 20 0 19 0 410623932 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198568649552 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21457] ppid=21394 vsize=15418432 memory=232160162260823 CPUtime=1 cores=0,2,4,6
/proc/21396/task/21457/stat : 21457 (java) S 21394 21394 15420 0 -1 1077944384 35 0 0 0 100 0 0 0 20 0 19 0 410623932 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198570754768 140199119808213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
[pid=21396/tid=21458] ppid=21394 vsize=15418432 memory=5859535235326444939 CPUtime=9.6 cores=0,2,4,6
/proc/21396/task/21458/stat : 21458 (java) R 21394 21394 15420 0 -1 4202560 384 0 0 0 960 0 0 0 20 0 19 0 410623932 15788474368 58234 33554432000 4194304 4196468 140724347012240 140198566539976 140198761472213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11341824 140724347020271 140724347020442 140724347020442 140724347023311 0
Current children cumulated CPU time: 89.37 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 234388 KiB
Child status: 0
Real time (s): 30.0315
CPU time (s): 89.4043
CPU user time (s): 89.2472
CPU system time (s): 0.157106
CPU usage (%): 297.702
Max. virtual memory (cumulated for all children) (KiB): 15531560
Max. memory (cumulated for all children) (KiB): 234388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.2472
system time used= 0.157106
maximum resident set size= 233088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40434
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= 3225
involuntary context switches= 1361
# summary of solver processes directly reported to runsolver:
# pid: 21394
# total CPU time (s): 89.4043
# total CPU user time (s): 89.2472
# total CPU system time (s): 0.157106
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.206749 second user time and 0.372731 second system time
The end