2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	16	252.08	229.653
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 (9502 MiB free)
  memory of node 1: 16384 MiB (15801 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302901-1532895752/watcher-4302901-1532895752 -o /tmp/evaluation-result-4302901-1532895752/solver-4302901-1532895752 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1737777638 -superng HOME/instance-4302901-1532895752.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=25510, runsolver pid=25507
Current StackSize limit: 8192 KiB


[startup+0.100233 s]*
/proc/loadavg: 2.07 1.98 1.91 3/206 25567
/proc/meminfo: memFree=25906928/32770624 swapFree=67108860/67108860
[pid=25510] ppid=25507 vsize=10005480 memory=17344 CPUtime=0.08 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 13514 0 -1 1077944320 4463 12894 0 0 1 0 4 3 20 0 6 0 107138378 10245611520 4336 33554432000 4194304 4196468 140723923247904 140723923230448 139698693586679 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
/proc/25510/statm: 2501370 4336 1957 1 0 2489808 0
[pid=25510/tid=25563] ppid=25507 vsize=10005480 memory=4279135703980212366 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 13514 0 -1 4202560 2269 12894 0 0 1 0 4 3 20 0 6 0 107138387 10245611520 4336 33554432000 4194304 4196468 140723923247904 139698665423440 139698677667166 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25564] ppid=25507 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 6 0 107138388 10245611520 4336 33554432000 4194304 4196468 140723923247904 139698697828752 139698693596885 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25565] ppid=25507 vsize=10005480 memory=140047616288384 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 6 0 107138388 10245611520 4336 33554432000 4194304 4196468 140723923247904 139698579093776 139698693596885 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25566] ppid=25507 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 6 0 107138388 10245611520 4336 33554432000 4194304 4196468 140723923247904 139698578041488 139698693596885 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25567] ppid=25507 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 13514 0 -1 1077944384 2 12894 0 0 0 0 4 3 20 0 6 0 107138388 10245611520 4336 33554432000 4194304 4196468 140723923247904 139698230712848 139698693596885 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17344 KiB

[startup+0.209742 s]*
/proc/loadavg: 2.07 1.98 1.91 3/215 25576
/proc/meminfo: memFree=25884964/32770624 swapFree=67108860/67108860
[pid=25510] ppid=25507 vsize=10983736 memory=45984 CPUtime=0.26 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 13514 0 -1 1077944320 8155 12894 0 0 17 2 4 3 20 0 15 0 107138378 11247345664 11430 33554432000 4194304 4196468 140723923247904 140723923230448 139698693586679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
/proc/25510/statm: 2745934 11430 2963 1 0 2708357 0
[pid=25510/tid=25563] ppid=25507 vsize=10983736 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 13514 0 -1 4202560 4852 12894 0 0 10 1 4 3 20 0 15 0 107138387 11247345664 11562 33554432000 4194304 4196468 140723923247904 139698665411488 139698686266397 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25564] ppid=25507 vsize=10983736 memory=339 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138388 11247345664 11628 33554432000 4194304 4196468 140723923247904 139698697828752 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25565] ppid=25507 vsize=10983736 memory=3617997512493737632 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138388 11247345664 11628 33554432000 4194304 4196468 140723923247904 139698579093776 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25566] ppid=25507 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138388 11247345664 11628 33554432000 4194304 4196468 140723923247904 139698578041488 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25567] ppid=25507 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 13514 0 -1 1077944384 2 12894 0 0 0 0 4 3 20 0 15 0 107138388 11247345664 11628 33554432000 4194304 4196468 140723923247904 139698230712848 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25568] ppid=25507 vsize=10985364 memory=140047616288384 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 13514 0 -1 1077944384 2 12894 0 0 0 0 4 3 20 0 15 0 107138390 11249012736 11628 33554432000 4194304 4196468 140723923247904 139697663371888 139698693597826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25569] ppid=25507 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 13514 0 -1 1077944384 13 12894 0 0 0 0 4 3 20 0 15 0 107138390 11249012736 11694 33554432000 4194304 4196468 140723923247904 139697569391904 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25570] ppid=25507 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138390 11249012736 11694 33554432000 4194304 4196468 140723923247904 139697368065648 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25571] ppid=25507 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11249012736 11694 33554432000 4194304 4196468 140723923247904 139697060665936 139698693605275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25572] ppid=25507 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 13514 0 -1 1077944384 421 12894 0 0 0 0 4 3 20 0 15 0 107138393 11249012736 11694 33554432000 4194304 4196468 140723923247904 139697662318704 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25573] ppid=25507 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 13514 0 -1 1077944384 192 12894 0 0 1 0 4 3 20 0 15 0 107138393 11249012736 11694 33554432000 4194304 4196468 140723923247904 139697661265904 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25574] ppid=25507 vsize=10985364 memory=140047616288384 CPUtime=0.1 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) S 25507 25510 13514 0 -1 1077944384 604 12894 0 0 3 0 4 3 20 0 15 0 107138393 11249012736 11760 33554432000 4194304 4196468 140723923247904 139697660213616 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25575] ppid=25507 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11249012736 11760 33554432000 4194304 4196468 140723923247904 139696629869024 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25576] ppid=25507 vsize=10985364 memory=140047616288384 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138393 11249012736 11760 33554432000 4194304 4196468 140723923247904 139697659161520 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10983736 KiB
Current children cumulated memory: 45984 KiB

