2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8 2018-06-13	OPT	792	21.5717	8.66103
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 (5063 MiB free)
  memory of node 1: 16384 MiB (12707 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293560-1532321219/watcher-4293560-1532321219 -o /tmp/evaluation-result-4293560-1532321219/solver-4293560-1532321219 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532296223-4594 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1878765638 HOME/instance-4293560-1532321219.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100116 s]*
/proc/loadavg: 1.74 1.72 1.66 3/206 10352
/proc/meminfo: memFree=18192248/32770624 swapFree=67108860/67108860
[pid=10295] ppid=10292 vsize=9972712 memory=16812 CPUtime=0.1 cores=1,3,5,7
/proc/10295/stat : 10295 (java) S 10292 10295 4562 0 -1 1077944320 4345 13108 0 0 1 1 5 3 20 0 6 0 49685129 10212057088 4203 33554432000 4194304 4196468 140732514097728 140732514080272 140473581231863 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
/proc/10295/statm: 2493178 4203 1934 1 0 2481616 0
[pid=10295/tid=10348] ppid=10292 vsize=9972712 memory=4279135703946462605 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10348/stat : 10348 (java) R 10292 10295 4562 0 -1 4202560 2180 13108 0 0 0 0 5 3 20 0 6 0 49685138 10212057088 4203 33554432000 4194304 4196468 140732514097728 140473553068624 140473566914355 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10349] ppid=10292 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10349/stat : 10349 (java) S 10292 10295 4562 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 6 0 49685139 10212057088 4203 33554432000 4194304 4196468 140732514097728 140473585473808 140473581242069 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10350] ppid=10292 vsize=9972712 memory=140654690588288 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10350/stat : 10350 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 6 0 49685139 10212057088 4203 33554432000 4194304 4196468 140732514097728 140473484364176 140473581242069 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10351] ppid=10292 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10351/stat : 10351 (java) S 10292 10295 4562 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 6 0 49685139 10212057088 4203 33554432000 4194304 4196468 140732514097728 140473483311632 140473581242069 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10352] ppid=10292 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10352/stat : 10352 (java) S 10292 10295 4562 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 6 0 49685139 10212057088 4203 33554432000 4194304 4196468 140732514097728 140473152694928 140473581242069 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB

[startup+0.21015 s]*
/proc/loadavg: 1.74 1.72 1.66 3/215 10361
/proc/meminfo: memFree=18168656/32770624 swapFree=67108860/67108860
[pid=10295] ppid=10292 vsize=10818856 memory=42600 CPUtime=0.26 cores=1,3,5,7
/proc/10295/stat : 10295 (java) S 10292 10295 4562 0 -1 1077944320 8542 13108 0 0 16 2 5 3 20 0 15 0 49685129 11078508544 10650 33554432000 4194304 4196468 140732514097728 140732514080272 140473581231863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
/proc/10295/statm: 2704714 10650 2946 1 0 2667149 0
[pid=10295/tid=10348] ppid=10292 vsize=10818856 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/10295/task/10348/stat : 10348 (java) R 10292 10295 4562 0 -1 4202560 5089 13108 0 0 10 1 5 3 20 0 15 0 49685138 11078508544 10650 33554432000 4194304 4196468 140732514097728 140473553029520 140473561507744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10349] ppid=10292 vsize=10818856 memory=331 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10349/stat : 10349 (java) S 10292 10295 4562 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 49685139 11078508544 10650 33554432000 4194304 4196468 140732514097728 140473585473808 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10350] ppid=10292 vsize=10818856 memory=140654690598837 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10350/stat : 10350 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685139 11078508544 10650 33554432000 4194304 4196468 140732514097728 140473484364176 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10351] ppid=10292 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10351/stat : 10351 (java) S 10292 10295 4562 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 49685139 11078508544 10650 33554432000 4194304 4196468 140732514097728 140473483311632 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10352] ppid=10292 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10352/stat : 10352 (java) S 10292 10295 4562 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 49685139 11078508544 10650 33554432000 4194304 4196468 140732514097728 140473152694928 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10353] ppid=10292 vsize=10818856 memory=140654690588288 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10353/stat : 10353 (java) S 10292 10295 4562 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 49685140 11078508544 10650 33554432000 4194304 4196468 140732514097728 140473040374256 140473581243010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10354] ppid=10292 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10354/stat : 10354 (java) S 10292 10295 4562 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 49685141 11078508544 10650 33554432000 4194304 4196468 140732514097728 140472945206688 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10355] ppid=10292 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10355/stat : 10355 (java) S 10292 10295 4562 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 49685141 11078508544 10650 33554432000 4194304 4196468 140732514097728 140472341226992 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10356] ppid=10292 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10356/stat : 10356 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685143 11078508544 10650 33554432000 4194304 4196468 140732514097728 140472100936400 140473581250459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10357] ppid=10292 vsize=10818856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10295/task/10357/stat : 10357 (java) S 10292 10295 4562 0 -1 1077944384 414 13108 0 0 1 0 5 3 20 0 15 0 49685143 11078508544 10650 33554432000 4194304 4196468 140732514097728 140473039321072 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10358] ppid=10292 vsize=10818856 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/10295/task/10358/stat : 10358 (java) S 10292 10295 4562 0 -1 1077944384 188 13108 0 0 1 0 5 3 20 0 15 0 49685143 11078508544 10650 33554432000 4194304 4196468 140732514097728 140473038268528 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10359] ppid=10292 vsize=10818856 memory=140654690588288 CPUtime=0.11 cores=1,3,5,7
/proc/10295/task/10359/stat : 10359 (java) S 10292 10295 4562 0 -1 1077944384 631 13108 0 0 3 0 5 3 20 0 15 0 49685144 11078508544 10650 33554432000 4194304 4196468 140732514097728 140473037215984 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10360] ppid=10292 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10360/stat : 10360 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685144 11078508544 10650 33554432000 4194304 4196468 140732514097728 140472067377760 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10361] ppid=10292 vsize=10818856 memory=140654690588288 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10361/stat : 10361 (java) S 10292 10295 4562 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 49685144 11078508544 10650 33554432000 4194304 4196468 140732514097728 140473036163888 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 42600 KiB

