2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24 parallel	OPT	331	604.484	76.9183
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 (11219 MiB free)
  memory of node 1: 16384 MiB (12435 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407407-1569347654/watcher-4407407-1569347654 -o /var/tmp/evaluation-result-4407407-1569347654/solver-4407407-1569347654 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569335938-19122 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4407407-1569347654.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=24399, runsolver pid=24396
Current StackSize limit: 8192 KiB


[startup+0.100398 s]*
/proc/loadavg: 7.67 8.18 8.11 2/213 24420
/proc/meminfo: memFree=24205628/32770624 swapFree=66976772/67108860
[pid=24399] ppid=24396 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24399/stat : 24399 (xcsp3-exec) S 24396 24399 19095 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510705477 115843072 364 33554432000 4194304 5098028 140722359523216 140722359521320 140309264208508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19509248 140722359530327 140722359530586 140722359530586 140722359533510 0
/proc/24399/statm: 28282 364 305 221 0 87 0
[pid=24401] ppid=24399 vsize=28227396 memory=29132 CPUtime=0.12 cores=0-7
/proc/24401/stat : 24401 (java) S 24399 24399 19095 0 -1 1077944320 5763 0 0 0 11 1 0 0 20 0 20 0 510705478 28904853504 7283 33554432000 4194304 4196468 140735455666336 140735455648880 140297591820023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
/proc/24401/statm: 7056849 7283 3119 1 0 7019032 0
[pid=24401/tid=24402] ppid=24399 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/24401/task/24402/stat : 24402 (java) R 24399 24399 19095 0 -1 4202560 3673 0 0 0 8 0 0 0 20 0 20 0 510705478 28904853504 7283 33554432000 4194304 4196468 140735455666336 140297596046624 140297575863653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24403] ppid=24399 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24401/task/24403/stat : 24403 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 7283 33554432000 4194304 4196468 140735455666336 140297544440848 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24404] ppid=24399 vsize=28227396 memory=140189476345472 CPUtime=0 cores=0-7
/proc/24401/task/24404/stat : 24404 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 7283 33554432000 4194304 4196468 140735455666336 140297543388304 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24405] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24405/stat : 24405 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 7283 33554432000 4194304 4196468 140735455666336 140297542335248 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24406] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24406/stat : 24406 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 7283 33554432000 4194304 4196468 140735455666336 140297541282704 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24407] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24407/stat : 24407 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 7283 33554432000 4194304 4196468 140735455666336 140297540229648 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24408] ppid=24399 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24401/task/24408/stat : 24408 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 7283 33554432000 4194304 4196468 140735455666336 140297539177104 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24409] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24409/stat : 24409 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 7283 33554432000 4194304 4196468 140735455666336 140297538124048 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24410] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24410/stat : 24410 (java) S 24399 24399 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 7283 33554432000 4194304 4196468 140735455666336 140297537071504 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24411] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24411/stat : 24411 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705480 28904853504 7283 33554432000 4194304 4196468 140735455666336 140295787342576 140297591831170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24412] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24412/stat : 24412 (java) S 24399 24399 19095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510705481 28904853504 7283 33554432000 4194304 4196468 140735455666336 140295786288800 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24413] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24413/stat : 24413 (java) S 24399 24399 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510705481 28904853504 7283 33554432000 4194304 4196468 140735455666336 140295785235696 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24414] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24414/stat : 24414 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705483 28904853504 7283 33554432000 4194304 4196468 140735455666336 140295784184272 140297591838619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24415] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24415/stat : 24415 (java) S 24399 24399 19095 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 510705483 28904853504 7283 33554432000 4194304 4196468 140735455666336 140295783131376 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24416] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24416/stat : 24416 (java) S 24399 24399 19095 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510705483 28904853504 7283 33554432000 4194304 4196468 140735455666336 140295782078832 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24417] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24417/stat : 24417 (java) R 24399 24399 19095 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 20 0 510705483 28904853504 7283 33554432000 4194304 4196468 140735455666336 140295781025776 140297591841370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24418] ppid=24399 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/24401/task/24418/stat : 24418 (java) R 24399 24399 19095 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 510705483 28904853504 7283 33554432000 4194304 4196468 140735455666336 140295779973232 140297584057150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24419] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24419/stat : 24419 (java) S 24399 24399 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510705483 28904853504 7283 33554432000 4194304 4196468 140735455666336 140295778921440 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24420] ppid=24399 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24401/task/24420/stat : 24420 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705484 28904853504 7283 33554432000 4194304 4196468 140735455666336 140295336189104 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30588 KiB