[startup+0.310211 s]*
/proc/loadavg: 2.07 1.98 1.91 3/215 25576
/proc/meminfo: memFree=25871892/32770624 swapFree=67108860/67108860
[pid=25510] ppid=25507 vsize=10983192 memory=56168 CPUtime=0.39 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 13514 0 -1 1077944320 10613 12894 0 0 29 3 4 3 20 0 15 0 107138378 11246788608 14042 33554432000 4194304 4196468 140723923247904 140723923230448 139698693586679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
/proc/25510/statm: 2745798 14042 3082 1 0 2708109 0
[pid=25510/tid=25563] ppid=25507 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 13514 0 -1 4202560 7171 12894 0 0 19 2 4 3 20 0 15 0 107138387 11246788608 14042 33554432000 4194304 4196468 140723923247904 139698665403232 139698693608605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25564] ppid=25507 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138388 11246788608 14042 33554432000 4194304 4196468 140723923247904 139698697828752 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25565] ppid=25507 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138388 11246788608 14042 33554432000 4194304 4196468 140723923247904 139698579093776 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25566] ppid=25507 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138388 11246788608 14042 33554432000 4194304 4196468 140723923247904 139698578041488 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25567] ppid=25507 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 13514 0 -1 1077944384 2 12894 0 0 0 0 4 3 20 0 15 0 107138388 11246788608 14042 33554432000 4194304 4196468 140723923247904 139698230712848 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25568] ppid=25507 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 13514 0 -1 1077944384 2 12894 0 0 0 0 4 3 20 0 15 0 107138390 11246788608 14042 33554432000 4194304 4196468 140723923247904 139697663371888 139698693597826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25569] ppid=25507 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 13514 0 -1 1077944384 13 12894 0 0 0 0 4 3 20 0 15 0 107138390 11246788608 14042 33554432000 4194304 4196468 140723923247904 139697569391904 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25570] ppid=25507 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138390 11246788608 14042 33554432000 4194304 4196468 140723923247904 139697368065648 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25571] ppid=25507 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11246788608 14042 33554432000 4194304 4196468 140723923247904 139697060665936 139698693605275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25572] ppid=25507 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 13514 0 -1 1077944384 423 12894 0 0 1 0 4 3 20 0 15 0 107138393 11246788608 14042 33554432000 4194304 4196468 140723923247904 139697662318704 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25573] ppid=25507 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 13514 0 -1 1077944384 192 12894 0 0 1 0 4 3 20 0 15 0 107138393 11246788608 14042 33554432000 4194304 4196468 140723923247904 139697661265904 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25574] ppid=25507 vsize=10983192 memory=140047616288384 CPUtime=0.12 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) R 25507 25510 13514 0 -1 4202560 611 12894 0 0 5 0 4 3 20 0 15 0 107138393 11246788608 14042 33554432000 4194304 4196468 140723923247904 139697660213616 139698685823806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25575] ppid=25507 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11246788608 14042 33554432000 4194304 4196468 140723923247904 139696629869024 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25576] ppid=25507 vsize=10983192 memory=140047616288384 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138393 11246788608 14042 33554432000 4194304 4196468 140723923247904 139697659161520 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56168 KiB