[startup+0.310578 s]*
/proc/loadavg: 1.74 1.72 1.66 3/215 10361
/proc/meminfo: memFree=18158980/32770624 swapFree=67108860/67108860
[pid=10295] ppid=10292 vsize=10819352 memory=53932 CPUtime=0.39 cores=1,3,5,7
/proc/10295/stat : 10295 (java) S 10292 10295 4562 0 -1 1077944320 10560 13108 0 0 28 3 5 3 20 0 15 0 49685129 11079016448 13483 33554432000 4194304 4196468 140732514097728 140732514080272 140473581231863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
/proc/10295/statm: 2704838 13483 3077 1 0 2667149 0
[pid=10295/tid=10348] ppid=10292 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10295/task/10348/stat : 10348 (java) R 10292 10295 4562 0 -1 4202560 7101 13108 0 0 19 2 5 3 20 0 15 0 49685138 11079016448 13483 33554432000 4194304 4196468 140732514097728 140473553043872 140473562796833 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10349] ppid=10292 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10349/stat : 10349 (java) S 10292 10295 4562 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 49685139 11079016448 13483 33554432000 4194304 4196468 140732514097728 140473585473808 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10350] ppid=10292 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10350/stat : 10350 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685139 11079016448 13483 33554432000 4194304 4196468 140732514097728 140473484364176 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10351] ppid=10292 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10351/stat : 10351 (java) S 10292 10295 4562 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 49685139 11079016448 13483 33554432000 4194304 4196468 140732514097728 140473483311632 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10352] ppid=10292 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10352/stat : 10352 (java) S 10292 10295 4562 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 49685139 11079016448 13483 33554432000 4194304 4196468 140732514097728 140473152694928 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10353] ppid=10292 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10353/stat : 10353 (java) S 10292 10295 4562 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 49685140 11079016448 13483 33554432000 4194304 4196468 140732514097728 140473040374256 140473581243010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10354] ppid=10292 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10354/stat : 10354 (java) S 10292 10295 4562 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 49685141 11079016448 13483 33554432000 4194304 4196468 140732514097728 140472945206688 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10355] ppid=10292 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10355/stat : 10355 (java) S 10292 10295 4562 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 49685141 11079016448 13483 33554432000 4194304 4196468 140732514097728 140472341226992 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10356] ppid=10292 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10356/stat : 10356 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685143 11079016448 13483 33554432000 4194304 4196468 140732514097728 140472100936400 140473581250459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10357] ppid=10292 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10295/task/10357/stat : 10357 (java) S 10292 10295 4562 0 -1 1077944384 414 13108 0 0 1 0 5 3 20 0 15 0 49685143 11079016448 13483 33554432000 4194304 4196468 140732514097728 140473039321072 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10358] ppid=10292 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/10295/task/10358/stat : 10358 (java) S 10292 10295 4562 0 -1 1077944384 189 13108 0 0 1 0 5 3 20 0 15 0 49685143 11079016448 13483 33554432000 4194304 4196468 140732514097728 140473038268528 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10359] ppid=10292 vsize=10819352 memory=140654690588288 CPUtime=0.13 cores=1,3,5,7
/proc/10295/task/10359/stat : 10359 (java) S 10292 10295 4562 0 -1 1077944384 636 13108 0 0 5 0 5 3 20 0 15 0 49685144 11079016448 13483 33554432000 4194304 4196468 140732514097728 140473037215984 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10360] ppid=10292 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10360/stat : 10360 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685144 11079016448 13483 33554432000 4194304 4196468 140732514097728 140472067377760 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10361] ppid=10292 vsize=10819352 memory=140654690588288 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10361/stat : 10361 (java) S 10292 10295 4562 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 49685144 11079016448 13483 33554432000 4194304 4196468 140732514097728 140473036163888 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53932 KiB

