2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-09)	SAT	37.998901	6.08922
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 (15050 MiB free)
  memory of node 1: 16384 MiB (15663 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271024-1502696400/watcher-4271024-1502696400 -o /tmp/evaluation-result-4271024-1502696400/solver-4271024-1502696400 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502695517-30050 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 433225810 HOME/instance-4271024-1502696400.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31411, runsolver pid=31408
Current StackSize limit: 8192 KiB


[startup+0.100159 s]*
/proc/loadavg: 5.70 7.79 7.86 3/199 31432
/proc/meminfo: memFree=31435948/32770624 swapFree=67108860/67108860
[pid=31411] ppid=31408 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31411/stat : 31411 (xcsp3-exec) S 31408 31411 30023 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 102727776 9740288 346 33554432000 4194304 5098028 140723668653968 140723668652072 139805270000252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9498624 140723668657253 140723668657463 140723668657463 140723668660203 0
/proc/31411/statm: 2378 346 289 221 0 87 0
[pid=31413] ppid=31411 vsize=25999808 memory=26160 CPUtime=0.11 cores=0-7
/proc/31413/stat : 31413 (java) S 31411 31411 30023 0 -1 1077944320 5482 0 0 0 10 1 0 0 20 0 20 0 102727776 26623803392 6540 33554432000 4194304 4196468 140734718084848 140734718067392 139692893347575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
/proc/31413/statm: 6499952 6540 2845 1 0 6488269 0
[pid=31413/tid=31414] ppid=31411 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/31413/task/31414/stat : 31414 (java) R 31411 31411 30023 0 -1 4202560 3486 0 0 0 8 1 0 0 20 0 20 0 102727776 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692897580848 139692486037572 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31415] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31415/stat : 31415 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692815927824 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31416] ppid=31411 vsize=25999808 memory=140332230084224 CPUtime=0 cores=0-7
/proc/31413/task/31416/stat : 31416 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692814875280 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31417] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31417/stat : 31417 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727777 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692813822224 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31418] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31418/stat : 31418 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692812769680 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31419] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31419/stat : 31419 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727777 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692811717648 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31420] ppid=31411 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31413/task/31420/stat : 31420 (java) S 31411 31411 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102727777 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692810665104 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31421] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31421/stat : 31421 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692809612048 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31422] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31422/stat : 31422 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692808559504 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31423] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31423/stat : 31423 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727778 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692020357360 139692893358722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31424] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31424/stat : 31424 (java) S 31411 31411 30023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102727779 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692019303584 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31425] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31425/stat : 31425 (java) S 31411 31411 30023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102727779 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692018250480 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31426] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31426/stat : 31426 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727782 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692017199056 139692893366171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31427] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31427/stat : 31427 (java) S 31411 31411 30023 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 102727782 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692016147184 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31428] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31428/stat : 31428 (java) S 31411 31411 30023 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 102727782 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692015094640 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31429] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31429/stat : 31429 (java) R 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727782 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692014041584 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31430] ppid=31411 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/31413/task/31430/stat : 31430 (java) R 31411 31411 30023 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 102727782 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692012989040 139692885584702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31431] ppid=31411 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31431/stat : 31431 (java) S 31411 31411 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102727782 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692011936224 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31432] ppid=31411 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31413/task/31432/stat : 31432 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727782 26623803392 6540 33554432000 4194304 4196468 140734718084848 139692010883760 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27544 KiB