[startup+0.210603 s]*
/proc/loadavg: 7.67 8.18 8.11 3/213 24420
/proc/meminfo: memFree=24192400/32770624 swapFree=66976772/67108860
[pid=24399] ppid=24396 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24399/stat : 24399 (xcsp3-exec) S 24396 24399 19095 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510705477 115843072 364 33554432000 4194304 5098028 140722359523216 140722359521320 140309264208508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19509248 140722359530327 140722359530586 140722359530586 140722359533510 0
/proc/24399/statm: 28282 364 305 221 0 87 0
[pid=24401] ppid=24399 vsize=28227396 memory=41220 CPUtime=0.34 cores=0-7
/proc/24401/stat : 24401 (java) S 24399 24399 19095 0 -1 1077944320 9524 0 0 0 31 3 0 0 20 0 20 0 510705478 28904853504 10305 33554432000 4194304 4196468 140735455666336 140735455648880 140297591820023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
/proc/24401/statm: 7056849 10305 3310 1 0 7019032 0
[pid=24401/tid=24402] ppid=24399 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24401/task/24402/stat : 24402 (java) R 24399 24399 19095 0 -1 4202560 6658 0 0 0 17 2 0 0 20 0 20 0 510705478 28904853504 10305 33554432000 4194304 4196468 140735455666336 140297596054720 140297591831958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24403] ppid=24399 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/24401/task/24403/stat : 24403 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 10305 33554432000 4194304 4196468 140735455666336 140297544440848 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24404] ppid=24399 vsize=28227396 memory=288370565628057216 CPUtime=0 cores=0-7
/proc/24401/task/24404/stat : 24404 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 10305 33554432000 4194304 4196468 140735455666336 140297543388304 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24405] ppid=24399 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24401/task/24405/stat : 24405 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 10305 33554432000 4194304 4196468 140735455666336 140297542335248 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24406] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24406/stat : 24406 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 10305 33554432000 4194304 4196468 140735455666336 140297541282704 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24407] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24407/stat : 24407 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 10305 33554432000 4194304 4196468 140735455666336 140297540229648 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24408] ppid=24399 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24401/task/24408/stat : 24408 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 10305 33554432000 4194304 4196468 140735455666336 140297539177104 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24409] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24409/stat : 24409 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 10305 33554432000 4194304 4196468 140735455666336 140297538124048 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24410] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24410/stat : 24410 (java) S 24399 24399 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510705479 28904853504 10305 33554432000 4194304 4196468 140735455666336 140297537071504 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24411] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24411/stat : 24411 (java) S 24399 24399 19095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510705480 28904853504 10305 33554432000 4194304 4196468 140735455666336 140295787342576 140297591831170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24412] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24412/stat : 24412 (java) S 24399 24399 19095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510705481 28904853504 10305 33554432000 4194304 4196468 140735455666336 140295786288800 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24413] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24413/stat : 24413 (java) S 24399 24399 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510705481 28904853504 10305 33554432000 4194304 4196468 140735455666336 140295785235696 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24414] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24414/stat : 24414 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705483 28904853504 10305 33554432000 4194304 4196468 140735455666336 140295784184272 140297591838619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24415] ppid=24399 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/24401/task/24415/stat : 24415 (java) S 24399 24399 19095 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 510705483 28904853504 10305 33554432000 4194304 4196468 140735455666336 140295783131376 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24416] ppid=24399 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/24401/task/24416/stat : 24416 (java) S 24399 24399 19095 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 20 0 510705483 28904853504 10305 33554432000 4194304 4196468 140735455666336 140295782078832 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24417] ppid=24399 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/24401/task/24417/stat : 24417 (java) S 24399 24399 19095 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 510705483 28904853504 10305 33554432000 4194304 4196468 140735455666336 140295781025776 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24418] ppid=24399 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/24401/task/24418/stat : 24418 (java) S 24399 24399 19095 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 20 0 510705483 28904853504 10305 33554432000 4194304 4196468 140735455666336 140295779973232 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24419] ppid=24399 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24419/stat : 24419 (java) S 24399 24399 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510705483 28904853504 10305 33554432000 4194304 4196468 140735455666336 140295778921440 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24420] ppid=24399 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24401/task/24420/stat : 24420 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705484 28904853504 10305 33554432000 4194304 4196468 140735455666336 140295336189104 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42676 KiB

