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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-09)	SAT (TO)	61	20044.6	2520.1299
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 (13347 MiB free)
  memory of node 1: 16384 MiB (13788 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270582-1502681360/watcher-4270582-1502681360 -o /tmp/evaluation-result-4270582-1502681360/solver-4270582-1502681360 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502680501-31442 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1047137832 HOME/instance-4270582-1502681360.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=31459, runsolver pid=31456
Current StackSize limit: 8192 KiB


[startup+0.100274 s]*
/proc/loadavg: 7.37 8.06 8.27 2/199 31480
/proc/meminfo: memFree=27771348/32770624 swapFree=67108860/67108860
[pid=31459] ppid=31456 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31459/stat : 31459 (xcsp3-exec) S 31456 31459 31415 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101216850 9740288 345 33554432000 4194304 5098028 140736148835568 140736148833672 140033733263996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29093888 140736148837476 140736148837687 140736148837687 140736148840427 0
/proc/31459/statm: 2378 345 289 221 0 87 0
[pid=31461] ppid=31459 vsize=25999808 memory=26288 CPUtime=0.11 cores=0-7
/proc/31461/stat : 31461 (java) S 31459 31459 31415 0 -1 1077944320 5503 0 0 0 10 1 0 0 20 0 20 0 101216850 26623803392 6572 33554432000 4194304 4196468 140724702337792 140724702320336 139891853520631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
/proc/31461/statm: 6499952 6572 2845 1 0 6488269 0
[pid=31461/tid=31462] ppid=31459 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/31461/task/31462/stat : 31462 (java) R 31459 31459 31415 0 -1 4202560 3515 0 0 0 8 0 0 0 20 0 20 0 101216851 26623803392 6572 33554432000 4194304 4196468 140724702337792 139891857753904 139891853532566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31463] ppid=31459 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/31461/task/31463/stat : 31463 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26623803392 6572 33554432000 4194304 4196468 140724702337792 139891806140944 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31464] ppid=31459 vsize=25999808 memory=139650274449024 CPUtime=0 cores=0-7
/proc/31461/task/31464/stat : 31464 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26623803392 6572 33554432000 4194304 4196468 140724702337792 139891805088400 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31465] ppid=31459 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31465/stat : 31465 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26623803392 6572 33554432000 4194304 4196468 140724702337792 139891804035344 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31466] ppid=31459 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31466/stat : 31466 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26623803392 6572 33554432000 4194304 4196468 140724702337792 139891802982800 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31467] ppid=31459 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31467/stat : 31467 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26623803392 6572 33554432000 4194304 4196468 140724702337792 139891801930768 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31468] ppid=31459 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31461/task/31468/stat : 31468 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26623803392 6572 33554432000 4194304 4196468 140724702337792 139891800878224 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31469] ppid=31459 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31469/stat : 31469 (java) S 31459 31459 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101216851 26623803392 6572 33554432000 4194304 4196468 140724702337792 139891799825168 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31470] ppid=31459 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31470/stat : 31470 (java) S 31459 31459 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101216851 26623803392 6572 33554432000 4194304 4196468 140724702337792 139891798772624 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31471] ppid=31459 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31471/stat : 31471 (java) S 31459 31459 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101216853 26623803392 6572 33554432000 4194304 4196468 140724702337792 139890595633392 139891853531778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31472] ppid=31459 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31472/stat : 31472 (java) S 31459 31459 31415 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101216853 26623803392 6572 33554432000 4194304 4196468 140724702337792 139890594579616 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31473] ppid=31459 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31473/stat : 31473 (java) S 31459 31459 31415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101216853 26623803392 6572 33554432000 4194304 4196468 140724702337792 139890593526512 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31474] ppid=31459 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31474/stat : 31474 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216856 26623803392 6572 33554432000 4194304 4196468 140724702337792 139890592475088 139891853539227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31475] ppid=31459 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31475/stat : 31475 (java) S 31459 31459 31415 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 101216856 26623803392 6572 33554432000 4194304 4196468 140724702337792 139890591423216 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31476] ppid=31459 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31476/stat : 31476 (java) S 31459 31459 31415 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 101216856 26623803392 6572 33554432000 4194304 4196468 140724702337792 139890590370672 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31477] ppid=31459 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31477/stat : 31477 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216856 26623803392 6572 33554432000 4194304 4196468 140724702337792 139890589317616 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31478] ppid=31459 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/31461/task/31478/stat : 31478 (java) S 31459 31459 31415 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 20 0 101216856 26623803392 6572 33554432000 4194304 4196468 140724702337792 139890588265072 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31479] ppid=31459 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31479/stat : 31479 (java) S 31459 31459 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101216856 26623803392 6572 33554432000 4194304 4196468 140724702337792 139890587212256 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31480] ppid=31459 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31461/task/31480/stat : 31480 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216856 26623803392 6572 33554432000 4194304 4196468 140724702337792 139890586159792 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27668 KiB