[startup+0.210229 s]*
/proc/loadavg: 5.70 7.79 7.86 3/199 31432
/proc/meminfo: memFree=31424008/32770624 swapFree=67108860/67108860
[pid=31411] ppid=31408 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31411/stat : 31411 (xcsp3-exec) S 31408 31411 30023 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 102727776 9740288 346 33554432000 4194304 5098028 140723668653968 140723668652072 139805270000252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9498624 140723668657253 140723668657463 140723668657463 140723668660203 0
/proc/31411/statm: 2378 346 289 221 0 87 0
[pid=31413] ppid=31411 vsize=26004064 memory=39112 CPUtime=0.32 cores=0-7
/proc/31413/stat : 31413 (java) S 31411 31411 30023 0 -1 1077944320 8350 0 0 0 30 2 0 0 20 0 20 0 102727776 26628161536 9778 33554432000 4194304 4196468 140734718084848 140734718067392 139692893347575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
/proc/31413/statm: 6501016 9778 3061 1 0 6488269 0
[pid=31413/tid=31414] ppid=31411 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/31413/task/31414/stat : 31414 (java) R 31411 31411 30023 0 -1 4202560 5390 0 0 0 18 1 0 0 20 0 20 0 102727776 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692897562336 139692877428062 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31415] ppid=31411 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/31413/task/31415/stat : 31415 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692815927824 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31416] ppid=31411 vsize=26004064 memory=4050625961593243296 CPUtime=0 cores=0-7
/proc/31413/task/31416/stat : 31416 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692814875280 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31417] ppid=31411 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31413/task/31417/stat : 31417 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692813822224 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31418] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31418/stat : 31418 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692812769680 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31419] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31419/stat : 31419 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692811717648 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31420] ppid=31411 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31413/task/31420/stat : 31420 (java) S 31411 31411 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692810665104 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31421] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31421/stat : 31421 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692809612048 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31422] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31422/stat : 31422 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692808559504 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31423] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31423/stat : 31423 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727778 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692020357360 139692893358722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31424] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31424/stat : 31424 (java) S 31411 31411 30023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102727779 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692019303584 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31425] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31425/stat : 31425 (java) S 31411 31411 30023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102727779 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692018250480 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31426] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31426/stat : 31426 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727782 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692017199056 139692893366171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31427] ppid=31411 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/31413/task/31427/stat : 31427 (java) S 31411 31411 30023 0 -1 1077944384 587 0 0 0 1 0 0 0 20 0 20 0 102727782 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692016147184 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31428] ppid=31411 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/31413/task/31428/stat : 31428 (java) S 31411 31411 30023 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 20 0 102727782 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692015094640 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31429] ppid=31411 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/31413/task/31429/stat : 31429 (java) S 31411 31411 30023 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 102727782 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692014041584 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31430] ppid=31411 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/31413/task/31430/stat : 31430 (java) S 31411 31411 30023 0 -1 1077944384 740 0 0 0 7 0 0 0 20 0 20 0 102727782 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692012989040 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31431] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31431/stat : 31431 (java) S 31411 31411 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102727782 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692011936224 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31432] ppid=31411 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31413/task/31432/stat : 31432 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727782 26628161536 9778 33554432000 4194304 4196468 140734718084848 139692010883760 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40496 KiB

