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)	12	1993.18	252.103
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 (7411 MiB free)
  memory of node 1: 16384 MiB (6443 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404901-1569003346/watcher-4404901-1569003346 -o /var/tmp/evaluation-result-4404901-1569003346/solver-4404901-1569003346 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1302133684 HOME/instance-4404901-1569003346.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
Current StackSize limit: 8192 KiB

solver pid=24295, runsolver pid=24292

[startup+0.100135 s]*
/proc/loadavg: 7.84 8.36 8.36 2/212 24316
/proc/meminfo: memFree=14170540/32770624 swapFree=66972360/67108860
[pid=24295] ppid=24292 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24295/stat : 24295 (xcsp3-exec) S 24292 24295 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476276416 115843072 364 33554432000 4194304 5098028 140724130076048 140724130074152 139936585925244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25972736 140724130079575 140724130079834 140724130079834 140724130082758 0
/proc/24295/statm: 28282 364 305 221 0 87 0
[pid=24297] ppid=24295 vsize=28227396 memory=29308 CPUtime=0.12 cores=0-7
/proc/24297/stat : 24297 (java) S 24295 24295 16074 0 -1 1077944320 5802 0 0 0 11 1 0 0 20 0 20 0 476276416 28904853504 7327 33554432000 4194304 4196468 140727167898464 140727167881008 140419495632631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
/proc/24297/statm: 7056849 7327 3121 1 0 7019032 0
[pid=24297/tid=24298] ppid=24295 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/24297/task/24298/stat : 24298 (java) R 24295 24295 16074 0 -1 4202560 3711 0 0 0 8 0 0 0 20 0 20 0 476276417 28904853504 7327 33554432000 4194304 4196468 140727167898464 140419499865904 140419495654557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24299] ppid=24295 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24297/task/24299/stat : 24299 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276417 28904853504 7327 33554432000 4194304 4196468 140727167898464 140419460914192 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24300] ppid=24295 vsize=28227396 memory=140180053345920 CPUtime=0 cores=0-7
/proc/24297/task/24300/stat : 24300 (java) S 24295 24295 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276417 28904853504 7327 33554432000 4194304 4196468 140727167898464 140419046091920 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24301] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24301/stat : 24301 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276417 28904853504 7327 33554432000 4194304 4196468 140727167898464 140419045038864 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24302] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24302/stat : 24302 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276417 28904853504 7327 33554432000 4194304 4196468 140727167898464 140419043986320 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24303] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24303/stat : 24303 (java) S 24295 24295 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276417 28904853504 7327 33554432000 4194304 4196468 140727167898464 140419042933264 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24304] ppid=24295 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24297/task/24304/stat : 24304 (java) S 24295 24295 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276417 28904853504 7327 33554432000 4194304 4196468 140727167898464 140419041880720 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24305] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24305/stat : 24305 (java) S 24295 24295 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276418 28904853504 7327 33554432000 4194304 4196468 140727167898464 140419040827664 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24306] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24306/stat : 24306 (java) S 24295 24295 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276418 28904853504 7327 33554432000 4194304 4196468 140727167898464 140419039775120 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24307] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24307/stat : 24307 (java) S 24295 24295 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276419 28904853504 7327 33554432000 4194304 4196468 140727167898464 140418996759280 140419495643778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24308] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24308/stat : 24308 (java) S 24295 24295 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476276419 28904853504 7327 33554432000 4194304 4196468 140727167898464 140418995705504 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24309] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24309/stat : 24309 (java) S 24295 24295 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476276420 28904853504 7327 33554432000 4194304 4196468 140727167898464 140418994652400 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24310] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24310/stat : 24310 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276422 28904853504 7327 33554432000 4194304 4196468 140727167898464 140418993600976 140419495651227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24311] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24311/stat : 24311 (java) S 24295 24295 16074 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 476276422 28904853504 7327 33554432000 4194304 4196468 140727167898464 140418992548080 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24312] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24312/stat : 24312 (java) R 24295 24295 16074 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 20 0 476276422 28904853504 7327 33554432000 4194304 4196468 140727167898464 140418991495536 140419495643778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24313] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24313/stat : 24313 (java) S 24295 24295 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276422 28904853504 7327 33554432000 4194304 4196468 140727167898464 140418873419760 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24314] ppid=24295 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/24297/task/24314/stat : 24314 (java) R 24295 24295 16074 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 476276422 28904853504 7327 33554432000 4194304 4196468 140727167898464 140418872367216 140419474551359 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24315] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24315/stat : 24315 (java) S 24295 24295 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276422 28904853504 7327 33554432000 4194304 4196468 140727167898464 140418871315424 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24316] ppid=24295 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24297/task/24316/stat : 24316 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276423 28904853504 7327 33554432000 4194304 4196468 140727167898464 140418870262960 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30764 KiB

