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-16 parallel	SAT (TO)	24	1995.11	252.108
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 (15320 MiB free)
  memory of node 1: 16384 MiB (13324 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400306-1568709812/watcher-4400306-1568709812 -o /tmp/evaluation-result-4400306-1568709812/solver-4400306-1568709812 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1291555358 HOME/instance-4400306-1568709812.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=9523, runsolver pid=9520
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 8.04 8.09 8.14 3/212 9544
/proc/meminfo: memFree=29317008/32770624 swapFree=66958320/67108860
[pid=9523] ppid=9520 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9523/stat : 9523 (xcsp3-exec) S 9520 9523 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917650 115843072 362 33554432000 4194304 5098028 140729015160640 140729015158744 140141667504764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140729015165819 140729015166062 140729015166062 140729015168970 0
/proc/9523/statm: 28282 362 304 221 0 87 0
[pid=9525] ppid=9523 vsize=28227396 memory=27344 CPUtime=0.12 cores=0-7
/proc/9525/stat : 9525 (java) S 9523 9523 7356 0 -1 1077944320 5806 0 0 0 11 1 0 0 20 0 20 0 446917650 28904853504 6836 33554432000 4194304 4196468 140736107106224 140736107088768 139782423858935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
/proc/9525/statm: 7056849 6836 3122 1 0 7019032 0
[pid=9525/tid=9526] ppid=9523 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/9525/task/9526/stat : 9526 (java) R 9523 9523 7356 0 -1 4202560 3653 0 0 0 8 0 0 0 20 0 20 0 446917650 28904853504 6836 33554432000 4194304 4196468 140736107106224 139782428098176 139782423870870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9527] ppid=9523 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9525/task/9527/stat : 9527 (java) S 9523 9523 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781975083536 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9528] ppid=9523 vsize=28227396 memory=140269195376256 CPUtime=0 cores=0-7
/proc/9525/task/9528/stat : 9528 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781974030992 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9529] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9529/stat : 9529 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781972977936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9530] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9530/stat : 9530 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781971925392 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9531] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9531/stat : 9531 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781970873360 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9532] ppid=9523 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9525/task/9532/stat : 9532 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781969820816 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9533] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9533/stat : 9533 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781968767760 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9534] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9534/stat : 9534 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781967715216 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9535] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9535/stat : 9535 (java) S 9523 9523 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917652 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781606594800 139782423870082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9536] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9536/stat : 9536 (java) S 9523 9523 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446917653 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781605541024 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9537] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9537/stat : 9537 (java) S 9523 9523 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446917653 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781604487920 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9538] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9538/stat : 9538 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781603436496 139782423877531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9539] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9539/stat : 9539 (java) S 9523 9523 7356 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781602384624 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9540] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9540/stat : 9540 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781601332080 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9541] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9541/stat : 9541 (java) S 9523 9523 7356 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781600279024 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9542] ppid=9523 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9525/task/9542/stat : 9542 (java) S 9523 9523 7356 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781599226480 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9543] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9543/stat : 9543 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781598173664 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9544] ppid=9523 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9525/task/9544/stat : 9544 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 6836 33554432000 4194304 4196468 140736107106224 139781597121200 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28792 KiB