[startup+0.309368 s]*
/proc/loadavg: 5.70 7.79 7.86 3/199 31432
/proc/meminfo: memFree=31419480/32770624 swapFree=67108860/67108860
[pid=31411] ppid=31408 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31411/stat : 31411 (xcsp3-exec) S 31408 31411 30023 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 102727776 9740288 346 33554432000 4194304 5098028 140723668653968 140723668652072 139805270000252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9498624 140723668657253 140723668657463 140723668657463 140723668660203 0
/proc/31411/statm: 2378 346 289 221 0 87 0
[pid=31413] ppid=31411 vsize=26004064 memory=43488 CPUtime=0.5 cores=0-7
/proc/31413/stat : 31413 (java) S 31411 31411 30023 0 -1 1077944320 9164 0 0 0 47 3 0 0 20 0 20 0 102727776 26628161536 10872 33554432000 4194304 4196468 140734718084848 140734718067392 139692893347575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
/proc/31413/statm: 6501016 10872 3075 1 0 6488269 0
[pid=31413/tid=31414] ppid=31411 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31413/task/31414/stat : 31414 (java) R 31411 31411 30023 0 -1 4202560 6067 0 0 0 27 2 0 0 20 0 20 0 102727776 26628161536 10872 33554432000 4194304 4196468 140734718084848 139692897586512 139692486038172 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31415] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31415/stat : 31415 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 10872 33554432000 4194304 4196468 140734718084848 139692815927824 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31416] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31416/stat : 31416 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 10872 33554432000 4194304 4196468 140734718084848 139692814875280 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31417] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31417/stat : 31417 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 10872 33554432000 4194304 4196468 140734718084848 139692813822224 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31418] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31418/stat : 31418 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 10872 33554432000 4194304 4196468 140734718084848 139692812769680 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31419] ppid=31411 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/31413/task/31419/stat : 31419 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 10872 33554432000 4194304 4196468 140734718084848 139692811717648 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31420] ppid=31411 vsize=26004064 memory=140332083803055 CPUtime=0 cores=0-7
/proc/31413/task/31420/stat : 31420 (java) S 31411 31411 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 10872 33554432000 4194304 4196468 140734718084848 139692810665104 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31421] ppid=31411 vsize=26004064 memory=140332083805360 CPUtime=0 cores=0-7
/proc/31413/task/31421/stat : 31421 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 10872 33554432000 4194304 4196468 140734718084848 139692809612048 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31422] ppid=31411 vsize=26004064 memory=140332083807664 CPUtime=0 cores=0-7
/proc/31413/task/31422/stat : 31422 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26628161536 10938 33554432000 4194304 4196468 140734718084848 139692808559504 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31423] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31423/stat : 31423 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727778 26628161536 10938 33554432000 4194304 4196468 140734718084848 139692020357360 139692893358722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31424] ppid=31411 vsize=26004064 memory=280664167622288 CPUtime=0 cores=0-7
/proc/31413/task/31424/stat : 31424 (java) S 31411 31411 30023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102727779 26628161536 10938 33554432000 4194304 4196468 140734718084848 139692019303584 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31425] ppid=31411 vsize=26004064 memory=280664167629200 CPUtime=0 cores=0-7
/proc/31413/task/31425/stat : 31425 (java) S 31411 31411 30023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102727779 26628161536 10938 33554432000 4194304 4196468 140734718084848 139692018250480 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31426] ppid=31411 vsize=26004064 memory=280664167570480 CPUtime=0 cores=0-7
/proc/31413/task/31426/stat : 31426 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727782 26628161536 10938 33554432000 4194304 4196468 140734718084848 139692017199056 139692893366171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31427] ppid=31411 vsize=26004064 memory=280664167643024 CPUtime=0.01 cores=0-7
/proc/31413/task/31427/stat : 31427 (java) S 31411 31411 30023 0 -1 1077944384 593 0 0 0 1 0 0 0 20 0 20 0 102727782 26628161536 10938 33554432000 4194304 4196468 140734718084848 139692016147184 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31428] ppid=31411 vsize=26004064 memory=280664167649936 CPUtime=0.02 cores=0-7
/proc/31413/task/31428/stat : 31428 (java) S 31411 31411 30023 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 20 0 102727782 26628161536 10938 33554432000 4194304 4196468 140734718084848 139692015094640 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31429] ppid=31411 vsize=26004064 memory=280664167647632 CPUtime=0.03 cores=0-7
/proc/31413/task/31429/stat : 31429 (java) S 31411 31411 30023 0 -1 1077944384 134 0 0 0 3 0 0 0 20 0 20 0 102727782 26628161536 10938 33554432000 4194304 4196468 140734718084848 139692014041584 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31430] ppid=31411 vsize=26004064 memory=280664167663792 CPUtime=0.12 cores=0-7
/proc/31413/task/31430/stat : 31430 (java) R 31411 31411 30023 0 -1 4202560 832 0 0 0 12 0 0 0 20 0 20 0 102727782 26628161536 10938 33554432000 4194304 4196468 140734718084848 139692012984768 139692893368922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31431] ppid=31411 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31431/stat : 31431 (java) S 31411 31411 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102727782 26628161536 10938 33554432000 4194304 4196468 140734718084848 139692011936224 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31432] ppid=31411 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31413/task/31432/stat : 31432 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727782 26628161536 10938 33554432000 4194304 4196468 140734718084848 139692010883760 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44872 KiB

[startup+0.700991 s]
/proc/loadavg: 5.70 7.79 7.86 5/199 31432
/proc/meminfo: memFree=31394200/32770624 swapFree=67108860/67108860
[pid=31411] ppid=31408 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31411/stat : 31411 (xcsp3-exec) S 31408 31411 30023 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 102727776 9740288 346 33554432000 4194304 5098028 140723668653968 140723668652072 139805270000252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9498624 140723668657253 140723668657463 140723668657463 140723668660203 0
/proc/31411/statm: 2378 346 289 221 0 87 0
[pid=31413] ppid=31411 vsize=26006188 memory=108340 CPUtime=1.7 cores=0-7
/proc/31413/stat : 31413 (java) S 31411 31411 30023 0 -1 1077944320 12981 0 0 0 165 5 0 0 20 0 20 0 102727776 26630336512 27085 33554432000 4194304 4196468 140734718084848 140734718067392 139692893347575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
/proc/31413/statm: 6501547 27085 3197 1 0 6488781 0
[pid=31413/tid=31414] ppid=31411 vsize=26006188 memory=280664168021680 CPUtime=0.67 cores=0-7
/proc/31413/task/31414/stat : 31414 (java) R 31411 31411 30023 0 -1 4202560 6488 0 0 0 64 3 0 0 20 0 20 0 102727776 26630336512 27085 33554432000 4194304 4196468 140734718084848 139692897585344 139692490024464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31415] ppid=31411 vsize=26006188 memory=140332084011888 CPUtime=0 cores=0-7
/proc/31413/task/31415/stat : 31415 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26630336512 27085 33554432000 4194304 4196468 140734718084848 139692815927824 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31416] ppid=31411 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31416/stat : 31416 (java) S 31411 31411 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102727777 26630336512 27597 33554432000 4194304 4196468 140734718084848 139692814875280 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31417] ppid=31411 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/31413/task/31417/stat : 31417 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102727777 26630336512 27597 33554432000 4194304 4196468 140734718084848 139692813822224 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0

