2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	OPT	46	29.4332	13.3075
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 (2846 MiB free)
  memory of node 1: 16384 MiB (2853 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304342-1534059928/watcher-4304342-1534059928 -o /tmp/evaluation-result-4304342-1534059928/solver-4304342-1534059928 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534037719-31471 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=167262805 -superng HOME/instance-4304342-1534059928.xml 

running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB

solver pid=3372, runsolver pid=3369

[startup+0.100158 s]*
/proc/loadavg: 1.64 1.67 1.68 2/206 3429
/proc/meminfo: memFree=5829036/32770624 swapFree=67108860/67108860
[pid=3372] ppid=3369 vsize=10005480 memory=18596 CPUtime=0.08 cores=0,2,4,6
/proc/3372/stat : 3372 (java) S 3369 3372 30457 0 -1 1077944320 4297 12896 0 0 1 0 4 3 20 0 6 0 223556023 10245611520 4649 33554432000 4194304 4196468 140723555085536 140723555068080 139766013308663 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
/proc/3372/statm: 2501370 4649 1932 1 0 2489808 0
[pid=3372/tid=3425] ppid=3369 vsize=10005480 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/3372/task/3425/stat : 3425 (java) R 3369 3372 30457 0 -1 4202560 2132 12896 0 0 1 0 4 3 20 0 6 0 223556031 10245611520 4715 33554432000 4194304 4196468 140723555085536 139765985145424 139765998431600 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3426] ppid=3369 vsize=10005480 memory=7948963741541478447 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3426/stat : 3426 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 6 0 223556032 10245611520 4715 33554432000 4194304 4196468 140723555085536 139766017550992 139766013318869 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3427] ppid=3369 vsize=10005480 memory=140204070889088 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3427/stat : 3427 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 6 0 223556032 10245611520 4715 33554432000 4194304 4196468 140723555085536 139765888199184 139766013318869 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3428] ppid=3369 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3428/stat : 3428 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 6 0 223556032 10245611520 4715 33554432000 4194304 4196468 140723555085536 139765551520144 139766013318869 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3429] ppid=3369 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3429/stat : 3429 (java) S 3369 3372 30457 0 -1 1077944384 2 12896 0 0 0 0 4 3 20 0 6 0 223556032 10245611520 4715 33554432000 4194304 4196468 140723555085536 139765550467344 139766013318869 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18596 KiB

[startup+0.209902 s]*
/proc/loadavg: 1.64 1.67 1.68 3/215 3438
/proc/meminfo: memFree=5807512/32770624 swapFree=67108860/67108860
[pid=3372] ppid=3369 vsize=10982744 memory=44360 CPUtime=0.25 cores=0,2,4,6
/proc/3372/stat : 3372 (java) S 3369 3372 30457 0 -1 1077944320 7829 12896 0 0 16 2 4 3 20 0 15 0 223556023 11246329856 11090 33554432000 4194304 4196468 140723555085536 140723555068080 139766013308663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
/proc/3372/statm: 2745686 11090 2947 1 0 2708109 0
[pid=3372/tid=3425] ppid=3369 vsize=10983736 memory=8389772277269004345 CPUtime=0.18 cores=0,2,4,6
/proc/3372/task/3425/stat : 3425 (java) R 3369 3372 30457 0 -1 4202560 4516 12896 0 0 10 1 4 3 20 0 15 0 223556031 11247345664 11222 33554432000 4194304 4196468 140723555085536 139765985133472 139766005988381 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3426] ppid=3369 vsize=10983736 memory=4294967661 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3426/stat : 3426 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556032 11247345664 11288 33554432000 4194304 4196468 140723555085536 139766017550992 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3427] ppid=3369 vsize=10983736 memory=140204070916064 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3427/stat : 3427 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556032 11247345664 11288 33554432000 4194304 4196468 140723555085536 139765888199184 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3428] ppid=3369 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3428/stat : 3428 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556032 11247345664 11288 33554432000 4194304 4196468 140723555085536 139765551520144 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3429] ppid=3369 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3429/stat : 3429 (java) S 3369 3372 30457 0 -1 1077944384 2 12896 0 0 0 0 4 3 20 0 15 0 223556032 11247345664 11288 33554432000 4194304 4196468 140723555085536 139765550467344 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3430] ppid=3369 vsize=10983736 memory=140204070889088 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3430/stat : 3430 (java) S 3369 3372 30457 0 -1 1077944384 2 12896 0 0 0 0 4 3 20 0 15 0 223556034 11247345664 11288 33554432000 4194304 4196468 140723555085536 139765184330608 139766013319810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3431] ppid=3369 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3431/stat : 3431 (java) S 3369 3372 30457 0 -1 1077944384 13 12896 0 0 0 0 4 3 20 0 15 0 223556034 11247345664 11354 33554432000 4194304 4196468 140723555085536 139764812473888 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3432] ppid=3369 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3432/stat : 3432 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556034 11247345664 11354 33554432000 4194304 4196468 140723555085536 139764611147120 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3433] ppid=3369 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3433/stat : 3433 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11247345664 11354 33554432000 4194304 4196468 140723555085536 139764303747408 139766013327259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3434] ppid=3369 vsize=10983736 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3372/task/3434/stat : 3434 (java) S 3369 3372 30457 0 -1 1077944384 366 12896 0 0 1 0 4 3 20 0 15 0 223556037 11247345664 11354 33554432000 4194304 4196468 140723555085536 139765183277424 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3435] ppid=3369 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3435/stat : 3435 (java) S 3369 3372 30457 0 -1 1077944384 244 12896 0 0 0 0 4 3 20 0 15 0 223556037 11247345664 11354 33554432000 4194304 4196468 140723555085536 139765182224624 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3436] ppid=3369 vsize=10983736 memory=140204070889088 CPUtime=0.1 cores=0,2,4,6
/proc/3372/task/3436/stat : 3436 (java) S 3369 3372 30457 0 -1 1077944384 622 12896 0 0 3 0 4 3 20 0 15 0 223556037 11247345664 11420 33554432000 4194304 4196468 140723555085536 139765181171824 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3437] ppid=3369 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3437/stat : 3437 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11247345664 11420 33554432000 4194304 4196468 140723555085536 139763872950496 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3438] ppid=3369 vsize=10983736 memory=140204070889088 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3438/stat : 3438 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556037 11247345664 11420 33554432000 4194304 4196468 140723555085536 139765180120240 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44360 KiB