[startup+0.210671 s]*
/proc/loadavg: 7.84 8.36 8.36 2/211 24316
/proc/meminfo: memFree=14157440/32770624 swapFree=66972360/67108860
[pid=24295] ppid=24292 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24295/stat : 24295 (xcsp3-exec) S 24292 24295 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476276416 115843072 364 33554432000 4194304 5098028 140724130076048 140724130074152 139936585925244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25972736 140724130079575 140724130079834 140724130079834 140724130082758 0
/proc/24295/statm: 28282 364 305 221 0 87 0
[pid=24297] ppid=24295 vsize=28227396 memory=41368 CPUtime=0.34 cores=0-7
/proc/24297/stat : 24297 (java) S 24295 24295 16074 0 -1 1077944320 9553 0 0 0 31 3 0 0 20 0 20 0 476276416 28904853504 10342 33554432000 4194304 4196468 140727167898464 140727167881008 140419495632631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
/proc/24297/statm: 7056849 10342 3312 1 0 7019032 0
[pid=24297/tid=24298] ppid=24295 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24297/task/24298/stat : 24298 (java) R 24295 24295 16074 0 -1 4202560 6694 0 0 0 18 2 0 0 20 0 20 0 476276417 28904853504 10342 33554432000 4194304 4196468 140727167898464 140419499864544 140419495644566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24299] ppid=24295 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/24297/task/24299/stat : 24299 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276417 28904853504 10342 33554432000 4194304 4196468 140727167898464 140419460914192 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24300] ppid=24295 vsize=28227396 memory=4120991255042508448 CPUtime=0 cores=0-7
/proc/24297/task/24300/stat : 24300 (java) S 24295 24295 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276417 28904853504 10342 33554432000 4194304 4196468 140727167898464 140419046091920 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24301] ppid=24295 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24297/task/24301/stat : 24301 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276417 28904853504 10342 33554432000 4194304 4196468 140727167898464 140419045038864 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24302] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24302/stat : 24302 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276417 28904853504 10342 33554432000 4194304 4196468 140727167898464 140419043986320 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24303] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24303/stat : 24303 (java) S 24295 24295 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276417 28904853504 10342 33554432000 4194304 4196468 140727167898464 140419042933264 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24304] ppid=24295 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24297/task/24304/stat : 24304 (java) S 24295 24295 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276417 28904853504 10342 33554432000 4194304 4196468 140727167898464 140419041880720 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24305] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24305/stat : 24305 (java) S 24295 24295 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276418 28904853504 10342 33554432000 4194304 4196468 140727167898464 140419040827664 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24306] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24306/stat : 24306 (java) S 24295 24295 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276418 28904853504 10342 33554432000 4194304 4196468 140727167898464 140419039775120 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24307] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24307/stat : 24307 (java) S 24295 24295 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476276419 28904853504 10342 33554432000 4194304 4196468 140727167898464 140418996759280 140419495643778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24308] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24308/stat : 24308 (java) S 24295 24295 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476276419 28904853504 10342 33554432000 4194304 4196468 140727167898464 140418995705504 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24309] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24309/stat : 24309 (java) S 24295 24295 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476276420 28904853504 10342 33554432000 4194304 4196468 140727167898464 140418994652400 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24310] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24310/stat : 24310 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276422 28904853504 10342 33554432000 4194304 4196468 140727167898464 140418993600976 140419495651227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24311] ppid=24295 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/24297/task/24311/stat : 24311 (java) S 24295 24295 16074 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 20 0 476276422 28904853504 10342 33554432000 4194304 4196468 140727167898464 140418992548080 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24312] ppid=24295 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/24297/task/24312/stat : 24312 (java) S 24295 24295 16074 0 -1 1077944384 202 0 0 0 2 0 0 0 20 0 20 0 476276422 28904853504 10342 33554432000 4194304 4196468 140727167898464 140418991495536 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24313] ppid=24295 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/24297/task/24313/stat : 24313 (java) S 24295 24295 16074 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 476276422 28904853504 10342 33554432000 4194304 4196468 140727167898464 140418873419760 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24314] ppid=24295 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/24297/task/24314/stat : 24314 (java) R 24295 24295 16074 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 20 0 476276422 28904853504 10342 33554432000 4194304 4196468 140727167898464 140418872367024 140419495644566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24315] ppid=24295 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24315/stat : 24315 (java) S 24295 24295 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276422 28904853504 10342 33554432000 4194304 4196468 140727167898464 140418871315424 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24316] ppid=24295 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24297/task/24316/stat : 24316 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276423 28904853504 10342 33554432000 4194304 4196468 140727167898464 140418870262960 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42824 KiB