################
# More data... #
################

[pid=31413/tid=31430] ppid=31411 vsize=26538700 memory=9857 CPUtime=0.6 cores=0-7
/proc/31413/task/31430/stat : 31430 (java) S 31411 31411 30023 0 -1 1077944384 2436 0 0 0 60 0 0 0 20 0 28 0 102727782 27175628800 115724 33554432000 4194304 4196468 140734718084848 139692012989040 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31431] ppid=31411 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31431/stat : 31431 (java) S 31411 31411 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102727782 27175628800 115724 33554432000 4194304 4196468 140734718084848 139692011936224 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31432] ppid=31411 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31432/stat : 31432 (java) S 31411 31411 30023 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 102727782 27175628800 115724 33554432000 4194304 4196468 140734718084848 139692010883760 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31433] ppid=31411 vsize=26538700 memory=0 CPUtime=2.72 cores=0-7
/proc/31413/task/31433/stat : 31433 (java) R 31411 31411 30023 0 -1 4202560 272 0 0 0 272 0 0 0 20 0 28 0 102727956 27175628800 115724 33554432000 4194304 4196468 140734718084848 139692002871520 139692493402991 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31434] ppid=31411 vsize=26538700 memory=0 CPUtime=2.69 cores=0-7
/proc/31413/task/31434/stat : 31434 (java) R 31411 31411 30023 0 -1 4202560 90 0 0 0 269 0 0 0 20 0 28 0 102727956 27175628800 115724 33554432000 4194304 4196468 140734718084848 139692001820120 139692493402710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31435] ppid=31411 vsize=26538700 memory=6791534058613427641 CPUtime=2.56 cores=0-7
/proc/31413/task/31435/stat : 31435 (java) R 31411 31411 30023 0 -1 4202560 220 0 0 0 256 0 0 0 20 0 28 0 102727956 27175628800 115724 33554432000 4194304 4196468 140734718084848 139692000770472 139692492422329 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31436] ppid=31411 vsize=26538700 memory=0 CPUtime=2.65 cores=0-7
/proc/31413/task/31436/stat : 31436 (java) R 31411 31411 30023 0 -1 4202560 178 0 0 0 265 0 0 0 20 0 28 0 102727957 27175628800 115724 33554432000 4194304 4196468 140734718084848 139691010021896 139692492422622 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31437] ppid=31411 vsize=26538700 memory=6791534058613427641 CPUtime=2.58 cores=0-7
/proc/31413/task/31437/stat : 31437 (java) R 31411 31411 30023 0 -1 4202560 122 0 0 0 258 0 0 0 20 0 28 0 102727957 27175628800 115724 33554432000 4194304 4196468 140734718084848 139691008969416 139692492880160 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31438] ppid=31411 vsize=26538700 memory=0 CPUtime=2.77 cores=0-7
/proc/31413/task/31438/stat : 31438 (java) R 31411 31411 30023 0 -1 4202560 94 0 0 0 277 0 0 0 20 0 28 0 102727957 27175628800 115724 33554432000 4194304 4196468 140734718084848 139691007913944 139692492422540 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31439] ppid=31411 vsize=26538700 memory=0 CPUtime=2.76 cores=0-7
/proc/31413/task/31439/stat : 31439 (java) R 31411 31411 30023 0 -1 4202560 116 0 0 0 276 0 0 0 20 0 28 0 102727957 27175628800 115724 33554432000 4194304 4196468 140734718084848 139691006860888 139692492422494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31440] ppid=31411 vsize=26538700 memory=0 CPUtime=2.69 cores=0-7
/proc/31413/task/31440/stat : 31440 (java) R 31411 31411 30023 0 -1 4202560 118 0 0 0 269 0 0 0 20 0 28 0 102727957 27175628800 115724 33554432000 4194304 4196468 140734718084848 139691005808360 139692492422218 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
Current children cumulated CPU time: 28.12 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 464280 KiB