[startup+0.310165 s]*
/proc/loadavg: 1.64 1.67 1.68 3/215 3438
/proc/meminfo: memFree=5795852/32770624 swapFree=67108860/67108860
[pid=3372] ppid=3369 vsize=10983192 memory=55332 CPUtime=0.38 cores=0,2,4,6
/proc/3372/stat : 3372 (java) S 3369 3372 30457 0 -1 1077944320 10412 12896 0 0 28 3 4 3 20 0 15 0 223556023 11246788608 13833 33554432000 4194304 4196468 140723555085536 140723555068080 139766013308663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
/proc/3372/statm: 2745798 13833 3066 1 0 2708109 0
[pid=3372/tid=3425] ppid=3369 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=0,2,4,6
/proc/3372/task/3425/stat : 3425 (java) R 3369 3372 30457 0 -1 4202560 6952 12896 0 0 19 2 4 3 20 0 15 0 223556031 11246788608 13833 33554432000 4194304 4196468 140723555085536 139765985120672 139766013330589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3426] ppid=3369 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3426/stat : 3426 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556032 11246788608 13833 33554432000 4194304 4196468 140723555085536 139766017550992 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3427] ppid=3369 vsize=10983192 memory=8514701219931451533 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3427/stat : 3427 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556032 11246788608 13833 33554432000 4194304 4196468 140723555085536 139765888199184 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3428] ppid=3369 vsize=10983192 memory=1328725297981317182 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3428/stat : 3428 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556032 11246788608 13833 33554432000 4194304 4196468 140723555085536 139765551520144 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3429] ppid=3369 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3429/stat : 3429 (java) S 3369 3372 30457 0 -1 1077944384 2 12896 0 0 0 0 4 3 20 0 15 0 223556032 11246788608 13833 33554432000 4194304 4196468 140723555085536 139765550467344 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3430] ppid=3369 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3430/stat : 3430 (java) S 3369 3372 30457 0 -1 1077944384 2 12896 0 0 0 0 4 3 20 0 15 0 223556034 11246788608 13833 33554432000 4194304 4196468 140723555085536 139765184330608 139766013319810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3431] ppid=3369 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3431/stat : 3431 (java) S 3369 3372 30457 0 -1 1077944384 13 12896 0 0 0 0 4 3 20 0 15 0 223556034 11246788608 13833 33554432000 4194304 4196468 140723555085536 139764812473888 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3432] ppid=3369 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3432/stat : 3432 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556034 11246788608 13833 33554432000 4194304 4196468 140723555085536 139764611147120 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3433] ppid=3369 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3433/stat : 3433 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11246788608 13833 33554432000 4194304 4196468 140723555085536 139764303747408 139766013327259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3434] ppid=3369 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3372/task/3434/stat : 3434 (java) S 3369 3372 30457 0 -1 1077944384 369 12896 0 0 1 0 4 3 20 0 15 0 223556037 11246788608 13833 33554432000 4194304 4196468 140723555085536 139765183277424 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3435] ppid=3369 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3372/task/3435/stat : 3435 (java) S 3369 3372 30457 0 -1 1077944384 247 12896 0 0 1 0 4 3 20 0 15 0 223556037 11246788608 13833 33554432000 4194304 4196468 140723555085536 139765182224624 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3436] ppid=3369 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3372/task/3436/stat : 3436 (java) R 3369 3372 30457 0 -1 4202560 639 12896 0 0 5 0 4 3 20 0 15 0 223556037 11246788608 13833 33554432000 4194304 4196468 140723555085536 139765181171824 139765997389150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3437] ppid=3369 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3437/stat : 3437 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11246788608 13833 33554432000 4194304 4196468 140723555085536 139763872950496 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3438] ppid=3369 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3438/stat : 3438 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556037 11246788608 13833 33554432000 4194304 4196468 140723555085536 139765180120240 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55332 KiB