[startup+0.210215 s]*
/proc/loadavg: 7.37 8.06 8.27 3/199 31480
/proc/meminfo: memFree=27759300/32770624 swapFree=67108860/67108860
[pid=31459] ppid=31456 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31459/stat : 31459 (xcsp3-exec) S 31456 31459 31415 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101216850 9740288 345 33554432000 4194304 5098028 140736148835568 140736148833672 140033733263996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29093888 140736148837476 140736148837687 140736148837687 140736148840427 0
/proc/31459/statm: 2378 345 289 221 0 87 0
[pid=31461] ppid=31459 vsize=26004064 memory=38924 CPUtime=0.33 cores=0-7
/proc/31461/stat : 31461 (java) S 31459 31459 31415 0 -1 1077944320 8332 0 0 0 30 3 0 0 20 0 20 0 101216850 26628161536 9731 33554432000 4194304 4196468 140724702337792 140724702320336 139891853520631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
/proc/31461/statm: 6501016 9731 3024 1 0 6488269 0
[pid=31461/tid=31462] ppid=31459 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/31461/task/31462/stat : 31462 (java) R 31459 31459 31415 0 -1 4202560 5419 0 0 0 18 1 0 0 20 0 20 0 101216851 26628161536 9731 33554432000 4194304 4196468 140724702337792 139891857741624 139891837601118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31463] ppid=31459 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/31461/task/31463/stat : 31463 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 9731 33554432000 4194304 4196468 140724702337792 139891806140944 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31464] ppid=31459 vsize=26004064 memory=3762955620073100960 CPUtime=0 cores=0-7
/proc/31461/task/31464/stat : 31464 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 9731 33554432000 4194304 4196468 140724702337792 139891805088400 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31465] ppid=31459 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31461/task/31465/stat : 31465 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 9731 33554432000 4194304 4196468 140724702337792 139891804035344 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31466] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31466/stat : 31466 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 9731 33554432000 4194304 4196468 140724702337792 139891802982800 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31467] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31467/stat : 31467 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 9731 33554432000 4194304 4196468 140724702337792 139891801930768 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31468] ppid=31459 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31461/task/31468/stat : 31468 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 9731 33554432000 4194304 4196468 140724702337792 139891800878224 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31469] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31469/stat : 31469 (java) S 31459 31459 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 9731 33554432000 4194304 4196468 140724702337792 139891799825168 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31470] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31470/stat : 31470 (java) S 31459 31459 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 9731 33554432000 4194304 4196468 140724702337792 139891798772624 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31471] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31471/stat : 31471 (java) S 31459 31459 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101216853 26628161536 9731 33554432000 4194304 4196468 140724702337792 139890595633392 139891853531778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31472] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31472/stat : 31472 (java) S 31459 31459 31415 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101216853 26628161536 9731 33554432000 4194304 4196468 140724702337792 139890594579616 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31473] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31473/stat : 31473 (java) S 31459 31459 31415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101216853 26628161536 9731 33554432000 4194304 4196468 140724702337792 139890593526512 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31474] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31474/stat : 31474 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216856 26628161536 9731 33554432000 4194304 4196468 140724702337792 139890592475088 139891853539227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31475] ppid=31459 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/31461/task/31475/stat : 31475 (java) S 31459 31459 31415 0 -1 1077944384 604 0 0 0 1 0 0 0 20 0 20 0 101216856 26628161536 9731 33554432000 4194304 4196468 140724702337792 139890591423216 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31476] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31476/stat : 31476 (java) S 31459 31459 31415 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 20 0 101216856 26628161536 9731 33554432000 4194304 4196468 140724702337792 139890590370672 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31477] ppid=31459 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/31461/task/31477/stat : 31477 (java) S 31459 31459 31415 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 101216856 26628161536 9731 33554432000 4194304 4196468 140724702337792 139890589317616 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31478] ppid=31459 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/31461/task/31478/stat : 31478 (java) R 31459 31459 31415 0 -1 4202560 724 0 0 0 7 0 0 0 20 0 20 0 101216856 26628161536 9731 33554432000 4194304 4196468 140724702337792 139890588265072 139891853541978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31479] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31479/stat : 31479 (java) S 31459 31459 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101216856 26628161536 9731 33554432000 4194304 4196468 140724702337792 139890587212256 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31480] ppid=31459 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31461/task/31480/stat : 31480 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216856 26628161536 9731 33554432000 4194304 4196468 140724702337792 139890586159792 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40304 KiB

