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-20 parallel	SAT (TO)	7	1998.79	252.117
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 (12378 MiB free)
  memory of node 1: 16384 MiB (12783 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405032-1569003509/watcher-4405032-1569003509 -o /var/tmp/evaluation-result-4405032-1569003509/solver-4405032-1569003509 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 39892232 HOME/instance-4405032-1569003509.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=30107, runsolver pid=30104
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 7.77 7.96 8.12 3/211 30128
/proc/meminfo: memFree=25748972/32770624 swapFree=66966844/67108860
[pid=30107] ppid=30104 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30107/stat : 30107 (xcsp3-exec) S 30104 30107 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476287396 115843072 364 33554432000 4194304 5098028 140721365686224 140721365684328 139887271035516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140721365689177 140721365689434 140721365689434 140721365692358 0
/proc/30107/statm: 28282 364 305 221 0 87 0
[pid=30109] ppid=30107 vsize=28227396 memory=29132 CPUtime=0.12 cores=0-7
/proc/30109/stat : 30109 (java) S 30107 30107 23748 0 -1 1077944320 5764 0 0 0 11 1 0 0 20 0 20 0 476287397 28904853504 7283 33554432000 4194304 4196468 140723507906784 140723507889328 140124717289207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
/proc/30109/statm: 7056849 7283 3121 1 0 7019032 0
[pid=30109/tid=30110] ppid=30107 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/30109/task/30110/stat : 30110 (java) R 30107 30107 23748 0 -1 4202560 3672 0 0 0 8 0 0 0 20 0 20 0 476287397 28904853504 7283 33554432000 4194304 4196468 140723507906784 140124721515792 140124717301142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30111] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30111/stat : 30111 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 7283 33554432000 4194304 4196468 140723507906784 140124669909520 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30112] ppid=30107 vsize=28227396 memory=139868600723072 CPUtime=0 cores=0-7
/proc/30109/task/30112/stat : 30112 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 7283 33554432000 4194304 4196468 140723507906784 140124668856976 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30113] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30113/stat : 30113 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 7283 33554432000 4194304 4196468 140723507906784 140124667803920 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30114] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30114/stat : 30114 (java) S 30107 30107 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 7283 33554432000 4194304 4196468 140723507906784 140124666751376 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30115] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30115/stat : 30115 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 7283 33554432000 4194304 4196468 140723507906784 140124665699344 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30116] ppid=30107 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30109/task/30116/stat : 30116 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 7283 33554432000 4194304 4196468 140723507906784 140124664646800 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30117] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30117/stat : 30117 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 7283 33554432000 4194304 4196468 140723507906784 140124663593744 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30118] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30118/stat : 30118 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 7283 33554432000 4194304 4196468 140723507906784 140124662541200 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30119] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30119/stat : 30119 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287399 28904853504 7283 33554432000 4194304 4196468 140723507906784 140123382757616 140124717300354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30120] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30120/stat : 30120 (java) S 30107 30107 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476287400 28904853504 7283 33554432000 4194304 4196468 140723507906784 140123381703840 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30121] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30121/stat : 30121 (java) S 30107 30107 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476287400 28904853504 7283 33554432000 4194304 4196468 140723507906784 140123380650736 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30122] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30122/stat : 30122 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287402 28904853504 7283 33554432000 4194304 4196468 140723507906784 140123379599312 140124717307803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30123] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30123/stat : 30123 (java) S 30107 30107 23748 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 476287402 28904853504 7283 33554432000 4194304 4196468 140723507906784 140123378547440 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30124] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30124/stat : 30124 (java) S 30107 30107 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476287402 28904853504 7283 33554432000 4194304 4196468 140723507906784 140123377494896 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30125] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30125/stat : 30125 (java) S 30107 30107 23748 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476287403 28904853504 7283 33554432000 4194304 4196468 140723507906784 140123376441840 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30126] ppid=30107 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/30109/task/30126/stat : 30126 (java) S 30107 30107 23748 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 20 0 476287403 28904853504 7283 33554432000 4194304 4196468 140723507906784 140123308026480 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30127] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30127/stat : 30127 (java) S 30107 30107 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476287403 28904853504 7283 33554432000 4194304 4196468 140723507906784 140123306973664 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30128] ppid=30107 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30109/task/30128/stat : 30128 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287403 28904853504 7283 33554432000 4194304 4196468 140723507906784 140123305921200 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30588 KiB