[startup+0.210887 s]*
/proc/loadavg: 8.04 8.09 8.14 2/212 9544
/proc/meminfo: memFree=29303876/32770624 swapFree=66958320/67108860
[pid=9523] ppid=9520 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9523/stat : 9523 (xcsp3-exec) S 9520 9523 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917650 115843072 362 33554432000 4194304 5098028 140729015160640 140729015158744 140141667504764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140729015165819 140729015166062 140729015166062 140729015168970 0
/proc/9523/statm: 28282 362 304 221 0 87 0
[pid=9525] ppid=9523 vsize=28227396 memory=39936 CPUtime=0.33 cores=0-7
/proc/9525/stat : 9525 (java) S 9523 9523 7356 0 -1 1077944320 9746 0 0 0 30 3 0 0 20 0 20 0 446917650 28904853504 9984 33554432000 4194304 4196468 140736107106224 140736107088768 139782423858935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
/proc/9525/statm: 7056849 9984 3311 1 0 7019032 0
[pid=9525/tid=9526] ppid=9523 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/9525/task/9526/stat : 9526 (java) R 9523 9523 7356 0 -1 4202560 6689 0 0 0 18 2 0 0 20 0 20 0 446917650 28904853504 9984 33554432000 4194304 4196468 140736107106224 139782428087648 139782407939422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9527] ppid=9523 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/9525/task/9527/stat : 9527 (java) S 9523 9523 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781975083536 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9528] ppid=9523 vsize=28227396 memory=140269195385848 CPUtime=0 cores=0-7
/proc/9525/task/9528/stat : 9528 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781974030992 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9529] ppid=9523 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9525/task/9529/stat : 9529 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781972977936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9530] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9530/stat : 9530 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781971925392 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9531] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9531/stat : 9531 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781970873360 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9532] ppid=9523 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9525/task/9532/stat : 9532 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781969820816 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9533] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9533/stat : 9533 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781968767760 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9534] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9534/stat : 9534 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781967715216 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9535] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9535/stat : 9535 (java) S 9523 9523 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446917652 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781606594800 139782423870082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9536] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9536/stat : 9536 (java) S 9523 9523 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446917653 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781605541024 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9537] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9537/stat : 9537 (java) S 9523 9523 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446917653 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781604487920 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9538] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9538/stat : 9538 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781603436496 139782423877531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9539] ppid=9523 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9525/task/9539/stat : 9539 (java) S 9523 9523 7356 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781602384624 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9540] ppid=9523 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9525/task/9540/stat : 9540 (java) S 9523 9523 7356 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781601332080 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9541] ppid=9523 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/9525/task/9541/stat : 9541 (java) S 9523 9523 7356 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781600279024 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9542] ppid=9523 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/9525/task/9542/stat : 9542 (java) R 9523 9523 7356 0 -1 4202560 908 0 0 0 7 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781599226480 139782423870870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9543] ppid=9523 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9543/stat : 9543 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781598173664 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9544] ppid=9523 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9525/task/9544/stat : 9544 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28904853504 9984 33554432000 4194304 4196468 140736107106224 139781597121200 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41384 KiB