[startup+0.320829 s]*
/proc/loadavg: 7.84 8.36 8.36 3/211 24316
/proc/meminfo: memFree=14149788/32770624 swapFree=66972360/67108860
[pid=24295] ppid=24292 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24295/stat : 24295 (xcsp3-exec) S 24292 24295 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476276416 115843072 364 33554432000 4194304 5098028 140724130076048 140724130074152 139936585925244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25972736 140724130079575 140724130079834 140724130079834 140724130082758 0
/proc/24295/statm: 28282 364 305 221 0 87 0
[pid=24297] ppid=24295 vsize=28231652 memory=50288 CPUtime=0.55 cores=0-7
/proc/24297/stat : 24297 (java) S 24295 24295 16074 0 -1 1077944320 10990 0 0 0 51 4 0 0 20 0 20 0 476276416 28909211648 12572 33554432000 4194304 4196468 140727167898464 140727167881008 140419495632631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
/proc/24297/statm: 7057913 12572 3350 1 0 7019032 0
[pid=24297/tid=24298] ppid=24295 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/24297/task/24298/stat : 24298 (java) R 24295 24295 16074 0 -1 4202560 7950 0 0 0 28 2 0 0 20 0 20 0 476276417 28909211648 12572 33554432000 4194304 4196468 140727167898464 140419499872272 140419495653978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24299] ppid=24295 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24299/stat : 24299 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276417 28909211648 12637 33554432000 4194304 4196468 140727167898464 140419460914192 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24300] ppid=24295 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24300/stat : 24300 (java) S 24295 24295 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276417 28909211648 12637 33554432000 4194304 4196468 140727167898464 140419046091920 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24301] ppid=24295 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24301/stat : 24301 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276417 28909211648 12637 33554432000 4194304 4196468 140727167898464 140419045038864 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24302] ppid=24295 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24302/stat : 24302 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276417 28909211648 12637 33554432000 4194304 4196468 140727167898464 140419043986320 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24303] ppid=24295 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24303/stat : 24303 (java) S 24295 24295 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276417 28909211648 12637 33554432000 4194304 4196468 140727167898464 140419042933264 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24304] ppid=24295 vsize=28231652 memory=140179948006063 CPUtime=0 cores=0-7
/proc/24297/task/24304/stat : 24304 (java) S 24295 24295 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276417 28909211648 12637 33554432000 4194304 4196468 140727167898464 140419041880720 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24305] ppid=24295 vsize=28231652 memory=140179948008368 CPUtime=0 cores=0-7
/proc/24297/task/24305/stat : 24305 (java) S 24295 24295 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276418 28909211648 12637 33554432000 4194304 4196468 140727167898464 140419040827664 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24306] ppid=24295 vsize=28231652 memory=140179948010672 CPUtime=0 cores=0-7
/proc/24297/task/24306/stat : 24306 (java) S 24295 24295 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276418 28909211648 12637 33554432000 4194304 4196468 140727167898464 140419039775120 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24307] ppid=24295 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24307/stat : 24307 (java) S 24295 24295 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476276419 28909211648 12637 33554432000 4194304 4196468 140727167898464 140418996759280 140419495643778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24308] ppid=24295 vsize=28231652 memory=280359896035216 CPUtime=0 cores=0-7
/proc/24297/task/24308/stat : 24308 (java) S 24295 24295 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476276419 28909211648 12637 33554432000 4194304 4196468 140727167898464 140418995705504 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24309] ppid=24295 vsize=28231652 memory=280359896032912 CPUtime=0 cores=0-7
/proc/24297/task/24309/stat : 24309 (java) S 24295 24295 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476276420 28909211648 12637 33554432000 4194304 4196468 140727167898464 140418994652400 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24310] ppid=24295 vsize=28231652 memory=280359896039824 CPUtime=0 cores=0-7
/proc/24297/task/24310/stat : 24310 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276422 28909211648 12637 33554432000 4194304 4196468 140727167898464 140418993600976 140419495651227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24311] ppid=24295 vsize=28231652 memory=280359895981104 CPUtime=0.02 cores=0-7
/proc/24297/task/24311/stat : 24311 (java) S 24295 24295 16074 0 -1 1077944384 516 0 0 0 2 0 0 0 20 0 20 0 476276422 28909211648 12637 33554432000 4194304 4196468 140727167898464 140418992548080 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24312] ppid=24295 vsize=28231652 memory=280359896053648 CPUtime=0.04 cores=0-7
/proc/24297/task/24312/stat : 24312 (java) S 24295 24295 16074 0 -1 1077944384 294 0 0 0 4 0 0 0 20 0 20 0 476276422 28909211648 12637 33554432000 4194304 4196468 140727167898464 140418991495536 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24313] ppid=24295 vsize=28231652 memory=280359896060560 CPUtime=0.02 cores=0-7
/proc/24297/task/24313/stat : 24313 (java) S 24295 24295 16074 0 -1 1077944384 96 0 0 0 2 0 0 0 20 0 20 0 476276422 28909211648 12637 33554432000 4194304 4196468 140727167898464 140418873419760 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24314] ppid=24295 vsize=28231652 memory=280359896058256 CPUtime=0.12 cores=0-7
/proc/24297/task/24314/stat : 24314 (java) S 24295 24295 16074 0 -1 1077944384 822 0 0 0 12 0 0 0 20 0 20 0 476276422 28909211648 12637 33554432000 4194304 4196468 140727167898464 140418872367216 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24315] ppid=24295 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24315/stat : 24315 (java) S 24295 24295 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276422 28909211648 12637 33554432000 4194304 4196468 140727167898464 140418871315424 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24316] ppid=24295 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/24297/task/24316/stat : 24316 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276423 28909211648 12637 33554432000 4194304 4196468 140727167898464 140418870262960 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51744 KiB