[startup+0.210539 s]*
/proc/loadavg: 7.77 7.96 8.12 2/211 30128
/proc/meminfo: memFree=25736104/32770624 swapFree=66966844/67108860
[pid=30107] ppid=30104 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30107/stat : 30107 (xcsp3-exec) S 30104 30107 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476287396 115843072 364 33554432000 4194304 5098028 140721365686224 140721365684328 139887271035516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140721365689177 140721365689434 140721365689434 140721365692358 0
/proc/30107/statm: 28282 364 305 221 0 87 0
[pid=30109] ppid=30107 vsize=28227396 memory=40144 CPUtime=0.34 cores=0-7
/proc/30109/stat : 30109 (java) S 30107 30107 23748 0 -1 1077944320 9355 0 0 0 31 3 0 0 20 0 20 0 476287397 28904853504 10036 33554432000 4194304 4196468 140723507906784 140723507889328 140124717289207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
/proc/30109/statm: 7056849 10036 3256 1 0 7019032 0
[pid=30109/tid=30110] ppid=30107 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/30109/task/30110/stat : 30110 (java) R 30107 30107 23748 0 -1 4202560 6608 0 0 0 18 2 0 0 20 0 20 0 476287397 28904853504 10036 33554432000 4194304 4196468 140723507906784 140124721518928 140124697014240 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30111] ppid=30107 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/30109/task/30111/stat : 30111 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 10036 33554432000 4194304 4196468 140723507906784 140124669909520 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30112] ppid=30107 vsize=28227396 memory=288370244752434816 CPUtime=0 cores=0-7
/proc/30109/task/30112/stat : 30112 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 10036 33554432000 4194304 4196468 140723507906784 140124668856976 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30113] ppid=30107 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30109/task/30113/stat : 30113 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 10036 33554432000 4194304 4196468 140723507906784 140124667803920 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30114] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30114/stat : 30114 (java) S 30107 30107 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 10036 33554432000 4194304 4196468 140723507906784 140124666751376 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30115] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30115/stat : 30115 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 10036 33554432000 4194304 4196468 140723507906784 140124665699344 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30116] ppid=30107 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30109/task/30116/stat : 30116 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 10036 33554432000 4194304 4196468 140723507906784 140124664646800 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30117] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30117/stat : 30117 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 10036 33554432000 4194304 4196468 140723507906784 140124663593744 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30118] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30118/stat : 30118 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28904853504 10036 33554432000 4194304 4196468 140723507906784 140124662541200 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30119] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30119/stat : 30119 (java) S 30107 30107 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476287399 28904853504 10036 33554432000 4194304 4196468 140723507906784 140123382757616 140124717300354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30120] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30120/stat : 30120 (java) S 30107 30107 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476287400 28904853504 10036 33554432000 4194304 4196468 140723507906784 140123381703840 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30121] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30121/stat : 30121 (java) S 30107 30107 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476287400 28904853504 10036 33554432000 4194304 4196468 140723507906784 140123380650736 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30122] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30122/stat : 30122 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287402 28904853504 10036 33554432000 4194304 4196468 140723507906784 140123379599312 140124717307803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30123] ppid=30107 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/30109/task/30123/stat : 30123 (java) S 30107 30107 23748 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 476287402 28904853504 10036 33554432000 4194304 4196468 140723507906784 140123378547440 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30124] ppid=30107 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30109/task/30124/stat : 30124 (java) S 30107 30107 23748 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 476287402 28904853504 10036 33554432000 4194304 4196468 140723507906784 140123377494896 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30125] ppid=30107 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/30109/task/30125/stat : 30125 (java) S 30107 30107 23748 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 476287403 28904853504 10036 33554432000 4194304 4196468 140723507906784 140123376441840 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30126] ppid=30107 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/30109/task/30126/stat : 30126 (java) R 30107 30107 23748 0 -1 4202560 773 0 0 0 7 0 0 0 20 0 20 0 476287403 28904853504 10036 33554432000 4194304 4196468 140723507906784 140123308026288 140124696228516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30127] ppid=30107 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30127/stat : 30127 (java) S 30107 30107 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476287403 28904853504 10036 33554432000 4194304 4196468 140723507906784 140123306973664 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30128] ppid=30107 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30109/task/30128/stat : 30128 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287403 28904853504 10036 33554432000 4194304 4196468 140723507906784 140123305921200 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41600 KiB