[startup+0.700737 s]
/proc/loadavg: 1.64 1.67 1.68 3/215 3438
/proc/meminfo: memFree=5778032/32770624 swapFree=67108860/67108860
[pid=3372] ppid=3369 vsize=10983192 memory=88676 CPUtime=0.99 cores=0,2,4,6
/proc/3372/stat : 3372 (java) S 3369 3372 30457 0 -1 1077944320 16756 12896 0 0 87 5 4 3 20 0 15 0 223556023 11246788608 22169 33554432000 4194304 4196468 140723555085536 140723555068080 139766013308663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
/proc/3372/statm: 2745798 22169 3242 1 0 2708109 0
[pid=3372/tid=3425] ppid=3369 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/3372/task/3425/stat : 3425 (java) R 3369 3372 30457 0 -1 4202560 12198 12896 0 0 56 3 4 3 20 0 15 0 223556031 11246788608 22169 33554432000 4194304 4196468 140723555085536 139765985129488 139765993583985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3426] ppid=3369 vsize=10983192 memory=22 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3426/stat : 3426 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556032 11246788608 22169 33554432000 4194304 4196468 140723555085536 139766017550992 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3427] ppid=3369 vsize=10983192 memory=7886766292050917173 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3427/stat : 3427 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556032 11246788608 22169 33554432000 4194304 4196468 140723555085536 139765888199184 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3428] ppid=3369 vsize=10983192 memory=6291625888780473445 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3428/stat : 3428 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556032 11246788608 22169 33554432000 4194304 4196468 140723555085536 139765551520144 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3429] ppid=3369 vsize=10983192 memory=7372762397046498368 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3429/stat : 3429 (java) S 3369 3372 30457 0 -1 1077944384 2 12896 0 0 0 0 4 3 20 0 15 0 223556032 11246788608 22169 33554432000 4194304 4196468 140723555085536 139765550467344 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3430] ppid=3369 vsize=10983192 memory=734122130331934768 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3430/stat : 3430 (java) S 3369 3372 30457 0 -1 1077944384 5 12896 0 0 0 0 4 3 20 0 15 0 223556034 11246788608 22169 33554432000 4194304 4196468 140723555085536 139765184330608 139766013319810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3431] ppid=3369 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3431/stat : 3431 (java) S 3369 3372 30457 0 -1 1077944384 13 12896 0 0 0 0 4 3 20 0 15 0 223556034 11246788608 22169 33554432000 4194304 4196468 140723555085536 139764812473888 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3432] ppid=3369 vsize=10983192 memory=140204070887921 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3432/stat : 3432 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556034 11246788608 22169 33554432000 4194304 4196468 140723555085536 139764611147120 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3433] ppid=3369 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3433/stat : 3433 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11246788608 22169 33554432000 4194304 4196468 140723555085536 139764303747408 139766013327259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3434] ppid=3369 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/3372/task/3434/stat : 3434 (java) S 3369 3372 30457 0 -1 1077944384 745 12896 0 0 6 0 4 3 20 0 15 0 223556037 11246788608 22169 33554432000 4194304 4196468 140723555085536 139765183277424 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3435] ppid=3369 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/3372/task/3435/stat : 3435 (java) S 3369 3372 30457 0 -1 1077944384 853 12896 0 0 10 0 4 3 20 0 15 0 223556037 11246788608 22169 33554432000 4194304 4196468 140723555085536 139765182224624 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3436] ppid=3369 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/3372/task/3436/stat : 3436 (java) S 3369 3372 30457 0 -1 1077944384 734 12896 0 0 13 0 4 3 20 0 15 0 223556037 11246788608 22169 33554432000 4194304 4196468 140723555085536 139765181171824 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3437] ppid=3369 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3437/stat : 3437 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11246788608 22169 33554432000 4194304 4196468 140723555085536 139763872950496 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3438] ppid=3369 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3438/stat : 3438 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556037 11246788608 22169 33554432000 4194304 4196468 140723555085536 139765180120240 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88676 KiB

