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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	SAT (TO)	22	19944.5	2520.14
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 (11761 MiB free)
  memory of node 1: 16384 MiB (14448 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394048-1568447964/watcher-4394048-1568447964 -o /tmp/evaluation-result-4394048-1568447964/solver-4394048-1568447964 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568439668-23122 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 986662459 HOME/instance-4394048-1568447964.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25340, runsolver pid=25337
Current StackSize limit: 8192 KiB


[startup+0.100165 s]*
/proc/loadavg: 6.51 7.58 7.19 2/211 25361
/proc/meminfo: memFree=26821276/32770624 swapFree=66957016/67108860
[pid=25340] ppid=25337 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25340/stat : 25340 (xcsp3-exec) S 25337 25340 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420710242 115843072 364 33554432000 4194304 5098028 140730481460480 140730481458584 139998334489212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29495296 140730481468278 140730481468521 140730481468521 140730481471434 0
/proc/25340/statm: 28282 364 305 221 0 87 0
[pid=25342] ppid=25340 vsize=28227388 memory=29800 CPUtime=0.13 cores=0-7
/proc/25342/stat : 25342 (java) S 25340 25340 23095 0 -1 1077944320 5922 0 0 0 12 1 0 0 20 0 20 0 420710242 28904845312 7450 33554432000 4194304 4196468 140728700562640 140728700545184 140501486935799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
/proc/25342/statm: 7056847 7450 3120 1 0 7019032 0
[pid=25342/tid=25343] ppid=25340 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/25342/task/25343/stat : 25343 (java) R 25340 25340 23095 0 -1 4202560 3828 0 0 0 8 0 0 0 20 0 20 0 420710242 28904845312 7450 33554432000 4194304 4196468 140728700562640 140501491168048 140501486947734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25344] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25344/stat : 25344 (java) S 25340 25340 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 7450 33554432000 4194304 4196468 140728700562640 140501406787984 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25345] ppid=25340 vsize=28227388 memory=140371781957248 CPUtime=0 cores=0-7
/proc/25342/task/25345/stat : 25345 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 7450 33554432000 4194304 4196468 140728700562640 140501405735184 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25346] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25346/stat : 25346 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 7450 33554432000 4194304 4196468 140728700562640 140501404682896 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25347] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25347/stat : 25347 (java) S 25340 25340 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 7450 33554432000 4194304 4196468 140728700562640 140501403630096 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25348] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25348/stat : 25348 (java) S 25340 25340 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 7450 33554432000 4194304 4196468 140728700562640 140501402577808 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25349] ppid=25340 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25342/task/25349/stat : 25349 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 7450 33554432000 4194304 4196468 140728700562640 140501401525008 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25350] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25350/stat : 25350 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 7450 33554432000 4194304 4196468 140728700562640 140501400472720 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25351] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25351/stat : 25351 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 7450 33554432000 4194304 4196468 140728700562640 140501031443472 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25352] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25352/stat : 25352 (java) S 25340 25340 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420710244 28904845312 7450 33554432000 4194304 4196468 140728700562640 140500602542192 140501486946946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25353] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25353/stat : 25353 (java) S 25340 25340 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420710245 28904845312 7450 33554432000 4194304 4196468 140728700562640 140500601488160 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25354] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25354/stat : 25354 (java) S 25340 25340 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420710245 28904845312 7450 33554432000 4194304 4196468 140728700562640 140500600435824 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25355] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25355/stat : 25355 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710248 28904845312 7450 33554432000 4194304 4196468 140728700562640 140500599384144 140501486954395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25356] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25356/stat : 25356 (java) S 25340 25340 23095 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 420710248 28904845312 7450 33554432000 4194304 4196468 140728700562640 140500598332016 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25357] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25357/stat : 25357 (java) S 25340 25340 23095 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420710248 28904845312 7450 33554432000 4194304 4196468 140728700562640 140500597279216 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25358] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25358/stat : 25358 (java) S 25340 25340 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420710248 28904845312 7450 33554432000 4194304 4196468 140728700562640 140500596226928 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25359] ppid=25340 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/25342/task/25359/stat : 25359 (java) R 25340 25340 23095 0 -1 4202560 366 0 0 0 1 0 0 0 20 0 20 0 420710248 28904845312 7450 33554432000 4194304 4196468 140728700562640 140500595174128 140501472101352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25360] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25360/stat : 25360 (java) S 25340 25340 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420710248 28904845312 7450 33554432000 4194304 4196468 140728700562640 140499606301024 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25361] ppid=25340 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25342/task/25361/stat : 25361 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710248 28904845312 7450 33554432000 4194304 4196468 140728700562640 140499605248304 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31256 KiB