[startup+0.310394 s]*
/proc/loadavg: 7.77 7.96 8.12 3/211 30128
/proc/meminfo: memFree=25729080/32770624 swapFree=66966844/67108860
[pid=30107] ppid=30104 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30107/stat : 30107 (xcsp3-exec) S 30104 30107 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476287396 115843072 364 33554432000 4194304 5098028 140721365686224 140721365684328 139887271035516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140721365689177 140721365689434 140721365689434 140721365692358 0
/proc/30107/statm: 28282 364 305 221 0 87 0
[pid=30109] ppid=30107 vsize=28231652 memory=49672 CPUtime=0.53 cores=0-7
/proc/30109/stat : 30109 (java) S 30107 30107 23748 0 -1 1077944320 10783 0 0 0 49 4 0 0 20 0 20 0 476287397 28909211648 12418 33554432000 4194304 4196468 140723507906784 140723507889328 140124717289207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
/proc/30109/statm: 7057913 12418 3304 1 0 7019032 0
[pid=30109/tid=30110] ppid=30107 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/30109/task/30110/stat : 30110 (java) R 30107 30107 23748 0 -1 4202560 7754 0 0 0 27 3 0 0 20 0 20 0 476287397 28909211648 12418 33554432000 4194304 4196468 140723507906784 140124721522992 140124717311133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30111] ppid=30107 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30111/stat : 30111 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287398 28909211648 12418 33554432000 4194304 4196468 140723507906784 140124669909520 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30112] ppid=30107 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30112/stat : 30112 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28909211648 12418 33554432000 4194304 4196468 140723507906784 140124668856976 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30113] ppid=30107 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30113/stat : 30113 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287398 28909211648 12418 33554432000 4194304 4196468 140723507906784 140124667803920 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30114] ppid=30107 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30114/stat : 30114 (java) S 30107 30107 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476287398 28909211648 12418 33554432000 4194304 4196468 140723507906784 140124666751376 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30115] ppid=30107 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/30109/task/30115/stat : 30115 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28909211648 12418 33554432000 4194304 4196468 140723507906784 140124665699344 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30116] ppid=30107 vsize=28231652 memory=139868495770543 CPUtime=0 cores=0-7
/proc/30109/task/30116/stat : 30116 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28909211648 12418 33554432000 4194304 4196468 140723507906784 140124664646800 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30117] ppid=30107 vsize=28231652 memory=139868495772848 CPUtime=0 cores=0-7
/proc/30109/task/30117/stat : 30117 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28909211648 12418 33554432000 4194304 4196468 140723507906784 140124663593744 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30118] ppid=30107 vsize=28231652 memory=3472463766676944352 CPUtime=0 cores=0-7
/proc/30109/task/30118/stat : 30118 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28909211648 12418 33554432000 4194304 4196468 140723507906784 140124662541200 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30119] ppid=30107 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30119/stat : 30119 (java) S 30107 30107 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476287399 28909211648 12418 33554432000 4194304 4196468 140723507906784 140123382757616 140124717300354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30120] ppid=30107 vsize=28231652 memory=279736991557264 CPUtime=0 cores=0-7
/proc/30109/task/30120/stat : 30120 (java) S 30107 30107 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476287400 28909211648 12418 33554432000 4194304 4196468 140723507906784 140123381703840 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30121] ppid=30107 vsize=28231652 memory=279736991564176 CPUtime=0 cores=0-7
/proc/30109/task/30121/stat : 30121 (java) S 30107 30107 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476287400 28909211648 12418 33554432000 4194304 4196468 140723507906784 140123380650736 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30122] ppid=30107 vsize=28231652 memory=279736991505424 CPUtime=0 cores=0-7
/proc/30109/task/30122/stat : 30122 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287402 28909211648 12418 33554432000 4194304 4196468 140723507906784 140123379599312 140124717307803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30123] ppid=30107 vsize=28231652 memory=279736991578000 CPUtime=0.02 cores=0-7
/proc/30109/task/30123/stat : 30123 (java) S 30107 30107 23748 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 476287402 28909211648 12418 33554432000 4194304 4196468 140723507906784 140123378547440 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30124] ppid=30107 vsize=28231652 memory=279736991584912 CPUtime=0.03 cores=0-7
/proc/30109/task/30124/stat : 30124 (java) R 30107 30107 23748 0 -1 4202560 136 0 0 0 3 0 0 0 20 0 20 0 476287402 28909211648 12418 33554432000 4194304 4196468 140723507906784 140123377485280 140124698810413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30125] ppid=30107 vsize=28231652 memory=279736991582608 CPUtime=0.02 cores=0-7
/proc/30109/task/30125/stat : 30125 (java) S 30107 30107 23748 0 -1 1077944384 178 0 0 0 2 0 0 0 20 0 20 0 476287403 28909211648 12418 33554432000 4194304 4196468 140723507906784 140123376441840 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30126] ppid=30107 vsize=28231652 memory=279736991598768 CPUtime=0.12 cores=0-7
/proc/30109/task/30126/stat : 30126 (java) S 30107 30107 23748 0 -1 1077944384 939 0 0 0 12 0 0 0 20 0 20 0 476287403 28909211648 12418 33554432000 4194304 4196468 140723507906784 140123308026480 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30127] ppid=30107 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30127/stat : 30127 (java) S 30107 30107 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476287403 28909211648 12418 33554432000 4194304 4196468 140723507906784 140123306973664 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30128] ppid=30107 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/30109/task/30128/stat : 30128 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287403 28909211648 12418 33554432000 4194304 4196468 140723507906784 140123305921200 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51128 KiB