[startup+0.700809 s]
/proc/loadavg: 1.74 1.72 1.66 4/215 10361
/proc/meminfo: memFree=18147372/32770624 swapFree=67108860/67108860
[pid=10295] ppid=10292 vsize=10819352 memory=86640 CPUtime=0.99 cores=1,3,5,7
/proc/10295/stat : 10295 (java) S 10292 10295 4562 0 -1 1077944320 16816 13108 0 0 87 4 5 3 20 0 15 0 49685129 11079016448 21660 33554432000 4194304 4196468 140732514097728 140732514080272 140473581231863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
/proc/10295/statm: 2704838 21660 3239 1 0 2667149 0
[pid=10295/tid=10348] ppid=10292 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/10295/task/10348/stat : 10348 (java) R 10292 10295 4562 0 -1 4202560 12407 13108 0 0 55 3 5 3 20 0 15 0 49685138 11079016448 21660 33554432000 4194304 4196468 140732514097728 140473553032424 140473565312350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10349] ppid=10292 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10349/stat : 10349 (java) S 10292 10295 4562 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 49685139 11079016448 21660 33554432000 4194304 4196468 140732514097728 140473585473808 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10350] ppid=10292 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10350/stat : 10350 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685139 11079016448 21660 33554432000 4194304 4196468 140732514097728 140473484364176 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10351] ppid=10292 vsize=10819352 memory=140654541943568 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10351/stat : 10351 (java) S 10292 10295 4562 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 49685139 11079016448 21660 33554432000 4194304 4196468 140732514097728 140473483311632 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10352] ppid=10292 vsize=10819352 memory=140655883977300 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10352/stat : 10352 (java) S 10292 10295 4562 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 49685139 11079016448 21660 33554432000 4194304 4196468 140732514097728 140473152694928 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10353] ppid=10292 vsize=10819352 memory=8368 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10353/stat : 10353 (java) S 10292 10295 4562 0 -1 1077944384 5 13108 0 0 0 0 5 3 20 0 15 0 49685140 11079016448 21660 33554432000 4194304 4196468 140732514097728 140473040374256 140473581243010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10354] ppid=10292 vsize=10819352 memory=7662705889289527641 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10354/stat : 10354 (java) S 10292 10295 4562 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 49685141 11079016448 21660 33554432000 4194304 4196468 140732514097728 140472945206688 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10355] ppid=10292 vsize=10819352 memory=7885635084775281010 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10355/stat : 10355 (java) S 10292 10295 4562 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 49685141 11079016448 21660 33554432000 4194304 4196468 140732514097728 140472341226992 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10356] ppid=10292 vsize=10819352 memory=16436 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10356/stat : 10356 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685143 11079016448 21660 33554432000 4194304 4196468 140732514097728 140472100936400 140473581250459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10357] ppid=10292 vsize=10819352 memory=10004 CPUtime=0.15 cores=1,3,5,7
/proc/10295/task/10357/stat : 10357 (java) S 10292 10295 4562 0 -1 1077944384 694 13108 0 0 7 0 5 3 20 0 15 0 49685143 11079016448 21660 33554432000 4194304 4196468 140732514097728 140473039321072 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10358] ppid=10292 vsize=10819352 memory=4008 CPUtime=0.18 cores=1,3,5,7
/proc/10295/task/10358/stat : 10358 (java) S 10292 10295 4562 0 -1 1077944384 795 13108 0 0 10 0 5 3 20 0 15 0 49685143 11079016448 21660 33554432000 4194304 4196468 140732514097728 140473038268528 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10359] ppid=10292 vsize=10819352 memory=1796 CPUtime=0.21 cores=1,3,5,7
/proc/10295/task/10359/stat : 10359 (java) S 10292 10295 4562 0 -1 1077944384 698 13108 0 0 13 0 5 3 20 0 15 0 49685144 11079016448 21660 33554432000 4194304 4196468 140732514097728 140473037215984 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10360] ppid=10292 vsize=10819352 memory=644 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10360/stat : 10360 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685144 11079016448 21660 33554432000 4194304 4196468 140732514097728 140472067377760 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10361] ppid=10292 vsize=10819352 memory=956 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10361/stat : 10361 (java) S 10292 10295 4562 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 49685144 11079016448 21660 33554432000 4194304 4196468 140732514097728 140473036163888 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86640 KiB