[startup+0.310896 s]*
/proc/loadavg: 7.67 8.18 8.11 3/213 24420
/proc/meminfo: memFree=24184744/32770624 swapFree=66976772/67108860
[pid=24399] ppid=24396 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24399/stat : 24399 (xcsp3-exec) S 24396 24399 19095 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510705477 115843072 364 33554432000 4194304 5098028 140722359523216 140722359521320 140309264208508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19509248 140722359530327 140722359530586 140722359530586 140722359533510 0
/proc/24399/statm: 28282 364 305 221 0 87 0
[pid=24401] ppid=24399 vsize=28231652 memory=49928 CPUtime=0.53 cores=0-7
/proc/24401/stat : 24401 (java) S 24399 24399 19095 0 -1 1077944320 10868 0 0 0 49 4 0 0 20 0 20 0 510705478 28909211648 12482 33554432000 4194304 4196468 140735455666336 140735455648880 140297591820023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
/proc/24401/statm: 7057913 12482 3353 1 0 7019032 0
[pid=24401/tid=24402] ppid=24399 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24401/task/24402/stat : 24402 (java) R 24399 24399 19095 0 -1 4202560 7822 0 0 0 26 3 0 0 20 0 20 0 510705478 28909211648 12482 33554432000 4194304 4196468 140735455666336 140297596051136 140297575900510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24403] ppid=24399 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24403/stat : 24403 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705479 28909211648 12482 33554432000 4194304 4196468 140735455666336 140297544440848 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24404] ppid=24399 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24404/stat : 24404 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705479 28909211648 12482 33554432000 4194304 4196468 140735455666336 140297543388304 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24405] ppid=24399 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24405/stat : 24405 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705479 28909211648 12482 33554432000 4194304 4196468 140735455666336 140297542335248 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24406] ppid=24399 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24406/stat : 24406 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705479 28909211648 12482 33554432000 4194304 4196468 140735455666336 140297541282704 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24407] ppid=24399 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/24401/task/24407/stat : 24407 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705479 28909211648 12482 33554432000 4194304 4196468 140735455666336 140297540229648 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24408] ppid=24399 vsize=28231652 memory=140189343249327 CPUtime=0 cores=0-7
/proc/24401/task/24408/stat : 24408 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705479 28909211648 12482 33554432000 4194304 4196468 140735455666336 140297539177104 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24409] ppid=24399 vsize=28231652 memory=140189343251632 CPUtime=0 cores=0-7
/proc/24401/task/24409/stat : 24409 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705479 28909211648 12482 33554432000 4194304 4196468 140735455666336 140297538124048 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24410] ppid=24399 vsize=28231652 memory=140189343253936 CPUtime=0 cores=0-7
/proc/24401/task/24410/stat : 24410 (java) S 24399 24399 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510705479 28909211648 12482 33554432000 4194304 4196468 140735455666336 140297537071504 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24411] ppid=24399 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24411/stat : 24411 (java) S 24399 24399 19095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510705480 28909211648 12482 33554432000 4194304 4196468 140735455666336 140295787342576 140297591831170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24412] ppid=24399 vsize=28231652 memory=280378686514832 CPUtime=0 cores=0-7
/proc/24401/task/24412/stat : 24412 (java) S 24399 24399 19095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510705481 28909211648 12482 33554432000 4194304 4196468 140735455666336 140295786288800 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24413] ppid=24399 vsize=28231652 memory=280378686521744 CPUtime=0 cores=0-7
/proc/24401/task/24413/stat : 24413 (java) S 24399 24399 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510705481 28909211648 12482 33554432000 4194304 4196468 140735455666336 140295785235696 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24414] ppid=24399 vsize=28231652 memory=280378686463024 CPUtime=0 cores=0-7
/proc/24401/task/24414/stat : 24414 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705483 28909211648 12482 33554432000 4194304 4196468 140735455666336 140295784184272 140297591838619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24415] ppid=24399 vsize=28231652 memory=280378686535568 CPUtime=0.01 cores=0-7
/proc/24401/task/24415/stat : 24415 (java) S 24399 24399 19095 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 20 0 510705483 28909211648 12482 33554432000 4194304 4196468 140735455666336 140295783131376 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24416] ppid=24399 vsize=28231652 memory=280378686542480 CPUtime=0.04 cores=0-7
/proc/24401/task/24416/stat : 24416 (java) R 24399 24399 19095 0 -1 4202560 463 0 0 0 4 0 0 0 20 0 20 0 510705483 28909211648 12482 33554432000 4194304 4196468 140735455666336 140295782069216 140297573342176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24417] ppid=24399 vsize=28231652 memory=280378686540176 CPUtime=0.02 cores=0-7
/proc/24401/task/24417/stat : 24417 (java) S 24399 24399 19095 0 -1 1077944384 92 0 0 0 2 0 0 0 20 0 20 0 510705483 28909211648 12482 33554432000 4194304 4196468 140735455666336 140295781025776 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24418] ppid=24399 vsize=28231652 memory=280378686556336 CPUtime=0.13 cores=0-7
/proc/24401/task/24418/stat : 24418 (java) S 24399 24399 19095 0 -1 1077944384 842 0 0 0 13 0 0 0 20 0 20 0 510705483 28909211648 12482 33554432000 4194304 4196468 140735455666336 140295779973232 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24419] ppid=24399 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24419/stat : 24419 (java) S 24399 24399 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510705483 28909211648 12482 33554432000 4194304 4196468 140735455666336 140295778921440 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24420] ppid=24399 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/24401/task/24420/stat : 24420 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705484 28909211648 12482 33554432000 4194304 4196468 140735455666336 140295336189104 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51384 KiB