[startup+0.700769 s]
/proc/loadavg: 1.98 1.96 1.91 3/215 25576
/proc/meminfo: memFree=25862216/32770624 swapFree=67108860/67108860
[pid=25510] ppid=25507 vsize=10983192 memory=88768 CPUtime=0.99 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 13514 0 -1 1077944320 16756 12894 0 0 88 4 4 3 20 0 15 0 107138378 11246788608 22192 33554432000 4194304 4196468 140723923247904 140723923230448 139698693586679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
/proc/25510/statm: 2745798 22192 3239 1 0 2708109 0
[pid=25510/tid=25563] ppid=25507 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 13514 0 -1 4202560 12218 12894 0 0 56 3 4 3 20 0 15 0 107138387 11246788608 22192 33554432000 4194304 4196468 140723923247904 139698665407504 139698673862374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25564] ppid=25507 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138388 11246788608 22192 33554432000 4194304 4196468 140723923247904 139698697828752 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25565] ppid=25507 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138388 11246788608 22192 33554432000 4194304 4196468 140723923247904 139698579093776 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25566] ppid=25507 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138388 11246788608 22192 33554432000 4194304 4196468 140723923247904 139698578041488 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25567] ppid=25507 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 13514 0 -1 1077944384 2 12894 0 0 0 0 4 3 20 0 15 0 107138388 11246788608 22192 33554432000 4194304 4196468 140723923247904 139698230712848 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25568] ppid=25507 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 13514 0 -1 1077944384 5 12894 0 0 0 0 4 3 20 0 15 0 107138390 11246788608 22192 33554432000 4194304 4196468 140723923247904 139697663371888 139698693597826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25569] ppid=25507 vsize=10983192 memory=140047475159728 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 13514 0 -1 1077944384 13 12894 0 0 0 0 4 3 20 0 15 0 107138390 11246788608 22192 33554432000 4194304 4196468 140723923247904 139697569391904 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25570] ppid=25507 vsize=10983192 memory=140050293588560 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138390 11246788608 22192 33554432000 4194304 4196468 140723923247904 139697368065648 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25571] ppid=25507 vsize=10983192 memory=1020 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11246788608 22192 33554432000 4194304 4196468 140723923247904 139697060665936 139698693605275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25572] ppid=25507 vsize=10983192 memory=7089042195949315648 CPUtime=0.14 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 13514 0 -1 1077944384 832 12894 0 0 7 0 4 3 20 0 15 0 107138393 11246788608 22192 33554432000 4194304 4196468 140723923247904 139697662318704 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25573] ppid=25507 vsize=10983192 memory=7881696724453321575 CPUtime=0.17 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 13514 0 -1 1077944384 805 12894 0 0 10 0 4 3 20 0 15 0 107138393 11246788608 22192 33554432000 4194304 4196468 140723923247904 139697661265904 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25574] ppid=25507 vsize=10983192 memory=5789189752906409301 CPUtime=0.2 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) S 25507 25510 13514 0 -1 1077944384 680 12894 0 0 13 0 4 3 20 0 15 0 107138393 11246788608 22192 33554432000 4194304 4196468 140723923247904 139697660213616 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25575] ppid=25507 vsize=10983192 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11246788608 22192 33554432000 4194304 4196468 140723923247904 139696629869024 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25576] ppid=25507 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138393 11246788608 22192 33554432000 4194304 4196468 140723923247904 139697659161520 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88768 KiB