[startup+1.5008 s]
/proc/loadavg: 1.74 1.72 1.66 3/215 10361
/proc/meminfo: memFree=18101288/32770624 swapFree=67108860/67108860
[pid=10295] ppid=10292 vsize=10832204 memory=185380 CPUtime=2.88 cores=1,3,5,7
/proc/10295/stat : 10295 (java) S 10292 10295 4562 0 -1 1077944320 25063 13108 0 0 270 10 5 3 20 0 15 0 49685129 11092176896 46345 33554432000 4194304 4196468 140732514097728 140732514080272 140473581231863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
/proc/10295/statm: 2708051 46345 3452 1 0 2669709 0
[pid=10295/tid=10348] ppid=10292 vsize=10832204 memory=63124 CPUtime=1.43 cores=1,3,5,7
/proc/10295/task/10348/stat : 10348 (java) S 10292 10295 4562 0 -1 1077944384 17276 13108 0 0 130 5 5 3 20 0 15 0 49685138 11092176896 46345 33554432000 4194304 4196468 140732514097728 140473553044528 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10349] ppid=10292 vsize=10832204 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10349/stat : 10349 (java) S 10292 10295 4562 0 -1 1077944384 26 13108 0 0 0 0 5 3 20 0 15 0 49685139 11092176896 46345 33554432000 4194304 4196468 140732514097728 140473585473808 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10350] ppid=10292 vsize=10832204 memory=281309083918496 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10350/stat : 10350 (java) S 10292 10295 4562 0 -1 1077944384 28 13108 0 0 0 0 5 3 20 0 15 0 49685139 11092176896 46345 33554432000 4194304 4196468 140732514097728 140473484364176 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10351] ppid=10292 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10351/stat : 10351 (java) S 10292 10295 4562 0 -1 1077944384 49 13108 0 0 0 0 5 3 20 0 15 0 49685139 11092176896 46345 33554432000 4194304 4196468 140732514097728 140473483311632 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10352] ppid=10292 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10352/stat : 10352 (java) S 10292 10295 4562 0 -1 1077944384 173 13108 0 0 0 0 5 3 20 0 15 0 49685139 11092176896 46345 33554432000 4194304 4196468 140732514097728 140473152694928 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10353] ppid=10292 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10353/stat : 10353 (java) R 10292 10295 4562 0 -1 4202560 33 13108 0 0 0 0 5 3 20 0 15 0 49685140 11092176896 46345 33554432000 4194304 4196468 140732514097728 140473040372544 140473562870201 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10354] ppid=10292 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10354/stat : 10354 (java) S 10292 10295 4562 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 49685141 11092176896 46345 33554432000 4194304 4196468 140732514097728 140472945206688 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10355] ppid=10292 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10355/stat : 10355 (java) S 10292 10295 4562 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 49685141 11092176896 46345 33554432000 4194304 4196468 140732514097728 140472341226992 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10356] ppid=10292 vsize=10832204 memory=-2746958450906831424 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10356/stat : 10356 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685143 11092176896 46345 33554432000 4194304 4196468 140732514097728 140472100936400 140473581250459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10357] ppid=10292 vsize=10832204 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/10295/task/10357/stat : 10357 (java) S 10292 10295 4562 0 -1 1077944384 1598 13108 0 0 42 0 5 3 20 0 15 0 49685143 11092176896 46345 33554432000 4194304 4196468 140732514097728 140473039321072 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10358] ppid=10292 vsize=10832204 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/10295/task/10358/stat : 10358 (java) S 10292 10295 4562 0 -1 1077944384 2095 13108 0 0 51 0 5 3 20 0 15 0 49685143 11092176896 46345 33554432000 4194304 4196468 140732514097728 140473038268528 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10359] ppid=10292 vsize=10832204 memory=6791534058613427641 CPUtime=0.51 cores=1,3,5,7
/proc/10295/task/10359/stat : 10359 (java) S 10292 10295 4562 0 -1 1077944384 1575 13108 0 0 43 0 5 3 20 0 15 0 49685144 11092176896 46345 33554432000 4194304 4196468 140732514097728 140473037215984 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10360] ppid=10292 vsize=10832204 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10360/stat : 10360 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685144 11092176896 46345 33554432000 4194304 4196468 140732514097728 140472067377760 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10361] ppid=10292 vsize=10832204 memory=281309084162944 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10361/stat : 10361 (java) S 10292 10295 4562 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 49685144 11092176896 46345 33554432000 4194304 4196468 140732514097728 140473036163888 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 10832204 KiB

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

[startup+8.66097 s]
# the end of solver process 10295 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=21.1969 s, system=0.374795 s

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