[startup+0.310639 s]*
/proc/loadavg: 8.04 8.09 8.14 3/212 9544
/proc/meminfo: memFree=29298952/32770624 swapFree=66958320/67108860
[pid=9523] ppid=9520 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9523/stat : 9523 (xcsp3-exec) S 9520 9523 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917650 115843072 362 33554432000 4194304 5098028 140729015160640 140729015158744 140141667504764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140729015165819 140729015166062 140729015166062 140729015168970 0
/proc/9523/statm: 28282 362 304 221 0 87 0
[pid=9525] ppid=9523 vsize=28231652 memory=48904 CPUtime=0.52 cores=0-7
/proc/9525/stat : 9525 (java) S 9523 9523 7356 0 -1 1077944320 11183 0 0 0 48 4 0 0 20 0 20 0 446917650 28909211648 12226 33554432000 4194304 4196468 140736107106224 140736107088768 139782423858935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
/proc/9525/statm: 7057913 12226 3349 1 0 7019032 0
[pid=9525/tid=9526] ppid=9523 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/9525/task/9526/stat : 9526 (java) R 9523 9523 7356 0 -1 4202560 7785 0 0 0 27 2 0 0 20 0 20 0 446917650 28909211648 12292 33554432000 4194304 4196468 140736107106224 139782428092552 139782407939422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9527] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9527/stat : 9527 (java) S 9523 9523 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781975083536 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9528] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9528/stat : 9528 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781974030992 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9529] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9529/stat : 9529 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781972977936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9530] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9530/stat : 9530 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781971925392 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9531] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9531/stat : 9531 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781970873360 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9532] ppid=9523 vsize=28231652 memory=140269068577455 CPUtime=0 cores=0-7
/proc/9525/task/9532/stat : 9532 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781969820816 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9533] ppid=9523 vsize=28231652 memory=140269068579760 CPUtime=0 cores=0-7
/proc/9525/task/9533/stat : 9533 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781968767760 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9534] ppid=9523 vsize=28231652 memory=140269068582064 CPUtime=0 cores=0-7
/proc/9525/task/9534/stat : 9534 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781967715216 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9535] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9535/stat : 9535 (java) S 9523 9523 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446917652 28909211648 12292 33554432000 4194304 4196468 140736107106224 139781606594800 139782423870082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9536] ppid=9523 vsize=28231524 memory=280538137178000 CPUtime=0 cores=0-7
/proc/9525/task/9536/stat : 9536 (java) S 9523 9523 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446917653 28909080576 12332 33554432000 4194304 4196468 140736107106224 139781605541024 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9537] ppid=9523 vsize=28231652 memory=280538137175696 CPUtime=0 cores=0-7
/proc/9525/task/9537/stat : 9537 (java) S 9523 9523 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446917653 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781604487920 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9538] ppid=9523 vsize=28231652 memory=280538137182608 CPUtime=0 cores=0-7
/proc/9525/task/9538/stat : 9538 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781603436496 139782423877531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9539] ppid=9523 vsize=28231652 memory=280538137123856 CPUtime=0.02 cores=0-7
/proc/9525/task/9539/stat : 9539 (java) R 9523 9523 7356 0 -1 4202560 468 0 0 0 2 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781602365640 139782401606248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9540] ppid=9523 vsize=28231652 memory=280538137196432 CPUtime=0.02 cores=0-7
/proc/9525/task/9540/stat : 9540 (java) S 9523 9523 7356 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781601332080 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9541] ppid=9523 vsize=28231652 memory=280538137203344 CPUtime=0.02 cores=0-7
/proc/9525/task/9541/stat : 9541 (java) S 9523 9523 7356 0 -1 1077944384 422 0 0 0 2 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781600279024 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9542] ppid=9523 vsize=28231652 memory=280538137201040 CPUtime=0.12 cores=0-7
/proc/9525/task/9542/stat : 9542 (java) S 9523 9523 7356 0 -1 1077944384 1096 0 0 0 12 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781599226480 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9543] ppid=9523 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9543/stat : 9543 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781598173664 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9544] ppid=9523 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9525/task/9544/stat : 9544 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917656 28909211648 12332 33554432000 4194304 4196468 140736107106224 139781597121200 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50352 KiB

[startup+0.700983 s]
/proc/loadavg: 8.04 8.09 8.14 5/212 9544
/proc/meminfo: memFree=29276168/32770624 swapFree=66958320/67108860
[pid=9523] ppid=9520 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9523/stat : 9523 (xcsp3-exec) S 9520 9523 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917650 115843072 362 33554432000 4194304 5098028 140729015160640 140729015158744 140141667504764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140729015165819 140729015166062 140729015166062 140729015168970 0
/proc/9523/statm: 28282 362 304 221 0 87 0
[pid=9525] ppid=9523 vsize=28233776 memory=111436 CPUtime=1.95 cores=0-7
/proc/9525/stat : 9525 (java) S 9523 9523 7356 0 -1 1077944320 15466 0 0 0 187 8 0 0 20 0 20 0 446917650 28911386624 27859 33554432000 4194304 4196468 140736107106224 140736107088768 139782423858935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
/proc/9525/statm: 7058444 27859 3450 1 0 7019544 0
[pid=9525/tid=9526] ppid=9523 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/9525/task/9526/stat : 9526 (java) R 9523 9523 7356 0 -1 4202560 8464 0 0 0 64 4 0 0 20 0 20 0 446917650 28911386624 27859 33554432000 4194304 4196468 140736107106224 139782428094832 139782064958282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9527] ppid=9523 vsize=28233776 memory=140269068788592 CPUtime=0 cores=0-7
/proc/9525/task/9527/stat : 9527 (java) S 9523 9523 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917651 28911386624 27859 33554432000 4194304 4196468 140736107106224 139781975083536 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9528] ppid=9523 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9525/task/9528/stat : 9528 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917651 28911386624 27859 33554432000 4194304 4196468 140736107106224 139781974030992 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9529] ppid=9523 vsize=28233776 memory=8024 CPUtime=0 cores=0-7
/proc/9525/task/9529/stat : 9529 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917651 28911386624 27859 33554432000 4194304 4196468 140736107106224 139781972977936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0

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