[startup+5.60125 s]
/proc/loadavg: 5.80 7.78 7.85 9/207 31440
/proc/meminfo: memFree=30998340/32770624 swapFree=67108860/67108860
[pid=31411] ppid=31408 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31411/stat : 31411 (xcsp3-exec) S 31408 31411 30023 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 102727776 9740288 346 33554432000 4194304 5098028 140723668653968 140723668652072 139805270000252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9498624 140723668657253 140723668657463 140723668657463 140723668660203 0
/proc/31411/statm: 2378 346 289 221 0 87 0
[pid=31413] ppid=31411 vsize=26538700 memory=463012 CPUtime=34.37 cores=0-7
/proc/31413/stat : 31413 (java) S 31411 31411 30023 0 -1 1077944320 20934 0 0 0 3386 51 0 0 20 0 28 0 102727776 27175628800 115753 33554432000 4194304 4196468 140734718084848 140734718067392 139692893347575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
/proc/31413/statm: 6634675 115753 3276 1 0 6621909 0
[pid=31413/tid=31414] ppid=31411 vsize=26538700 memory=137093678369258 CPUtime=1.73 cores=0-7
/proc/31413/task/31414/stat : 31414 (java) S 31411 31411 30023 0 -1 1077944384 6833 0 0 0 168 5 0 0 20 0 28 0 102727776 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692897588352 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31415] ppid=31411 vsize=26538700 memory=137093678369258 CPUtime=0.09 cores=0-7
/proc/31413/task/31415/stat : 31415 (java) S 31411 31411 30023 0 -1 1077944384 126 0 0 0 4 5 0 0 20 0 28 0 102727777 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692815927824 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31416] ppid=31411 vsize=26538700 memory=6791534058613427641 CPUtime=0.08 cores=0-7
/proc/31413/task/31416/stat : 31416 (java) S 31411 31411 30023 0 -1 1077944384 167 0 0 0 4 4 0 0 20 0 28 0 102727777 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692814875280 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31417] ppid=31411 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/31413/task/31417/stat : 31417 (java) S 31411 31411 30023 0 -1 1077944384 117 0 0 0 4 4 0 0 20 0 28 0 102727777 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692813822224 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31418] ppid=31411 vsize=26538700 memory=280664167848680 CPUtime=0.09 cores=0-7
/proc/31413/task/31418/stat : 31418 (java) S 31411 31411 30023 0 -1 1077944384 137 0 0 0 4 5 0 0 20 0 28 0 102727777 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692812769680 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31419] ppid=31411 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/31413/task/31419/stat : 31419 (java) S 31411 31411 30023 0 -1 1077944384 110 0 0 0 4 5 0 0 20 0 28 0 102727777 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692811717648 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31420] ppid=31411 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/31413/task/31420/stat : 31420 (java) S 31411 31411 30023 0 -1 1077944384 131 0 0 0 4 4 0 0 20 0 28 0 102727777 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692810665104 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31421] ppid=31411 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/31413/task/31421/stat : 31421 (java) S 31411 31411 30023 0 -1 1077944384 156 0 0 0 4 5 0 0 20 0 28 0 102727777 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692809612048 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31422] ppid=31411 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/31413/task/31422/stat : 31422 (java) S 31411 31411 30023 0 -1 1077944384 185 0 0 0 4 5 0 0 20 0 28 0 102727777 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692808559504 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31423] ppid=31411 vsize=26538700 memory=280664168057632 CPUtime=0 cores=0-7
/proc/31413/task/31423/stat : 31423 (java) S 31411 31411 30023 0 -1 1077944384 491 0 0 0 0 0 0 0 20 0 28 0 102727778 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692020357360 139692893358722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31424] ppid=31411 vsize=26538700 memory=140332084035392 CPUtime=0 cores=0-7
/proc/31413/task/31424/stat : 31424 (java) S 31411 31411 30023 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 102727779 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692019303648 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31425] ppid=31411 vsize=26538700 memory=140332230085729 CPUtime=0 cores=0-7
/proc/31413/task/31425/stat : 31425 (java) S 31411 31411 30023 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 102727779 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692018250496 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31426] ppid=31411 vsize=26538700 memory=1296 CPUtime=0 cores=0-7
/proc/31413/task/31426/stat : 31426 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102727782 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692017199056 139692893366171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31427] ppid=31411 vsize=26538700 memory=2416 CPUtime=1.21 cores=0-7
/proc/31413/task/31427/stat : 31427 (java) S 31411 31411 30023 0 -1 1077944384 2648 0 0 0 121 0 0 0 20 0 28 0 102727782 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692016147184 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31428] ppid=31411 vsize=26538700 memory=1728 CPUtime=1.11 cores=0-7
/proc/31413/task/31428/stat : 31428 (java) S 31411 31411 30023 0 -1 1077944384 2980 0 0 0 111 0 0 0 20 0 28 0 102727782 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692015094640 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31429] ppid=31411 vsize=26538700 memory=796 CPUtime=1.19 cores=0-7
/proc/31413/task/31429/stat : 31429 (java) S 31411 31411 30023 0 -1 1077944384 1638 0 0 0 119 0 0 0 20 0 28 0 102727782 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692014041584 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31430] ppid=31411 vsize=26538700 memory=1716 CPUtime=0.61 cores=0-7
/proc/31413/task/31430/stat : 31430 (java) S 31411 31411 30023 0 -1 1077944384 2502 0 0 0 61 0 0 0 20 0 28 0 102727782 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692012989040 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31431] ppid=31411 vsize=26538700 memory=1948 CPUtime=0 cores=0-7
/proc/31413/task/31431/stat : 31431 (java) S 31411 31411 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102727782 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692011936224 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31432] ppid=31411 vsize=26538700 memory=8564 CPUtime=0 cores=0-7
/proc/31413/task/31432/stat : 31432 (java) S 31411 31411 30023 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 28 0 102727782 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692010883760 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31433] ppid=31411 vsize=26538700 memory=1228 CPUtime=3.52 cores=0-7
/proc/31413/task/31433/stat : 31433 (java) R 31411 31411 30023 0 -1 4202560 273 0 0 0 351 1 0 0 20 0 28 0 102727956 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692002871656 139692493402645 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31434] ppid=31411 vsize=26538700 memory=12028 CPUtime=3.49 cores=0-7
/proc/31413/task/31434/stat : 31434 (java) R 31411 31411 30023 0 -1 4202560 106 0 0 0 349 0 0 0 20 0 28 0 102727956 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692001820000 139692492422335 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31435] ppid=31411 vsize=26538700 memory=5668 CPUtime=3.34 cores=0-7
/proc/31413/task/31435/stat : 31435 (java) R 31411 31411 30023 0 -1 4202560 220 0 0 0 334 0 0 0 20 0 28 0 102727956 27175628800 115753 33554432000 4194304 4196468 140734718084848 139692000767952 139692492422540 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31436] ppid=31411 vsize=26538700 memory=1008 CPUtime=3.45 cores=0-7
/proc/31413/task/31436/stat : 31436 (java) R 31411 31411 30023 0 -1 4202560 183 0 0 0 345 0 0 0 20 0 28 0 102727957 27175628800 115753 33554432000 4194304 4196468 140734718084848 139691010020200 139692492422335 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31437] ppid=31411 vsize=26538700 memory=1576 CPUtime=3.37 cores=0-7
/proc/31413/task/31437/stat : 31437 (java) R 31411 31411 30023 0 -1 4202560 122 0 0 0 337 0 0 0 20 0 28 0 102727957 27175628800 115753 33554432000 4194304 4196468 140734718084848 139691008966456 139692492422666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31438] ppid=31411 vsize=26538700 memory=2196 CPUtime=3.5 cores=0-7
/proc/31413/task/31438/stat : 31438 (java) R 31411 31411 30023 0 -1 4202560 95 0 0 0 350 0 0 0 20 0 28 0 102727957 27175628800 115753 33554432000 4194304 4196468 140734718084848 139691007914088 139692492422335 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31439] ppid=31411 vsize=26538700 memory=6764 CPUtime=3.56 cores=0-7
/proc/31413/task/31439/stat : 31439 (java) R 31411 31411 30023 0 -1 4202560 116 0 0 0 356 0 0 0 20 0 28 0 102727957 27175628800 115753 33554432000 4194304 4196468 140734718084848 139691006861560 139692492422558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31440] ppid=31411 vsize=26538700 memory=840 CPUtime=3.39 cores=0-7
/proc/31413/task/31440/stat : 31440 (java) R 31411 31411 30023 0 -1 4202560 118 0 0 0 339 0 0 0 20 0 28 0 102727957 27175628800 115753 33554432000 4194304 4196468 140734718084848 139691005808544 139692492422208 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
Current children cumulated CPU time: 34.37 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 464396 KiB