[startup+6.40238 s]
/proc/loadavg: 1.92 1.75 1.68 3/215 10361
/proc/meminfo: memFree=17855720/32770624 swapFree=67108860/67108860
[pid=10295] ppid=10292 vsize=10846560 memory=378312 CPUtime=15.37 cores=1,3,5,7
/proc/10295/stat : 10295 (java) S 10292 10295 4562 0 -1 1077944320 54090 13108 0 0 1506 23 5 3 20 0 15 0 49685129 11106877440 94578 33554432000 4194304 4196468 140732514097728 140732514080272 140473581231863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
/proc/10295/statm: 2711640 94578 3519 1 0 2673293 0
[pid=10295/tid=10348] ppid=10292 vsize=10846560 memory=1 CPUtime=6.08 cores=1,3,5,7
/proc/10295/task/10348/stat : 10348 (java) R 10292 10295 4562 0 -1 4202560 28631 13108 0 0 591 9 5 3 20 0 15 0 49685138 11106877440 94578 33554432000 4194304 4196468 140732514097728 140473553064672 140473562795438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10349] ppid=10292 vsize=10846560 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/10295/task/10349/stat : 10349 (java) S 10292 10295 4562 0 -1 1077944384 180 13108 0 0 8 1 5 3 20 0 15 0 49685139 11106877440 94578 33554432000 4194304 4196468 140732514097728 140473585473808 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10350] ppid=10292 vsize=10846560 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/10295/task/10350/stat : 10350 (java) S 10292 10295 4562 0 -1 1077944384 188 13108 0 0 9 1 5 3 20 0 15 0 49685139 11106877440 94578 33554432000 4194304 4196468 140732514097728 140473484364176 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10351] ppid=10292 vsize=10846560 memory=8 CPUtime=0.18 cores=1,3,5,7
/proc/10295/task/10351/stat : 10351 (java) S 10292 10295 4562 0 -1 1077944384 224 13108 0 0 9 1 5 3 20 0 15 0 49685139 11106877440 94578 33554432000 4194304 4196468 140732514097728 140473483311632 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10352] ppid=10292 vsize=10846560 memory=8 CPUtime=0.19 cores=1,3,5,7
/proc/10295/task/10352/stat : 10352 (java) S 10292 10295 4562 0 -1 1077944384 314 13108 0 0 10 1 5 3 20 0 15 0 49685139 11106877440 94578 33554432000 4194304 4196468 140732514097728 140473152694928 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10353] ppid=10292 vsize=10846560 memory=8 CPUtime=0.13 cores=1,3,5,7
/proc/10295/task/10353/stat : 10353 (java) S 10292 10295 4562 0 -1 1077944384 2819 13108 0 0 5 0 5 3 20 0 15 0 49685140 11106877440 94578 33554432000 4194304 4196468 140732514097728 140473040374256 140473581243010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10354] ppid=10292 vsize=10846560 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10354/stat : 10354 (java) S 10292 10295 4562 0 -1 1077944384 16 13108 0 0 0 0 5 3 20 0 15 0 49685141 11106877440 94578 33554432000 4194304 4196468 140732514097728 140472945206816 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10355] ppid=10292 vsize=10846560 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10355/stat : 10355 (java) S 10292 10295 4562 0 -1 1077944384 4 13108 0 0 0 0 5 3 20 0 15 0 49685141 11106877440 94578 33554432000 4194304 4196468 140732514097728 140472341227008 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10356] ppid=10292 vsize=10846560 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10356/stat : 10356 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685143 11106877440 94578 33554432000 4194304 4196468 140732514097728 140472100936400 140473581250459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10357] ppid=10292 vsize=10846560 memory=8 CPUtime=3.39 cores=1,3,5,7
/proc/10295/task/10357/stat : 10357 (java) R 10292 10295 4562 0 -1 4202560 5068 13108 0 0 330 1 5 3 20 0 15 0 49685143 11106877440 94578 33554432000 4194304 4196468 140732514097728 140473039308624 140473573521312 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10358] ppid=10292 vsize=10846560 memory=8 CPUtime=3.64 cores=1,3,5,7
/proc/10295/task/10358/stat : 10358 (java) R 10292 10295 4562 0 -1 4202560 6811 13108 0 0 354 2 5 3 20 0 15 0 49685143 11106877440 94578 33554432000 4194304 4196468 140732514097728 140473038268656 140473562411482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10359] ppid=10292 vsize=10846560 memory=8 CPUtime=1.94 cores=1,3,5,7
/proc/10295/task/10359/stat : 10359 (java) S 10292 10295 4562 0 -1 1077944384 7582 13108 0 0 184 2 5 3 20 0 15 0 49685144 11106877440 94578 33554432000 4194304 4196468 140732514097728 140473037215984 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10360] ppid=10292 vsize=10846560 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10360/stat : 10360 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685144 11106877440 94578 33554432000 4194304 4196468 140732514097728 140472067377760 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10361] ppid=10292 vsize=10846560 memory=355132 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10361/stat : 10361 (java) S 10292 10295 4562 0 -1 1077944384 58 13108 0 0 0 0 5 3 20 0 15 0 49685144 11106877440 94578 33554432000 4194304 4196468 140732514097728 140473036163888 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
Current children cumulated CPU time: 15.37 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 378312 KiB