[startup+1.50076 s]
/proc/loadavg: 1.98 1.96 1.91 3/215 25576
/proc/meminfo: memFree=25819320/32770624 swapFree=67108860/67108860
[pid=25510] ppid=25507 vsize=10996044 memory=199916 CPUtime=2.88 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 13514 0 -1 1077944320 25243 12894 0 0 271 10 4 3 20 0 15 0 107138378 11259949056 49979 33554432000 4194304 4196468 140723923247904 140723923230448 139698693586679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
/proc/25510/statm: 2749011 49979 3477 1 0 2710669 0
[pid=25510/tid=25563] ppid=25507 vsize=10996044 memory=10757 CPUtime=1.42 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) S 25507 25510 13514 0 -1 1077944384 17292 12894 0 0 130 5 4 3 20 0 15 0 107138387 11259949056 49979 33554432000 4194304 4196468 140723923247904 139698665418512 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25564] ppid=25507 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 13514 0 -1 1077944384 177 12894 0 0 1 0 4 3 20 0 15 0 107138388 11259949056 49979 33554432000 4194304 4196468 140723923247904 139698697828752 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25565] ppid=25507 vsize=10996044 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 13514 0 -1 1077944384 15 12894 0 0 1 0 4 3 20 0 15 0 107138388 11259949056 49934 33554432000 4194304 4196468 140723923247904 139698579093776 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25566] ppid=25507 vsize=10996044 memory=2996 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 13514 0 -1 1077944384 17 12894 0 0 1 0 4 3 20 0 15 0 107138388 11259949056 49880 33554432000 4194304 4196468 140723923247904 139698578041488 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25567] ppid=25507 vsize=10996044 memory=88768 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) R 25507 25510 13514 0 -1 1077944384 70 12894 0 0 1 0 4 3 20 0 15 0 107138388 11259949056 49880 33554432000 4194304 4196468 140723923247904 139698230712848 139698693596885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25568] ppid=25507 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) R 25507 25510 13514 0 -1 4202560 162 12894 0 0 1 0 4 3 20 0 15 0 107138390 11259949056 49880 33554432000 4194304 4196468 140723923247904 139697663370400 139698686303831 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25569] ppid=25507 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 13514 0 -1 1077944384 13 12894 0 0 0 0 4 3 20 0 15 0 107138390 11259949056 49880 33554432000 4194304 4196468 140723923247904 139697569391904 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25570] ppid=25507 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138390 11259949056 49880 33554432000 4194304 4196468 140723923247904 139697368065648 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25571] ppid=25507 vsize=10996044 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11259949056 49880 33554432000 4194304 4196468 140723923247904 139697060665936 139698693605275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25572] ppid=25507 vsize=10996044 memory=4638778398332698720 CPUtime=0.52 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 13514 0 -1 1077944384 1842 12894 0 0 45 0 4 3 20 0 15 0 107138393 11259949056 49880 33554432000 4194304 4196468 140723923247904 139697662318704 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25573] ppid=25507 vsize=10996044 memory=280094950595456 CPUtime=0.51 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 13514 0 -1 1077944384 1721 12894 0 0 44 0 4 3 20 0 15 0 107138393 11259949056 49880 33554432000 4194304 4196468 140723923247904 139697661265904 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25574] ppid=25507 vsize=10996044 memory=6944656592452807323 CPUtime=0.5 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) S 25507 25510 13514 0 -1 1077944384 1737 12894 0 0 43 0 4 3 20 0 15 0 107138393 11259949056 49880 33554432000 4194304 4196468 140723923247904 139697660213616 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25575] ppid=25507 vsize=10996044 memory=6944656591801719708 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11259949056 49880 33554432000 4194304 4196468 140723923247904 139696629869024 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25576] ppid=25507 vsize=10996044 memory=1399101730491701635 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 13514 0 -1 1077944384 1 12894 0 0 0 0 4 3 20 0 15 0 107138393 11259949056 49880 33554432000 4194304 4196468 140723923247904 139697659161520 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 10996044 KiB

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