[startup+0.700944 s]
/proc/loadavg: 7.77 7.96 8.12 4/211 30128
/proc/meminfo: memFree=25710948/32770624 swapFree=66966844/67108860
[pid=30107] ppid=30104 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30107/stat : 30107 (xcsp3-exec) S 30104 30107 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476287396 115843072 364 33554432000 4194304 5098028 140721365686224 140721365684328 139887271035516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140721365689177 140721365689434 140721365689434 140721365692358 0
/proc/30107/statm: 28282 364 305 221 0 87 0
[pid=30109] ppid=30107 vsize=28233776 memory=109848 CPUtime=1.92 cores=0-7
/proc/30109/stat : 30109 (java) S 30107 30107 23748 0 -1 1077944320 16048 0 0 0 185 7 0 0 20 0 20 0 476287397 28911386624 27462 33554432000 4194304 4196468 140723507906784 140723507889328 140124717289207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
/proc/30109/statm: 7058444 27462 3451 1 0 7019544 0
[pid=30109/tid=30110] ppid=30107 vsize=28233776 memory=279736991956656 CPUtime=0.67 cores=0-7
/proc/30109/task/30110/stat : 30110 (java) S 30107 30107 23748 0 -1 1077944384 8540 0 0 0 64 3 0 0 20 0 20 0 476287397 28911386624 27462 33554432000 4194304 4196468 140723507906784 140124721525120 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30111] ppid=30107 vsize=28233776 memory=139868495979376 CPUtime=0 cores=0-7
/proc/30109/task/30111/stat : 30111 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287398 28911386624 27462 33554432000 4194304 4196468 140723507906784 140124669909520 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30112] ppid=30107 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/30109/task/30112/stat : 30112 (java) S 30107 30107 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476287398 28911386624 27462 33554432000 4194304 4196468 140723507906784 140124668856976 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30113] ppid=30107 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/30109/task/30113/stat : 30113 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476287398 28911386624 27462 33554432000 4194304 4196468 140723507906784 140124667803920 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0

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

[pid=30109/tid=30178] ppid=30107 vsize=28768336 memory=1044 CPUtime=142.9 cores=0-7
/proc/30109/task/30178/stat : 30178 (java) R 30107 30107 23748 0 -1 4202560 3667 0 0 0 14278 12 0 0 20 0 28 0 476289262 29458776064 857325 33554432000 4194304 4196468 140723507906784 140123296940040 140124340075049 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
Current children cumulated CPU time: 1282.58 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3430756 KiB