[startup+0.700965 s]
/proc/loadavg: 7.84 8.36 8.36 4/211 24316
/proc/meminfo: memFree=14129572/32770624 swapFree=66972360/67108860
[pid=24295] ppid=24292 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24295/stat : 24295 (xcsp3-exec) S 24292 24295 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476276416 115843072 364 33554432000 4194304 5098028 140724130076048 140724130074152 139936585925244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25972736 140724130079575 140724130079834 140724130079834 140724130082758 0
/proc/24295/statm: 28282 364 305 221 0 87 0
[pid=24297] ppid=24295 vsize=28233776 memory=93224 CPUtime=1.77 cores=0-7
/proc/24297/stat : 24297 (java) S 24295 24295 16074 0 -1 1077944320 15974 0 0 0 171 6 0 0 20 0 20 0 476276416 28911386624 23306 33554432000 4194304 4196468 140727167898464 140727167881008 140419495632631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
/proc/24297/statm: 7058444 23306 3451 1 0 7019544 0
[pid=24297/tid=24298] ppid=24295 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/24297/task/24298/stat : 24298 (java) R 24295 24295 16074 0 -1 4202560 9224 0 0 0 64 3 0 0 20 0 20 0 476276417 28911386624 23306 33554432000 4194304 4196468 140727167898464 140419499868416 140419495644566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24299] ppid=24295 vsize=28233776 memory=140179948217200 CPUtime=0 cores=0-7
/proc/24297/task/24299/stat : 24299 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276417 28911386624 23306 33554432000 4194304 4196468 140727167898464 140419460914192 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24300] ppid=24295 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/24297/task/24300/stat : 24300 (java) S 24295 24295 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276417 28911386624 23306 33554432000 4194304 4196468 140727167898464 140419046091920 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24301] ppid=24295 vsize=28233776 memory=1200 CPUtime=0 cores=0-7
/proc/24297/task/24301/stat : 24301 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276417 28911386624 23306 33554432000 4194304 4196468 140727167898464 140419045038864 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0

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

[pid=24297/tid=24356] ppid=24295 vsize=28768336 memory=1456 CPUtime=158.02 cores=0-7
/proc/24297/task/24356/stat : 24356 (java) R 24295 24295 16074 0 -1 4202560 5923 0 0 0 15792 10 0 0 20 0 28 0 476276655 29458776064 315693 33554432000 4194304 4196468 140727167898464 140418788351360 140419141928895 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
Current children cumulated CPU time: 1281.14 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1264228 KiB