[startup+0.701041 s]
/proc/loadavg: 7.67 8.18 8.11 6/213 24420
/proc/meminfo: memFree=24162020/32770624 swapFree=66976772/67108860
[pid=24399] ppid=24396 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24399/stat : 24399 (xcsp3-exec) S 24396 24399 19095 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510705477 115843072 364 33554432000 4194304 5098028 140722359523216 140722359521320 140309264208508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19509248 140722359530327 140722359530586 140722359530586 140722359533510 0
/proc/24399/statm: 28282 364 305 221 0 87 0
[pid=24401] ppid=24399 vsize=28233776 memory=129296 CPUtime=2.06 cores=0-7
/proc/24401/stat : 24401 (java) S 24399 24399 19095 0 -1 1077944320 15298 0 0 0 199 7 0 0 20 0 20 0 510705478 28911386624 32324 33554432000 4194304 4196468 140735455666336 140735455648880 140297591820023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
/proc/24401/statm: 7058444 32324 3450 1 0 7019544 0
[pid=24401/tid=24402] ppid=24399 vsize=28233776 memory=280378686914224 CPUtime=0.68 cores=0-7
/proc/24401/task/24402/stat : 24402 (java) R 24399 24399 19095 0 -1 4202560 8406 0 0 0 63 5 0 0 20 0 20 0 510705478 28911386624 32324 33554432000 4194304 4196468 140735455666336 140297596057616 140297591841949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24403] ppid=24399 vsize=28233776 memory=140189343458160 CPUtime=0 cores=0-7
/proc/24401/task/24403/stat : 24403 (java) S 24399 24399 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510705479 28911386624 32324 33554432000 4194304 4196468 140735455666336 140297544440848 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24404] ppid=24399 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24404/stat : 24404 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705479 28911386624 32324 33554432000 4194304 4196468 140735455666336 140297543388304 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24405] ppid=24399 vsize=28233776 memory=1060 CPUtime=0 cores=0-7
/proc/24401/task/24405/stat : 24405 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510705479 28911386624 32324 33554432000 4194304 4196468 140735455666336 140297542335248 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0

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

[pid=24401/tid=24418] ppid=24399 vsize=28768336 memory=2828 CPUtime=0.82 cores=0-7
/proc/24401/task/24418/stat : 24418 (java) S 24399 24399 19095 0 -1 1077944384 7765 0 0 0 80 2 0 0 20 0 28 0 510705483 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295779973232 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24419] ppid=24399 vsize=28768336 memory=1216 CPUtime=0 cores=0-7
/proc/24401/task/24419/stat : 24419 (java) S 24399 24399 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510705483 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295778921440 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24420] ppid=24399 vsize=28768336 memory=984 CPUtime=0.02 cores=0-7
/proc/24401/task/24420/stat : 24420 (java) S 24399 24399 19095 0 -1 1077944384 799 0 0 0 0 2 0 0 20 0 28 0 510705484 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295336189104 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24525] ppid=24399 vsize=28768336 memory=14004 CPUtime=71.86 cores=0-7
/proc/24401/task/24525/stat : 24525 (java) R 24399 24399 19095 0 -1 4202560 1439 0 0 0 7186 0 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295326969336 140297211495047 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24526] ppid=24399 vsize=28768336 memory=35336 CPUtime=71.83 cores=0-7
/proc/24401/task/24526/stat : 24526 (java) R 24399 24399 19095 0 -1 4202560 435 0 0 0 7183 0 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295324864560 140297212922713 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24527] ppid=24399 vsize=28768336 memory=14048 CPUtime=71.54 cores=0-7
/proc/24401/task/24527/stat : 24527 (java) R 24399 24399 19095 0 -1 4202560 3016 0 0 0 7152 2 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295320655816 140297211486225 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24528] ppid=24399 vsize=28768336 memory=2124 CPUtime=70.92 cores=0-7
/proc/24401/task/24528/stat : 24528 (java) R 24399 24399 19095 0 -1 4202560 3161 0 0 0 7087 5 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295325917224 140297211494973 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24529] ppid=24399 vsize=28768336 memory=500 CPUtime=71.17 cores=0-7
/proc/24401/task/24529/stat : 24529 (java) R 24399 24399 19095 0 -1 4202560 919 0 0 0 7117 0 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295323811496 140297211070778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24530] ppid=24399 vsize=28768336 memory=1556 CPUtime=71.82 cores=0-7
/proc/24401/task/24530/stat : 24530 (java) R 24399 24399 19095 0 -1 4202560 927 0 0 0 7182 0 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295321706360 140297211070702 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24531] ppid=24399 vsize=28768336 memory=928 CPUtime=71.83 cores=0-7
/proc/24401/task/24531/stat : 24531 (java) R 24399 24399 19095 0 -1 4202560 341 0 0 0 7183 0 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295319601656 140297211495047 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24532] ppid=24399 vsize=28768336 memory=1772 CPUtime=71.82 cores=0-7
/proc/24401/task/24532/stat : 24532 (java) R 24399 24399 19095 0 -1 4202560 944 0 0 0 7181 1 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295322759512 140297211267126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
Current children cumulated CPU time: 600.46 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 681796 KiB