[startup+0.210133 s]*
/proc/loadavg: 6.51 7.58 7.19 2/211 25361
/proc/meminfo: memFree=26808356/32770624 swapFree=66957016/67108860
[pid=25340] ppid=25337 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25340/stat : 25340 (xcsp3-exec) S 25337 25340 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420710242 115843072 364 33554432000 4194304 5098028 140730481460480 140730481458584 139998334489212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29495296 140730481468278 140730481468521 140730481468521 140730481471434 0
/proc/25340/statm: 28282 364 305 221 0 87 0
[pid=25342] ppid=25340 vsize=28227388 memory=41096 CPUtime=0.34 cores=0-7
/proc/25342/stat : 25342 (java) S 25340 25340 23095 0 -1 1077944320 9524 0 0 0 31 3 0 0 20 0 20 0 420710242 28904845312 10274 33554432000 4194304 4196468 140728700562640 140728700545184 140501486935799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
/proc/25342/statm: 7056847 10274 3271 1 0 7019032 0
[pid=25342/tid=25343] ppid=25340 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/25342/task/25343/stat : 25343 (java) R 25340 25340 23095 0 -1 4202560 6660 0 0 0 18 2 0 0 20 0 20 0 420710242 28904845312 10274 33554432000 4194304 4196468 140728700562640 140501491167024 140501472204291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25344] ppid=25340 vsize=28227388 memory=328 CPUtime=0 cores=0-7
/proc/25342/task/25344/stat : 25344 (java) S 25340 25340 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 10274 33554432000 4194304 4196468 140728700562640 140501406787984 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25345] ppid=25340 vsize=28227388 memory=140371785120857 CPUtime=0 cores=0-7
/proc/25342/task/25345/stat : 25345 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 10274 33554432000 4194304 4196468 140728700562640 140501405735184 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25346] ppid=25340 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25342/task/25346/stat : 25346 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 10274 33554432000 4194304 4196468 140728700562640 140501404682896 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25347] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25347/stat : 25347 (java) S 25340 25340 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 10274 33554432000 4194304 4196468 140728700562640 140501403630096 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25348] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25348/stat : 25348 (java) S 25340 25340 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 10274 33554432000 4194304 4196468 140728700562640 140501402577808 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25349] ppid=25340 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25342/task/25349/stat : 25349 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 10274 33554432000 4194304 4196468 140728700562640 140501401525008 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25350] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25350/stat : 25350 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 10274 33554432000 4194304 4196468 140728700562640 140501400472720 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25351] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25351/stat : 25351 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28904845312 10274 33554432000 4194304 4196468 140728700562640 140501031443472 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25352] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25352/stat : 25352 (java) S 25340 25340 23095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420710244 28904845312 10274 33554432000 4194304 4196468 140728700562640 140500602542192 140501486946946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25353] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25353/stat : 25353 (java) S 25340 25340 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420710245 28904845312 10274 33554432000 4194304 4196468 140728700562640 140500601488160 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25354] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25354/stat : 25354 (java) S 25340 25340 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420710245 28904845312 10274 33554432000 4194304 4196468 140728700562640 140500600435824 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25355] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25355/stat : 25355 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710248 28904845312 10274 33554432000 4194304 4196468 140728700562640 140500599384144 140501486954395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25356] ppid=25340 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/25342/task/25356/stat : 25356 (java) S 25340 25340 23095 0 -1 1077944384 592 0 0 0 1 0 0 0 20 0 20 0 420710248 28904845312 10274 33554432000 4194304 4196468 140728700562640 140500598332016 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25357] ppid=25340 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/25342/task/25357/stat : 25357 (java) S 25340 25340 23095 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 20 0 420710248 28904845312 10274 33554432000 4194304 4196468 140728700562640 140500597279216 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25358] ppid=25340 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/25342/task/25358/stat : 25358 (java) S 25340 25340 23095 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 420710248 28904845312 10274 33554432000 4194304 4196468 140728700562640 140500596226928 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25359] ppid=25340 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/25342/task/25359/stat : 25359 (java) R 25340 25340 23095 0 -1 4202560 739 0 0 0 7 0 0 0 20 0 20 0 420710248 28904845312 10274 33554432000 4194304 4196468 140728700562640 140500595174128 140501486947734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25360] ppid=25340 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25360/stat : 25360 (java) S 25340 25340 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420710248 28904845312 10274 33554432000 4194304 4196468 140728700562640 140499606301024 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25361] ppid=25340 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25342/task/25361/stat : 25361 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710248 28904845312 10274 33554432000 4194304 4196468 140728700562640 140499605248304 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42552 KiB