[startup+1.50074 s]
/proc/loadavg: 1.64 1.67 1.68 4/215 3438
/proc/meminfo: memFree=5732816/32770624 swapFree=67108860/67108860
[pid=3372] ppid=3369 vsize=10996044 memory=171404 CPUtime=2.87 cores=0,2,4,6
/proc/3372/stat : 3372 (java) S 3369 3372 30457 0 -1 1077944320 24332 12896 0 0 272 8 4 3 20 0 15 0 223556023 11259949056 42851 33554432000 4194304 4196468 140723555085536 140723555068080 139766013308663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
/proc/3372/statm: 2749011 42851 3451 1 0 2710669 0
[pid=3372/tid=3425] ppid=3369 vsize=10996044 memory=102852 CPUtime=1.45 cores=0,2,4,6
/proc/3372/task/3425/stat : 3425 (java) R 3369 3372 30457 0 -1 4202560 16932 12896 0 0 132 6 4 3 20 0 15 0 223556031 11259949056 42851 33554432000 4194304 4196468 140723555085536 139765985119664 139765997389150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3426] ppid=3369 vsize=10996044 memory=20337 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3426/stat : 3426 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556032 11259949056 42851 33554432000 4194304 4196468 140723555085536 139766017550992 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3427] ppid=3369 vsize=10996044 memory=6944656575208382560 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3427/stat : 3427 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556032 11259949056 42851 33554432000 4194304 4196468 140723555085536 139765888199184 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3428] ppid=3369 vsize=10996044 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3428/stat : 3428 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556032 11259949056 42851 33554432000 4194304 4196468 140723555085536 139765551520144 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3429] ppid=3369 vsize=10996044 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3429/stat : 3429 (java) S 3369 3372 30457 0 -1 1077944384 2 12896 0 0 0 0 4 3 20 0 15 0 223556032 11259949056 42851 33554432000 4194304 4196468 140723555085536 139765550467344 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3430] ppid=3369 vsize=10996044 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3430/stat : 3430 (java) S 3369 3372 30457 0 -1 1077944384 13 12896 0 0 0 0 4 3 20 0 15 0 223556034 11259949056 42851 33554432000 4194304 4196468 140723555085536 139765184330608 139766013319810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3431] ppid=3369 vsize=10996044 memory=6944656575208382560 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3431/stat : 3431 (java) S 3369 3372 30457 0 -1 1077944384 13 12896 0 0 0 0 4 3 20 0 15 0 223556034 11259949056 42851 33554432000 4194304 4196468 140723555085536 139764812473888 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3432] ppid=3369 vsize=10996044 memory=280407945984256 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3432/stat : 3432 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556034 11259949056 42851 33554432000 4194304 4196468 140723555085536 139764611147120 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3433] ppid=3369 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3433/stat : 3433 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11259949056 42851 33554432000 4194304 4196468 140723555085536 139764303747408 139766013327259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3434] ppid=3369 vsize=10996044 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/3372/task/3434/stat : 3434 (java) S 3369 3372 30457 0 -1 1077944384 2022 12896 0 0 46 0 4 3 20 0 15 0 223556037 11259949056 42851 33554432000 4194304 4196468 140723555085536 139765183277424 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3435] ppid=3369 vsize=10996044 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/3372/task/3435/stat : 3435 (java) S 3369 3372 30457 0 -1 1077944384 1503 12896 0 0 48 0 4 3 20 0 15 0 223556037 11259949056 42851 33554432000 4194304 4196468 140723555085536 139765182224624 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3436] ppid=3369 vsize=10996044 memory=-7673225154500992928 CPUtime=0.51 cores=0,2,4,6
/proc/3372/task/3436/stat : 3436 (java) S 3369 3372 30457 0 -1 1077944384 1641 12896 0 0 44 0 4 3 20 0 15 0 223556037 11259949056 42851 33554432000 4194304 4196468 140723555085536 139765181171824 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3437] ppid=3369 vsize=10996044 memory=6944656592455360608 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3437/stat : 3437 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11259949056 42851 33554432000 4194304 4196468 140723555085536 139763872950496 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3438] ppid=3369 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3438/stat : 3438 (java) S 3369 3372 30457 0 -1 1077944384 1 12896 0 0 0 0 4 3 20 0 15 0 223556037 11259949056 42851 33554432000 4194304 4196468 140723555085536 139765180120240 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 10996044 KiB

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