[startup+76.8017 s]
/proc/loadavg: 7.82 8.09 8.08 9/221 24537
/proc/meminfo: memFree=23556824/32770624 swapFree=66976772/67108860
[pid=24399] ppid=24396 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24399/stat : 24399 (xcsp3-exec) S 24396 24399 19095 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510705477 115843072 364 33554432000 4194304 5098028 140722359523216 140722359521320 140309264208508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19509248 140722359530327 140722359530586 140722359530586 140722359533510 0
/proc/24399/statm: 28282 364 305 221 0 87 0
[pid=24401] ppid=24399 vsize=28768336 memory=680340 CPUtime=603.65 cores=0-7
/proc/24401/stat : 24401 (java) S 24399 24399 19095 0 -1 1077944320 66780 0 0 0 60305 60 0 0 20 0 28 0 510705478 29458776064 170085 33554432000 4194304 4196468 140735455666336 140735455648880 140297591820023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
/proc/24401/statm: 7192084 170085 3528 1 0 7153184 0
[pid=24401/tid=24402] ppid=24399 vsize=28768336 memory=6791534058613427641 CPUtime=1.67 cores=0-7
/proc/24401/task/24402/stat : 24402 (java) S 24399 24399 19095 0 -1 1077944384 9388 0 0 0 159 8 0 0 20 0 28 0 510705478 29458776064 170085 33554432000 4194304 4196468 140735455666336 140297596060800 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24403] ppid=24399 vsize=28768336 memory=4872558044660077418 CPUtime=0.1 cores=0-7
/proc/24401/task/24403/stat : 24403 (java) S 24399 24399 19095 0 -1 1077944384 749 0 0 0 7 3 0 0 20 0 28 0 510705479 29458776064 170085 33554432000 4194304 4196468 140735455666336 140297544440848 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24404] ppid=24399 vsize=28768336 memory=920 CPUtime=0.11 cores=0-7
/proc/24401/task/24404/stat : 24404 (java) S 24399 24399 19095 0 -1 1077944384 323 0 0 0 8 3 0 0 20 0 28 0 510705479 29458776064 170085 33554432000 4194304 4196468 140735455666336 140297543388304 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24405] ppid=24399 vsize=28768336 memory=4536 CPUtime=0.1 cores=0-7
/proc/24401/task/24405/stat : 24405 (java) S 24399 24399 19095 0 -1 1077944384 689 0 0 0 7 3 0 0 20 0 28 0 510705479 29458776064 170085 33554432000 4194304 4196468 140735455666336 140297542335248 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24406] ppid=24399 vsize=28768336 memory=620348 CPUtime=0.08 cores=0-7
/proc/24401/task/24406/stat : 24406 (java) S 24399 24399 19095 0 -1 1077944384 383 0 0 0 5 3 0 0 20 0 28 0 510705479 29458776064 170085 33554432000 4194304 4196468 140735455666336 140297541282704 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24407] ppid=24399 vsize=28768336 memory=2372 CPUtime=0.09 cores=0-7
/proc/24401/task/24407/stat : 24407 (java) S 24399 24399 19095 0 -1 1077944384 152 0 0 0 7 2 0 0 20 0 28 0 510705479 29458776064 170085 33554432000 4194304 4196468 140735455666336 140297540229648 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24408] ppid=24399 vsize=28768336 memory=0 CPUtime=0.11 cores=0-7
/proc/24401/task/24408/stat : 24408 (java) S 24399 24399 19095 0 -1 1077944384 243 0 0 0 7 4 0 0 20 0 28 0 510705479 29458776064 170085 33554432000 4194304 4196468 140735455666336 140297539177104 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24409] ppid=24399 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/24401/task/24409/stat : 24409 (java) S 24399 24399 19095 0 -1 1077944384 686 0 0 0 6 2 0 0 20 0 28 0 510705479 29458776064 170085 33554432000 4194304 4196468 140735455666336 140297538124048 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24410] ppid=24399 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/24401/task/24410/stat : 24410 (java) S 24399 24399 19095 0 -1 1077944384 210 0 0 0 6 3 0 0 20 0 28 0 510705479 29458776064 170085 33554432000 4194304 4196468 140735455666336 140297537071504 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24411] ppid=24399 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/24401/task/24411/stat : 24411 (java) S 24399 24399 19095 0 -1 1077944384 1375 0 0 0 2 0 0 0 20 0 28 0 510705480 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295787342576 140297591831170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24412] ppid=24399 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/24401/task/24412/stat : 24412 (java) S 24399 24399 19095 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 510705481 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295786288864 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24413] ppid=24399 vsize=28768336 memory=5787213827415566673 CPUtime=0 cores=0-7
/proc/24401/task/24413/stat : 24413 (java) S 24399 24399 19095 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 510705481 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295785235712 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24414] ppid=24399 vsize=28768336 memory=7649399358478431282 CPUtime=0 cores=0-7
/proc/24401/task/24414/stat : 24414 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510705483 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295784184272 140297591838619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24415] ppid=24399 vsize=28768336 memory=0 CPUtime=2.41 cores=0-7
/proc/24401/task/24415/stat : 24415 (java) S 24399 24399 19095 0 -1 1077944384 10327 0 0 0 240 1 0 0 20 0 28 0 510705483 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295783131376 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24416] ppid=24399 vsize=28768336 memory=2321943373267609809 CPUtime=2.18 cores=0-7
/proc/24401/task/24416/stat : 24416 (java) S 24399 24399 19095 0 -1 1077944384 6499 0 0 0 216 2 0 0 20 0 28 0 510705483 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295782078832 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24417] ppid=24399 vsize=28768336 memory=657320 CPUtime=2.37 cores=0-7
/proc/24401/task/24417/stat : 24417 (java) S 24399 24399 19095 0 -1 1077944384 11713 0 0 0 235 2 0 0 20 0 28 0 510705483 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295781025776 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24418] ppid=24399 vsize=28768336 memory=35336 CPUtime=0.82 cores=0-7
/proc/24401/task/24418/stat : 24418 (java) S 24399 24399 19095 0 -1 1077944384 7765 0 0 0 80 2 0 0 20 0 28 0 510705483 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295779973232 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24419] ppid=24399 vsize=28768336 memory=14048 CPUtime=0 cores=0-7
/proc/24401/task/24419/stat : 24419 (java) S 24399 24399 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510705483 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295778921440 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24420] ppid=24399 vsize=28768336 memory=2124 CPUtime=0.02 cores=0-7
/proc/24401/task/24420/stat : 24420 (java) S 24399 24399 19095 0 -1 1077944384 799 0 0 0 0 2 0 0 20 0 28 0 510705484 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295336189104 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24525] ppid=24399 vsize=28768336 memory=500 CPUtime=72.26 cores=0-7
/proc/24401/task/24525/stat : 24525 (java) R 24399 24399 19095 0 -1 4202560 1439 0 0 0 7226 0 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295326969336 140297212923076 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24526] ppid=24399 vsize=28768336 memory=1556 CPUtime=72.23 cores=0-7
/proc/24401/task/24526/stat : 24526 (java) R 24399 24399 19095 0 -1 4202560 435 0 0 0 7223 0 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295324864560 140297211267075 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24527] ppid=24399 vsize=28768336 memory=928 CPUtime=71.94 cores=0-7
/proc/24401/task/24527/stat : 24527 (java) R 24399 24399 19095 0 -1 4202560 3028 0 0 0 7192 2 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295320653912 140297211494881 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24528] ppid=24399 vsize=28768336 memory=1772 CPUtime=71.31 cores=0-7
/proc/24401/task/24528/stat : 24528 (java) R 24399 24399 19095 0 -1 4202560 3163 0 0 0 7126 5 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295325917224 140297213413565 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24529] ppid=24399 vsize=28768336 memory=1456 CPUtime=71.57 cores=0-7
/proc/24401/task/24529/stat : 24529 (java) R 24399 24399 19095 0 -1 4202560 919 0 0 0 7157 0 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295323811496 140297211070548 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24530] ppid=24399 vsize=28768336 memory=657332 CPUtime=72.22 cores=0-7
/proc/24401/task/24530/stat : 24530 (java) R 24399 24399 19095 0 -1 4202560 929 0 0 0 7222 0 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295321706360 140297211070768 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24531] ppid=24399 vsize=28768336 memory=657332 CPUtime=72.23 cores=0-7
/proc/24401/task/24531/stat : 24531 (java) R 24399 24399 19095 0 -1 4202560 341 0 0 0 7223 0 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295319601656 140297211494993 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24532] ppid=24399 vsize=28768336 memory=1216 CPUtime=72.22 cores=0-7
/proc/24401/task/24532/stat : 24532 (java) R 24399 24399 19095 0 -1 4202560 944 0 0 0 7221 1 0 0 20 0 28 0 510705919 29458776064 170085 33554432000 4194304 4196468 140735455666336 140295322759512 140297211495047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
Current children cumulated CPU time: 603.65 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 681796 KiB