[startup+222.302 s]
/proc/loadavg: 7.86 8.29 8.34 9/219 24370
/proc/meminfo: memFree=12862616/32770624 swapFree=66972360/67108860
[pid=24295] ppid=24292 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24295/stat : 24295 (xcsp3-exec) S 24292 24295 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476276416 115843072 364 33554432000 4194304 5098028 140724130076048 140724130074152 139936585925244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25972736 140724130079575 140724130079834 140724130079834 140724130082758 0
/proc/24295/statm: 28282 364 305 221 0 87 0
[pid=24297] ppid=24295 vsize=28768336 memory=1341844 CPUtime=1756.64 cores=0-7
/proc/24297/stat : 24297 (java) S 24295 24295 16074 0 -1 1077944320 162984 0 0 0 175506 158 0 0 20 0 28 0 476276416 29458776064 335461 33554432000 4194304 4196468 140727167898464 140727167881008 140419495632631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
/proc/24297/statm: 7192084 335461 3531 1 0 7153184 0
[pid=24297/tid=24298] ppid=24295 vsize=28768336 memory=1456 CPUtime=1.48 cores=0-7
/proc/24297/task/24298/stat : 24298 (java) S 24295 24295 16074 0 -1 1077944384 9927 0 0 0 143 5 0 0 20 0 28 0 476276417 29458776064 335461 33554432000 4194304 4196468 140727167898464 140419499873408 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24299] ppid=24295 vsize=28768336 memory=1341772 CPUtime=0.71 cores=0-7
/proc/24297/task/24299/stat : 24299 (java) S 24295 24295 16074 0 -1 1077944384 5593 0 0 0 62 9 0 0 20 0 28 0 476276417 29458776064 335461 33554432000 4194304 4196468 140727167898464 140419460914192 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24300] ppid=24295 vsize=28768336 memory=1456 CPUtime=0.7 cores=0-7
/proc/24297/task/24300/stat : 24300 (java) S 24295 24295 16074 0 -1 1077944384 4742 0 0 0 62 8 0 0 20 0 28 0 476276417 29458776064 335461 33554432000 4194304 4196468 140727167898464 140419046091920 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24301] ppid=24295 vsize=28768336 memory=1322772 CPUtime=0.71 cores=0-7
/proc/24297/task/24301/stat : 24301 (java) S 24295 24295 16074 0 -1 1077944384 3728 0 0 0 62 9 0 0 20 0 28 0 476276417 29458776064 335461 33554432000 4194304 4196468 140727167898464 140419045038864 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24302] ppid=24295 vsize=28768336 memory=1341772 CPUtime=0.7 cores=0-7
/proc/24297/task/24302/stat : 24302 (java) S 24295 24295 16074 0 -1 1077944384 5282 0 0 0 62 8 0 0 20 0 28 0 476276417 29458776064 335461 33554432000 4194304 4196468 140727167898464 140419043986320 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24303] ppid=24295 vsize=28768336 memory=6791534058613427641 CPUtime=0.7 cores=0-7
/proc/24297/task/24303/stat : 24303 (java) S 24295 24295 16074 0 -1 1077944384 4630 0 0 0 61 9 0 0 20 0 28 0 476276417 29458776064 335461 33554432000 4194304 4196468 140727167898464 140419042933264 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24304] ppid=24295 vsize=28768336 memory=500 CPUtime=0.71 cores=0-7
/proc/24297/task/24304/stat : 24304 (java) S 24295 24295 16074 0 -1 1077944384 4656 0 0 0 63 8 0 0 20 0 28 0 476276417 29458776064 335461 33554432000 4194304 4196468 140727167898464 140419041880720 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24305] ppid=24295 vsize=28768336 memory=3612 CPUtime=0.72 cores=0-7
/proc/24297/task/24305/stat : 24305 (java) S 24295 24295 16074 0 -1 1077944384 4821 0 0 0 62 10 0 0 20 0 28 0 476276418 29458776064 335461 33554432000 4194304 4196468 140727167898464 140419040827664 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24306] ppid=24295 vsize=28768336 memory=1318500 CPUtime=0.72 cores=0-7
/proc/24297/task/24306/stat : 24306 (java) S 24295 24295 16074 0 -1 1077944384 4982 0 0 0 64 8 0 0 20 0 28 0 476276418 29458776064 335461 33554432000 4194304 4196468 140727167898464 140419039775120 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24307] ppid=24295 vsize=28768336 memory=1456 CPUtime=0.44 cores=0-7
/proc/24297/task/24307/stat : 24307 (java) S 24295 24295 16074 0 -1 1077944384 15232 0 0 0 38 6 0 0 20 0 28 0 476276419 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418996759280 140419495643778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24308] ppid=24295 vsize=28768336 memory=1339584 CPUtime=0 cores=0-7
/proc/24297/task/24308/stat : 24308 (java) S 24295 24295 16074 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476276419 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418995705568 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24309] ppid=24295 vsize=28768336 memory=992 CPUtime=0 cores=0-7
/proc/24297/task/24309/stat : 24309 (java) S 24295 24295 16074 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476276420 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418994652416 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24310] ppid=24295 vsize=28768336 memory=2044 CPUtime=0 cores=0-7
/proc/24297/task/24310/stat : 24310 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476276422 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418993600976 140419495651227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24311] ppid=24295 vsize=28768336 memory=804 CPUtime=2.64 cores=0-7
/proc/24297/task/24311/stat : 24311 (java) S 24295 24295 16074 0 -1 1077944384 10471 0 0 0 262 2 0 0 20 0 28 0 476276422 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418992548080 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24312] ppid=24295 vsize=28768336 memory=1804 CPUtime=2.62 cores=0-7
/proc/24297/task/24312/stat : 24312 (java) S 24295 24295 16074 0 -1 1077944384 11846 0 0 0 260 2 0 0 20 0 28 0 476276422 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418991495536 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24313] ppid=24295 vsize=28768336 memory=1436 CPUtime=2.82 cores=0-7
/proc/24297/task/24313/stat : 24313 (java) S 24295 24295 16074 0 -1 1077944384 14079 0 0 0 280 2 0 0 20 0 28 0 476276422 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418873419760 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24314] ppid=24295 vsize=28768336 memory=1984 CPUtime=0.94 cores=0-7
/proc/24297/task/24314/stat : 24314 (java) S 24295 24295 16074 0 -1 1077944384 12697 0 0 0 91 3 0 0 20 0 28 0 476276422 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418872367216 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24315] ppid=24295 vsize=28768336 memory=2424 CPUtime=0 cores=0-7
/proc/24297/task/24315/stat : 24315 (java) S 24295 24295 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476276422 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418871315424 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24316] ppid=24295 vsize=28768336 memory=1298340 CPUtime=0.06 cores=0-7
/proc/24297/task/24316/stat : 24316 (java) S 24295 24295 16074 0 -1 1077944384 1520 0 0 0 6 0 0 0 20 0 28 0 476276423 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418870262960 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24349] ppid=24295 vsize=28768336 memory=3612 CPUtime=216.8 cores=0-7
/proc/24297/task/24349/stat : 24349 (java) R 24295 24295 16074 0 -1 4202560 5675 0 0 0 21676 4 0 0 20 0 28 0 476276654 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418858126000 140419141413094 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24350] ppid=24295 vsize=28768336 memory=1456 CPUtime=217.62 cores=0-7
/proc/24297/task/24350/stat : 24350 (java) R 24295 24295 16074 0 -1 4202560 4326 0 0 0 21758 4 0 0 20 0 28 0 476276654 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418860229488 140419140523960 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24351] ppid=24295 vsize=28768336 memory=1456 CPUtime=216.24 cores=0-7
/proc/24297/task/24351/stat : 24351 (java) R 24295 24295 16074 0 -1 4202560 8001 0 0 0 21612 12 0 0 20 0 28 0 476276654 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418857073440 140419142909881 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24352] ppid=24295 vsize=28768336 memory=1339584 CPUtime=216.45 cores=0-7
/proc/24297/task/24352/stat : 24352 (java) R 24295 24295 16074 0 -1 4202560 7251 0 0 0 21637 8 0 0 20 0 28 0 476276654 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418861281528 140419139598958 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24353] ppid=24295 vsize=28768336 memory=2044 CPUtime=216.71 cores=0-7
/proc/24297/task/24353/stat : 24353 (java) R 24295 24295 16074 0 -1 4202560 4275 0 0 0 21668 3 0 0 20 0 28 0 476276654 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418786242176 140419139426170 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24354] ppid=24295 vsize=28768336 memory=1456 CPUtime=217.37 cores=0-7
/proc/24297/task/24354/stat : 24354 (java) R 24295 24295 16074 0 -1 4202560 4876 0 0 0 21728 9 0 0 20 0 28 0 476276654 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418859178368 140419139426208 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24355] ppid=24295 vsize=28768336 memory=1341772 CPUtime=217.24 cores=0-7
/proc/24297/task/24355/stat : 24355 (java) R 24295 24295 16074 0 -1 4202560 5080 0 0 0 21717 7 0 0 20 0 28 0 476276654 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418787299104 140419142909374 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24356] ppid=24295 vsize=28768336 memory=1764 CPUtime=217.23 cores=0-7
/proc/24297/task/24356/stat : 24356 (java) R 24295 24295 16074 0 -1 4202560 7112 0 0 0 21712 11 0 0 20 0 28 0 476276655 29458776064 335461 33554432000 4194304 4196468 140727167898464 140418788348384 140419140526996 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
Current children cumulated CPU time: 1756.64 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1343300 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.91 8.26 8.33 9/219 24372
/proc/meminfo: memFree=12788020/32770624 swapFree=66972360/67108860
[pid=24295] ppid=24292 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24295/stat : 24295 (xcsp3-exec) S 24292 24295 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476276416 115843072 364 33554432000 4194304 5098028 140724130076048 140724130074152 139936585925244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25972736 140724130079575 140724130079834 140724130079834 140724130082758 0
/proc/24295/statm: 28282 364 305 221 0 87 0
[pid=24297] ppid=24295 vsize=28768336 memory=1415636 CPUtime=1992.54 cores=0-7
/proc/24297/stat : 24297 (java) S 24295 24295 16074 0 -1 1077944320 181380 0 0 0 199080 174 0 0 20 0 28 0 476276416 29458776064 353909 33554432000 4194304 4196468 140727167898464 140727167881008 140419495632631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
/proc/24297/statm: 7192084 353909 3531 1 0 7153184 0
[pid=24297/tid=24298] ppid=24295 vsize=28768336 memory=8317482817917895235 CPUtime=1.48 cores=0-7
/proc/24297/task/24298/stat : 24298 (java) S 24295 24295 16074 0 -1 1077944384 9927 0 0 0 143 5 0 0 20 0 28 0 476276417 29458776064 353909 33554432000 4194304 4196468 140727167898464 140419499873408 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24299] ppid=24295 vsize=28768336 memory=4872558044660077418 CPUtime=0.87 cores=0-7
/proc/24297/task/24299/stat : 24299 (java) S 24295 24295 16074 0 -1 1077944384 6554 0 0 0 77 10 0 0 20 0 28 0 476276417 29458776064 353909 33554432000 4194304 4196468 140727167898464 140419460914192 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24300] ppid=24295 vsize=28768336 memory=1556 CPUtime=0.85 cores=0-7
/proc/24297/task/24300/stat : 24300 (java) S 24295 24295 16074 0 -1 1077944384 6008 0 0 0 75 10 0 0 20 0 28 0 476276417 29458776064 353909 33554432000 4194304 4196468 140727167898464 140419046091920 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24301] ppid=24295 vsize=28768336 memory=924 CPUtime=0.86 cores=0-7
/proc/24297/task/24301/stat : 24301 (java) S 24295 24295 16074 0 -1 1077944384 4757 0 0 0 76 10 0 0 20 0 28 0 476276417 29458776064 353909 33554432000 4194304 4196468 140727167898464 140419045038864 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24302] ppid=24295 vsize=28768336 memory=1672 CPUtime=0.85 cores=0-7
/proc/24297/task/24302/stat : 24302 (java) S 24295 24295 16074 0 -1 1077944384 6450 0 0 0 76 9 0 0 20 0 28 0 476276417 29458776064 353909 33554432000 4194304 4196468 140727167898464 140419043986320 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24303] ppid=24295 vsize=28768336 memory=780 CPUtime=0.86 cores=0-7
/proc/24297/task/24303/stat : 24303 (java) S 24295 24295 16074 0 -1 1077944384 5084 0 0 0 75 11 0 0 20 0 28 0 476276417 29458776064 353909 33554432000 4194304 4196468 140727167898464 140419042933264 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24304] ppid=24295 vsize=28768336 memory=1436 CPUtime=0.87 cores=0-7
/proc/24297/task/24304/stat : 24304 (java) S 24295 24295 16074 0 -1 1077944384 5669 0 0 0 77 10 0 0 20 0 28 0 476276417 29458776064 353909 33554432000 4194304 4196468 140727167898464 140419041880720 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24305] ppid=24295 vsize=28768336 memory=1984 CPUtime=0.88 cores=0-7
/proc/24297/task/24305/stat : 24305 (java) S 24295 24295 16074 0 -1 1077944384 5796 0 0 0 77 11 0 0 20 0 28 0 476276418 29458776064 353909 33554432000 4194304 4196468 140727167898464 140419040827664 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24306] ppid=24295 vsize=28768336 memory=2424 CPUtime=0.87 cores=0-7
/proc/24297/task/24306/stat : 24306 (java) S 24295 24295 16074 0 -1 1077944384 6130 0 0 0 78 9 0 0 20 0 28 0 476276418 29458776064 353909 33554432000 4194304 4196468 140727167898464 140419039775120 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24307] ppid=24295 vsize=28768336 memory=1764 CPUtime=0.51 cores=0-7
/proc/24297/task/24307/stat : 24307 (java) S 24295 24295 16074 0 -1 1077944384 17940 0 0 0 45 6 0 0 20 0 28 0 476276419 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418996759280 140419495643778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24308] ppid=24295 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/24297/task/24308/stat : 24308 (java) S 24295 24295 16074 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476276419 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418995705568 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24309] ppid=24295 vsize=28768336 memory=804 CPUtime=0 cores=0-7
/proc/24297/task/24309/stat : 24309 (java) S 24295 24295 16074 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476276420 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418994652416 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24310] ppid=24295 vsize=28768336 memory=1804 CPUtime=0 cores=0-7
/proc/24297/task/24310/stat : 24310 (java) S 24295 24295 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476276422 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418993600976 140419495651227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24311] ppid=24295 vsize=28768336 memory=920 CPUtime=2.64 cores=0-7
/proc/24297/task/24311/stat : 24311 (java) S 24295 24295 16074 0 -1 1077944384 10481 0 0 0 262 2 0 0 20 0 28 0 476276422 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418992548080 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24312] ppid=24295 vsize=28768336 memory=4948 CPUtime=2.62 cores=0-7
/proc/24297/task/24312/stat : 24312 (java) S 24295 24295 16074 0 -1 1077944384 11856 0 0 0 260 2 0 0 20 0 28 0 476276422 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418991495536 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24313] ppid=24295 vsize=28768336 memory=4104 CPUtime=2.82 cores=0-7
/proc/24297/task/24313/stat : 24313 (java) S 24295 24295 16074 0 -1 1077944384 14094 0 0 0 280 2 0 0 20 0 28 0 476276422 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418873419760 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24314] ppid=24295 vsize=28768336 memory=1412 CPUtime=0.94 cores=0-7
/proc/24297/task/24314/stat : 24314 (java) S 24295 24295 16074 0 -1 1077944384 12707 0 0 0 91 3 0 0 20 0 28 0 476276422 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418872367216 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24315] ppid=24295 vsize=28768336 memory=3700 CPUtime=0 cores=0-7
/proc/24297/task/24315/stat : 24315 (java) S 24295 24295 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476276422 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418871315424 140419495642837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24316] ppid=24295 vsize=28768336 memory=1456 CPUtime=0.07 cores=0-7
/proc/24297/task/24316/stat : 24316 (java) S 24295 24295 16074 0 -1 1077944384 1691 0 0 0 7 0 0 0 20 0 28 0 476276423 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418870262960 140419495643778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24349] ppid=24295 vsize=28768336 memory=1399652 CPUtime=246.09 cores=0-7
/proc/24297/task/24349/stat : 24349 (java) R 24295 24295 16074 0 -1 4202560 6462 0 0 0 24605 4 0 0 20 0 28 0 476276654 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418858122952 140419142845407 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24350] ppid=24295 vsize=28768336 memory=1732 CPUtime=246.93 cores=0-7
/proc/24297/task/24350/stat : 24350 (java) R 24295 24295 16074 0 -1 4202560 5067 0 0 0 24688 5 0 0 20 0 28 0 476276654 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418860229624 140419475357845 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24351] ppid=24295 vsize=28768336 memory=740 CPUtime=245.6 cores=0-7
/proc/24297/task/24351/stat : 24351 (java) R 24295 24295 16074 0 -1 4202560 9119 0 0 0 24548 12 0 0 20 0 28 0 476276654 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418857069464 140419142766300 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24352] ppid=24295 vsize=28768336 memory=1056 CPUtime=245.82 cores=0-7
/proc/24297/task/24352/stat : 24352 (java) R 24295 24295 16074 0 -1 4202560 8272 0 0 0 24573 9 0 0 20 0 28 0 476276654 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418861284128 140419141023109 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24353] ppid=24295 vsize=28768336 memory=1984 CPUtime=245.95 cores=0-7
/proc/24297/task/24353/stat : 24353 (java) R 24295 24295 16074 0 -1 4202560 5160 0 0 0 24591 4 0 0 20 0 28 0 476276654 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418786241984 140419140526486 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24354] ppid=24295 vsize=28768336 memory=2424 CPUtime=246.66 cores=0-7
/proc/24297/task/24354/stat : 24354 (java) R 24295 24295 16074 0 -1 4202560 5845 0 0 0 24655 11 0 0 20 0 28 0 476276654 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418859175896 140419140527001 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24355] ppid=24295 vsize=28768336 memory=1456 CPUtime=246.65 cores=0-7
/proc/24297/task/24355/stat : 24355 (java) R 24295 24295 16074 0 -1 4202560 5994 0 0 0 24657 8 0 0 20 0 28 0 476276654 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418787296168 140419142926165 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
[pid=24297/tid=24356] ppid=24295 vsize=28768336 memory=6791534058613427641 CPUtime=246.54 cores=0-7
/proc/24297/task/24356/stat : 24356 (java) R 24295 24295 16074 0 -1 4202560 8135 0 0 0 24642 12 0 0 20 0 28 0 476276655 29458776064 353909 33554432000 4194304 4196468 140727167898464 140418788349176 140419141928844 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 10174464 140727167902684 140727167902859 140727167902859 140727167905743 0
Current children cumulated CPU time: 1992.54 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1417092 KiB

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

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

[startup+252.103 s]
# the end of solver process 24297 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1991.42 s, system=1.76481 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.103
CPU time (s): 1993.18
CPU user time (s): 1991.42
CPU system time (s): 1.76481
CPU usage (%): 790.621
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 1417092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1991.42
system time used= 1.76481
maximum resident set size= 1416340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183239
page faults= 0
swaps= 0
block input operations= 0
block output operations= 624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45970
involuntary context switches= 24876


# summary of solver processes directly reported to runsolver:
#   pid: 24295,24297
#   total CPU time (s): 1993.18
#   total CPU user time (s): 1991.42
#   total CPU system time (s): 1.76481

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.22374 second user time and 3.01947 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	26.8114
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404901

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