[startup+0.309521 s]*
/proc/loadavg: 6.51 7.58 7.19 4/211 25361
/proc/meminfo: memFree=26801476/32770624 swapFree=66957016/67108860
[pid=25340] ppid=25337 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25340/stat : 25340 (xcsp3-exec) S 25337 25340 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420710242 115843072 364 33554432000 4194304 5098028 140730481460480 140730481458584 139998334489212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29495296 140730481468278 140730481468521 140730481468521 140730481471434 0
/proc/25340/statm: 28282 364 305 221 0 87 0
[pid=25342] ppid=25340 vsize=28231644 memory=50012 CPUtime=0.52 cores=0-7
/proc/25342/stat : 25342 (java) S 25340 25340 23095 0 -1 1077944320 10872 0 0 0 48 4 0 0 20 0 20 0 420710242 28909203456 12503 33554432000 4194304 4196468 140728700562640 140728700545184 140501486935799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
/proc/25342/statm: 7057911 12503 3345 1 0 7019032 0
[pid=25342/tid=25343] ppid=25340 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25342/task/25343/stat : 25343 (java) R 25340 25340 23095 0 -1 4202560 7770 0 0 0 27 2 0 0 20 0 20 0 420710242 28909203456 12503 33554432000 4194304 4196468 140728700562640 140501491169584 140501471016286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25344] ppid=25340 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25344/stat : 25344 (java) S 25340 25340 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420710243 28909203456 12503 33554432000 4194304 4196468 140728700562640 140501406787984 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25345] ppid=25340 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25345/stat : 25345 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28909203456 12503 33554432000 4194304 4196468 140728700562640 140501405735184 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25346] ppid=25340 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25346/stat : 25346 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28909203456 12503 33554432000 4194304 4196468 140728700562640 140501404682896 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25347] ppid=25340 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25347/stat : 25347 (java) S 25340 25340 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420710243 28909203456 12503 33554432000 4194304 4196468 140728700562640 140501403630096 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25348] ppid=25340 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/25342/task/25348/stat : 25348 (java) S 25340 25340 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420710243 28909203456 12503 33554432000 4194304 4196468 140728700562640 140501402577808 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25349] ppid=25340 vsize=28231644 memory=140371678032815 CPUtime=0 cores=0-7
/proc/25342/task/25349/stat : 25349 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28909203456 12503 33554432000 4194304 4196468 140728700562640 140501401525008 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25350] ppid=25340 vsize=28231644 memory=140371678035120 CPUtime=0 cores=0-7
/proc/25342/task/25350/stat : 25350 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28909203456 12503 33554432000 4194304 4196468 140728700562640 140501400472720 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25351] ppid=25340 vsize=28231644 memory=140371678037424 CPUtime=0 cores=0-7
/proc/25342/task/25351/stat : 25351 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28909203456 12503 33554432000 4194304 4196468 140728700562640 140501031443472 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25352] ppid=25340 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25352/stat : 25352 (java) S 25340 25340 23095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420710244 28909203456 12503 33554432000 4194304 4196468 140728700562640 140500602542192 140501486946946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25353] ppid=25340 vsize=28231644 memory=280743356081808 CPUtime=0 cores=0-7
/proc/25342/task/25353/stat : 25353 (java) S 25340 25340 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420710245 28909203456 12503 33554432000 4194304 4196468 140728700562640 140500601488160 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25354] ppid=25340 vsize=28231644 memory=280743356088720 CPUtime=0 cores=0-7
/proc/25342/task/25354/stat : 25354 (java) S 25340 25340 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420710245 28909203456 12503 33554432000 4194304 4196468 140728700562640 140500600435824 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25355] ppid=25340 vsize=28231644 memory=280743356030000 CPUtime=0 cores=0-7
/proc/25342/task/25355/stat : 25355 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710248 28909203456 12503 33554432000 4194304 4196468 140728700562640 140500599384144 140501486954395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25356] ppid=25340 vsize=28231644 memory=280743356102544 CPUtime=0.03 cores=0-7
/proc/25342/task/25356/stat : 25356 (java) S 25340 25340 23095 0 -1 1077944384 608 0 0 0 3 0 0 0 20 0 20 0 420710248 28909203456 12503 33554432000 4194304 4196468 140728700562640 140500598332016 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25357] ppid=25340 vsize=28231644 memory=280743356109456 CPUtime=0.03 cores=0-7
/proc/25342/task/25357/stat : 25357 (java) R 25340 25340 23095 0 -1 4202560 292 0 0 0 3 0 0 0 20 0 20 0 420710248 28909203456 12503 33554432000 4194304 4196468 140728700562640 140500597279216 140501468121768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25358] ppid=25340 vsize=28231644 memory=280743356107152 CPUtime=0.02 cores=0-7
/proc/25342/task/25358/stat : 25358 (java) S 25340 25340 23095 0 -1 1077944384 55 0 0 0 2 0 0 0 20 0 20 0 420710248 28909203456 12503 33554432000 4194304 4196468 140728700562640 140500596226928 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25359] ppid=25340 vsize=28231644 memory=280743356123312 CPUtime=0.12 cores=0-7
/proc/25342/task/25359/stat : 25359 (java) S 25340 25340 23095 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 20 0 420710248 28909203456 12503 33554432000 4194304 4196468 140728700562640 140500595174128 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25360] ppid=25340 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25360/stat : 25360 (java) S 25340 25340 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420710248 28909203456 12503 33554432000 4194304 4196468 140728700562640 140499606301024 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25361] ppid=25340 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/25342/task/25361/stat : 25361 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710248 28909203456 12503 33554432000 4194304 4196468 140728700562640 140499605248304 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51468 KiB