[startup+8.0008 s]*
/proc/loadavg: 1.92 1.75 1.68 4/215 10361
/proc/meminfo: memFree=17704516/32770624 swapFree=67108860/67108860
[pid=10295] ppid=10292 vsize=10914144 memory=506200 CPUtime=19.9 cores=1,3,5,7
/proc/10295/stat : 10295 (java) S 10292 10295 4562 0 -1 1077944320 65386 13108 0 0 1953 29 5 3 20 0 15 0 49685129 11176083456 126550 33554432000 4194304 4196468 140732514097728 140732514080272 140473581231863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
/proc/10295/statm: 2728536 126550 3526 1 0 2690189 0
[pid=10295/tid=10348] ppid=10292 vsize=10914144 memory=6791534058613427641 CPUtime=7.66 cores=1,3,5,7
/proc/10295/task/10348/stat : 10348 (java) R 10292 10295 4562 0 -1 4202560 37651 13108 0 0 748 10 5 3 20 0 15 0 49685138 11176083456 126550 33554432000 4194304 4196468 140732514097728 140473553066224 140473184604126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10349] ppid=10292 vsize=10914144 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/10295/task/10349/stat : 10349 (java) S 10292 10295 4562 0 -1 1077944384 208 13108 0 0 9 2 5 3 20 0 15 0 49685139 11176083456 126550 33554432000 4194304 4196468 140732514097728 140473585473808 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10350] ppid=10292 vsize=10914144 memory=140654690588293 CPUtime=0.2 cores=1,3,5,7
/proc/10295/task/10350/stat : 10350 (java) S 10292 10295 4562 0 -1 1077944384 206 13108 0 0 10 2 5 3 20 0 15 0 49685139 11176083456 126550 33554432000 4194304 4196468 140732514097728 140473484364176 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10351] ppid=10292 vsize=10914144 memory=7521983798963298229 CPUtime=0.2 cores=1,3,5,7
/proc/10295/task/10351/stat : 10351 (java) S 10292 10295 4562 0 -1 1077944384 253 13108 0 0 10 2 5 3 20 0 15 0 49685139 11176083456 126550 33554432000 4194304 4196468 140732514097728 140473483311632 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10352] ppid=10292 vsize=10914144 memory=3472328296227418159 CPUtime=0.21 cores=1,3,5,7
/proc/10295/task/10352/stat : 10352 (java) S 10292 10295 4562 0 -1 1077944384 331 13108 0 0 11 2 5 3 20 0 15 0 49685139 11176083456 126550 33554432000 4194304 4196468 140732514097728 140473152694928 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10353] ppid=10292 vsize=10914144 memory=184858494009069 CPUtime=0.14 cores=1,3,5,7
/proc/10295/task/10353/stat : 10353 (java) S 10292 10295 4562 0 -1 1077944384 2893 13108 0 0 6 0 5 3 20 0 15 0 49685140 11176083456 126550 33554432000 4194304 4196468 140732514097728 140473040374256 140473581243010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10354] ppid=10292 vsize=10914144 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10354/stat : 10354 (java) S 10292 10295 4562 0 -1 1077944384 16 13108 0 0 0 0 5 3 20 0 15 0 49685141 11176083456 126550 33554432000 4194304 4196468 140732514097728 140472945206816 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10355] ppid=10292 vsize=10914144 memory=5859573821610156374 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10355/stat : 10355 (java) S 10292 10295 4562 0 -1 1077944384 4 13108 0 0 0 0 5 3 20 0 15 0 49685141 11176083456 126550 33554432000 4194304 4196468 140732514097728 140472341227008 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10356] ppid=10292 vsize=10914144 memory=6935649255894896720 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10356/stat : 10356 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685143 11176083456 126550 33554432000 4194304 4196468 140732514097728 140472100936400 140473581250459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10357] ppid=10292 vsize=10914144 memory=0 CPUtime=4.59 cores=1,3,5,7
/proc/10295/task/10357/stat : 10357 (java) S 10292 10295 4562 0 -1 1077944384 5967 13108 0 0 450 1 5 3 20 0 15 0 49685143 11176083456 126550 33554432000 4194304 4196468 140732514097728 140473039321072 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10358] ppid=10292 vsize=10914144 memory=3472328296227680303 CPUtime=4.81 cores=1,3,5,7
/proc/10295/task/10358/stat : 10358 (java) S 10292 10295 4562 0 -1 1077944384 7206 13108 0 0 471 2 5 3 20 0 15 0 49685143 11176083456 126550 33554432000 4194304 4196468 140732514097728 140473038268528 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10359] ppid=10292 vsize=10914144 memory=7378802043154161840 CPUtime=2.44 cores=1,3,5,7
/proc/10295/task/10359/stat : 10359 (java) S 10292 10295 4562 0 -1 1077944384 8398 13108 0 0 233 3 5 3 20 0 15 0 49685144 11176083456 126550 33554432000 4194304 4196468 140732514097728 140473037215984 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10360] ppid=10292 vsize=10914144 memory=3461362043157701474 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10360/stat : 10360 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685144 11176083456 126550 33554432000 4194304 4196468 140732514097728 140472067377760 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10361] ppid=10292 vsize=10914144 memory=3472468950918268588 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10361/stat : 10361 (java) S 10292 10295 4562 0 -1 1077944384 58 13108 0 0 0 0 5 3 20 0 15 0 49685144 11176083456 126550 33554432000 4194304 4196468 140732514097728 140473036163888 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
Current children cumulated CPU time: 19.9 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 506200 KiB