[startup+0.310261 s]*
/proc/loadavg: 7.37 8.06 8.27 3/199 31480
/proc/meminfo: memFree=27754896/32770624 swapFree=67108860/67108860
[pid=31459] ppid=31456 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31459/stat : 31459 (xcsp3-exec) S 31456 31459 31415 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101216850 9740288 345 33554432000 4194304 5098028 140736148835568 140736148833672 140033733263996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29093888 140736148837476 140736148837687 140736148837687 140736148840427 0
/proc/31459/statm: 2378 345 289 221 0 87 0
[pid=31461] ppid=31459 vsize=26004064 memory=43808 CPUtime=0.5 cores=0-7
/proc/31461/stat : 31461 (java) S 31459 31459 31415 0 -1 1077944320 9149 0 0 0 47 3 0 0 20 0 20 0 101216850 26628161536 10952 33554432000 4194304 4196468 140724702337792 140724702320336 139891853520631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
/proc/31461/statm: 6501016 10952 3088 1 0 6488269 0
[pid=31461/tid=31462] ppid=31459 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31461/task/31462/stat : 31462 (java) R 31459 31459 31415 0 -1 4202560 6087 0 0 0 27 2 0 0 20 0 20 0 101216851 26628161536 10952 33554432000 4194304 4196468 140724702337792 139891857759568 139891463819608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31463] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31463/stat : 31463 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 10952 33554432000 4194304 4196468 140724702337792 139891806140944 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31464] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31464/stat : 31464 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 10952 33554432000 4194304 4196468 140724702337792 139891805088400 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31465] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31465/stat : 31465 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 10952 33554432000 4194304 4196468 140724702337792 139891804035344 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31466] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31466/stat : 31466 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 10952 33554432000 4194304 4196468 140724702337792 139891802982800 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31467] ppid=31459 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/31461/task/31467/stat : 31467 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 10952 33554432000 4194304 4196468 140724702337792 139891801930768 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31468] ppid=31459 vsize=26004064 memory=139650123527087 CPUtime=0 cores=0-7
/proc/31461/task/31468/stat : 31468 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 10952 33554432000 4194304 4196468 140724702337792 139891800878224 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31469] ppid=31459 vsize=26004064 memory=139650123529392 CPUtime=0 cores=0-7
/proc/31461/task/31469/stat : 31469 (java) S 31459 31459 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 10952 33554432000 4194304 4196468 140724702337792 139891799825168 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31470] ppid=31459 vsize=26004064 memory=139650123531696 CPUtime=0 cores=0-7
/proc/31461/task/31470/stat : 31470 (java) S 31459 31459 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101216851 26628161536 10952 33554432000 4194304 4196468 140724702337792 139891798772624 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31471] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31471/stat : 31471 (java) S 31459 31459 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101216853 26628161536 10952 33554432000 4194304 4196468 140724702337792 139890595633392 139891853531778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31472] ppid=31459 vsize=26004064 memory=279300247070352 CPUtime=0 cores=0-7
/proc/31461/task/31472/stat : 31472 (java) S 31459 31459 31415 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101216853 26628161536 10952 33554432000 4194304 4196468 140724702337792 139890594579616 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31473] ppid=31459 vsize=26004064 memory=279300247077264 CPUtime=0 cores=0-7
/proc/31461/task/31473/stat : 31473 (java) S 31459 31459 31415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101216853 26628161536 10952 33554432000 4194304 4196468 140724702337792 139890593526512 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31474] ppid=31459 vsize=26004064 memory=279300247018544 CPUtime=0 cores=0-7
/proc/31461/task/31474/stat : 31474 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216856 26628161536 10952 33554432000 4194304 4196468 140724702337792 139890592475088 139891853539227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31475] ppid=31459 vsize=26004064 memory=279300247091088 CPUtime=0.02 cores=0-7
/proc/31461/task/31475/stat : 31475 (java) S 31459 31459 31415 0 -1 1077944384 615 0 0 0 2 0 0 0 20 0 20 0 101216856 26628161536 10952 33554432000 4194304 4196468 140724702337792 139890591423216 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31476] ppid=31459 vsize=26004064 memory=279300247098000 CPUtime=0.01 cores=0-7
/proc/31461/task/31476/stat : 31476 (java) S 31459 31459 31415 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 101216856 26628161536 10952 33554432000 4194304 4196468 140724702337792 139890590370672 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31477] ppid=31459 vsize=26004064 memory=279300247095696 CPUtime=0.03 cores=0-7
/proc/31461/task/31477/stat : 31477 (java) S 31459 31459 31415 0 -1 1077944384 121 0 0 0 3 0 0 0 20 0 20 0 101216856 26628161536 10952 33554432000 4194304 4196468 140724702337792 139890589317616 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31478] ppid=31459 vsize=26004064 memory=279300247111856 CPUtime=0.12 cores=0-7
/proc/31461/task/31478/stat : 31478 (java) R 31459 31459 31415 0 -1 4202560 819 0 0 0 12 0 0 0 20 0 20 0 101216856 26628161536 10952 33554432000 4194304 4196468 140724702337792 139890588261440 139891832184231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31479] ppid=31459 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31479/stat : 31479 (java) S 31459 31459 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101216856 26628161536 10952 33554432000 4194304 4196468 140724702337792 139890587212256 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31480] ppid=31459 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31461/task/31480/stat : 31480 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216856 26628161536 10952 33554432000 4194304 4196468 140724702337792 139890586159792 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45188 KiB