[startup+0.700911 s]
/proc/loadavg: 6.51 7.58 7.19 4/211 25361
/proc/meminfo: memFree=26777348/32770624 swapFree=66957016/67108860
[pid=25340] ppid=25337 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25340/stat : 25340 (xcsp3-exec) S 25337 25340 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420710242 115843072 364 33554432000 4194304 5098028 140730481460480 140730481458584 139998334489212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29495296 140730481468278 140730481468521 140730481468521 140730481471434 0
/proc/25340/statm: 28282 364 305 221 0 87 0
[pid=25342] ppid=25340 vsize=28233768 memory=105056 CPUtime=1.99 cores=0-7
/proc/25342/stat : 25342 (java) S 25340 25340 23095 0 -1 1077944320 16445 0 0 0 193 6 0 0 20 0 20 0 420710242 28911378432 26264 33554432000 4194304 4196468 140728700562640 140728700545184 140501486935799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
/proc/25342/statm: 7058442 26264 3449 1 0 7019544 0
[pid=25342/tid=25343] ppid=25340 vsize=28233768 memory=280743356481200 CPUtime=0.68 cores=0-7
/proc/25342/task/25343/stat : 25343 (java) R 25340 25340 23095 0 -1 4202560 9111 0 0 0 64 4 0 0 20 0 20 0 420710242 28911378432 26264 33554432000 4194304 4196468 140728700562640 140501491152368 140501486957725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25344] ppid=25340 vsize=28233768 memory=140371678241648 CPUtime=0 cores=0-7
/proc/25342/task/25344/stat : 25344 (java) S 25340 25340 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420710243 28911378432 26264 33554432000 4194304 4196468 140728700562640 140501406787984 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25345] ppid=25340 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/25342/task/25345/stat : 25345 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28911378432 26264 33554432000 4194304 4196468 140728700562640 140501405735184 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25346] ppid=25340 vsize=28233768 memory=1108 CPUtime=0 cores=0-7
/proc/25342/task/25346/stat : 25346 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420710243 28911378432 26264 33554432000 4194304 4196468 140728700562640 140501404682896 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0

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