[startup+76.9017 s]
/proc/loadavg: 7.82 8.09 8.08 9/221 24537
/proc/meminfo: memFree=23556824/32770624 swapFree=66976772/67108860
[pid=24399] ppid=24396 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24399/stat : 24399 (xcsp3-exec) S 24396 24399 19095 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510705477 115843072 364 33554432000 4194304 5098028 140722359523216 140722359521320 140309264208508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19509248 140722359530327 140722359530586 140722359530586 140722359533510 0
/proc/24399/statm: 28282 364 305 221 0 87 0
[pid=24401] ppid=24399 vsize=28768336 memory=680344 CPUtime=604.45 cores=0-7
/proc/24401/stat : 24401 (java) S 24399 24399 19095 0 -1 1077944320 66987 0 0 0 60385 60 0 0 20 0 28 0 510705478 29458776064 170086 33554432000 4194304 4196468 140735455666336 140735455648880 140297591820023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
/proc/24401/statm: 7192084 170086 3528 1 0 7153184 0
[pid=24401/tid=24402] ppid=24399 vsize=28768336 memory=680340 CPUtime=1.67 cores=0-7
/proc/24401/task/24402/stat : 24402 (java) S 24399 24399 19095 0 -1 1077944384 9388 0 0 0 159 8 0 0 20 0 28 0 510705478 29458776064 170086 33554432000 4194304 4196468 140735455666336 140297596060800 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24403] ppid=24399 vsize=28768336 memory=680340 CPUtime=0.1 cores=0-7
/proc/24401/task/24403/stat : 24403 (java) S 24399 24399 19095 0 -1 1077944384 749 0 0 0 7 3 0 0 20 0 28 0 510705479 29458776064 170086 33554432000 4194304 4196468 140735455666336 140297544440848 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24404] ppid=24399 vsize=28768336 memory=1456 CPUtime=0.11 cores=0-7
/proc/24401/task/24404/stat : 24404 (java) S 24399 24399 19095 0 -1 1077944384 323 0 0 0 8 3 0 0 20 0 28 0 510705479 29458776064 170086 33554432000 4194304 4196468 140735455666336 140297543388304 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24405] ppid=24399 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7
/proc/24401/task/24405/stat : 24405 (java) S 24399 24399 19095 0 -1 1077944384 689 0 0 0 7 3 0 0 20 0 28 0 510705479 29458776064 170086 33554432000 4194304 4196468 140735455666336 140297542335248 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24406] ppid=24399 vsize=28768336 memory=3620 CPUtime=0.08 cores=0-7
/proc/24401/task/24406/stat : 24406 (java) S 24399 24399 19095 0 -1 1077944384 383 0 0 0 5 3 0 0 20 0 28 0 510705479 29458776064 170086 33554432000 4194304 4196468 140735455666336 140297541282704 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24407] ppid=24399 vsize=28768336 memory=1660 CPUtime=0.09 cores=0-7
/proc/24401/task/24407/stat : 24407 (java) S 24399 24399 19095 0 -1 1077944384 152 0 0 0 7 2 0 0 20 0 28 0 510705479 29458776064 170086 33554432000 4194304 4196468 140735455666336 140297540229648 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24408] ppid=24399 vsize=28768336 memory=1412 CPUtime=0.11 cores=0-7
/proc/24401/task/24408/stat : 24408 (java) S 24399 24399 19095 0 -1 1077944384 243 0 0 0 7 4 0 0 20 0 28 0 510705479 29458776064 170086 33554432000 4194304 4196468 140735455666336 140297539177104 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24409] ppid=24399 vsize=28768336 memory=3024 CPUtime=0.08 cores=0-7
/proc/24401/task/24409/stat : 24409 (java) S 24399 24399 19095 0 -1 1077944384 686 0 0 0 6 2 0 0 20 0 28 0 510705479 29458776064 170086 33554432000 4194304 4196468 140735455666336 140297538124048 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24410] ppid=24399 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/24401/task/24410/stat : 24410 (java) S 24399 24399 19095 0 -1 1077944384 210 0 0 0 6 3 0 0 20 0 28 0 510705479 29458776064 170086 33554432000 4194304 4196468 140735455666336 140297537071504 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24411] ppid=24399 vsize=28768336 memory=8242832241811678752 CPUtime=0.02 cores=0-7
/proc/24401/task/24411/stat : 24411 (java) S 24399 24399 19095 0 -1 1077944384 1375 0 0 0 2 0 0 0 20 0 28 0 510705480 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295787342576 140297591831170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24412] ppid=24399 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/24401/task/24412/stat : 24412 (java) S 24399 24399 19095 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 510705481 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295786288864 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24413] ppid=24399 vsize=28768336 memory=680340 CPUtime=0 cores=0-7
/proc/24401/task/24413/stat : 24413 (java) S 24399 24399 19095 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 510705481 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295785235712 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24414] ppid=24399 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/24401/task/24414/stat : 24414 (java) S 24399 24399 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510705483 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295784184272 140297591838619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24415] ppid=24399 vsize=28768336 memory=0 CPUtime=2.41 cores=0-7
/proc/24401/task/24415/stat : 24415 (java) S 24399 24399 19095 0 -1 1077944384 10327 0 0 0 240 1 0 0 20 0 28 0 510705483 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295783131376 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24416] ppid=24399 vsize=28768336 memory=6944656425123485513 CPUtime=2.18 cores=0-7
/proc/24401/task/24416/stat : 24416 (java) S 24399 24399 19095 0 -1 1077944384 6499 0 0 0 216 2 0 0 20 0 28 0 510705483 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295782078832 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24417] ppid=24399 vsize=28768336 memory=-7235150875681255564 CPUtime=2.37 cores=0-7
/proc/24401/task/24417/stat : 24417 (java) S 24399 24399 19095 0 -1 1077944384 11713 0 0 0 235 2 0 0 20 0 28 0 510705483 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295781025776 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24418] ppid=24399 vsize=28768336 memory=1456 CPUtime=0.82 cores=0-7
/proc/24401/task/24418/stat : 24418 (java) R 24399 24399 19095 0 -1 4202560 7818 0 0 0 80 2 0 0 20 0 28 0 510705483 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295779973232 140297577300288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24419] ppid=24399 vsize=28768336 memory=657332 CPUtime=0 cores=0-7
/proc/24401/task/24419/stat : 24419 (java) S 24399 24399 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510705483 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295778921440 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24420] ppid=24399 vsize=28768336 memory=1564 CPUtime=0.02 cores=0-7
/proc/24401/task/24420/stat : 24420 (java) S 24399 24399 19095 0 -1 1077944384 799 0 0 0 0 2 0 0 20 0 28 0 510705484 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295336189104 140297591831170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24525] ppid=24399 vsize=28768336 memory=0 CPUtime=72.36 cores=0-7
/proc/24401/task/24525/stat : 24525 (java) S 24399 24399 19095 0 -1 1077944384 1534 0 0 0 7236 0 0 0 20 0 28 0 510705919 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295326973680 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24526] ppid=24399 vsize=28768336 memory=6944656592455359580 CPUtime=72.33 cores=0-7
/proc/24401/task/24526/stat : 24526 (java) S 24399 24399 19095 0 -1 1077944384 454 0 0 0 7233 0 0 0 20 0 28 0 510705919 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295324869968 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24527] ppid=24399 vsize=28768336 memory=0 CPUtime=72.04 cores=0-7
/proc/24401/task/24527/stat : 24527 (java) S 24399 24399 19095 0 -1 1077944384 3030 0 0 0 7202 2 0 0 20 0 28 0 510705919 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295320658896 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24528] ppid=24399 vsize=28768336 memory=680340 CPUtime=71.41 cores=0-7
/proc/24401/task/24528/stat : 24528 (java) R 24399 24399 19095 0 -1 4202560 3183 0 0 0 7136 5 0 0 20 0 28 0 510705919 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295325917224 140297204026221 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24529] ppid=24399 vsize=28768336 memory=1456 CPUtime=71.67 cores=0-7
/proc/24401/task/24529/stat : 24529 (java) R 24399 24399 19095 0 -1 4202560 919 0 0 0 7167 0 0 0 20 0 28 0 510705919 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295323811496 140297211267020 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24530] ppid=24399 vsize=28768336 memory=680340 CPUtime=72.32 cores=0-7
/proc/24401/task/24530/stat : 24530 (java) S 24399 24399 19095 0 -1 1077944384 943 0 0 0 7232 0 0 0 20 0 28 0 510705919 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295321711440 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24531] ppid=24399 vsize=28768336 memory=680340 CPUtime=72.33 cores=0-7
/proc/24401/task/24531/stat : 24531 (java) S 24399 24399 19095 0 -1 1077944384 360 0 0 0 7233 0 0 0 20 0 28 0 510705919 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295319606736 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
[pid=24401/tid=24532] ppid=24399 vsize=28768336 memory=6791534058613427641 CPUtime=72.32 cores=0-7
/proc/24401/task/24532/stat : 24532 (java) S 24399 24399 19095 0 -1 1077944384 962 0 0 0 7231 1 0 0 20 0 28 0 510705919 29458776064 170086 33554432000 4194304 4196468 140735455666336 140295322764880 140297591830229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140735455675356 140735455675531 140735455675531 140735455678415 0
Current children cumulated CPU time: 604.45 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 681800 KiB