[startup+8.40395 s]
/proc/loadavg: 1.92 1.75 1.68 4/215 10361
/proc/meminfo: memFree=17704516/32770624 swapFree=67108860/67108860
[pid=10295] ppid=10292 vsize=10914144 memory=523292 CPUtime=20.87 cores=1,3,5,7
/proc/10295/stat : 10295 (java) S 10292 10295 4562 0 -1 1077944320 65635 13108 0 0 2047 32 5 3 20 0 15 0 49685129 11176083456 130823 33554432000 4194304 4196468 140732514097728 140732514080272 140473581231863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
/proc/10295/statm: 2728536 130823 3526 1 0 2690189 0
[pid=10295/tid=10348] ppid=10292 vsize=10914144 memory=1696 CPUtime=8.03 cores=1,3,5,7
/proc/10295/task/10348/stat : 10348 (java) R 10292 10295 4562 0 -1 4202560 37776 13108 0 0 785 10 5 3 20 0 15 0 49685138 11176083456 130823 33554432000 4194304 4196468 140732514097728 140473553064872 140473176567337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10349] ppid=10292 vsize=10914144 memory=1232 CPUtime=0.2 cores=1,3,5,7
/proc/10295/task/10349/stat : 10349 (java) S 10292 10295 4562 0 -1 1077944384 216 13108 0 0 10 2 5 3 20 0 15 0 49685139 11176083456 130823 33554432000 4194304 4196468 140732514097728 140473585473808 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10350] ppid=10292 vsize=10914144 memory=1948 CPUtime=0.22 cores=1,3,5,7
/proc/10295/task/10350/stat : 10350 (java) S 10292 10295 4562 0 -1 1077944384 214 13108 0 0 11 3 5 3 20 0 15 0 49685139 11176083456 130823 33554432000 4194304 4196468 140732514097728 140473484364176 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10351] ppid=10292 vsize=10914144 memory=1200 CPUtime=0.22 cores=1,3,5,7
/proc/10295/task/10351/stat : 10351 (java) S 10292 10295 4562 0 -1 1077944384 261 13108 0 0 11 3 5 3 20 0 15 0 49685139 11176083456 130823 33554432000 4194304 4196468 140732514097728 140473483311632 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10352] ppid=10292 vsize=10914144 memory=8368 CPUtime=0.22 cores=1,3,5,7
/proc/10295/task/10352/stat : 10352 (java) S 10292 10295 4562 0 -1 1077944384 341 13108 0 0 11 3 5 3 20 0 15 0 49685139 11176083456 130823 33554432000 4194304 4196468 140732514097728 140473152694928 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10353] ppid=10292 vsize=10914144 memory=800 CPUtime=0.14 cores=1,3,5,7
/proc/10295/task/10353/stat : 10353 (java) S 10292 10295 4562 0 -1 1077944384 2901 13108 0 0 6 0 5 3 20 0 15 0 49685140 11176083456 130823 33554432000 4194304 4196468 140732514097728 140473040374256 140473581243010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10354] ppid=10292 vsize=10914144 memory=15876 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10354/stat : 10354 (java) S 10292 10295 4562 0 -1 1077944384 16 13108 0 0 0 0 5 3 20 0 15 0 49685141 11176083456 130823 33554432000 4194304 4196468 140732514097728 140472945206816 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10355] ppid=10292 vsize=10914144 memory=16436 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10355/stat : 10355 (java) S 10292 10295 4562 0 -1 1077944384 4 13108 0 0 0 0 5 3 20 0 15 0 49685141 11176083456 130823 33554432000 4194304 4196468 140732514097728 140472341227008 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10356] ppid=10292 vsize=10914144 memory=10004 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10356/stat : 10356 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685143 11176083456 130823 33554432000 4194304 4196468 140732514097728 140472100936400 140473581250459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10357] ppid=10292 vsize=10914144 memory=4008 CPUtime=4.82 cores=1,3,5,7
/proc/10295/task/10357/stat : 10357 (java) R 10292 10295 4562 0 -1 4202560 5970 13108 0 0 472 2 5 3 20 0 15 0 49685143 11176083456 130823 33554432000 4194304 4196468 140732514097728 140473039312048 140473566357058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10358] ppid=10292 vsize=10914144 memory=1796 CPUtime=5.04 cores=1,3,5,7
/proc/10295/task/10358/stat : 10358 (java) R 10292 10295 4562 0 -1 1077944384 7214 13108 0 0 494 2 5 3 20 0 15 0 49685143 11176083456 130823 33554432000 4194304 4196468 140732514097728 140473038255904 140473581242069 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10359] ppid=10292 vsize=10914144 memory=644 CPUtime=2.54 cores=1,3,5,7
/proc/10295/task/10359/stat : 10359 (java) S 10292 10295 4562 0 -1 1077944384 8469 13108 0 0 242 4 5 3 20 0 15 0 49685144 11176083456 130823 33554432000 4194304 4196468 140732514097728 140473037215984 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10360] ppid=10292 vsize=10914144 memory=956 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10360/stat : 10360 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685144 11176083456 130823 33554432000 4194304 4196468 140732514097728 140472067377760 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10361] ppid=10292 vsize=10914144 memory=1240 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10361/stat : 10361 (java) S 10292 10295 4562 0 -1 1077944384 58 13108 0 0 0 0 5 3 20 0 15 0 49685144 11176083456 130823 33554432000 4194304 4196468 140732514097728 140473036163888 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
Current children cumulated CPU time: 20.87 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 523292 KiB