/proc/meminfo: memFree=21133792/32770624 swapFree=66957016/67108860
[pid=25340] ppid=25337 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25340/stat : 25340 (xcsp3-exec) S 25337 25340 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420710242 115843072 364 33554432000 4194304 5098028 140730481460480 140730481458584 139998334489212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29495296 140730481468278 140730481468521 140730481468521 140730481471434 0
/proc/25340/statm: 28282 364 305 221 0 87 0
[pid=25342] ppid=25340 vsize=28768328 memory=5708024 CPUtime=19802.6 cores=0-7
/proc/25342/stat : 25342 (java) S 25340 25340 23095 0 -1 1077944320 772449 0 0 0 1978830 1427 0 0 20 0 28 0 420710242 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140728700545184 140501486935799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
/proc/25342/statm: 7192082 1427006 3559 1 0 7153184 0
[pid=25342/tid=25343] ppid=25340 vsize=28768328 memory=5708024 CPUtime=3.14 cores=0-7
/proc/25342/task/25343/stat : 25343 (java) S 25340 25340 23095 0 -1 1077944384 13605 0 0 0 303 11 0 0 20 0 28 0 420710242 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140501491176576 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25344] ppid=25340 vsize=28768328 memory=5708024 CPUtime=6.51 cores=0-7
/proc/25342/task/25344/stat : 25344 (java) S 25340 25340 23095 0 -1 1077944384 14590 0 0 0 611 40 0 0 20 0 28 0 420710243 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140501406787984 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25345] ppid=25340 vsize=28768328 memory=1456 CPUtime=6.52 cores=0-7
/proc/25342/task/25345/stat : 25345 (java) S 25340 25340 23095 0 -1 1077944384 13506 0 0 0 615 37 0 0 20 0 28 0 420710243 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140501405735184 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25346] ppid=25340 vsize=28768328 memory=5708024 CPUtime=6.49 cores=0-7
/proc/25342/task/25346/stat : 25346 (java) S 25340 25340 23095 0 -1 1077944384 14598 0 0 0 610 39 0 0 20 0 28 0 420710243 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140501404682896 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25347] ppid=25340 vsize=28768328 memory=1456 CPUtime=6.51 cores=0-7
/proc/25342/task/25347/stat : 25347 (java) S 25340 25340 23095 0 -1 1077944384 13654 0 0 0 612 39 0 0 20 0 28 0 420710243 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140501403630096 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25348] ppid=25340 vsize=28768328 memory=7450482553275835496 CPUtime=6.55 cores=0-7
/proc/25342/task/25348/stat : 25348 (java) S 25340 25340 23095 0 -1 1077944384 14227 0 0 0 612 43 0 0 20 0 28 0 420710243 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140501402577808 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25349] ppid=25340 vsize=28768328 memory=11624 CPUtime=6.54 cores=0-7
/proc/25342/task/25349/stat : 25349 (java) S 25340 25340 23095 0 -1 1077944384 15138 0 0 0 608 46 0 0 20 0 28 0 420710243 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140501401525008 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25350] ppid=25340 vsize=28768328 memory=756 CPUtime=6.55 cores=0-7
/proc/25342/task/25350/stat : 25350 (java) S 25340 25340 23095 0 -1 1077944384 14503 0 0 0 615 40 0 0 20 0 28 0 420710243 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140501400472720 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25351] ppid=25340 vsize=28768328 memory=33 CPUtime=6.56 cores=0-7
/proc/25342/task/25351/stat : 25351 (java) S 25340 25340 23095 0 -1 1077944384 13199 0 0 0 613 43 0 0 20 0 28 0 420710243 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140501031443472 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25352] ppid=25340 vsize=28768328 memory=7680491646476186387 CPUtime=5.83 cores=0-7
/proc/25342/task/25352/stat : 25352 (java) S 25340 25340 23095 0 -1 1077944384 32522 0 0 0 537 46 0 0 20 0 28 0 420710244 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140500602542192 140501486946946 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25353] ppid=25340 vsize=28768328 memory=218665375024862 CPUtime=0 cores=0-7
/proc/25342/task/25353/stat : 25353 (java) S 25340 25340 23095 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 420710245 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140500601488224 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25354] ppid=25340 vsize=28768328 memory=6940164022422365801 CPUtime=0 cores=0-7
/proc/25342/task/25354/stat : 25354 (java) S 25340 25340 23095 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 420710245 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140500600435840 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25355] ppid=25340 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/25342/task/25355/stat : 25355 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420710248 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140500599384144 140501486954395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25356] ppid=25340 vsize=28768328 memory=5701728 CPUtime=7.66 cores=0-7
/proc/25342/task/25356/stat : 25356 (java) S 25340 25340 23095 0 -1 1077944384 84751 0 0 0 753 13 0 0 20 0 28 0 420710248 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140500598332016 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25357] ppid=25340 vsize=28768328 memory=1456 CPUtime=7.21 cores=0-7
/proc/25342/task/25357/stat : 25357 (java) S 25340 25340 23095 0 -1 1077944384 62124 0 0 0 709 12 0 0 20 0 28 0 420710248 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140500597279216 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25358] ppid=25340 vsize=28768328 memory=5707956 CPUtime=8.09 cores=0-7
/proc/25342/task/25358/stat : 25358 (java) S 25340 25340 23095 0 -1 1077944384 71210 0 0 0 798 11 0 0 20 0 28 0 420710248 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140500596226928 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25359] ppid=25340 vsize=28768328 memory=1456 CPUtime=1.55 cores=0-7
/proc/25342/task/25359/stat : 25359 (java) S 25340 25340 23095 0 -1 1077944384 49248 0 0 0 148 7 0 0 20 0 28 0 420710248 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140500595174128 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25360] ppid=25340 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/25342/task/25360/stat : 25360 (java) S 25340 25340 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420710248 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140499606301024 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25361] ppid=25340 vsize=28768328 memory=5708024 CPUtime=1.03 cores=0-7
/proc/25342/task/25361/stat : 25361 (java) S 25340 25340 23095 0 -1 1077944384 7102 0 0 0 41 62 0 0 20 0 28 0 420710248 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140499605248304 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25453] ppid=25340 vsize=28768328 memory=5708024 CPUtime=2212.34 cores=0-7
/proc/25342/task/25453/stat : 25453 (java) R 25340 25340 23095 0 -1 4202560 11382 0 0 0 221225 9 0 0 20 0 28 0 420738447 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140499591019336 140501091767792 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25454] ppid=25340 vsize=28768328 memory=1456 CPUtime=2201.81 cores=0-7
/proc/25342/task/25454/stat : 25454 (java) R 25340 25340 23095 0 -1 4202560 5917 0 0 0 220173 8 0 0 20 0 28 0 420738447 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140499594178024 140501091778583 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25455] ppid=25340 vsize=28768328 memory=5708024 CPUtime=2198.21 cores=0-7
/proc/25342/task/25455/stat : 25455 (java) R 25340 25340 23095 0 -1 4202560 134465 0 0 0 219469 352 0 0 20 0 28 0 420738447 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140499592073128 140501086368183 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25456] ppid=25340 vsize=28768328 memory=1456 CPUtime=2212.66 cores=0-7
/proc/25342/task/25456/stat : 25456 (java) R 25340 25340 23095 0 -1 4202560 69239 0 0 0 220948 318 0 0 20 0 28 0 420738447 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140499589967992 140501092563263 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25457] ppid=25340 vsize=28768328 memory=5707956 CPUtime=2211.43 cores=0-7
/proc/25342/task/25457/stat : 25457 (java) R 25340 25340 23095 0 -1 4202560 7625 0 0 0 221133 10 0 0 20 0 28 0 420738447 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140499588915416 140501091778480 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25458] ppid=25340 vsize=28768328 memory=5707956 CPUtime=2204.03 cores=0-7
/proc/25342/task/25458/stat : 25458 (java) R 25340 25340 23095 0 -1 4202560 5638 0 0 0 220395 8 0 0 20 0 28 0 420738447 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140499280019432 140501090804465 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25459] ppid=25340 vsize=28768328 memory=796 CPUtime=2210.31 cores=0-7
/proc/25342/task/25459/stat : 25459 (java) R 25340 25340 23095 0 -1 4202560 8049 0 0 0 221020 11 0 0 20 0 28 0 420738447 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140499278966464 140501089687649 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25460] ppid=25340 vsize=28768328 memory=1368 CPUtime=2203.31 cores=0-7
/proc/25342/task/25460/stat : 25460 (java) R 25340 25340 23095 0 -1 4202560 8328 0 0 0 220323 8 0 0 20 0 28 0 420738448 29458767872 1427006 33554432000 4194304 4196468 140728700562640 140499593125512 140501091778628 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
Current children cumulated CPU time: 19802.6 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5709480 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.46 8.43 8.27 9/220 25629
/proc/meminfo: memFree=21100828/32770624 swapFree=66957016/67108860
[pid=25340] ppid=25337 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25340/stat : 25340 (xcsp3-exec) S 25337 25340 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420710242 115843072 364 33554432000 4194304 5098028 140730481460480 140730481458584 139998334489212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29495296 140730481468278 140730481468521 140730481468521 140730481471434 0
/proc/25340/statm: 28282 364 305 221 0 87 0
[pid=25342] ppid=25340 vsize=28768328 memory=5740792 CPUtime=19943.8 cores=0-7
/proc/25342/stat : 25342 (java) S 25340 25340 23095 0 -1 1077944320 774747 0 0 0 1992942 1438 0 0 20 0 28 0 420710242 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140728700545184 140501486935799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
/proc/25342/statm: 7192082 1435198 3559 1 0 7153184 0
[pid=25342/tid=25343] ppid=25340 vsize=28768328 memory=1398720917958146503 CPUtime=3.14 cores=0-7
/proc/25342/task/25343/stat : 25343 (java) S 25340 25340 23095 0 -1 1077944384 13605 0 0 0 303 11 0 0 20 0 28 0 420710242 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140501491176576 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25344] ppid=25340 vsize=28768328 memory=4126316290023845779 CPUtime=6.54 cores=0-7
/proc/25342/task/25344/stat : 25344 (java) S 25340 25340 23095 0 -1 1077944384 14691 0 0 0 614 40 0 0 20 0 28 0 420710243 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140501406787984 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25345] ppid=25340 vsize=28768328 memory=1368 CPUtime=6.55 cores=0-7
/proc/25342/task/25345/stat : 25345 (java) S 25340 25340 23095 0 -1 1077944384 13538 0 0 0 618 37 0 0 20 0 28 0 420710243 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140501405735184 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25346] ppid=25340 vsize=28768328 memory=1056 CPUtime=6.52 cores=0-7
/proc/25342/task/25346/stat : 25346 (java) S 25340 25340 23095 0 -1 1077944384 14745 0 0 0 613 39 0 0 20 0 28 0 420710243 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140501404682896 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25347] ppid=25340 vsize=28768328 memory=1716 CPUtime=6.55 cores=0-7
/proc/25342/task/25347/stat : 25347 (java) S 25340 25340 23095 0 -1 1077944384 13690 0 0 0 615 40 0 0 20 0 28 0 420710243 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140501403630096 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25348] ppid=25340 vsize=28768328 memory=1368 CPUtime=6.59 cores=0-7
/proc/25342/task/25348/stat : 25348 (java) S 25340 25340 23095 0 -1 1077944384 14248 0 0 0 615 44 0 0 20 0 28 0 420710243 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140501402577808 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25349] ppid=25340 vsize=28768328 memory=1056 CPUtime=6.57 cores=0-7
/proc/25342/task/25349/stat : 25349 (java) S 25340 25340 23095 0 -1 1077944384 15187 0 0 0 611 46 0 0 20 0 28 0 420710243 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140501401525008 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25350] ppid=25340 vsize=28768328 memory=1716 CPUtime=6.57 cores=0-7
/proc/25342/task/25350/stat : 25350 (java) S 25340 25340 23095 0 -1 1077944384 14932 0 0 0 617 40 0 0 20 0 28 0 420710243 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140501400472720 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25351] ppid=25340 vsize=28768328 memory=6100 CPUtime=6.59 cores=0-7
/proc/25342/task/25351/stat : 25351 (java) S 25340 25340 23095 0 -1 1077944384 13219 0 0 0 615 44 0 0 20 0 28 0 420710243 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140501031443472 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25352] ppid=25340 vsize=28768328 memory=11624 CPUtime=5.83 cores=0-7
/proc/25342/task/25352/stat : 25352 (java) S 25340 25340 23095 0 -1 1077944384 32579 0 0 0 537 46 0 0 20 0 28 0 420710244 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140500602542192 140501486946946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25353] ppid=25340 vsize=28768328 memory=988 CPUtime=0 cores=0-7
/proc/25342/task/25353/stat : 25353 (java) S 25340 25340 23095 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 420710245 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140500601488224 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25354] ppid=25340 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/25342/task/25354/stat : 25354 (java) S 25340 25340 23095 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 420710245 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140500600435840 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25355] ppid=25340 vsize=28768328 memory=4248 CPUtime=0 cores=0-7
/proc/25342/task/25355/stat : 25355 (java) S 25340 25340 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420710248 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140500599384144 140501486954395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25356] ppid=25340 vsize=28768328 memory=1412 CPUtime=7.66 cores=0-7
/proc/25342/task/25356/stat : 25356 (java) S 25340 25340 23095 0 -1 1077944384 84751 0 0 0 753 13 0 0 20 0 28 0 420710248 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140500598332016 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25357] ppid=25340 vsize=28768328 memory=3796 CPUtime=7.21 cores=0-7
/proc/25342/task/25357/stat : 25357 (java) S 25340 25340 23095 0 -1 1077944384 62124 0 0 0 709 12 0 0 20 0 28 0 420710248 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140500597279216 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25358] ppid=25340 vsize=28768328 memory=5708024 CPUtime=8.09 cores=0-7
/proc/25342/task/25358/stat : 25358 (java) S 25340 25340 23095 0 -1 1077944384 71210 0 0 0 798 11 0 0 20 0 28 0 420710248 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140500596226928 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25359] ppid=25340 vsize=28768328 memory=5708024 CPUtime=1.55 cores=0-7
/proc/25342/task/25359/stat : 25359 (java) S 25340 25340 23095 0 -1 1077944384 49248 0 0 0 148 7 0 0 20 0 28 0 420710248 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140500595174128 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25360] ppid=25340 vsize=28768328 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/25342/task/25360/stat : 25360 (java) S 25340 25340 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420710248 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140499606301024 140501486946005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25361] ppid=25340 vsize=28768328 memory=111632 CPUtime=1.03 cores=0-7
/proc/25342/task/25361/stat : 25361 (java) S 25340 25340 23095 0 -1 1077944384 7102 0 0 0 41 62 0 0 20 0 28 0 420710248 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140499605248304 140501486946946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25453] ppid=25340 vsize=28768328 memory=796 CPUtime=2230 cores=0-7
/proc/25342/task/25453/stat : 25453 (java) R 25340 25340 23095 0 -1 4202560 11383 0 0 0 222991 9 0 0 20 0 28 0 420738447 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140499591019336 140501091779223 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25454] ppid=25340 vsize=28768328 memory=1804 CPUtime=2219.1 cores=0-7
/proc/25342/task/25454/stat : 25454 (java) R 25340 25340 23095 0 -1 4202560 5942 0 0 0 221902 8 0 0 20 0 28 0 420738447 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140499594180960 140501090805606 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25455] ppid=25340 vsize=28768328 memory=1456 CPUtime=2215.88 cores=0-7
/proc/25342/task/25455/stat : 25455 (java) R 25340 25340 23095 0 -1 4202560 135098 0 0 0 221234 354 0 0 20 0 28 0 420738447 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140499592073128 140501094096912 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25456] ppid=25340 vsize=28768328 memory=776 CPUtime=2230.32 cores=0-7
/proc/25342/task/25456/stat : 25456 (java) R 25340 25340 23095 0 -1 4202560 69932 0 0 0 222710 322 0 0 20 0 28 0 420738447 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140499589968136 140501093631032 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25457] ppid=25340 vsize=28768328 memory=1560 CPUtime=2229.1 cores=0-7
/proc/25342/task/25457/stat : 25457 (java) R 25340 25340 23095 0 -1 4202560 7645 0 0 0 222900 10 0 0 20 0 28 0 420738447 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140499588915416 140501093252396 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25458] ppid=25340 vsize=28768328 memory=4008 CPUtime=2221.69 cores=0-7
/proc/25342/task/25458/stat : 25458 (java) R 25340 25340 23095 0 -1 4202560 5664 0 0 0 222161 8 0 0 20 0 28 0 420738447 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140499280019768 140501091778906 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25459] ppid=25340 vsize=28768328 memory=1108 CPUtime=2227.98 cores=0-7
/proc/25342/task/25459/stat : 25459 (java) R 25340 25340 23095 0 -1 4202560 8052 0 0 0 222787 11 0 0 20 0 28 0 420738447 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140499278966464 140501089687618 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
[pid=25342/tid=25460] ppid=25340 vsize=28768328 memory=2828 CPUtime=2220.98 cores=0-7
/proc/25342/task/25460/stat : 25460 (java) R 25340 25340 23095 0 -1 4202560 8333 0 0 0 222090 8 0 0 20 0 28 0 420738448 29458767872 1435198 33554432000 4194304 4196468 140728700562640 140499593125272 140501091779243 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36515840 140728700564458 140728700564630 140728700564630 140728700567503 0
Current children cumulated CPU time: 19943.8 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5742248 KiB

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

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