[startup+6.3008 s]
/proc/loadavg: 1.58 1.66 1.67 4/215 3438
/proc/meminfo: memFree=5271372/32770624 swapFree=67108860/67108860
[pid=3372] ppid=3369 vsize=11008352 memory=467088 CPUtime=15.9 cores=0,2,4,6
/proc/3372/stat : 3372 (java) S 3369 3372 30457 0 -1 1077944320 51402 12896 0 0 1555 28 4 3 20 0 15 0 223556023 11272552448 116772 33554432000 4194304 4196468 140723555085536 140723555068080 139766013308663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
/proc/3372/statm: 2752088 116772 3526 1 0 2713741 0
[pid=3372/tid=3425] ppid=3369 vsize=11008352 memory=7740677739477558627 CPUtime=6.06 cores=0,2,4,6
/proc/3372/task/3425/stat : 3425 (java) R 3369 3372 30457 0 -1 4202560 26786 12896 0 0 589 10 4 3 20 0 15 0 223556031 11272552448 116772 33554432000 4194304 4196468 140723555085536 139765985140976 139765581496668 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3426] ppid=3369 vsize=11008352 memory=280407946222288 CPUtime=0.18 cores=0,2,4,6
/proc/3372/task/3426/stat : 3426 (java) S 3369 3372 30457 0 -1 1077944384 174 12896 0 0 9 2 4 3 20 0 15 0 223556032 11272552448 116772 33554432000 4194304 4196468 140723555085536 139766017550992 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3427] ppid=3369 vsize=11008352 memory=288230377057958059 CPUtime=0.18 cores=0,2,4,6
/proc/3372/task/3427/stat : 3427 (java) S 3369 3372 30457 0 -1 1077944384 339 12896 0 0 9 2 4 3 20 0 15 0 223556032 11272552448 116772 33554432000 4194304 4196468 140723555085536 139765888199184 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3428] ppid=3369 vsize=11008352 memory=15258134134413744 CPUtime=0.16 cores=0,2,4,6
/proc/3372/task/3428/stat : 3428 (java) S 3369 3372 30457 0 -1 1077944384 556 12896 0 0 7 2 4 3 20 0 15 0 223556032 11272552448 116772 33554432000 4194304 4196468 140723555085536 139765551520144 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3429] ppid=3369 vsize=11008352 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/3372/task/3429/stat : 3429 (java) S 3369 3372 30457 0 -1 1077944384 224 12896 0 0 7 2 4 3 20 0 15 0 223556032 11272552448 116772 33554432000 4194304 4196468 140723555085536 139765550467344 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3430] ppid=3369 vsize=11008352 memory=60724 CPUtime=0.1 cores=0,2,4,6
/proc/3372/task/3430/stat : 3430 (java) S 3369 3372 30457 0 -1 1077944384 302 12896 0 0 3 0 4 3 20 0 15 0 223556034 11272552448 116772 33554432000 4194304 4196468 140723555085536 139765184330608 139766013319810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3431] ppid=3369 vsize=11008352 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3431/stat : 3431 (java) S 3369 3372 30457 0 -1 1077944384 13 12896 0 0 0 0 4 3 20 0 15 0 223556034 11272552448 116772 33554432000 4194304 4196468 140723555085536 139764812473952 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3432] ppid=3369 vsize=11008352 memory=2196 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3432/stat : 3432 (java) S 3369 3372 30457 0 -1 1077944384 40 12896 0 0 0 0 4 3 20 0 15 0 223556034 11272552448 116772 33554432000 4194304 4196468 140723555085536 139764611147136 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3433] ppid=3369 vsize=11008352 memory=1776 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3433/stat : 3433 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11272552448 116772 33554432000 4194304 4196468 140723555085536 139764303747408 139766013327259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3434] ppid=3369 vsize=11008352 memory=1004 CPUtime=3.79 cores=0,2,4,6
/proc/3372/task/3434/stat : 3434 (java) S 3369 3372 30457 0 -1 1077944384 7475 12896 0 0 370 2 4 3 20 0 15 0 223556037 11272552448 116772 33554432000 4194304 4196468 140723555085536 139765183277424 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3435] ppid=3369 vsize=11008352 memory=11764 CPUtime=3.91 cores=0,2,4,6
/proc/3372/task/3435/stat : 3435 (java) S 3369 3372 30457 0 -1 1077944384 7652 12896 0 0 383 1 4 3 20 0 15 0 223556037 11272552448 116772 33554432000 4194304 4196468 140723555085536 139765182224624 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3436] ppid=3369 vsize=11008352 memory=55 CPUtime=1.81 cores=0,2,4,6
/proc/3372/task/3436/stat : 3436 (java) S 3369 3372 30457 0 -1 1077944384 5624 12896 0 0 172 2 4 3 20 0 15 0 223556037 11272552448 116772 33554432000 4194304 4196468 140723555085536 139765181171824 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3437] ppid=3369 vsize=11008352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3437/stat : 3437 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11272552448 116772 33554432000 4194304 4196468 140723555085536 139763872950496 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3438] ppid=3369 vsize=11008352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3438/stat : 3438 (java) S 3369 3372 30457 0 -1 1077944384 16 12896 0 0 0 0 4 3 20 0 15 0 223556037 11272552448 116772 33554432000 4194304 4196468 140723555085536 139765180120240 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
Current children cumulated CPU time: 15.9 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 467088 KiB