[startup+0.701275 s]
/proc/loadavg: 7.37 8.06 8.27 3/199 31480
/proc/meminfo: memFree=27715684/32770624 swapFree=67108860/67108860
[pid=31459] ppid=31456 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31459/stat : 31459 (xcsp3-exec) S 31456 31459 31415 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101216850 9740288 345 33554432000 4194304 5098028 140736148835568 140736148833672 140033733263996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29093888 140736148837476 140736148837687 140736148837687 140736148840427 0
/proc/31459/statm: 2378 345 289 221 0 87 0
[pid=31461] ppid=31459 vsize=26004140 memory=129672 CPUtime=1.81 cores=0-7
/proc/31461/stat : 31461 (java) S 31459 31459 31415 0 -1 1077944320 14281 0 0 0 176 5 0 0 20 0 20 0 101216850 26628239360 32418 33554432000 4194304 4196468 140724702337792 140724702320336 139891853520631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
/proc/31461/statm: 6501035 32418 3196 1 0 6488269 0
[pid=31461/tid=31462] ppid=31459 vsize=26004140 memory=279300247469744 CPUtime=0.67 cores=0-7
/proc/31461/task/31462/stat : 31462 (java) R 31459 31459 31415 0 -1 4202560 6399 0 0 0 64 3 0 0 20 0 20 0 101216851 26628239360 32418 33554432000 4194304 4196468 140724702337792 139891857757344 139891467402542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31463] ppid=31459 vsize=26004140 memory=139650123735920 CPUtime=0 cores=0-7
/proc/31461/task/31463/stat : 31463 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628239360 32418 33554432000 4194304 4196468 140724702337792 139891806140944 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31464] ppid=31459 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31464/stat : 31464 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628239360 32418 33554432000 4194304 4196468 140724702337792 139891805088400 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31465] ppid=31459 vsize=26004140 memory=8612 CPUtime=0 cores=0-7
/proc/31461/task/31465/stat : 31465 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101216851 26628239360 32418 33554432000 4194304 4196468 140724702337792 139891804035344 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0

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

[pid=31461/tid=31594] ppid=31459 vsize=26805984 memory=15252640887999017 CPUtime=1045.48 cores=0-7
/proc/31461/task/31594/stat : 31594 (java) R 31459 31459 31415 0 -1 4202560 5597 0 0 0 104544 4 0 0 20 0 28 0 101356063 27449327616 936149 33554432000 4194304 4196468 140724702337792 139890236829528 139891467201989 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
Current children cumulated CPU time: 19426 s
Current children cumulated vsize: 26815496 KiB
Current children cumulated memory: 3745976 KiB