[startup+6.00126 s]*
/proc/loadavg: 5.80 7.78 7.85 10/207 31440
/proc/meminfo: memFree=31001324/32770624 swapFree=67108860/67108860
[pid=31411] ppid=31408 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31411/stat : 31411 (xcsp3-exec) S 31408 31411 30023 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 102727776 9740288 346 33554432000 4194304 5098028 140723668653968 140723668652072 139805270000252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9498624 140723668657253 140723668657463 140723668657463 140723668660203 0
/proc/31411/statm: 2378 346 289 221 0 87 0
[pid=31413] ppid=31411 vsize=26538700 memory=463036 CPUtime=37.63 cores=0-7
/proc/31413/stat : 31413 (java) S 31411 31411 30023 0 -1 1077944320 21322 0 0 0 3712 51 0 0 20 0 28 0 102727776 27175628800 115759 33554432000 4194304 4196468 140734718084848 140734718067392 139692893347575 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
/proc/31413/statm: 6634675 115759 3276 1 0 6621909 0
[pid=31413/tid=31414] ppid=31411 vsize=26538700 memory=6791534058613427641 CPUtime=1.73 cores=0-7
/proc/31413/task/31414/stat : 31414 (java) S 31411 31411 30023 0 -1 1077944384 6833 0 0 0 168 5 0 0 20 0 28 0 102727776 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692897588352 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31415] ppid=31411 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/31413/task/31415/stat : 31415 (java) S 31411 31411 30023 0 -1 1077944384 126 0 0 0 4 5 0 0 20 0 28 0 102727777 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692815927824 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31416] ppid=31411 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/31413/task/31416/stat : 31416 (java) S 31411 31411 30023 0 -1 1077944384 167 0 0 0 4 4 0 0 20 0 28 0 102727777 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692814875280 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31417] ppid=31411 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/31413/task/31417/stat : 31417 (java) S 31411 31411 30023 0 -1 1077944384 117 0 0 0 4 4 0 0 20 0 28 0 102727777 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692813822224 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31418] ppid=31411 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/31413/task/31418/stat : 31418 (java) S 31411 31411 30023 0 -1 1077944384 137 0 0 0 4 5 0 0 20 0 28 0 102727777 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692812769680 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31419] ppid=31411 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/31413/task/31419/stat : 31419 (java) S 31411 31411 30023 0 -1 1077944384 110 0 0 0 4 5 0 0 20 0 28 0 102727777 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692811717648 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31420] ppid=31411 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/31413/task/31420/stat : 31420 (java) S 31411 31411 30023 0 -1 1077944384 131 0 0 0 4 4 0 0 20 0 28 0 102727777 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692810665104 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31421] ppid=31411 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/31413/task/31421/stat : 31421 (java) S 31411 31411 30023 0 -1 1077944384 156 0 0 0 4 5 0 0 20 0 28 0 102727777 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692809612048 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31422] ppid=31411 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/31413/task/31422/stat : 31422 (java) S 31411 31411 30023 0 -1 1077944384 185 0 0 0 4 5 0 0 20 0 28 0 102727777 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692808559504 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31423] ppid=31411 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31423/stat : 31423 (java) S 31411 31411 30023 0 -1 1077944384 491 0 0 0 0 0 0 0 20 0 28 0 102727778 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692020357360 139692893358722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31424] ppid=31411 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31424/stat : 31424 (java) S 31411 31411 30023 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 102727779 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692019303648 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31425] ppid=31411 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31425/stat : 31425 (java) S 31411 31411 30023 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 102727779 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692018250496 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31426] ppid=31411 vsize=26538700 memory=140332084472833 CPUtime=0 cores=0-7
/proc/31413/task/31426/stat : 31426 (java) S 31411 31411 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102727782 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692017199056 139692893366171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31427] ppid=31411 vsize=26538700 memory=0 CPUtime=1.21 cores=0-7
/proc/31413/task/31427/stat : 31427 (java) S 31411 31411 30023 0 -1 1077944384 2673 0 0 0 121 0 0 0 20 0 28 0 102727782 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692016147184 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31428] ppid=31411 vsize=26538700 memory=0 CPUtime=1.14 cores=0-7
/proc/31413/task/31428/stat : 31428 (java) S 31411 31411 30023 0 -1 1077944384 3029 0 0 0 114 0 0 0 20 0 28 0 102727782 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692015094640 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31429] ppid=31411 vsize=26538700 memory=0 CPUtime=1.22 cores=0-7
/proc/31413/task/31429/stat : 31429 (java) S 31411 31411 30023 0 -1 1077944384 1897 0 0 0 122 0 0 0 20 0 28 0 102727782 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692014041584 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31430] ppid=31411 vsize=26538700 memory=0 CPUtime=0.62 cores=0-7
/proc/31413/task/31430/stat : 31430 (java) R 31411 31411 30023 0 -1 1077944384 2527 0 0 0 61 1 0 0 20 0 28 0 102727782 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692012989040 139692893358722 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31431] ppid=31411 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31431/stat : 31431 (java) S 31411 31411 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102727782 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692011936224 139692893357781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31432] ppid=31411 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31413/task/31432/stat : 31432 (java) S 31411 31411 30023 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 28 0 102727782 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692010883760 139692893358722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31433] ppid=31411 vsize=26538700 memory=0 CPUtime=3.93 cores=0-7
/proc/31413/task/31433/stat : 31433 (java) R 31411 31411 30023 0 -1 4202560 274 0 0 0 392 1 0 0 20 0 28 0 102727956 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692002871656 139692492422379 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31434] ppid=31411 vsize=26538700 memory=-1 CPUtime=3.9 cores=0-7
/proc/31413/task/31434/stat : 31434 (java) R 31411 31411 30023 0 -1 4202560 106 0 0 0 390 0 0 0 20 0 28 0 102727956 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692001821304 139692492422227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31435] ppid=31411 vsize=26538700 memory=-1 CPUtime=3.75 cores=0-7
/proc/31413/task/31435/stat : 31435 (java) R 31411 31411 30023 0 -1 4202560 220 0 0 0 375 0 0 0 20 0 28 0 102727956 27175628800 115759 33554432000 4194304 4196468 140734718084848 139692000770504 139692492422666 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31436] ppid=31411 vsize=26538700 memory=0 CPUtime=3.83 cores=0-7
/proc/31413/task/31436/stat : 31436 (java) R 31411 31411 30023 0 -1 4202560 183 0 0 0 383 0 0 0 20 0 28 0 102727957 27175628800 115759 33554432000 4194304 4196468 140734718084848 139691010022248 139692492422517 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31437] ppid=31411 vsize=26538700 memory=0 CPUtime=3.78 cores=0-7
/proc/31413/task/31437/stat : 31437 (java) R 31411 31411 30023 0 -1 4202560 148 0 0 0 378 0 0 0 20 0 28 0 102727957 27175628800 115759 33554432000 4194304 4196468 140734718084848 139691008968936 139692485979418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31438] ppid=31411 vsize=26538700 memory=0 CPUtime=3.89 cores=0-7
/proc/31413/task/31438/stat : 31438 (java) R 31411 31411 30023 0 -1 4202560 95 0 0 0 389 0 0 0 20 0 28 0 102727957 27175628800 115759 33554432000 4194304 4196468 140734718084848 139691007914088 139692492422370 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31439] ppid=31411 vsize=26538700 memory=0 CPUtime=3.97 cores=0-7
/proc/31413/task/31439/stat : 31439 (java) R 31411 31411 30023 0 -1 4202560 119 0 0 0 397 0 0 0 20 0 28 0 102727957 27175628800 115759 33554432000 4194304 4196468 140734718084848 139691006861560 139692492422540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
[pid=31413/tid=31440] ppid=31411 vsize=26538700 memory=0 CPUtime=3.77 cores=0-7
/proc/31413/task/31440/stat : 31440 (java) R 31411 31411 30023 0 -1 4202560 118 0 0 0 377 0 0 0 20 0 28 0 102727957 27175628800 115759 33554432000 4194304 4196468 140734718084848 139691005808544 139692492422335 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26984448 140734718092434 140734718092611 140734718092611 140734718095311 0
Current children cumulated CPU time: 37.63 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 464420 KiB

Child status: 0
Real time (s): 6.08922
CPU time (s): 37.9989
CPU user time (s): 37.4693
CPU system time (s): 0.529653
CPU usage (%): 624.036
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 464420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.4693
system time used= 0.529653
maximum resident set size= 463116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22675
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4129
involuntary context switches= 826


# summary of solver processes directly reported to runsolver:
#   pid: 31411
#   total CPU time (s): 37.9989
#   total CPU user time (s): 37.4693
#   total CPU system time (s): 0.529653

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.061447 second user time and 0.119769 second system time

The end
Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-600-co.xml
MD5SUM	c8310886daa61c46dd98a045c4929b4c
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	6.4116702
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	602
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":600}]
Minimum variable degree	602
Maximum variable degree	602
Distribution of variable degrees	[{"degree":602,"count":600}]
Minimum constraint arity	600
Maximum constraint arity	600
Distribution of constraint arities	[{"arity":600,"count":602}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":600}]
Optimization problem	NO
Type of objective
Trace number 4271024

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