[startup+12.701 s]
/proc/loadavg: 1.65 1.67 1.68 3/215 3438
/proc/meminfo: memFree=4810528/32770624 swapFree=67108860/67108860
[pid=3372] ppid=3369 vsize=11014496 memory=868964 CPUtime=27.81 cores=0,2,4,6
/proc/3372/stat : 3372 (java) S 3369 3372 30457 0 -1 1077944320 67290 12896 0 0 2731 43 4 3 20 0 15 0 223556023 11278843904 217241 33554432000 4194304 4196468 140723555085536 140723555068080 139766013308663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
/proc/3372/statm: 2753624 217241 3531 1 0 2715277 0
[pid=3372/tid=3425] ppid=3369 vsize=11014496 memory=867328 CPUtime=12.33 cores=0,2,4,6
/proc/3372/task/3425/stat : 3425 (java) R 3369 3372 30457 0 -1 4202560 36062 12896 0 0 1208 18 4 3 20 0 15 0 223556031 11278843904 217241 33554432000 4194304 4196468 140723555085536 139765985127712 139765995843146 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3426] ppid=3369 vsize=11014496 memory=868436 CPUtime=0.28 cores=0,2,4,6
/proc/3372/task/3426/stat : 3426 (java) S 3369 3372 30457 0 -1 1077944384 215 12896 0 0 18 3 4 3 20 0 15 0 223556032 11278843904 217241 33554432000 4194304 4196468 140723555085536 139766017550992 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3427] ppid=3369 vsize=11014496 memory=4028 CPUtime=0.28 cores=0,2,4,6
/proc/3372/task/3427/stat : 3427 (java) S 3369 3372 30457 0 -1 1077944384 377 12896 0 0 18 3 4 3 20 0 15 0 223556032 11278843904 217241 33554432000 4194304 4196468 140723555085536 139765888199184 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3428] ppid=3369 vsize=11014496 memory=280407946297696 CPUtime=0.25 cores=0,2,4,6
/proc/3372/task/3428/stat : 3428 (java) S 3369 3372 30457 0 -1 1077944384 601 12896 0 0 15 3 4 3 20 0 15 0 223556032 11278843904 217241 33554432000 4194304 4196468 140723555085536 139765551520144 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3429] ppid=3369 vsize=11014496 memory=140203972903617 CPUtime=0.26 cores=0,2,4,6
/proc/3372/task/3429/stat : 3429 (java) S 3369 3372 30457 0 -1 1077944384 262 12896 0 0 16 3 4 3 20 0 15 0 223556032 11278843904 217241 33554432000 4194304 4196468 140723555085536 139765550467344 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3430] ppid=3369 vsize=11014496 memory=836408 CPUtime=0.13 cores=0,2,4,6
/proc/3372/task/3430/stat : 3430 (java) S 3369 3372 30457 0 -1 1077944384 2414 12896 0 0 6 0 4 3 20 0 15 0 223556034 11278843904 217241 33554432000 4194304 4196468 140723555085536 139765184330608 139766013319810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3431] ppid=3369 vsize=11014496 memory=140203972943453 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3431/stat : 3431 (java) S 3369 3372 30457 0 -1 1077944384 13 12896 0 0 0 0 4 3 20 0 15 0 223556034 11278843904 217241 33554432000 4194304 4196468 140723555085536 139764812473952 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3432] ppid=3369 vsize=11014496 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3432/stat : 3432 (java) S 3369 3372 30457 0 -1 1077944384 40 12896 0 0 0 0 4 3 20 0 15 0 223556034 11278843904 217241 33554432000 4194304 4196468 140723555085536 139764611147136 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3433] ppid=3369 vsize=11014496 memory=1572 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3433/stat : 3433 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11278843904 217241 33554432000 4194304 4196468 140723555085536 139764303747408 139766013327259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3434] ppid=3369 vsize=11014496 memory=2244 CPUtime=5.99 cores=0,2,4,6
/proc/3372/task/3434/stat : 3434 (java) R 3369 3372 30457 0 -1 4202560 9508 12896 0 0 590 2 4 3 20 0 15 0 223556037 11278843904 217241 33554432000 4194304 4196468 140723555085536 139765183268752 139765992657760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3435] ppid=3369 vsize=11014496 memory=806712 CPUtime=6.09 cores=0,2,4,6
/proc/3372/task/3435/stat : 3435 (java) R 3369 3372 30457 0 -1 4202560 9134 12896 0 0 600 2 4 3 20 0 15 0 223556037 11278843904 217241 33554432000 4194304 4196468 140723555085536 139765182211056 139765996792684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3436] ppid=3369 vsize=11014496 memory=379 CPUtime=2.66 cores=0,2,4,6
/proc/3372/task/3436/stat : 3436 (java) R 3369 3372 30457 0 -1 4202560 6447 12896 0 0 256 3 4 3 20 0 15 0 223556037 11278843904 217241 33554432000 4194304 4196468 140723555085536 139765181164112 139765992254312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3437] ppid=3369 vsize=11014496 memory=824968 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3437/stat : 3437 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11278843904 217241 33554432000 4194304 4196468 140723555085536 139763872950496 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3438] ppid=3369 vsize=11014496 memory=175 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3438/stat : 3438 (java) S 3369 3372 30457 0 -1 1077944384 16 12896 0 0 0 0 4 3 20 0 15 0 223556037 11278843904 217241 33554432000 4194304 4196468 140723555085536 139765180120240 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
Current children cumulated CPU time: 27.81 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 868964 KiB

[startup+13.3075 s]
# the end of solver process 3372 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=28.9294 s, system=0.503773 s

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