/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 13514 0 -1 4202560 61713 12894 0 0 16054 50 4 3 20 0 15 0 107138387 11345952768 672869 33554432000 4194304 4196468 140723923247904 139698665419648 139698270987328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25564] ppid=25507 vsize=11080032 memory=2596 CPUtime=0.95 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 13514 0 -1 1077944384 1916 12894 0 0 78 10 4 3 20 0 15 0 107138388 11345952768 672869 33554432000 4194304 4196468 140723923247904 139698697828752 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25565] ppid=25507 vsize=11080032 memory=1408 CPUtime=0.94 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 13514 0 -1 1077944384 1878 12894 0 0 77 10 4 3 20 0 15 0 107138388 11345952768 672869 33554432000 4194304 4196468 140723923247904 139698579093776 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25566] ppid=25507 vsize=11080032 memory=4126316290023845779 CPUtime=0.94 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 13514 0 -1 1077944384 884 12894 0 0 78 9 4 3 20 0 15 0 107138388 11345952768 672869 33554432000 4194304 4196468 140723923247904 139698578041488 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25567] ppid=25507 vsize=11080032 memory=2691476 CPUtime=0.96 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 13514 0 -1 1077944384 3409 12894 0 0 79 10 4 3 20 0 15 0 107138388 11345952768 672869 33554432000 4194304 4196468 140723923247904 139698230712848 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25568] ppid=25507 vsize=11080032 memory=1408 CPUtime=0.23 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 13514 0 -1 1077944384 4850 12894 0 0 15 1 4 3 20 0 15 0 107138390 11345952768 672869 33554432000 4194304 4196468 140723923247904 139697663371888 139698693597826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25569] ppid=25507 vsize=11080032 memory=2540 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 13514 0 -1 1077944384 18 12894 0 0 0 0 4 3 20 0 15 0 107138390 11345952768 672869 33554432000 4194304 4196468 140723923247904 139697569392032 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25570] ppid=25507 vsize=11080032 memory=572136 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 13514 0 -1 1077944384 18 12894 0 0 0 0 4 3 20 0 15 0 107138390 11345952768 672869 33554432000 4194304 4196468 140723923247904 139697368065664 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25571] ppid=25507 vsize=11080032 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11345952768 672869 33554432000 4194304 4196468 140723923247904 139697060665936 139698693605275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25572] ppid=25507 vsize=11080032 memory=4126316290023845779 CPUtime=7.93 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 13514 0 -1 1077944384 25593 12894 0 0 782 4 4 3 20 0 15 0 107138393 11345952768 672869 33554432000 4194304 4196468 140723923247904 139697662318704 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25573] ppid=25507 vsize=11080032 memory=2724 CPUtime=7.48 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 13514 0 -1 1077944384 20909 12894 0 0 737 4 4 3 20 0 15 0 107138393 11345952768 672869 33554432000 4194304 4196468 140723923247904 139697661265904 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25574] ppid=25507 vsize=11080032 memory=1256 CPUtime=3.03 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) S 25507 25510 13514 0 -1 1077944384 17369 12894 0 0 291 5 4 3 20 0 15 0 107138393 11345952768 672869 33554432000 4194304 4196468 140723923247904 139697660213616 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25575] ppid=25507 vsize=11080032 memory=10368 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11345952768 672869 33554432000 4194304 4196468 140723923247904 139696629869024 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25576] ppid=25507 vsize=11080032 memory=1700 CPUtime=0.16 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 13514 0 -1 1077944384 337 12894 0 0 4 5 4 3 20 0 15 0 107138393 11345952768 672869 33554432000 4194304 4196468 140723923247904 139697659161520 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
Current children cumulated CPU time: 183.19 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2691476 KiB