Child status: 0
Real time (s): 76.9183
CPU time (s): 604.484
CPU user time (s): 603.862
CPU system time (s): 0.621979
CPU usage (%): 785.878
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 681800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 603.862
system time used= 0.621979
maximum resident set size= 680360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7591
involuntary context switches= 7843


# summary of solver processes directly reported to runsolver:
#   pid: 24399
#   total CPU time (s): 604.484
#   total CPU user time (s): 603.862
#   total CPU system time (s): 0.621979

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.896683 second user time and 0.711383 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32b3.xml
MD5SUM	c1d081b79f1c10e41665328fecc5a7d0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	331
Best CPU time to get the best result obtained on this benchmark	118.266
Satisfiable
(Un)Satisfiability was proved
Number of variables	696
Number of constraints	6082
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":696}]
Minimum variable degree	3
Maximum variable degree	119
Distribution of variable degrees	[{"degree":3,"count":156},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":21,"count":6},{"degree":22,"count":6},{"degree":23,"count":15},{"degree":24,"count":9},{"degree":25,"count":6},{"degree":26,"count":6},{"degree":27,"count":6},{"degree":28,"count":21},{"degree":29,"count":18},{"degree":30,"count":21},{"degree":31,"count":6},{"degree":32,"count":6},{"degree":33,"count":6},{"degree":34,"count":165},{"degree":35,"count":15},{"degree":36,"count":6},{"degree":37,"count":6},{"degree":40,"count":3},{"degree":42,"count":3},{"degree":43,"count":3},"...",{"degree":86,"count":3}, {"degree":88,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":6}, {"degree":95,"count":6}, {"degree":96,"count":21}, {"degree":97,"count":6}, {"degree":99,"count":15}, {"degree":100,"count":12}, {"degree":101,"count":6}, {"degree":102,"count":12}, {"degree":103,"count":15}, {"degree":105,"count":6}, {"degree":106,"count":21}, {"degree":107,"count":6}, {"degree":108,"count":6}, {"degree":109,"count":3}, {"degree":110,"count":6}, {"degree":111,"count":3}, {"degree":114,"count":3}, {"degree":116,"count":3}, {"degree":118,"count":6}, {"degree":119,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":5436},{"arity":3,"count":52},{"arity":32,"count":594}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":6082}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4407407

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