[startup+12.801 s]
/proc/loadavg: 1.65 1.67 1.68 3/215 3438
/proc/meminfo: memFree=4810528/32770624 swapFree=67108860/67108860
[pid=3372] ppid=3369 vsize=11014496 memory=869028 CPUtime=28.11 cores=0,2,4,6
/proc/3372/stat : 3372 (java) S 3369 3372 30457 0 -1 1077944320 67325 12896 0 0 2761 43 4 3 20 0 15 0 223556023 11278843904 217257 33554432000 4194304 4196468 140723555085536 140723555068080 139766013308663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
/proc/3372/statm: 2753624 217257 3531 1 0 2715277 0
[pid=3372/tid=3425] ppid=3369 vsize=11014496 memory=0 CPUtime=12.42 cores=0,2,4,6
/proc/3372/task/3425/stat : 3425 (java) R 3369 3372 30457 0 -1 4202560 36081 12896 0 0 1217 18 4 3 20 0 15 0 223556031 11278843904 217257 33554432000 4194304 4196468 140723555085536 139765985140392 139765581450165 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3426] ppid=3369 vsize=11014496 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/3372/task/3426/stat : 3426 (java) S 3369 3372 30457 0 -1 1077944384 215 12896 0 0 18 3 4 3 20 0 15 0 223556032 11278843904 217257 33554432000 4194304 4196468 140723555085536 139766017550992 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3427] ppid=3369 vsize=11014496 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/3372/task/3427/stat : 3427 (java) S 3369 3372 30457 0 -1 1077944384 377 12896 0 0 18 3 4 3 20 0 15 0 223556032 11278843904 217257 33554432000 4194304 4196468 140723555085536 139765888199184 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3428] ppid=3369 vsize=11014496 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/3372/task/3428/stat : 3428 (java) S 3369 3372 30457 0 -1 1077944384 601 12896 0 0 15 3 4 3 20 0 15 0 223556032 11278843904 217257 33554432000 4194304 4196468 140723555085536 139765551520144 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3429] ppid=3369 vsize=11014496 memory=6944656575208382560 CPUtime=0.26 cores=0,2,4,6
/proc/3372/task/3429/stat : 3429 (java) S 3369 3372 30457 0 -1 1077944384 262 12896 0 0 16 3 4 3 20 0 15 0 223556032 11278843904 217257 33554432000 4194304 4196468 140723555085536 139765550467344 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3430] ppid=3369 vsize=11014496 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/3372/task/3430/stat : 3430 (java) S 3369 3372 30457 0 -1 1077944384 2414 12896 0 0 6 0 4 3 20 0 15 0 223556034 11278843904 217257 33554432000 4194304 4196468 140723555085536 139765184330608 139766013319810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3431] ppid=3369 vsize=11014496 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3431/stat : 3431 (java) S 3369 3372 30457 0 -1 1077944384 13 12896 0 0 0 0 4 3 20 0 15 0 223556034 11278843904 217257 33554432000 4194304 4196468 140723555085536 139764812473952 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3432] ppid=3369 vsize=11014496 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3432/stat : 3432 (java) S 3369 3372 30457 0 -1 1077944384 40 12896 0 0 0 0 4 3 20 0 15 0 223556034 11278843904 217257 33554432000 4194304 4196468 140723555085536 139764611147136 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3433] ppid=3369 vsize=11014496 memory=60724 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3433/stat : 3433 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11278843904 217257 33554432000 4194304 4196468 140723555085536 139764303747408 139766013327259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3434] ppid=3369 vsize=11014496 memory=1240 CPUtime=6.09 cores=0,2,4,6
/proc/3372/task/3434/stat : 3434 (java) R 3369 3372 30457 0 -1 4202560 9508 12896 0 0 600 2 4 3 20 0 15 0 223556037 11278843904 217257 33554432000 4194304 4196468 140723555085536 139765183267344 139766013322550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3435] ppid=3369 vsize=11014496 memory=2196 CPUtime=6.19 cores=0,2,4,6
/proc/3372/task/3435/stat : 3435 (java) R 3369 3372 30457 0 -1 4202560 9134 12896 0 0 610 2 4 3 20 0 15 0 223556037 11278843904 217257 33554432000 4194304 4196468 140723555085536 139765182206160 139765996776694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3436] ppid=3369 vsize=11014496 memory=1776 CPUtime=2.66 cores=0,2,4,6
/proc/3372/task/3436/stat : 3436 (java) S 3369 3372 30457 0 -1 1077944384 6463 12896 0 0 256 3 4 3 20 0 15 0 223556037 11278843904 217257 33554432000 4194304 4196468 140723555085536 139765181171824 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3437] ppid=3369 vsize=11014496 memory=1004 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3437/stat : 3437 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11278843904 217257 33554432000 4194304 4196468 140723555085536 139763872950496 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3438] ppid=3369 vsize=11014496 memory=11764 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3438/stat : 3438 (java) S 3369 3372 30457 0 -1 1077944384 16 12896 0 0 0 0 4 3 20 0 15 0 223556037 11278843904 217257 33554432000 4194304 4196468 140723555085536 139765180120240 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
Current children cumulated CPU time: 28.11 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 869028 KiB