[startup+222.301 s]*
/proc/loadavg: 1.79 1.84 1.87 3/215 25834
/proc/meminfo: memFree=23300312/32770624 swapFree=67108860/67108860
[pid=25510] ppid=25507 vsize=11080032 memory=2432100 CPUtime=244.58 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 13514 0 -1 1077944320 155254 12894 0 0 24334 117 4 3 20 0 15 0 107138378 11345952768 608025 33554432000 4194304 4196468 140723923247904 140723923230448 139698693586679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
/proc/25510/statm: 2770008 608025 3530 1 0 2731661 0
[pid=25510/tid=25563] ppid=25507 vsize=11080032 memory=2596 CPUtime=220.63 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 13514 0 -1 4202560 65882 12894 0 0 22006 50 4 3 20 0 15 0 107138387 11345952768 608025 33554432000 4194304 4196468 140723923247904 139698665419760 139698265516896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25564] ppid=25507 vsize=11080032 memory=1408 CPUtime=1.3 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 13514 0 -1 1077944384 2677 12894 0 0 113 10 4 3 20 0 15 0 107138388 11345952768 608025 33554432000 4194304 4196468 140723923247904 139698697828752 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25565] ppid=25507 vsize=11080032 memory=2436720 CPUtime=1.29 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 13514 0 -1 1077944384 2034 12894 0 0 111 11 4 3 20 0 15 0 107138388 11345952768 608025 33554432000 4194304 4196468 140723923247904 139698579093776 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25566] ppid=25507 vsize=11080032 memory=4126316290023845779 CPUtime=1.31 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 13514 0 -1 1077944384 1102 12894 0 0 113 11 4 3 20 0 15 0 107138388 11345952768 608025 33554432000 4194304 4196468 140723923247904 139698578041488 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25567] ppid=25507 vsize=11080032 memory=288230617509003574 CPUtime=1.32 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 13514 0 -1 1077944384 4408 12894 0 0 114 11 4 3 20 0 15 0 107138388 11345952768 608025 33554432000 4194304 4196468 140723923247904 139698230712848 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25568] ppid=25507 vsize=11080032 memory=13847486485760432 CPUtime=0.32 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 13514 0 -1 1077944384 5169 12894 0 0 22 3 4 3 20 0 15 0 107138390 11345952768 608025 33554432000 4194304 4196468 140723923247904 139697663371888 139698693597826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25569] ppid=25507 vsize=11080032 memory=2948 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 13514 0 -1 1077944384 18 12894 0 0 0 0 4 3 20 0 15 0 107138390 11345952768 608025 33554432000 4194304 4196468 140723923247904 139697569392032 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25570] ppid=25507 vsize=11080032 memory=2838060 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 13514 0 -1 1077944384 18 12894 0 0 0 0 4 3 20 0 15 0 107138390 11345952768 608025 33554432000 4194304 4196468 140723923247904 139697368065664 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25571] ppid=25507 vsize=11080032 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11345952768 608025 33554432000 4194304 4196468 140723923247904 139697060665936 139698693605275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25572] ppid=25507 vsize=11080032 memory=4126316290023845779 CPUtime=8.04 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 13514 0 -1 1077944384 26924 12894 0 0 793 4 4 3 20 0 15 0 107138393 11345952768 608025 33554432000 4194304 4196468 140723923247904 139697662318704 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25573] ppid=25507 vsize=11080032 memory=3164 CPUtime=7.64 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 13514 0 -1 1077944384 23313 12894 0 0 753 4 4 3 20 0 15 0 107138393 11345952768 608025 33554432000 4194304 4196468 140723923247904 139697661265904 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25574] ppid=25507 vsize=11080032 memory=2464936 CPUtime=3.04 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) S 25507 25510 13514 0 -1 1077944384 20931 12894 0 0 292 5 4 3 20 0 15 0 107138393 11345952768 608025 33554432000 4194304 4196468 140723923247904 139697660213616 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25575] ppid=25507 vsize=11080032 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11345952768 608025 33554432000 4194304 4196468 140723923247904 139696629869024 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25576] ppid=25507 vsize=11080032 memory=2948 CPUtime=0.2 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 13514 0 -1 1077944384 582 12894 0 0 6 7 4 3 20 0 15 0 107138393 11345952768 608025 33554432000 4194304 4196468 140723923247904 139697659161520 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
Current children cumulated CPU time: 244.58 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2432100 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+229.601 s]
/proc/loadavg: 1.81 1.84 1.87 3/215 25834
/proc/meminfo: memFree=23304540/32770624 swapFree=67108860/67108860
[pid=25510] ppid=25507 vsize=11080032 memory=2425432 CPUtime=252 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 13514 0 -1 1077944320 155294 12894 0 0 25075 118 4 3 20 0 15 0 107138378 11345952768 606358 33554432000 4194304 4196468 140723923247904 140723923230448 139698693586679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
/proc/25510/statm: 2770008 606358 3530 1 0 2731661 0
[pid=25510/tid=25563] ppid=25507 vsize=11080032 memory=2425944 CPUtime=227.86 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 13514 0 -1 4202560 65903 12894 0 0 22729 50 4 3 20 0 15 0 107138387 11345952768 606358 33554432000 4194304 4196468 140723923247904 139698665419664 139698259816837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25564] ppid=25507 vsize=11080032 memory=2426972 CPUtime=1.35 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 13514 0 -1 1077944384 2682 12894 0 0 118 10 4 3 20 0 15 0 107138388 11345952768 606358 33554432000 4194304 4196468 140723923247904 139698697828752 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25565] ppid=25507 vsize=11080032 memory=2426972 CPUtime=1.33 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 13514 0 -1 1077944384 2038 12894 0 0 115 11 4 3 20 0 15 0 107138388 11345952768 606358 33554432000 4194304 4196468 140723923247904 139698579093776 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25566] ppid=25507 vsize=11080032 memory=2425432 CPUtime=1.35 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 13514 0 -1 1077944384 1107 12894 0 0 117 11 4 3 20 0 15 0 107138388 11345952768 606358 33554432000 4194304 4196468 140723923247904 139698578041488 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25567] ppid=25507 vsize=11080032 memory=2425944 CPUtime=1.36 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 13514 0 -1 1077944384 4410 12894 0 0 118 11 4 3 20 0 15 0 107138388 11345952768 606358 33554432000 4194304 4196468 140723923247904 139698230712848 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25568] ppid=25507 vsize=11080032 memory=6791534058613427641 CPUtime=0.33 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 13514 0 -1 1077944384 5172 12894 0 0 23 3 4 3 20 0 15 0 107138390 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697663371888 139698693597826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25569] ppid=25507 vsize=11080032 memory=2431076 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 13514 0 -1 1077944384 18 12894 0 0 0 0 4 3 20 0 15 0 107138390 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697569392032 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25570] ppid=25507 vsize=11080032 memory=1020 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 13514 0 -1 1077944384 18 12894 0 0 0 0 4 3 20 0 15 0 107138390 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697368065664 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25571] ppid=25507 vsize=11080032 memory=2432100 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697060665936 139698693605275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25572] ppid=25507 vsize=11080032 memory=4140 CPUtime=8.04 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 13514 0 -1 1077944384 26924 12894 0 0 793 4 4 3 20 0 15 0 107138393 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697662318704 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25573] ppid=25507 vsize=11080032 memory=2439284 CPUtime=7.64 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 13514 0 -1 1077944384 23313 12894 0 0 753 4 4 3 20 0 15 0 107138393 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697661265904 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25574] ppid=25507 vsize=11080032 memory=2439284 CPUtime=3.04 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) S 25507 25510 13514 0 -1 1077944384 20931 12894 0 0 292 5 4 3 20 0 15 0 107138393 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697660213616 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25575] ppid=25507 vsize=11080032 memory=2426972 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11345952768 606358 33554432000 4194304 4196468 140723923247904 139696629869024 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25576] ppid=25507 vsize=11080032 memory=2427484 CPUtime=0.2 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 13514 0 -1 1077944384 582 12894 0 0 6 7 4 3 20 0 15 0 107138393 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697659161520 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2425432 KiB

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