[startup+222.302 s]
/proc/loadavg: 8.06 8.13 8.17 9/220 30198
/proc/meminfo: memFree=22378044/32770624 swapFree=66966844/67108860
[pid=30107] ppid=30104 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30107/stat : 30107 (xcsp3-exec) S 30104 30107 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476287396 115843072 364 33554432000 4194304 5098028 140721365686224 140721365684328 139887271035516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140721365689177 140721365689434 140721365689434 140721365692358 0
/proc/30107/statm: 28282 364 305 221 0 87 0
[pid=30109] ppid=30107 vsize=28768336 memory=3394928 CPUtime=1761.22 cores=0-7
/proc/30109/stat : 30109 (java) S 30107 30107 23748 0 -1 1077944320 133402 0 0 0 175927 195 0 0 20 0 28 0 476287397 29458776064 848732 33554432000 4194304 4196468 140723507906784 140723507889328 140124717289207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
/proc/30109/statm: 7192084 848732 3541 1 0 7153184 0
[pid=30109/tid=30110] ppid=30107 vsize=28768336 memory=3394928 CPUtime=2.24 cores=0-7
/proc/30109/task/30110/stat : 30110 (java) S 30107 30107 23748 0 -1 1077944384 11755 0 0 0 216 8 0 0 20 0 28 0 476287397 29458776064 848732 33554432000 4194304 4196468 140723507906784 140124721529984 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30111] ppid=30107 vsize=28768336 memory=3394928 CPUtime=0.14 cores=0-7
/proc/30109/task/30111/stat : 30111 (java) S 30107 30107 23748 0 -1 1077944384 2376 0 0 0 10 4 0 0 20 0 28 0 476287398 29458776064 848732 33554432000 4194304 4196468 140723507906784 140124669909520 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30112] ppid=30107 vsize=28768336 memory=3394928 CPUtime=0.13 cores=0-7
/proc/30109/task/30112/stat : 30112 (java) S 30107 30107 23748 0 -1 1077944384 1031 0 0 0 9 4 0 0 20 0 28 0 476287398 29458776064 848732 33554432000 4194304 4196468 140723507906784 140124668856976 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30113] ppid=30107 vsize=28768336 memory=1456 CPUtime=0.13 cores=0-7
/proc/30109/task/30113/stat : 30113 (java) S 30107 30107 23748 0 -1 1077944384 1320 0 0 0 10 3 0 0 20 0 28 0 476287398 29458776064 848732 33554432000 4194304 4196468 140723507906784 140124667803920 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30114] ppid=30107 vsize=28768336 memory=1456 CPUtime=0.13 cores=0-7
/proc/30109/task/30114/stat : 30114 (java) S 30107 30107 23748 0 -1 1077944384 888 0 0 0 9 4 0 0 20 0 28 0 476287398 29458776064 848732 33554432000 4194304 4196468 140723507906784 140124666751376 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30115] ppid=30107 vsize=28768336 memory=-3622645143214314312 CPUtime=0.13 cores=0-7
/proc/30109/task/30115/stat : 30115 (java) S 30107 30107 23748 0 -1 1077944384 982 0 0 0 9 4 0 0 20 0 28 0 476287398 29458776064 848732 33554432000 4194304 4196468 140723507906784 140124665699344 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30116] ppid=30107 vsize=28768336 memory=2832 CPUtime=0.16 cores=0-7
/proc/30109/task/30116/stat : 30116 (java) S 30107 30107 23748 0 -1 1077944384 2099 0 0 0 11 5 0 0 20 0 28 0 476287398 29458776064 848732 33554432000 4194304 4196468 140723507906784 140124664646800 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30117] ppid=30107 vsize=28768336 memory=14066017897321 CPUtime=0.14 cores=0-7
/proc/30109/task/30117/stat : 30117 (java) S 30107 30107 23748 0 -1 1077944384 1397 0 0 0 10 4 0 0 20 0 28 0 476287398 29458776064 848732 33554432000 4194304 4196468 140723507906784 140124663593744 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30118] ppid=30107 vsize=28768336 memory=288293281132184405 CPUtime=0.14 cores=0-7
/proc/30109/task/30118/stat : 30118 (java) S 30107 30107 23748 0 -1 1077944384 909 0 0 0 10 4 0 0 20 0 28 0 476287398 29458776064 848732 33554432000 4194304 4196468 140723507906784 140124662541200 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30119] ppid=30107 vsize=28768336 memory=3608 CPUtime=0.04 cores=0-7
/proc/30109/task/30119/stat : 30119 (java) S 30107 30107 23748 0 -1 1077944384 4772 0 0 0 3 1 0 0 20 0 28 0 476287399 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123382757616 140124717300354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30120] ppid=30107 vsize=28768336 memory=55124 CPUtime=0 cores=0-7
/proc/30109/task/30120/stat : 30120 (java) S 30107 30107 23748 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 476287400 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123381703904 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30121] ppid=30107 vsize=28768336 memory=3394928 CPUtime=0 cores=0-7
/proc/30109/task/30121/stat : 30121 (java) S 30107 30107 23748 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 476287400 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123380650752 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30122] ppid=30107 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/30109/task/30122/stat : 30122 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476287402 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123379599312 140124717307803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30123] ppid=30107 vsize=28768336 memory=1166424 CPUtime=3.8 cores=0-7
/proc/30109/task/30123/stat : 30123 (java) S 30107 30107 23748 0 -1 1077944384 15317 0 0 0 377 3 0 0 20 0 28 0 476287402 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123378547440 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30124] ppid=30107 vsize=28768336 memory=955452 CPUtime=3.34 cores=0-7
/proc/30109/task/30124/stat : 30124 (java) S 30107 30107 23748 0 -1 1077944384 13696 0 0 0 331 3 0 0 20 0 28 0 476287402 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123377494896 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30125] ppid=30107 vsize=28768336 memory=3395444 CPUtime=3.64 cores=0-7
/proc/30109/task/30125/stat : 30125 (java) S 30107 30107 23748 0 -1 1077944384 19270 0 0 0 360 4 0 0 20 0 28 0 476287403 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123376441840 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30126] ppid=30107 vsize=28768336 memory=1456 CPUtime=0.91 cores=0-7
/proc/30109/task/30126/stat : 30126 (java) S 30107 30107 23748 0 -1 1077944384 11289 0 0 0 89 2 0 0 20 0 28 0 476287403 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123308026480 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30127] ppid=30107 vsize=28768336 memory=1760 CPUtime=0 cores=0-7
/proc/30109/task/30127/stat : 30127 (java) S 30107 30107 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476287403 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123306973664 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30128] ppid=30107 vsize=28768336 memory=3608 CPUtime=0.06 cores=0-7
/proc/30109/task/30128/stat : 30128 (java) S 30107 30107 23748 0 -1 1077944384 1622 0 0 0 4 2 0 0 20 0 28 0 476287403 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123305921200 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30171] ppid=30107 vsize=28768336 memory=1456 CPUtime=202.85 cores=0-7
/proc/30109/task/30171/stat : 30171 (java) R 30107 30107 23748 0 -1 4202560 7544 0 0 0 20268 17 0 0 20 0 28 0 476289262 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123292731696 140124339607801 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30172] ppid=30107 vsize=28768336 memory=1456 CPUtime=203.05 cores=0-7
/proc/30109/task/30172/stat : 30172 (java) R 30107 30107 23748 0 -1 4202560 1070 0 0 0 20305 0 0 0 20 0 28 0 476289262 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123290624312 140124340075026 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30173] ppid=30107 vsize=28768336 memory=3608 CPUtime=203.49 cores=0-7
/proc/30109/task/30173/stat : 30173 (java) R 30107 30107 23748 0 -1 4202560 1589 0 0 0 20348 1 0 0 20 0 28 0 476289262 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123294839576 140124339226620 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30174] ppid=30107 vsize=28768336 memory=55132 CPUtime=203.31 cores=0-7
/proc/30109/task/30174/stat : 30174 (java) R 30107 30107 23748 0 -1 4202560 7194 0 0 0 20294 37 0 0 20 0 28 0 476289262 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123291677112 140124340075362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30175] ppid=30107 vsize=28768336 memory=988 CPUtime=202.18 cores=0-7
/proc/30109/task/30175/stat : 30175 (java) R 30107 30107 23748 0 -1 4202560 8228 0 0 0 20189 29 0 0 20 0 28 0 476289262 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123289570856 140124340095281 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30176] ppid=30107 vsize=28768336 memory=2020 CPUtime=202.4 cores=0-7
/proc/30109/task/30176/stat : 30176 (java) R 30107 30107 23748 0 -1 4202560 3163 0 0 0 20231 9 0 0 20 0 28 0 476289262 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123293782472 140124340926652 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30177] ppid=30107 vsize=28768336 memory=1432 CPUtime=202.99 cores=0-7
/proc/30109/task/30177/stat : 30177 (java) R 30107 30107 23748 0 -1 4202560 2653 0 0 0 20294 5 0 0 20 0 28 0 476289262 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123295887136 140124342699020 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30178] ppid=30107 vsize=28768336 memory=776 CPUtime=202.88 cores=0-7
/proc/30109/task/30178/stat : 30178 (java) R 30107 30107 23748 0 -1 4202560 4697 0 0 0 20275 13 0 0 20 0 28 0 476289262 29458776064 848732 33554432000 4194304 4196468 140723507906784 140123296942832 140124339524332 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
Current children cumulated CPU time: 1761.22 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3396384 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.04 8.12 8.16 9/220 30200
/proc/meminfo: memFree=22407716/32770624 swapFree=66966844/67108860
[pid=30107] ppid=30104 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30107/stat : 30107 (xcsp3-exec) S 30104 30107 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476287396 115843072 364 33554432000 4194304 5098028 140721365686224 140721365684328 139887271035516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140721365689177 140721365689434 140721365689434 140721365692358 0
/proc/30107/statm: 28282 364 305 221 0 87 0
[pid=30109] ppid=30107 vsize=28768336 memory=3365688 CPUtime=1998.1 cores=0-7
/proc/30109/stat : 30109 (java) S 30107 30107 23748 0 -1 1077944320 155180 0 0 0 199585 225 0 0 20 0 28 0 476287397 29458776064 841422 33554432000 4194304 4196468 140723507906784 140723507889328 140124717289207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
/proc/30109/statm: 7192084 841422 3542 1 0 7153184 0
[pid=30109/tid=30110] ppid=30107 vsize=28768336 memory=6791534058613427641 CPUtime=2.24 cores=0-7
/proc/30109/task/30110/stat : 30110 (java) S 30107 30107 23748 0 -1 1077944384 11755 0 0 0 216 8 0 0 20 0 28 0 476287397 29458776064 841422 33554432000 4194304 4196468 140723507906784 140124721529984 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30111] ppid=30107 vsize=28768336 memory=4126316290023845779 CPUtime=0.14 cores=0-7
/proc/30109/task/30111/stat : 30111 (java) S 30107 30107 23748 0 -1 1077944384 2872 0 0 0 10 4 0 0 20 0 28 0 476287398 29458776064 841422 33554432000 4194304 4196468 140723507906784 140124669909520 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30112] ppid=30107 vsize=28768336 memory=1568 CPUtime=0.13 cores=0-7
/proc/30109/task/30112/stat : 30112 (java) S 30107 30107 23748 0 -1 1077944384 1121 0 0 0 9 4 0 0 20 0 28 0 476287398 29458776064 841422 33554432000 4194304 4196468 140723507906784 140124668856976 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30113] ppid=30107 vsize=28768336 memory=1444 CPUtime=0.13 cores=0-7
/proc/30109/task/30113/stat : 30113 (java) S 30107 30107 23748 0 -1 1077944384 1364 0 0 0 10 3 0 0 20 0 28 0 476287398 29458776064 841422 33554432000 4194304 4196468 140723507906784 140124667803920 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30114] ppid=30107 vsize=28768336 memory=864 CPUtime=0.13 cores=0-7
/proc/30109/task/30114/stat : 30114 (java) S 30107 30107 23748 0 -1 1077944384 943 0 0 0 9 4 0 0 20 0 28 0 476287398 29458776064 841422 33554432000 4194304 4196468 140723507906784 140124666751376 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30115] ppid=30107 vsize=28768336 memory=1976 CPUtime=0.15 cores=0-7
/proc/30109/task/30115/stat : 30115 (java) S 30107 30107 23748 0 -1 1077944384 1067 0 0 0 10 5 0 0 20 0 28 0 476287398 29458776064 841422 33554432000 4194304 4196468 140723507906784 140124665699344 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30116] ppid=30107 vsize=28768336 memory=2496 CPUtime=0.17 cores=0-7
/proc/30109/task/30116/stat : 30116 (java) S 30107 30107 23748 0 -1 1077944384 2165 0 0 0 12 5 0 0 20 0 28 0 476287398 29458776064 841422 33554432000 4194304 4196468 140723507906784 140124664646800 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30117] ppid=30107 vsize=28768336 memory=1760 CPUtime=0.15 cores=0-7
/proc/30109/task/30117/stat : 30117 (java) S 30107 30107 23748 0 -1 1077944384 1906 0 0 0 11 4 0 0 20 0 28 0 476287398 29458776064 841422 33554432000 4194304 4196468 140723507906784 140124663593744 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30118] ppid=30107 vsize=28768336 memory=712 CPUtime=0.15 cores=0-7
/proc/30109/task/30118/stat : 30118 (java) S 30107 30107 23748 0 -1 1077944384 937 0 0 0 11 4 0 0 20 0 28 0 476287398 29458776064 841422 33554432000 4194304 4196468 140723507906784 140124662541200 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30119] ppid=30107 vsize=28768336 memory=2832 CPUtime=0.05 cores=0-7
/proc/30109/task/30119/stat : 30119 (java) S 30107 30107 23748 0 -1 1077944384 5468 0 0 0 4 1 0 0 20 0 28 0 476287399 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123382757616 140124717300354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30120] ppid=30107 vsize=28768336 memory=7556 CPUtime=0 cores=0-7
/proc/30109/task/30120/stat : 30120 (java) S 30107 30107 23748 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 476287400 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123381703904 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30121] ppid=30107 vsize=28768336 memory=10492 CPUtime=0 cores=0-7
/proc/30109/task/30121/stat : 30121 (java) S 30107 30107 23748 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 476287400 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123380650752 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30122] ppid=30107 vsize=28768336 memory=13996 CPUtime=0 cores=0-7
/proc/30109/task/30122/stat : 30122 (java) S 30107 30107 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476287402 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123379599312 140124717307803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30123] ppid=30107 vsize=28768336 memory=14080 CPUtime=3.85 cores=0-7
/proc/30109/task/30123/stat : 30123 (java) S 30107 30107 23748 0 -1 1077944384 17133 0 0 0 382 3 0 0 20 0 28 0 476287402 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123378547440 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30124] ppid=30107 vsize=28768336 memory=30544 CPUtime=3.34 cores=0-7
/proc/30109/task/30124/stat : 30124 (java) S 30107 30107 23748 0 -1 1077944384 13723 0 0 0 331 3 0 0 20 0 28 0 476287402 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123377494896 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30125] ppid=30107 vsize=28768336 memory=2120 CPUtime=3.69 cores=0-7
/proc/30109/task/30125/stat : 30125 (java) S 30107 30107 23748 0 -1 1077944384 19985 0 0 0 365 4 0 0 20 0 28 0 476287403 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123376441840 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30126] ppid=30107 vsize=28768336 memory=508 CPUtime=0.94 cores=0-7
/proc/30109/task/30126/stat : 30126 (java) S 30107 30107 23748 0 -1 1077944384 13320 0 0 0 91 3 0 0 20 0 28 0 476287403 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123308026480 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30127] ppid=30107 vsize=28768336 memory=1560 CPUtime=0 cores=0-7
/proc/30109/task/30127/stat : 30127 (java) S 30107 30107 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476287403 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123306973664 140124717299413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30128] ppid=30107 vsize=28768336 memory=932 CPUtime=0.07 cores=0-7
/proc/30109/task/30128/stat : 30128 (java) S 30107 30107 23748 0 -1 1077944384 2083 0 0 0 4 3 0 0 20 0 28 0 476287403 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123305921200 140124717300354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30171] ppid=30107 vsize=28768336 memory=1568 CPUtime=232.24 cores=0-7
/proc/30109/task/30171/stat : 30171 (java) R 30107 30107 23748 0 -1 4202560 9521 0 0 0 23205 19 0 0 20 0 28 0 476289262 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123292728328 140124339414714 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30172] ppid=30107 vsize=28768336 memory=1444 CPUtime=232.55 cores=0-7
/proc/30109/task/30172/stat : 30172 (java) R 30107 30107 23748 0 -1 4202560 1759 0 0 0 23253 2 0 0 20 0 28 0 476289262 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123290624312 140124333096150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30173] ppid=30107 vsize=28768336 memory=864 CPUtime=233.16 cores=0-7
/proc/30109/task/30173/stat : 30173 (java) R 30107 30107 23748 0 -1 4202560 2766 0 0 0 23314 2 0 0 20 0 28 0 476289262 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123294835640 140124333096172 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30174] ppid=30107 vsize=28768336 memory=1976 CPUtime=232.89 cores=0-7
/proc/30109/task/30174/stat : 30174 (java) R 30107 30107 23748 0 -1 4202560 10461 0 0 0 23243 46 0 0 20 0 28 0 476289262 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123291677192 140124333095742 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30175] ppid=30107 vsize=28768336 memory=2496 CPUtime=231.78 cores=0-7
/proc/30109/task/30175/stat : 30175 (java) R 30107 30107 23748 0 -1 4202560 11397 0 0 0 23146 32 0 0 20 0 28 0 476289262 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123289571888 140124341048917 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30176] ppid=30107 vsize=28768336 memory=1760 CPUtime=232.09 cores=0-7
/proc/30109/task/30176/stat : 30176 (java) R 30107 30107 23748 0 -1 4202560 4560 0 0 0 23197 12 0 0 20 0 28 0 476289262 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123293784864 140124340095230 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30177] ppid=30107 vsize=28768336 memory=33 CPUtime=232.6 cores=0-7
/proc/30109/task/30177/stat : 30177 (java) R 30107 30107 23748 0 -1 4202560 3894 0 0 0 23252 8 0 0 20 0 28 0 476289262 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123295887248 140124340095291 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
[pid=30109/tid=30178] ppid=30107 vsize=28768336 memory=6944656575208382560 CPUtime=232.55 cores=0-7
/proc/30109/task/30178/stat : 30178 (java) R 30107 30107 23748 0 -1 4202560 6439 0 0 0 23237 18 0 0 20 0 28 0 476289262 29458776064 841422 33554432000 4194304 4196468 140723507906784 140123296940232 140124335362985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140723507909596 140723507909771 140723507909771 140723507912655 0
Current children cumulated CPU time: 1998.1 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3367144 KiB

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