[startup+13.2007 s]
/proc/loadavg: 1.65 1.67 1.68 5/215 3438
/proc/meminfo: memFree=4750544/32770624 swapFree=67108860/67108860
[pid=3372] ppid=3369 vsize=11014496 memory=923800 CPUtime=29.25 cores=0,2,4,6
/proc/3372/stat : 3372 (java) S 3369 3372 30457 0 -1 1077944320 67750 12896 0 0 2873 45 4 3 20 0 15 0 223556023 11278843904 230950 33554432000 4194304 4196468 140723555085536 140723555068080 139766013308663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
/proc/3372/statm: 2753624 230950 3535 1 0 2715277 0
[pid=3372/tid=3425] ppid=3369 vsize=11014496 memory=8112282956445269571 CPUtime=12.82 cores=0,2,4,6
/proc/3372/task/3425/stat : 3425 (java) R 3369 3372 30457 0 -1 4202560 36374 12896 0 0 1256 19 4 3 20 0 15 0 223556031 11278843904 230950 33554432000 4194304 4196468 140723555085536 139765985142064 139765589727947 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3426] ppid=3369 vsize=11014496 memory=14795 CPUtime=0.28 cores=0,2,4,6
/proc/3372/task/3426/stat : 3426 (java) S 3369 3372 30457 0 -1 1077944384 215 12896 0 0 18 3 4 3 20 0 15 0 223556032 11278843904 230950 33554432000 4194304 4196468 140723555085536 139766017550992 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3427] ppid=3369 vsize=11014496 memory=26692 CPUtime=0.28 cores=0,2,4,6
/proc/3372/task/3427/stat : 3427 (java) S 3369 3372 30457 0 -1 1077944384 377 12896 0 0 18 3 4 3 20 0 15 0 223556032 11278843904 230950 33554432000 4194304 4196468 140723555085536 139765888199184 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3428] ppid=3369 vsize=11014496 memory=13851858762466723 CPUtime=0.25 cores=0,2,4,6
/proc/3372/task/3428/stat : 3428 (java) S 3369 3372 30457 0 -1 1077944384 601 12896 0 0 15 3 4 3 20 0 15 0 223556032 11278843904 230950 33554432000 4194304 4196468 140723555085536 139765551520144 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3429] ppid=3369 vsize=11014496 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/3372/task/3429/stat : 3429 (java) S 3369 3372 30457 0 -1 1077944384 262 12896 0 0 16 3 4 3 20 0 15 0 223556032 11278843904 230950 33554432000 4194304 4196468 140723555085536 139765550467344 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3430] ppid=3369 vsize=11014496 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/3372/task/3430/stat : 3430 (java) S 3369 3372 30457 0 -1 1077944384 2414 12896 0 0 7 0 4 3 20 0 15 0 223556034 11278843904 230950 33554432000 4194304 4196468 140723555085536 139765184330608 139766013319810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3431] ppid=3369 vsize=11014496 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3431/stat : 3431 (java) S 3369 3372 30457 0 -1 1077944384 13 12896 0 0 0 0 4 3 20 0 15 0 223556034 11278843904 230950 33554432000 4194304 4196468 140723555085536 139764812473952 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3432] ppid=3369 vsize=11014496 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3432/stat : 3432 (java) S 3369 3372 30457 0 -1 1077944384 40 12896 0 0 0 0 4 3 20 0 15 0 223556034 11278843904 230950 33554432000 4194304 4196468 140723555085536 139764611147136 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3433] ppid=3369 vsize=11014496 memory=3054156605267021189 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3433/stat : 3433 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11278843904 230950 33554432000 4194304 4196468 140723555085536 139764303747408 139766013327259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3434] ppid=3369 vsize=11014496 memory=0 CPUtime=6.43 cores=0,2,4,6
/proc/3372/task/3434/stat : 3434 (java) S 3369 3372 30457 0 -1 1077944384 9568 12896 0 0 634 2 4 3 20 0 15 0 223556037 11278843904 230950 33554432000 4194304 4196468 140723555085536 139765183277424 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3435] ppid=3369 vsize=11014496 memory=0 CPUtime=6.52 cores=0,2,4,6
/proc/3372/task/3435/stat : 3435 (java) S 3369 3372 30457 0 -1 1077944384 9172 12896 0 0 643 2 4 3 20 0 15 0 223556037 11278843904 230950 33554432000 4194304 4196468 140723555085536 139765182224624 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3436] ppid=3369 vsize=11014496 memory=0 CPUtime=2.73 cores=0,2,4,6
/proc/3372/task/3436/stat : 3436 (java) S 3369 3372 30457 0 -1 1077944384 6497 12896 0 0 263 3 4 3 20 0 15 0 223556037 11278843904 230950 33554432000 4194304 4196468 140723555085536 139765181171824 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3437] ppid=3369 vsize=11014496 memory=7373911442567489892 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3437/stat : 3437 (java) S 3369 3372 30457 0 -1 1077944384 3 12896 0 0 0 0 4 3 20 0 15 0 223556037 11278843904 230950 33554432000 4194304 4196468 140723555085536 139763872950496 139766013318869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
[pid=3372/tid=3438] ppid=3369 vsize=11014496 memory=7955732318198981991 CPUtime=0.07 cores=0,2,4,6
/proc/3372/task/3438/stat : 3438 (java) S 3369 3372 30457 0 -1 1077944384 16 12896 0 0 0 0 4 3 20 0 15 0 223556037 11278843904 230950 33554432000 4194304 4196468 140723555085536 139765180120240 139766013319810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140723555093092 140723555095900 140723555095900 140723555098575 0
Current children cumulated CPU time: 29.25 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 923800 KiB

Child status: 0
Real time (s): 13.3075
CPU time (s): 29.4332
CPU user time (s): 28.9294
CPU system time (s): 0.503773
CPU usage (%): 221.177
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 923800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9294
system time used= 0.503773
maximum resident set size= 938216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80731
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= 9472
involuntary context switches= 117


# summary of solver processes directly reported to runsolver:
#   pid: 3372
#   total CPU time (s): 29.4332
#   total CPU user time (s): 28.9294
#   total CPU system time (s): 0.503773

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.096846 second user time and 0.174526 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml
MD5SUM	78811932529a67bdc61c23a432ac663c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	46
Best CPU time to get the best result obtained on this benchmark	2.11183
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3968
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree	3
Maximum variable degree	64
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":4,"count":16},{"degree":5,"count":22},{"degree":6,"count":62},{"degree":7,"count":42},{"degree":8,"count":62},{"degree":9,"count":40},{"degree":10,"count":55},{"degree":11,"count":55},{"degree":12,"count":47},{"degree":13,"count":41},{"degree":14,"count":26},{"degree":15,"count":25},{"degree":16,"count":24},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":10},{"degree":21,"count":10},{"degree":22,"count":17},{"degree":23,"count":8},{"degree":24,"count":6},{"degree":25,"count":10},{"degree":26,"count":9},{"degree":27,"count":10},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":40,"count":3},{"degree":41,"count":1},{"degree":44,"count":2},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":57,"count":1},{"degree":64,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	280
Distribution of constraint arities	[{"arity":2,"count":3967},{"arity":280,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	3967
Distribution of constraint types	[{"type":"intension","count":3967},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4304342

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