[startup+229.653 s]
# the end of solver process 25510 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.836 s, system=1.24422 s

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

[startup+229.601 s]
/proc/loadavg: 1.81 1.84 1.87 3/215 25834
/proc/meminfo: memFree=23304540/32770624 swapFree=67108860/67108860
[pid=25510] ppid=25507 vsize=11080032 memory=2425432 CPUtime=252 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 13514 0 -1 1077944320 155294 12894 0 0 25075 118 4 3 20 0 15 0 107138378 11345952768 606358 33554432000 4194304 4196468 140723923247904 140723923230448 139698693586679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
/proc/25510/statm: 2770008 606358 3530 1 0 2731661 0
[pid=25510/tid=25563] ppid=25507 vsize=11080032 memory=2425944 CPUtime=227.86 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 13514 0 -1 4202560 65903 12894 0 0 22729 50 4 3 20 0 15 0 107138387 11345952768 606358 33554432000 4194304 4196468 140723923247904 139698665419664 139698259816837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25564] ppid=25507 vsize=11080032 memory=2426972 CPUtime=1.35 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 13514 0 -1 1077944384 2682 12894 0 0 118 10 4 3 20 0 15 0 107138388 11345952768 606358 33554432000 4194304 4196468 140723923247904 139698697828752 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25565] ppid=25507 vsize=11080032 memory=2426972 CPUtime=1.33 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 13514 0 -1 1077944384 2038 12894 0 0 115 11 4 3 20 0 15 0 107138388 11345952768 606358 33554432000 4194304 4196468 140723923247904 139698579093776 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25566] ppid=25507 vsize=11080032 memory=2425432 CPUtime=1.35 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 13514 0 -1 1077944384 1107 12894 0 0 117 11 4 3 20 0 15 0 107138388 11345952768 606358 33554432000 4194304 4196468 140723923247904 139698578041488 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25567] ppid=25507 vsize=11080032 memory=2425944 CPUtime=1.36 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 13514 0 -1 1077944384 4410 12894 0 0 118 11 4 3 20 0 15 0 107138388 11345952768 606358 33554432000 4194304 4196468 140723923247904 139698230712848 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25568] ppid=25507 vsize=11080032 memory=6791534058613427641 CPUtime=0.33 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 13514 0 -1 1077944384 5172 12894 0 0 23 3 4 3 20 0 15 0 107138390 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697663371888 139698693597826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25569] ppid=25507 vsize=11080032 memory=2431076 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 13514 0 -1 1077944384 18 12894 0 0 0 0 4 3 20 0 15 0 107138390 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697569392032 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25570] ppid=25507 vsize=11080032 memory=1020 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 13514 0 -1 1077944384 18 12894 0 0 0 0 4 3 20 0 15 0 107138390 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697368065664 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25571] ppid=25507 vsize=11080032 memory=2432100 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697060665936 139698693605275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25572] ppid=25507 vsize=11080032 memory=4140 CPUtime=8.04 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 13514 0 -1 1077944384 26924 12894 0 0 793 4 4 3 20 0 15 0 107138393 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697662318704 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25573] ppid=25507 vsize=11080032 memory=2439284 CPUtime=7.64 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 13514 0 -1 1077944384 23313 12894 0 0 753 4 4 3 20 0 15 0 107138393 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697661265904 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25574] ppid=25507 vsize=11080032 memory=2439284 CPUtime=3.04 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) S 25507 25510 13514 0 -1 1077944384 20931 12894 0 0 292 5 4 3 20 0 15 0 107138393 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697660213616 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25575] ppid=25507 vsize=11080032 memory=2426972 CPUtime=0.07 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 13514 0 -1 1077944384 3 12894 0 0 0 0 4 3 20 0 15 0 107138393 11345952768 606358 33554432000 4194304 4196468 140723923247904 139696629869024 139698693596885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
[pid=25510/tid=25576] ppid=25507 vsize=11080032 memory=2427484 CPUtime=0.2 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 13514 0 -1 1077944384 582 12894 0 0 6 7 4 3 20 0 15 0 107138393 11345952768 606358 33554432000 4194304 4196468 140723923247904 139697659161520 139698693597826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140723923253864 140723923256673 140723923256673 140723923259343 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2425432 KiB