[pid=9525/tid=9592] ppid=9523 vsize=28768336 memory=2120 CPUtime=157.36 cores=0-7
/proc/9525/task/9592/stat : 9592 (java) R 9523 9523 7356 0 -1 4202560 3079 0 0 0 15715 21 0 0 20 0 28 0 446918017 29458776064 865390 33554432000 4194304 4196468 140736107106224 139780592459424 139782068924798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
Current children cumulated CPU time: 1278.87 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3463008 KiB

[startup+222.301 s]
/proc/loadavg: 8.07 8.03 8.09 9/219 9606
/proc/meminfo: memFree=25880976/32770624 swapFree=66958320/67108860
[pid=9523] ppid=9520 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9523/stat : 9523 (xcsp3-exec) S 9520 9523 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917650 115843072 362 33554432000 4194304 5098028 140729015160640 140729015158744 140141667504764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140729015165819 140729015166062 140729015166062 140729015168970 0
/proc/9523/statm: 28282 362 304 221 0 87 0
[pid=9525] ppid=9523 vsize=28768336 memory=3459880 CPUtime=1757.48 cores=0-7
/proc/9525/stat : 9525 (java) S 9523 9523 7356 0 -1 1077944320 134456 0 0 0 175496 252 0 0 20 0 28 0 446917650 29458776064 864970 33554432000 4194304 4196468 140736107106224 140736107088768 139782423858935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
/proc/9525/statm: 7192084 864970 3541 1 0 7153184 0
[pid=9525/tid=9526] ppid=9523 vsize=28768336 memory=3459880 CPUtime=2.71 cores=0-7
/proc/9525/task/9526/stat : 9526 (java) S 9523 9523 7356 0 -1 1077944384 11882 0 0 0 260 11 0 0 20 0 28 0 446917650 29458776064 864970 33554432000 4194304 4196468 140736107106224 139782428099712 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9527] ppid=9523 vsize=28768336 memory=3459880 CPUtime=0.2 cores=0-7
/proc/9525/task/9527/stat : 9527 (java) S 9523 9523 7356 0 -1 1077944384 1629 0 0 0 13 7 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781975083536 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9528] ppid=9523 vsize=28768336 memory=1448 CPUtime=0.18 cores=0-7
/proc/9525/task/9528/stat : 9528 (java) S 9523 9523 7356 0 -1 1077944384 966 0 0 0 12 6 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781974030992 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9529] ppid=9523 vsize=28768336 memory=1448 CPUtime=0.18 cores=0-7
/proc/9525/task/9529/stat : 9529 (java) S 9523 9523 7356 0 -1 1077944384 854 0 0 0 12 6 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781972977936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9530] ppid=9523 vsize=28768336 memory=3459880 CPUtime=0.17 cores=0-7
/proc/9525/task/9530/stat : 9530 (java) S 9523 9523 7356 0 -1 1077944384 1284 0 0 0 11 6 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781971925392 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9531] ppid=9523 vsize=28768336 memory=4440 CPUtime=0.16 cores=0-7
/proc/9525/task/9531/stat : 9531 (java) S 9523 9523 7356 0 -1 1077944384 1740 0 0 0 10 6 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781970873360 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9532] ppid=9523 vsize=28768336 memory=3459880 CPUtime=0.18 cores=0-7
/proc/9525/task/9532/stat : 9532 (java) S 9523 9523 7356 0 -1 1077944384 1087 0 0 0 12 6 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781969820816 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9533] ppid=9523 vsize=28768336 memory=3612 CPUtime=0.17 cores=0-7
/proc/9525/task/9533/stat : 9533 (java) S 9523 9523 7356 0 -1 1077944384 2020 0 0 0 10 7 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781968767760 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9534] ppid=9523 vsize=28768336 memory=1448 CPUtime=0.16 cores=0-7
/proc/9525/task/9534/stat : 9534 (java) S 9523 9523 7356 0 -1 1077944384 1799 0 0 0 11 5 0 0 20 0 28 0 446917651 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781967715216 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9535] ppid=9523 vsize=28768336 memory=3459880 CPUtime=0.04 cores=0-7
/proc/9525/task/9535/stat : 9535 (java) S 9523 9523 7356 0 -1 1077944384 5768 0 0 0 3 1 0 0 20 0 28 0 446917652 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781606594800 139782423870082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9536] ppid=9523 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/9525/task/9536/stat : 9536 (java) S 9523 9523 7356 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 446917653 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781605541088 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9537] ppid=9523 vsize=28768336 memory=257 CPUtime=0 cores=0-7
/proc/9525/task/9537/stat : 9537 (java) S 9523 9523 7356 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 446917653 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781604487936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9538] ppid=9523 vsize=28768336 memory=3461996 CPUtime=0 cores=0-7
/proc/9525/task/9538/stat : 9538 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781603436496 139782423877531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9539] ppid=9523 vsize=28768336 memory=0 CPUtime=3.46 cores=0-7
/proc/9525/task/9539/stat : 9539 (java) S 9523 9523 7356 0 -1 1077944384 13826 0 0 0 344 2 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781602384624 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9540] ppid=9523 vsize=28768336 memory=0 CPUtime=3.63 cores=0-7
/proc/9525/task/9540/stat : 9540 (java) S 9523 9523 7356 0 -1 1077944384 13954 0 0 0 360 3 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781601332080 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9541] ppid=9523 vsize=28768336 memory=1448 CPUtime=3.51 cores=0-7
/proc/9525/task/9541/stat : 9541 (java) S 9523 9523 7356 0 -1 1077944384 13780 0 0 0 347 4 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781600279024 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9542] ppid=9523 vsize=28768336 memory=3459880 CPUtime=0.92 cores=0-7
/proc/9525/task/9542/stat : 9542 (java) S 9523 9523 7356 0 -1 1077944384 12463 0 0 0 89 3 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781599226480 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9543] ppid=9523 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/9525/task/9543/stat : 9543 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781598173664 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9544] ppid=9523 vsize=28768336 memory=4 CPUtime=0.06 cores=0-7
/proc/9525/task/9544/stat : 9544 (java) S 9523 9523 7356 0 -1 1077944384 1639 0 0 0 3 3 0 0 20 0 28 0 446917656 29458776064 864970 33554432000 4194304 4196468 140736107106224 139781597121200 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9585] ppid=9523 vsize=28768336 memory=0 CPUtime=216.89 cores=0-7
/proc/9525/task/9585/stat : 9585 (java) R 9523 9523 7356 0 -1 4202560 823 0 0 0 21689 0 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780597722392 139782069517190 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9586] ppid=9523 vsize=28768336 memory=0 CPUtime=218.09 cores=0-7
/proc/9525/task/9586/stat : 9586 (java) R 9523 9523 7356 0 -1 4202560 896 0 0 0 21809 0 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780593513032 139782069516829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9587] ppid=9523 vsize=28768336 memory=7307743850530236012 CPUtime=216.48 cores=0-7
/proc/9525/task/9587/stat : 9587 (java) R 9523 9523 7356 0 -1 4202560 3318 0 0 0 21645 3 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780599829704 139782070537667 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9588] ppid=9523 vsize=28768336 memory=1448 CPUtime=216.58 cores=0-7
/proc/9525/task/9588/stat : 9588 (java) R 9523 9523 7356 0 -1 4202560 14627 0 0 0 21596 62 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780595618504 139782069507989 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9589] ppid=9523 vsize=28768336 memory=1448 CPUtime=217.9 cores=0-7
/proc/9525/task/9589/stat : 9589 (java) R 9523 9523 7356 0 -1 4202560 1659 0 0 0 21783 7 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780598776120 139782068924850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9590] ppid=9523 vsize=28768336 memory=3459880 CPUtime=217.14 cores=0-7
/proc/9525/task/9590/stat : 9590 (java) R 9523 9523 7356 0 -1 4202560 2998 0 0 0 21698 16 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780596670952 139782069517703 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9591] ppid=9523 vsize=28768336 memory=1448 CPUtime=217.97 cores=0-7
/proc/9525/task/9591/stat : 9591 (java) R 9523 9523 7356 0 -1 4202560 18313 0 0 0 21743 54 0 0 20 0 28 0 446918016 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780594567200 139782070537627 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9592] ppid=9523 vsize=28768336 memory=3459880 CPUtime=217.15 cores=0-7
/proc/9525/task/9592/stat : 9592 (java) R 9523 9523 7356 0 -1 4202560 4723 0 0 0 21687 28 0 0 20 0 28 0 446918017 29458776064 864970 33554432000 4194304 4196468 140736107106224 139780592459488 139782068924812 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
Current children cumulated CPU time: 1757.48 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3461328 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.45 8.12 8.12 9/219 9606
/proc/meminfo: memFree=25878244/32770624 swapFree=66958320/67108860
[pid=9523] ppid=9520 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9523/stat : 9523 (xcsp3-exec) S 9520 9523 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917650 115843072 362 33554432000 4194304 5098028 140729015160640 140729015158744 140141667504764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140729015165819 140729015166062 140729015166062 140729015168970 0
/proc/9523/statm: 28282 362 304 221 0 87 0
[pid=9525] ppid=9523 vsize=28768336 memory=3463912 CPUtime=1994.48 cores=0-7
/proc/9525/stat : 9525 (java) S 9523 9523 7356 0 -1 1077944320 137547 0 0 0 199189 259 0 0 20 0 28 0 446917650 29458776064 865978 33554432000 4194304 4196468 140736107106224 140736107088768 139782423858935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
/proc/9525/statm: 7192084 865978 3541 1 0 7153184 0
[pid=9525/tid=9526] ppid=9523 vsize=28768336 memory=712 CPUtime=2.71 cores=0-7
/proc/9525/task/9526/stat : 9526 (java) S 9523 9523 7356 0 -1 1077944384 11882 0 0 0 260 11 0 0 20 0 28 0 446917650 29458776064 865978 33554432000 4194304 4196468 140736107106224 139782428099712 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9527] ppid=9523 vsize=28768336 memory=2832 CPUtime=0.2 cores=0-7
/proc/9525/task/9527/stat : 9527 (java) S 9523 9523 7356 0 -1 1077944384 1642 0 0 0 13 7 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781975083536 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9528] ppid=9523 vsize=28768336 memory=4872558044660077418 CPUtime=0.18 cores=0-7
/proc/9525/task/9528/stat : 9528 (java) S 9523 9523 7356 0 -1 1077944384 975 0 0 0 12 6 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781974030992 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9529] ppid=9523 vsize=28768336 memory=3463912 CPUtime=0.19 cores=0-7
/proc/9525/task/9529/stat : 9529 (java) S 9523 9523 7356 0 -1 1077944384 864 0 0 0 13 6 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781972977936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9530] ppid=9523 vsize=28768336 memory=2020 CPUtime=0.18 cores=0-7
/proc/9525/task/9530/stat : 9530 (java) S 9523 9523 7356 0 -1 1077944384 1289 0 0 0 12 6 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781971925392 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9531] ppid=9523 vsize=28768336 memory=1432 CPUtime=0.17 cores=0-7
/proc/9525/task/9531/stat : 9531 (java) S 9523 9523 7356 0 -1 1077944384 1746 0 0 0 11 6 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781970873360 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9532] ppid=9523 vsize=28768336 memory=776 CPUtime=0.19 cores=0-7
/proc/9525/task/9532/stat : 9532 (java) S 9523 9523 7356 0 -1 1077944384 1094 0 0 0 13 6 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781969820816 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9533] ppid=9523 vsize=28768336 memory=1056 CPUtime=0.18 cores=0-7
/proc/9525/task/9533/stat : 9533 (java) S 9523 9523 7356 0 -1 1077944384 2026 0 0 0 11 7 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781968767760 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9534] ppid=9523 vsize=28768336 memory=3463912 CPUtime=0.17 cores=0-7
/proc/9525/task/9534/stat : 9534 (java) S 9523 9523 7356 0 -1 1077944384 1806 0 0 0 12 5 0 0 20 0 28 0 446917651 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781967715216 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9535] ppid=9523 vsize=28768336 memory=1552 CPUtime=0.05 cores=0-7
/proc/9525/task/9535/stat : 9535 (java) S 9523 9523 7356 0 -1 1077944384 5783 0 0 0 4 1 0 0 20 0 28 0 446917652 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781606594800 139782423870082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9536] ppid=9523 vsize=28768336 memory=1712 CPUtime=0 cores=0-7
/proc/9525/task/9536/stat : 9536 (java) S 9523 9523 7356 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 446917653 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781605541088 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9537] ppid=9523 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/9525/task/9537/stat : 9537 (java) S 9523 9523 7356 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 446917653 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781604487936 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9538] ppid=9523 vsize=28768336 memory=3463912 CPUtime=0 cores=0-7
/proc/9525/task/9538/stat : 9538 (java) S 9523 9523 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781603436496 139782423877531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9539] ppid=9523 vsize=28768336 memory=14012 CPUtime=3.46 cores=0-7
/proc/9525/task/9539/stat : 9539 (java) S 9523 9523 7356 0 -1 1077944384 13828 0 0 0 344 2 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781602384624 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9540] ppid=9523 vsize=28768336 memory=14080 CPUtime=3.63 cores=0-7
/proc/9525/task/9540/stat : 9540 (java) S 9523 9523 7356 0 -1 1077944384 13956 0 0 0 360 3 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781601332080 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9541] ppid=9523 vsize=28768336 memory=26220 CPUtime=3.51 cores=0-7
/proc/9525/task/9541/stat : 9541 (java) S 9523 9523 7356 0 -1 1077944384 13782 0 0 0 347 4 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781600279024 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9542] ppid=9523 vsize=28768336 memory=2120 CPUtime=0.92 cores=0-7
/proc/9525/task/9542/stat : 9542 (java) S 9523 9523 7356 0 -1 1077944384 13059 0 0 0 89 3 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781599226480 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9543] ppid=9523 vsize=28768336 memory=508 CPUtime=0 cores=0-7
/proc/9525/task/9543/stat : 9543 (java) S 9523 9523 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781598173664 139782423869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9544] ppid=9523 vsize=28768336 memory=1560 CPUtime=0.06 cores=0-7
/proc/9525/task/9544/stat : 9544 (java) S 9523 9523 7356 0 -1 1077944384 1643 0 0 0 3 3 0 0 20 0 28 0 446917656 29458776064 865978 33554432000 4194304 4196468 140736107106224 139781597121200 139782423870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9585] ppid=9523 vsize=28768336 memory=3463912 CPUtime=246.59 cores=0-7
/proc/9525/task/9585/stat : 9585 (java) R 9523 9523 7356 0 -1 4202560 845 0 0 0 24659 0 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780597721816 139782071390483 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9586] ppid=9523 vsize=28768336 memory=4000 CPUtime=247.79 cores=0-7
/proc/9525/task/9586/stat : 9586 (java) R 9523 9523 7356 0 -1 4202560 911 0 0 0 24779 0 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780593513032 139782069517185 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9587] ppid=9523 vsize=28768336 memory=1552 CPUtime=245.54 cores=0-7
/proc/9525/task/9587/stat : 9587 (java) R 9523 9523 7356 0 -1 4202560 3438 0 0 0 24551 3 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780599829256 139782069517393 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9588] ppid=9523 vsize=28768336 memory=1712 CPUtime=246.28 cores=0-7
/proc/9525/task/9588/stat : 9588 (java) R 9523 9523 7356 0 -1 4202560 15842 0 0 0 24564 64 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780595619208 139782069517016 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9589] ppid=9523 vsize=28768336 memory=1196 CPUtime=247.6 cores=0-7
/proc/9525/task/9589/stat : 9589 (java) R 9523 9523 7356 0 -1 4202560 1708 0 0 0 24753 7 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780598776120 139782068924744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9590] ppid=9523 vsize=28768336 memory=1044 CPUtime=246.83 cores=0-7
/proc/9525/task/9590/stat : 9590 (java) R 9523 9523 7356 0 -1 4202560 3104 0 0 0 24666 17 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780596670952 139782070329952 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9591] ppid=9523 vsize=28768336 memory=712 CPUtime=247.66 cores=0-7
/proc/9525/task/9591/stat : 9591 (java) R 9523 9523 7356 0 -1 4202560 19074 0 0 0 24711 55 0 0 20 0 28 0 446918016 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780594567200 139782070538374 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
[pid=9525/tid=9592] ppid=9523 vsize=28768336 memory=2832 CPUtime=246.84 cores=0-7
/proc/9525/task/9592/stat : 9592 (java) R 9523 9523 7356 0 -1 4202560 4842 0 0 0 24655 29 0 0 20 0 28 0 446918017 29458776064 865978 33554432000 4194304 4196468 140736107106224 139780592459760 139782068924744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29184000 140736107107312 140736107107483 140736107107483 140736107110351 0
Current children cumulated CPU time: 1994.48 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3465360 KiB

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

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