[startup+8.60074 s]
/proc/loadavg: 1.92 1.75 1.68 4/215 10361
/proc/meminfo: memFree=17704516/32770624 swapFree=67108860/67108860
[pid=10295] ppid=10292 vsize=10916192 memory=523952 CPUtime=21.47 cores=1,3,5,7
/proc/10295/stat : 10295 (java) S 10292 10295 4562 0 -1 1077944320 65819 13108 0 0 2106 33 5 3 20 0 15 0 49685129 11178180608 130988 33554432000 4194304 4196468 140732514097728 140732514080272 140473581231863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
/proc/10295/statm: 2729048 130988 3526 1 0 2690701 0
[pid=10295/tid=10348] ppid=10292 vsize=10916192 memory=0 CPUtime=8.23 cores=1,3,5,7
/proc/10295/task/10348/stat : 10348 (java) R 10292 10295 4562 0 -1 4202560 37947 13108 0 0 804 11 5 3 20 0 15 0 49685138 11178180608 130988 33554432000 4194304 4196468 140732514097728 140473553065056 140473581243798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10349] ppid=10292 vsize=10916192 memory=4137280412607091059 CPUtime=0.2 cores=1,3,5,7
/proc/10295/task/10349/stat : 10349 (java) S 10292 10295 4562 0 -1 1077944384 216 13108 0 0 10 2 5 3 20 0 15 0 49685139 11178180608 130988 33554432000 4194304 4196468 140732514097728 140473585473808 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10350] ppid=10292 vsize=10916192 memory=-7665254566837754913 CPUtime=0.22 cores=1,3,5,7
/proc/10295/task/10350/stat : 10350 (java) S 10292 10295 4562 0 -1 1077944384 214 13108 0 0 11 3 5 3 20 0 15 0 49685139 11178180608 130988 33554432000 4194304 4196468 140732514097728 140473484364176 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10351] ppid=10292 vsize=10916192 memory=6944656592455097440 CPUtime=0.22 cores=1,3,5,7
/proc/10295/task/10351/stat : 10351 (java) S 10292 10295 4562 0 -1 1077944384 261 13108 0 0 11 3 5 3 20 0 15 0 49685139 11178180608 130988 33554432000 4194304 4196468 140732514097728 140473483311632 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10352] ppid=10292 vsize=10916192 memory=6944656592455359580 CPUtime=0.22 cores=1,3,5,7
/proc/10295/task/10352/stat : 10352 (java) S 10292 10295 4562 0 -1 1077944384 341 13108 0 0 11 3 5 3 20 0 15 0 49685139 11178180608 130988 33554432000 4194304 4196468 140732514097728 140473152694928 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10353] ppid=10292 vsize=10916192 memory=6944656592455097440 CPUtime=0.14 cores=1,3,5,7
/proc/10295/task/10353/stat : 10353 (java) S 10292 10295 4562 0 -1 1077944384 2901 13108 0 0 6 0 5 3 20 0 15 0 49685140 11178180608 130988 33554432000 4194304 4196468 140732514097728 140473040374256 140473581243010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10354] ppid=10292 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10354/stat : 10354 (java) S 10292 10295 4562 0 -1 1077944384 16 13108 0 0 0 0 5 3 20 0 15 0 49685141 11178180608 130988 33554432000 4194304 4196468 140732514097728 140472945206816 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10355] ppid=10292 vsize=10916192 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10355/stat : 10355 (java) S 10292 10295 4562 0 -1 1077944384 4 13108 0 0 0 0 5 3 20 0 15 0 49685141 11178180608 130988 33554432000 4194304 4196468 140732514097728 140472341227008 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10356] ppid=10292 vsize=10916192 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10356/stat : 10356 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685143 11178180608 130988 33554432000 4194304 4196468 140732514097728 140472100936400 140473581250459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10357] ppid=10292 vsize=10916192 memory=6656426216303648864 CPUtime=5 cores=1,3,5,7
/proc/10295/task/10357/stat : 10357 (java) S 10292 10295 4562 0 -1 1077944384 5973 13108 0 0 490 2 5 3 20 0 15 0 49685143 11178180608 130988 33554432000 4194304 4196468 140732514097728 140473039321072 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10358] ppid=10292 vsize=10916192 memory=0 CPUtime=5.22 cores=1,3,5,7
/proc/10295/task/10358/stat : 10358 (java) S 10292 10295 4562 0 -1 1077944384 7216 13108 0 0 512 2 5 3 20 0 15 0 49685143 11178180608 130988 33554432000 4194304 4196468 140732514097728 140473038268528 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10359] ppid=10292 vsize=10916192 memory=0 CPUtime=2.56 cores=1,3,5,7
/proc/10295/task/10359/stat : 10359 (java) S 10292 10295 4562 0 -1 1077944384 8477 13108 0 0 244 4 5 3 20 0 15 0 49685144 11178180608 130988 33554432000 4194304 4196468 140732514097728 140473037215984 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10360] ppid=10292 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10360/stat : 10360 (java) S 10292 10295 4562 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 49685144 11178180608 130988 33554432000 4194304 4196468 140732514097728 140472067377760 140473581242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
[pid=10295/tid=10361] ppid=10292 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10295/task/10361/stat : 10361 (java) S 10292 10295 4562 0 -1 1077944384 58 13108 0 0 0 0 5 3 20 0 15 0 49685144 11178180608 130988 33554432000 4194304 4196468 140732514097728 140473036163888 140473581243010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 20750336 140732514105966 140732514108764 140732514108764 140732514111439 0
Current children cumulated CPU time: 21.47 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 523952 KiB

Child status: 0
Real time (s): 8.66103
CPU time (s): 21.5717
CPU user time (s): 21.1969
CPU system time (s): 0.374795
CPU usage (%): 249.066
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 523952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.1969
system time used= 0.374795
maximum resident set size= 526128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79023
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8522
involuntary context switches= 90


# summary of solver processes directly reported to runsolver:
#   pid: 10295
#   total CPU time (s): 21.5717
#   total CPU user time (s): 21.1969
#   total CPU system time (s): 0.374795

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.072984 second user time and 0.13 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml
MD5SUM	d1449c913cc5aeed08f9a5dcd27a0601
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	792
Best CPU time to get the best result obtained on this benchmark	1.44759
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2598
Number of domains	4
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":36,"count":192},{"size":44,"count":196}]
Minimum variable degree	2
Maximum variable degree	60
Distribution of variable degrees	[{"degree":2,"count":4},{"degree":3,"count":2},{"degree":4,"count":16},{"degree":5,"count":10},{"degree":6,"count":37},{"degree":7,"count":16},{"degree":8,"count":41},{"degree":9,"count":14},{"degree":10,"count":40},{"degree":11,"count":20},{"degree":12,"count":14},{"degree":13,"count":13},{"degree":14,"count":21},{"degree":15,"count":8},{"degree":16,"count":16},{"degree":17,"count":12},{"degree":18,"count":18},{"degree":19,"count":9},{"degree":20,"count":14},{"degree":21,"count":13},{"degree":22,"count":6},{"degree":23,"count":10},{"degree":24,"count":4},{"degree":25,"count":11},{"degree":26,"count":4},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":2},{"degree":31,"count":3},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":53,"count":1},{"degree":60,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2598}]
Number of extensional constraints	0
Number of intensional constraints	2598
Distribution of constraint types	[{"type":"intension","count":2598}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4293560

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