Child status: 143
Real time (s): 229.653
CPU time (s): 252.08
CPU user time (s): 250.836
CPU system time (s): 1.24422
CPU usage (%): 109.766
Max. virtual memory (cumulated for all children) (KiB): 11082668
Max. memory (cumulated for all children) (KiB): 2946488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.836
system time used= 1.24422
maximum resident set size= 2948032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169107
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18281
involuntary context switches= 444


# summary of solver processes directly reported to runsolver:
#   pid: 25510
#   total CPU time (s): 252.08
#   total CPU user time (s): 250.836
#   total CPU system time (s): 1.24422

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42375 second user time and 2.18907 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-02-opt_c18.xml
MD5SUM	f46e6f53d96372a3a8925b0c81d3424e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	14
Best CPU time to get the best result obtained on this benchmark	251.998
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2245
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":56},{"size":22,"count":4},{"size":36,"count":66},{"size":42,"count":116},{"size":44,"count":158}]
Minimum variable degree	4
Maximum variable degree	32
Distribution of variable degrees	[{"degree":4,"count":2},{"degree":6,"count":12},{"degree":7,"count":21},{"degree":8,"count":38},{"degree":9,"count":42},{"degree":10,"count":44},{"degree":11,"count":45},{"degree":12,"count":27},{"degree":13,"count":16},{"degree":14,"count":27},{"degree":15,"count":21},{"degree":16,"count":44},{"degree":17,"count":30},{"degree":18,"count":17},{"degree":19,"count":7},{"degree":20,"count":2},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":32,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2245}]
Number of extensional constraints	0
Number of intensional constraints	2245
Distribution of constraint types	[{"type":"intension","count":2245}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4302901

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