[startup+252.044 s]
# the end of solver process 30107 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001121 s, system=0.001121 s

[startup+252.117 s]
# the end of solver process 30109 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1996.51 s, system=2.28245 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): 252.117
CPU time (s): 1998.79
CPU user time (s): 1996.51
CPU system time (s): 2.28245
CPU usage (%): 792.804
Max. virtual memory (cumulated for all children) (KiB): 28883340
Max. memory (cumulated for all children) (KiB): 3447208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1996.51
system time used= 2.28245
maximum resident set size= 3446844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156305
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12367
involuntary context switches= 23137


# summary of solver processes directly reported to runsolver:
#   pid: 30107,30109
#   total CPU time (s): 1998.79
#   total CPU user time (s): 1996.51
#   total CPU system time (s): 2.28245

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.69866 second user time and 2.42792 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05b.xml
MD5SUM	1883a0b97ed6164a2c6d9bdd2047bad0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	233.796
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	5734
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	13
Maximum variable degree	43
Distribution of variable degrees	[{"degree":13,"count":2},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":10},{"degree":18,"count":6},{"degree":19,"count":10},{"degree":20,"count":22},{"degree":21,"count":28},{"degree":22,"count":21},{"degree":23,"count":21},{"degree":24,"count":32},{"degree":25,"count":35},{"degree":26,"count":35},{"degree":27,"count":39},{"degree":28,"count":34},{"degree":29,"count":31},{"degree":30,"count":23},{"degree":31,"count":27},{"degree":32,"count":13},{"degree":33,"count":17},{"degree":34,"count":11},{"degree":35,"count":11},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":2},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":2},{"degree":43,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5734}]
Number of extensional constraints	0
Number of intensional constraints	5734
Distribution of constraint types	[{"type":"intension","count":5734}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4405032

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