[startup+2502.3 s]
/proc/loadavg: 8.00 8.15 8.21 9/207 31611
/proc/meminfo: memFree=24064756/32770624 swapFree=67108860/67108860
[pid=31459] ppid=31456 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31459/stat : 31459 (xcsp3-exec) S 31456 31459 31415 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101216850 9740288 345 33554432000 4194304 5098028 140736148835568 140736148833672 140033733263996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29093888 140736148837476 140736148837687 140736148837687 140736148840427 0
/proc/31459/statm: 2378 345 289 221 0 87 0
[pid=31461] ppid=31459 vsize=26805984 memory=3725084 CPUtime=19902.9 cores=0-7
/proc/31461/stat : 31461 (java) S 31459 31459 31415 0 -1 1077944320 408635 0 0 0 1989743 550 0 0 20 0 28 0 101216850 27449327616 931271 33554432000 4194304 4196468 140724702337792 140724702320336 139891853520631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
/proc/31461/statm: 6701496 931271 3307 1 0 6688730 0
[pid=31461/tid=31462] ppid=31459 vsize=26805984 memory=3727652 CPUtime=5.47 cores=0-7
/proc/31461/task/31462/stat : 31462 (java) S 31459 31459 31415 0 -1 1077944384 8494 0 0 0 529 18 0 0 20 0 28 0 101216851 27449327616 931271 33554432000 4194304 4196468 140724702337792 139891857761408 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31463] ppid=31459 vsize=26805984 memory=3725084 CPUtime=3.35 cores=0-7
/proc/31461/task/31463/stat : 31463 (java) S 31459 31459 31415 0 -1 1077944384 14936 0 0 0 299 36 0 0 20 0 28 0 101216851 27449327616 931271 33554432000 4194304 4196468 140724702337792 139891806140944 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31464] ppid=31459 vsize=26805984 memory=1380 CPUtime=3.34 cores=0-7
/proc/31461/task/31464/stat : 31464 (java) S 31459 31459 31415 0 -1 1077944384 14312 0 0 0 295 39 0 0 20 0 28 0 101216851 27449327616 931271 33554432000 4194304 4196468 140724702337792 139891805088400 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31465] ppid=31459 vsize=26805984 memory=3725600 CPUtime=3.38 cores=0-7
/proc/31461/task/31465/stat : 31465 (java) S 31459 31459 31415 0 -1 1077944384 14299 0 0 0 299 39 0 0 20 0 28 0 101216851 27449327616 931271 33554432000 4194304 4196468 140724702337792 139891804035344 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31466] ppid=31459 vsize=26805984 memory=1380 CPUtime=3.35 cores=0-7
/proc/31461/task/31466/stat : 31466 (java) S 31459 31459 31415 0 -1 1077944384 15389 0 0 0 301 34 0 0 20 0 28 0 101216851 27449327616 931271 33554432000 4194304 4196468 140724702337792 139891802982800 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31467] ppid=31459 vsize=26805984 memory=1380 CPUtime=3.35 cores=0-7
/proc/31461/task/31467/stat : 31467 (java) S 31459 31459 31415 0 -1 1077944384 14747 0 0 0 297 38 0 0 20 0 28 0 101216851 27449327616 931271 33554432000 4194304 4196468 140724702337792 139891801930768 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31468] ppid=31459 vsize=26805984 memory=4144 CPUtime=3.37 cores=0-7
/proc/31461/task/31468/stat : 31468 (java) S 31459 31459 31415 0 -1 1077944384 14312 0 0 0 297 40 0 0 20 0 28 0 101216851 27449327616 931271 33554432000 4194304 4196468 140724702337792 139891800878224 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31469] ppid=31459 vsize=26805984 memory=1380 CPUtime=3.38 cores=0-7
/proc/31461/task/31469/stat : 31469 (java) S 31459 31459 31415 0 -1 1077944384 13308 0 0 0 299 39 0 0 20 0 28 0 101216851 27449327616 931271 33554432000 4194304 4196468 140724702337792 139891799825168 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31470] ppid=31459 vsize=26805984 memory=3729200 CPUtime=3.39 cores=0-7
/proc/31461/task/31470/stat : 31470 (java) S 31459 31459 31415 0 -1 1077944384 14989 0 0 0 300 39 0 0 20 0 28 0 101216851 27449327616 931271 33554432000 4194304 4196468 140724702337792 139891798772624 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31471] ppid=31459 vsize=26805984 memory=1792 CPUtime=1.6 cores=0-7
/proc/31461/task/31471/stat : 31471 (java) S 31459 31459 31415 0 -1 1077944384 30076 0 0 0 135 25 0 0 20 0 28 0 101216853 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890595633392 139891853531778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31472] ppid=31459 vsize=26805984 memory=648 CPUtime=0 cores=0-7
/proc/31461/task/31472/stat : 31472 (java) S 31459 31459 31415 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 101216853 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890594579680 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31473] ppid=31459 vsize=26805984 memory=15872 CPUtime=0 cores=0-7
/proc/31461/task/31473/stat : 31473 (java) S 31459 31459 31415 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 101216853 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890593526528 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31474] ppid=31459 vsize=26805984 memory=18476 CPUtime=0 cores=0-7
/proc/31461/task/31474/stat : 31474 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101216856 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890592475088 139891853539227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31475] ppid=31459 vsize=26805984 memory=3726116 CPUtime=2.56 cores=0-7
/proc/31461/task/31475/stat : 31475 (java) S 31459 31459 31415 0 -1 1077944384 10468 0 0 0 253 3 0 0 20 0 28 0 101216856 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890591423216 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31476] ppid=31459 vsize=26805984 memory=4126316290023845779 CPUtime=2.72 cores=0-7
/proc/31461/task/31476/stat : 31476 (java) S 31459 31459 31415 0 -1 1077944384 15451 0 0 0 268 4 0 0 20 0 28 0 101216856 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890590370672 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31477] ppid=31459 vsize=26805984 memory=1380 CPUtime=2.86 cores=0-7
/proc/31461/task/31477/stat : 31477 (java) S 31459 31459 31415 0 -1 1077944384 13385 0 0 0 284 2 0 0 20 0 28 0 101216856 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890589317616 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31478] ppid=31459 vsize=26805984 memory=279300249300384 CPUtime=0.83 cores=0-7
/proc/31461/task/31478/stat : 31478 (java) S 31459 31459 31415 0 -1 1077944384 9958 0 0 0 81 2 0 0 20 0 28 0 101216856 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890588265072 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31479] ppid=31459 vsize=26805984 memory=0 CPUtime=0 cores=0-7
/proc/31461/task/31479/stat : 31479 (java) S 31459 31459 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101216856 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890587212256 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31480] ppid=31459 vsize=26805984 memory=0 CPUtime=0.98 cores=0-7
/proc/31461/task/31480/stat : 31480 (java) S 31459 31459 31415 0 -1 1077944384 4703 0 0 0 16 82 0 0 20 0 28 0 101216856 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890586159792 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31587] ppid=31459 vsize=26805984 memory=4144 CPUtime=1104.87 cores=0-7
/proc/31461/task/31587/stat : 31587 (java) R 31459 31459 31415 0 -1 4202560 5810 0 0 0 110484 3 0 0 20 0 28 0 101356063 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890233670304 139891468445400 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31588] ppid=31459 vsize=26805984 memory=29460 CPUtime=1100.66 cores=0-7
/proc/31461/task/31588/stat : 31588 (java) R 31459 31459 31415 0 -1 4202560 5882 0 0 0 110059 7 0 0 20 0 28 0 101356063 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890232618840 139891465901185 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31589] ppid=31459 vsize=26805984 memory=139654569416319 CPUtime=1102.5 cores=0-7
/proc/31461/task/31589/stat : 31589 (java) R 31459 31459 31415 0 -1 4202560 4298 0 0 0 110244 6 0 0 20 0 28 0 101356063 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890238935376 139891468445387 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31590] ppid=31459 vsize=26805984 memory=7306085873012133996 CPUtime=1099.01 cores=0-7
/proc/31461/task/31590/stat : 31590 (java) R 31459 31459 31415 0 -1 4202560 8470 0 0 0 109892 9 0 0 20 0 28 0 101356063 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890231566768 139891466628372 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31591] ppid=31459 vsize=26805984 memory=1380 CPUtime=1099.92 cores=0-7
/proc/31461/task/31591/stat : 31591 (java) R 31459 31459 31415 0 -1 4202560 7699 0 0 0 109984 8 0 0 20 0 28 0 101356063 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890230516752 139891466791985 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31592] ppid=31459 vsize=26805984 memory=3725600 CPUtime=1103.77 cores=0-7
/proc/31461/task/31592/stat : 31592 (java) R 31459 31459 31415 0 -1 4202560 5031 0 0 0 110372 5 0 0 20 0 28 0 101356063 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890229461280 139891465901050 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31593] ppid=31459 vsize=26805984 memory=3734844 CPUtime=1099.91 cores=0-7
/proc/31461/task/31593/stat : 31593 (java) R 31459 31459 31415 0 -1 4202560 32644 0 0 0 109977 14 0 0 20 0 28 0 101356063 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890235780384 139891468083743 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31594] ppid=31459 vsize=26805984 memory=1380 CPUtime=1105.04 cores=0-7
/proc/31461/task/31594/stat : 31594 (java) R 31459 31459 31415 0 -1 4202560 6099 0 0 0 110500 4 0 0 20 0 28 0 101356063 27449327616 931271 33554432000 4194304 4196468 140724702337792 139890236830048 139891468445505 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
Current children cumulated CPU time: 19902.9 s
Current children cumulated vsize: 26815496 KiB
Current children cumulated memory: 3726464 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.00 8.14 8.21 9/207 31611
/proc/meminfo: memFree=24073236/32770624 swapFree=67108860/67108860
[pid=31459] ppid=31456 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31459/stat : 31459 (xcsp3-exec) S 31456 31459 31415 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101216850 9740288 345 33554432000 4194304 5098028 140736148835568 140736148833672 140033733263996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29093888 140736148837476 140736148837687 140736148837687 140736148840427 0
/proc/31459/statm: 2378 345 289 221 0 87 0
[pid=31461] ppid=31459 vsize=26805984 memory=3715852 CPUtime=20043.8 cores=0-7
/proc/31461/stat : 31461 (java) S 31459 31459 31415 0 -1 1077944320 422254 0 0 0 2003821 556 0 0 20 0 28 0 101216850 27449327616 928963 33554432000 4194304 4196468 140724702337792 140724702320336 139891853520631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
/proc/31461/statm: 6701496 928963 3307 1 0 6688730 0
[pid=31461/tid=31462] ppid=31459 vsize=26805984 memory=6791534058613427641 CPUtime=5.47 cores=0-7
/proc/31461/task/31462/stat : 31462 (java) S 31459 31459 31415 0 -1 1077944384 8494 0 0 0 529 18 0 0 20 0 28 0 101216851 27449327616 928963 33554432000 4194304 4196468 140724702337792 139891857761408 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31463] ppid=31459 vsize=26805984 memory=4126316290023845779 CPUtime=3.4 cores=0-7
/proc/31461/task/31463/stat : 31463 (java) S 31459 31459 31415 0 -1 1077944384 15730 0 0 0 304 36 0 0 20 0 28 0 101216851 27449327616 928963 33554432000 4194304 4196468 140724702337792 139891806140944 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31464] ppid=31459 vsize=26805984 memory=1156 CPUtime=3.39 cores=0-7
/proc/31461/task/31464/stat : 31464 (java) S 31459 31459 31415 0 -1 1077944384 15405 0 0 0 300 39 0 0 20 0 28 0 101216851 27449327616 928963 33554432000 4194304 4196468 140724702337792 139891805088400 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31465] ppid=31459 vsize=26805984 memory=3900 CPUtime=3.44 cores=0-7
/proc/31461/task/31465/stat : 31465 (java) S 31459 31459 31415 0 -1 1077944384 15033 0 0 0 304 40 0 0 20 0 28 0 101216851 27449327616 928963 33554432000 4194304 4196468 140724702337792 139891804035344 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31466] ppid=31459 vsize=26805984 memory=1380 CPUtime=3.42 cores=0-7
/proc/31461/task/31466/stat : 31466 (java) S 31459 31459 31415 0 -1 1077944384 16063 0 0 0 307 35 0 0 20 0 28 0 101216851 27449327616 928963 33554432000 4194304 4196468 140724702337792 139891802982800 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31467] ppid=31459 vsize=26805984 memory=3718928 CPUtime=3.41 cores=0-7
/proc/31461/task/31467/stat : 31467 (java) S 31459 31459 31415 0 -1 1077944384 15774 0 0 0 303 38 0 0 20 0 28 0 101216851 27449327616 928963 33554432000 4194304 4196468 140724702337792 139891801930768 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31468] ppid=31459 vsize=26805984 memory=6791534058613427641 CPUtime=3.42 cores=0-7
/proc/31461/task/31468/stat : 31468 (java) S 31459 31459 31415 0 -1 1077944384 15046 0 0 0 302 40 0 0 20 0 28 0 101216851 27449327616 928963 33554432000 4194304 4196468 140724702337792 139891800878224 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31469] ppid=31459 vsize=26805984 memory=4126316290023845779 CPUtime=3.43 cores=0-7
/proc/31461/task/31469/stat : 31469 (java) S 31459 31459 31415 0 -1 1077944384 14235 0 0 0 304 39 0 0 20 0 28 0 101216851 27449327616 928963 33554432000 4194304 4196468 140724702337792 139891799825168 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31470] ppid=31459 vsize=26805984 memory=18476 CPUtime=3.45 cores=0-7
/proc/31461/task/31470/stat : 31470 (java) S 31459 31459 31415 0 -1 1077944384 15853 0 0 0 306 39 0 0 20 0 28 0 101216851 27449327616 928963 33554432000 4194304 4196468 140724702337792 139891798772624 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31471] ppid=31459 vsize=26805984 memory=-3622645143214314312 CPUtime=1.64 cores=0-7
/proc/31461/task/31471/stat : 31471 (java) S 31459 31459 31415 0 -1 1077944384 31390 0 0 0 138 26 0 0 20 0 28 0 101216853 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890595633392 139891853531778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31472] ppid=31459 vsize=26805984 memory=3888 CPUtime=0 cores=0-7
/proc/31461/task/31472/stat : 31472 (java) S 31459 31459 31415 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 101216853 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890594579680 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31473] ppid=31459 vsize=26805984 memory=1224 CPUtime=0 cores=0-7
/proc/31461/task/31473/stat : 31473 (java) S 31459 31459 31415 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 101216853 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890593526528 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31474] ppid=31459 vsize=26805984 memory=12032 CPUtime=0 cores=0-7
/proc/31461/task/31474/stat : 31474 (java) S 31459 31459 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101216856 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890592475088 139891853539227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31475] ppid=31459 vsize=26805984 memory=5792 CPUtime=2.56 cores=0-7
/proc/31461/task/31475/stat : 31475 (java) S 31459 31459 31415 0 -1 1077944384 10475 0 0 0 253 3 0 0 20 0 28 0 101216856 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890591423216 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31476] ppid=31459 vsize=26805984 memory=796 CPUtime=2.72 cores=0-7
/proc/31461/task/31476/stat : 31476 (java) S 31459 31459 31415 0 -1 1077944384 15458 0 0 0 268 4 0 0 20 0 28 0 101216856 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890590370672 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31477] ppid=31459 vsize=26805984 memory=1436 CPUtime=2.86 cores=0-7
/proc/31461/task/31477/stat : 31477 (java) S 31459 31459 31415 0 -1 1077944384 13395 0 0 0 284 2 0 0 20 0 28 0 101216856 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890589317616 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31478] ppid=31459 vsize=26805984 memory=1012 CPUtime=0.83 cores=0-7
/proc/31461/task/31478/stat : 31478 (java) S 31459 31459 31415 0 -1 1077944384 9970 0 0 0 81 2 0 0 20 0 28 0 101216856 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890588265072 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31479] ppid=31459 vsize=26805984 memory=1712 CPUtime=0 cores=0-7
/proc/31461/task/31479/stat : 31479 (java) S 31459 31459 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101216856 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890587212256 139891853530837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31480] ppid=31459 vsize=26805984 memory=1952 CPUtime=0.98 cores=0-7
/proc/31461/task/31480/stat : 31480 (java) S 31459 31459 31415 0 -1 1077944384 4816 0 0 0 16 82 0 0 20 0 28 0 101216856 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890586159792 139891853531778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31587] ppid=31459 vsize=26805984 memory=8612 CPUtime=1122.47 cores=0-7
/proc/31461/task/31587/stat : 31587 (java) R 31459 31459 31415 0 -1 4202560 6190 0 0 0 112243 4 0 0 20 0 28 0 101356063 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890233669968 139891468445617 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31588] ppid=31459 vsize=26805984 memory=4620 CPUtime=1118.24 cores=0-7
/proc/31461/task/31588/stat : 31588 (java) R 31459 31459 31415 0 -1 4202560 6292 0 0 0 111817 7 0 0 20 0 28 0 101356063 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890232618448 139891468479947 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31589] ppid=31459 vsize=26805984 memory=1196 CPUtime=1120.08 cores=0-7
/proc/31461/task/31589/stat : 31589 (java) R 31459 31459 31415 0 -1 4202560 4532 0 0 0 112002 6 0 0 20 0 28 0 101356063 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890238935376 139891465901438 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31590] ppid=31459 vsize=26805984 memory=15872 CPUtime=1116.36 cores=0-7
/proc/31461/task/31590/stat : 31590 (java) R 31459 31459 31415 0 -1 4202560 9034 0 0 0 111626 10 0 0 20 0 28 0 101356063 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890231569808 139891466934932 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31591] ppid=31459 vsize=26805984 memory=18476 CPUtime=1117.41 cores=0-7
/proc/31461/task/31591/stat : 31591 (java) R 31459 31459 31415 0 -1 4202560 8231 0 0 0 111732 9 0 0 20 0 28 0 101356063 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890230513744 139891468445387 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31592] ppid=31459 vsize=26805984 memory=17420 CPUtime=1121.35 cores=0-7
/proc/31461/task/31592/stat : 31592 (java) R 31459 31459 31415 0 -1 4202560 5367 0 0 0 112130 5 0 0 20 0 28 0 101356063 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890229461336 139891465885624 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31593] ppid=31459 vsize=26805984 memory=6791534058613427641 CPUtime=1117.5 cores=0-7
/proc/31461/task/31593/stat : 31593 (java) R 31459 31459 31415 0 -1 4202560 35106 0 0 0 111734 16 0 0 20 0 28 0 101356063 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890235776624 139891468933907 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
[pid=31461/tid=31594] ppid=31459 vsize=26805984 memory=2408 CPUtime=1122.64 cores=0-7
/proc/31461/task/31594/stat : 31594 (java) R 31459 31459 31415 0 -1 4202560 6490 0 0 0 112260 4 0 0 20 0 28 0 101356063 27449327616 928963 33554432000 4194304 4196468 140724702337792 139890236829392 139891468445471 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 10395648 140724702344338 140724702344515 140724702344515 140724702347215 0
Current children cumulated CPU time: 20043.8 s
Current children cumulated vsize: 26815496 KiB
Current children cumulated memory: 3717232 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 31459 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001943 s, system=0 s