[startup+252.108 s]
# the end of solver process 9525 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1992.49 s, system=2.6213 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.108
CPU time (s): 1995.11
CPU user time (s): 1992.49
CPU system time (s): 2.6213
CPU usage (%): 791.372
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 3467184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1992.49
system time used= 2.6213
maximum resident set size= 3467192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138735
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11981
involuntary context switches= 22538


# summary of solver processes directly reported to runsolver:
#   pid: 9523,9525
#   total CPU time (s): 1995.11
#   total CPU user time (s): 1992.49
#   total CPU system time (s): 2.6213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.36048 second user time and 2.89586 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml
MD5SUM	395c447fdc403b125102e151795ddb76
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	24
Best CPU time to get the best result obtained on this benchmark	31.2143
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	8260
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	3
Maximum variable degree	129
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":9},{"degree":5,"count":12},{"degree":6,"count":13},{"degree":7,"count":7},{"degree":8,"count":10},{"degree":9,"count":2},{"degree":10,"count":8},{"degree":11,"count":3},{"degree":12,"count":4},{"degree":13,"count":5},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":7},{"degree":20,"count":13},{"degree":21,"count":10},{"degree":22,"count":8},{"degree":23,"count":4},{"degree":24,"count":2},{"degree":25,"count":11},{"degree":26,"count":11},{"degree":27,"count":3},"...",{"degree":72,"count":1}, {"degree":73,"count":1}, {"degree":74,"count":1}, {"degree":75,"count":1}, {"degree":76,"count":3}, {"degree":77,"count":7}, {"degree":78,"count":4}, {"degree":79,"count":6}, {"degree":81,"count":1}, {"degree":82,"count":1}, {"degree":83,"count":2}, {"degree":84,"count":1}, {"degree":85,"count":2}, {"degree":86,"count":1}, {"degree":87,"count":2}, {"degree":89,"count":1}, {"degree":90,"count":2}, {"degree":91,"count":1}, {"degree":92,"count":1}, {"degree":93,"count":1}, {"degree":96,"count":1}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":107,"count":1}, {"degree":129,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":8260}]
Number of extensional constraints	0
Number of intensional constraints	8260
Distribution of constraint types	[{"type":"intension","count":8260}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400306

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