[startup+2520.14 s]
# the end of solver process 25342 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19930.1 s, system=14.4385 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

[startup+2520.13 s]*
/proc/loadavg: 8.46 8.43 8.27 2/193 25631
/proc/meminfo: memFree=26683592/32770624 swapFree=66957016/67108860
Current cumulated CPU time of completed processes: 0.002364 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 19944.5
CPU user time (s): 19930.1
CPU system time (s): 14.4385
CPU usage (%): 791.403
Max. virtual memory (cumulated for all children) (KiB): 28885260
Max. memory (cumulated for all children) (KiB): 5742248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19930.1
system time used= 14.4385
maximum resident set size= 5741264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 775862
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70577
involuntary context switches= 222684


# summary of solver processes directly reported to runsolver:
#   pid: 25340,25342
#   total CPU time (s): 19944.5
#   total CPU user time (s): 19930.1
#   total CPU system time (s): 14.4385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.2354 second user time and 30.2979 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml
MD5SUM	edb7fc8f5d274005fc89ddd50225e87c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	18
Best CPU time to get the best result obtained on this benchmark	2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3757
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":48},{"size":22,"count":36},{"size":24,"count":18},{"size":36,"count":122},{"size":42,"count":170},{"size":44,"count":286}]
Minimum variable degree	2
Maximum variable degree	23
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":46},{"degree":7,"count":68},{"degree":8,"count":77},{"degree":9,"count":85},{"degree":10,"count":54},{"degree":11,"count":33},{"degree":12,"count":37},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":1},{"degree":16,"count":35},{"degree":17,"count":26},{"degree":18,"count":63},{"degree":19,"count":54},{"degree":20,"count":32},{"degree":21,"count":12},{"degree":22,"count":7},{"degree":23,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3757}]
Number of extensional constraints	0
Number of intensional constraints	3757
Distribution of constraint types	[{"type":"intension","count":3757}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4394048

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