[startup+2520.13 s]
# the end of solver process 31461 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20039 s, system=5.58073 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2520.13
CPU time (s): 20044.6
CPU user time (s): 20039
CPU system time (s): 5.58073
CPU usage (%): 795.38
Max. virtual memory (cumulated for all children) (KiB): 26815496
Max. memory (cumulated for all children) (KiB): 4758640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20039
system time used= 5.58073
maximum resident set size= 4761356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 153479
involuntary context switches= 204595


# summary of solver processes directly reported to runsolver:
#   pid: 31459,31461
#   total CPU time (s): 20044.6
#   total CPU user time (s): 20039
#   total CPU system time (s): 5.58073

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.6363 second user time and 28.1523 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml
MD5SUM	3c0366ff4baa9e19aea1ffc9dac5e4aa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	57
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	500
Number of constraints	62624
Number of domains	1
Minimum domain size	500
Maximum domain size	500
Distribution of domain sizes	[{"size":500,"count":500}]
Minimum variable degree	221
Maximum variable degree	287
Distribution of variable degrees	[{"degree":221,"count":2},{"degree":222,"count":1},{"degree":223,"count":2},{"degree":224,"count":1},{"degree":225,"count":1},{"degree":227,"count":1},{"degree":228,"count":2},{"degree":230,"count":1},{"degree":231,"count":4},{"degree":232,"count":4},{"degree":233,"count":3},{"degree":234,"count":4},{"degree":235,"count":8},{"degree":236,"count":17},{"degree":237,"count":4},{"degree":238,"count":11},{"degree":239,"count":6},{"degree":240,"count":11},{"degree":241,"count":9},{"degree":242,"count":14},{"degree":243,"count":14},{"degree":244,"count":12},{"degree":245,"count":13},{"degree":246,"count":17},{"degree":247,"count":14},"...",{"degree":257,"count":16}, {"degree":258,"count":9}, {"degree":259,"count":19}, {"degree":260,"count":19}, {"degree":261,"count":19}, {"degree":262,"count":14}, {"degree":263,"count":12}, {"degree":264,"count":6}, {"degree":265,"count":7}, {"degree":266,"count":8}, {"degree":267,"count":4}, {"degree":268,"count":6}, {"degree":269,"count":5}, {"degree":270,"count":8}, {"degree":271,"count":4}, {"degree":272,"count":2}, {"degree":273,"count":2}, {"degree":274,"count":1}, {"degree":275,"count":1}, {"degree":276,"count":1}, {"degree":277,"count":2}, {"degree":278,"count":1}, {"degree":280,"count":2}, {"degree":281,"count":1}, {"degree":287,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":62624}]
Number of extensional constraints	0
Number of intensional constraints	62624
Distribution of constraint types	[{"type":"intension","count":62624}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4270582

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
