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 (9101 MiB free)
memory of node 1: 16384 MiB (7036 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305206-1534141607/watcher-4305206-1534141607 -o /tmp/evaluation-result-4305206-1534141607/solver-4305206-1534141607 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534139122-2606 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=685139250 -superng HOME/instance-4305206-1534141607.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2926, runsolver pid=2923
[startup+0.100117 s]*
/proc/loadavg: 1.23 1.24 1.36 3/206 2983
/proc/meminfo: memFree=16517688/32770624 swapFree=67108404/67108860
[pid=2926] ppid=2923 vsize=10005480 memory=18328 CPUtime=0.09 cores=1,3,5,7
/proc/2926/stat : 2926 (java) S 2923 2926 1786 0 -1 1077944320 4249 13187 0 0 1 1 4 3 20 0 6 0 231723866 10245611520 4582 33554432000 4194304 4196468 140734301607808 140734301590352 139905019858679 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
/proc/2926/statm: 2501370 4582 1930 1 0 2489808 0
[pid=2926/tid=2979] ppid=2923 vsize=10005480 memory=-8889949278721851327 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2979/stat : 2979 (java) R 2923 2926 1786 0 -1 4202560 2062 13187 0 0 0 0 4 3 20 0 6 0 231723875 10245611520 4648 33554432000 4194304 4196468 140734301607808 139904991695440 139905019880605 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2980] ppid=2923 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2980/stat : 2980 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 6 0 231723876 10245611520 4648 33554432000 4194304 4196468 140734301607808 139905024100752 139905019868885 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2981] ppid=2923 vsize=10005480 memory=140031311488640 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2981/stat : 2981 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 6 0 231723876 10245611520 4648 33554432000 4194304 4196468 140734301607808 139904878819600 139905019868885 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2982] ppid=2923 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2982/stat : 2982 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 6 0 231723876 10245611520 4648 33554432000 4194304 4196468 140734301607808 139904877767312 139905019868885 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2983] ppid=2923 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2983/stat : 2983 (java) S 2923 2926 1786 0 -1 1077944384 2 13187 0 0 0 0 4 3 20 0 6 0 231723876 10245611520 4648 33554432000 4194304 4196468 140734301607808 139904876714512 139905019868885 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB
[startup+0.209889 s]*
/proc/loadavg: 1.23 1.24 1.36 3/215 2992
/proc/meminfo: memFree=16493908/32770624 swapFree=67108404/67108860
[pid=2926] ppid=2923 vsize=10982744 memory=45744 CPUtime=0.25 cores=1,3,5,7
/proc/2926/stat : 2926 (java) S 2923 2926 1786 0 -1 1077944320 7611 13187 0 0 16 2 4 3 20 0 15 0 231723866 11246329856 11436 33554432000 4194304 4196468 140734301607808 140734301590352 139905019858679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
/proc/2926/statm: 2745686 11436 2953 1 0 2708109 0
[pid=2926/tid=2979] ppid=2923 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/2926/task/2979/stat : 2979 (java) R 2923 2926 1786 0 -1 4202560 4355 13187 0 0 10 1 4 3 20 0 15 0 231723875 11246329856 11568 33554432000 4194304 4196468 140734301607808 139904991636640 139905003939166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2980] ppid=2923 vsize=10982744 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2980/stat : 2980 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723876 11246329856 11568 33554432000 4194304 4196468 140734301607808 139905024100752 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2981] ppid=2923 vsize=10982744 memory=140031312616765 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2981/stat : 2981 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723876 11246329856 11568 33554432000 4194304 4196468 140734301607808 139904878819600 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2982] ppid=2923 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2982/stat : 2982 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723876 11246329856 11568 33554432000 4194304 4196468 140734301607808 139904877767312 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2983] ppid=2923 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2983/stat : 2983 (java) S 2923 2926 1786 0 -1 1077944384 2 13187 0 0 0 0 4 3 20 0 15 0 231723876 11246329856 11568 33554432000 4194304 4196468 140734301607808 139904876714512 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2984] ppid=2923 vsize=10982744 memory=140031311488640 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2984/stat : 2984 (java) S 2923 2926 1786 0 -1 1077944384 2 13187 0 0 0 0 4 3 20 0 15 0 231723878 11246329856 11568 33554432000 4194304 4196468 140734301607808 139904445000304 139905019869826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2985] ppid=2923 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2985/stat : 2985 (java) S 2923 2926 1786 0 -1 1077944384 13 13187 0 0 0 0 4 3 20 0 15 0 231723878 11246329856 11568 33554432000 4194304 4196468 140734301607808 139903808562464 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2986] ppid=2923 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2986/stat : 2986 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723878 11246329856 11568 33554432000 4194304 4196468 140734301607808 139903660713584 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2987] ppid=2923 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2987/stat : 2987 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11246329856 11568 33554432000 4194304 4196468 140734301607808 139903353313872 139905019877275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2988] ppid=2923 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2988/stat : 2988 (java) S 2923 2926 1786 0 -1 1077944384 428 13187 0 0 0 0 4 3 20 0 15 0 231723881 11246329856 11568 33554432000 4194304 4196468 140734301607808 139904443947120 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2989] ppid=2923 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2926/task/2989/stat : 2989 (java) S 2923 2926 1786 0 -1 1077944384 188 13187 0 0 1 0 4 3 20 0 15 0 231723881 11246329856 11568 33554432000 4194304 4196468 140734301607808 139904442894320 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2990] ppid=2923 vsize=10982744 memory=140031311488640 CPUtime=0.1 cores=1,3,5,7
/proc/2926/task/2990/stat : 2990 (java) R 2923 2926 1786 0 -1 4202560 603 13187 0 0 3 0 4 3 20 0 15 0 231723881 11246329856 11568 33554432000 4194304 4196468 140734301607808 139904441842032 139905000101449 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2991] ppid=2923 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2991/stat : 2991 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11246329856 11568 33554432000 4194304 4196468 140734301607808 139902922516960 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2992] ppid=2923 vsize=10982744 memory=140031311488640 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2992/stat : 2992 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723881 11246329856 11568 33554432000 4194304 4196468 140734301607808 139904440789936 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45744 KiB
[startup+0.31028 s]*
/proc/loadavg: 1.23 1.24 1.36 3/215 2992
/proc/meminfo: memFree=16482856/32770624 swapFree=67108404/67108860
[pid=2926] ppid=2923 vsize=10983192 memory=56988 CPUtime=0.37 cores=1,3,5,7
/proc/2926/stat : 2926 (java) S 2923 2926 1786 0 -1 1077944320 10289 13187 0 0 27 3 4 3 20 0 15 0 231723866 11246788608 14247 33554432000 4194304 4196468 140734301607808 140734301590352 139905019858679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
/proc/2926/statm: 2745798 14247 3072 1 0 2708109 0
[pid=2926/tid=2979] ppid=2923 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/2926/task/2979/stat : 2979 (java) R 2923 2926 1786 0 -1 4202560 6840 13187 0 0 19 2 4 3 20 0 15 0 231723875 11246788608 14247 33554432000 4194304 4196468 140734301607808 139904991670688 139905000134059 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2980] ppid=2923 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2980/stat : 2980 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723876 11246788608 14247 33554432000 4194304 4196468 140734301607808 139905024100752 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2981] ppid=2923 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2981/stat : 2981 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723876 11246788608 14247 33554432000 4194304 4196468 140734301607808 139904878819600 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2982] ppid=2923 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2982/stat : 2982 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723876 11246788608 14247 33554432000 4194304 4196468 140734301607808 139904877767312 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2983] ppid=2923 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2983/stat : 2983 (java) S 2923 2926 1786 0 -1 1077944384 2 13187 0 0 0 0 4 3 20 0 15 0 231723876 11246788608 14247 33554432000 4194304 4196468 140734301607808 139904876714512 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2984] ppid=2923 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2984/stat : 2984 (java) S 2923 2926 1786 0 -1 1077944384 2 13187 0 0 0 0 4 3 20 0 15 0 231723878 11246788608 14247 33554432000 4194304 4196468 140734301607808 139904445000304 139905019869826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2985] ppid=2923 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2985/stat : 2985 (java) S 2923 2926 1786 0 -1 1077944384 13 13187 0 0 0 0 4 3 20 0 15 0 231723878 11246788608 14247 33554432000 4194304 4196468 140734301607808 139903808562464 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2986] ppid=2923 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2986/stat : 2986 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723878 11246788608 14247 33554432000 4194304 4196468 140734301607808 139903660713584 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2987] ppid=2923 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2987/stat : 2987 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11246788608 14247 33554432000 4194304 4196468 140734301607808 139903353313872 139905019877275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2988] ppid=2923 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2926/task/2988/stat : 2988 (java) S 2923 2926 1786 0 -1 1077944384 428 13187 0 0 1 0 4 3 20 0 15 0 231723881 11246788608 14247 33554432000 4194304 4196468 140734301607808 139904443947120 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2989] ppid=2923 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2926/task/2989/stat : 2989 (java) S 2923 2926 1786 0 -1 1077944384 189 13187 0 0 1 0 4 3 20 0 15 0 231723881 11246788608 14247 33554432000 4194304 4196468 140734301607808 139904442894320 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2990] ppid=2923 vsize=10983192 memory=140031311488640 CPUtime=0.11 cores=1,3,5,7
/proc/2926/task/2990/stat : 2990 (java) S 2923 2926 1786 0 -1 1077944384 612 13187 0 0 4 0 4 3 20 0 15 0 231723881 11246788608 14247 33554432000 4194304 4196468 140734301607808 139904441842032 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2991] ppid=2923 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2991/stat : 2991 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11246788608 14247 33554432000 4194304 4196468 140734301607808 139902922516960 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2992] ppid=2923 vsize=10983192 memory=140031311488640 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2992/stat : 2992 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723881 11246788608 14247 33554432000 4194304 4196468 140734301607808 139904440789936 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56988 KiB
[startup+0.700703 s]
/proc/loadavg: 1.23 1.24 1.36 3/215 2992
/proc/meminfo: memFree=16472188/32770624 swapFree=67108404/67108860
[pid=2926] ppid=2923 vsize=10983192 memory=89080 CPUtime=0.98 cores=1,3,5,7
/proc/2926/stat : 2926 (java) S 2923 2926 1786 0 -1 1077944320 16420 13187 0 0 86 5 4 3 20 0 15 0 231723866 11246788608 22270 33554432000 4194304 4196468 140734301607808 140734301590352 139905019858679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
/proc/2926/statm: 2745798 22270 3238 1 0 2708109 0
[pid=2926/tid=2979] ppid=2923 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/2926/task/2979/stat : 2979 (java) R 2923 2926 1786 0 -1 4202560 11954 13187 0 0 55 3 4 3 20 0 15 0 231723875 11246788608 22270 33554432000 4194304 4196468 140734301607808 139904991679504 139905003939166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2980] ppid=2923 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2980/stat : 2980 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723876 11246788608 22270 33554432000 4194304 4196468 140734301607808 139905024100752 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2981] ppid=2923 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2981/stat : 2981 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723876 11246788608 22270 33554432000 4194304 4196468 140734301607808 139904878819600 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2982] ppid=2923 vsize=10983192 memory=8514701219882239650 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2982/stat : 2982 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723876 11246788608 22270 33554432000 4194304 4196468 140734301607808 139904877767312 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2983] ppid=2923 vsize=10983192 memory=7668900524563524185 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2983/stat : 2983 (java) S 2923 2926 1786 0 -1 1077944384 2 13187 0 0 0 0 4 3 20 0 15 0 231723876 11246788608 22270 33554432000 4194304 4196468 140734301607808 139904876714512 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2984] ppid=2923 vsize=10983192 memory=7810487918915055718 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2984/stat : 2984 (java) S 2923 2926 1786 0 -1 1077944384 5 13187 0 0 0 0 4 3 20 0 15 0 231723878 11246788608 22270 33554432000 4194304 4196468 140734301607808 139904445000304 139905019869826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2985] ppid=2923 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2985/stat : 2985 (java) S 2923 2926 1786 0 -1 1077944384 13 13187 0 0 0 0 4 3 20 0 15 0 231723878 11246788608 22270 33554432000 4194304 4196468 140734301607808 139903808562464 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2986] ppid=2923 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2986/stat : 2986 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723878 11246788608 22270 33554432000 4194304 4196468 140734301607808 139903660713584 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2987] ppid=2923 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2987/stat : 2987 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11246788608 22270 33554432000 4194304 4196468 140734301607808 139903353313872 139905019877275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2988] ppid=2923 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/2926/task/2988/stat : 2988 (java) S 2923 2926 1786 0 -1 1077944384 791 13187 0 0 6 0 4 3 20 0 15 0 231723881 11246788608 22270 33554432000 4194304 4196468 140734301607808 139904443947120 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2989] ppid=2923 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/2926/task/2989/stat : 2989 (java) S 2923 2926 1786 0 -1 1077944384 785 13187 0 0 10 0 4 3 20 0 15 0 231723881 11246788608 22270 33554432000 4194304 4196468 140734301607808 139904442894320 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2990] ppid=2923 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/2926/task/2990/stat : 2990 (java) S 2923 2926 1786 0 -1 1077944384 665 13187 0 0 13 0 4 3 20 0 15 0 231723881 11246788608 22270 33554432000 4194304 4196468 140734301607808 139904441842032 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2991] ppid=2923 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2991/stat : 2991 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11246788608 22270 33554432000 4194304 4196468 140734301607808 139902922516960 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2992] ppid=2923 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2992/stat : 2992 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723881 11246788608 22270 33554432000 4194304 4196468 140734301607808 139904440789936 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89080 KiB
[startup+1.5007 s]
/proc/loadavg: 1.23 1.24 1.36 4/215 2992
/proc/meminfo: memFree=16426476/32770624 swapFree=67108404/67108860
[pid=2926] ppid=2923 vsize=10996044 memory=199384 CPUtime=2.84 cores=1,3,5,7
/proc/2926/stat : 2926 (java) S 2923 2926 1786 0 -1 1077944320 23160 13187 0 0 269 8 4 3 20 0 15 0 231723866 11259949056 49846 33554432000 4194304 4196468 140734301607808 140734301590352 139905019858679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
/proc/2926/statm: 2749011 49846 3449 1 0 2710669 0
[pid=2926/tid=2979] ppid=2923 vsize=10996044 memory=6933690287860520857 CPUtime=1.45 cores=1,3,5,7
/proc/2926/task/2979/stat : 2979 (java) R 2923 2926 1786 0 -1 4202560 16251 13187 0 0 132 6 4 3 20 0 15 0 231723875 11259949056 49846 33554432000 4194304 4196468 140734301607808 139904991640832 139905003939166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2980] ppid=2923 vsize=10996044 memory=6933690287860520857 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2980/stat : 2980 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723876 11259949056 49846 33554432000 4194304 4196468 140734301607808 139905024100752 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2981] ppid=2923 vsize=10996044 memory=6944656592452807316 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2981/stat : 2981 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723876 11259949056 49846 33554432000 4194304 4196468 140734301607808 139904878819600 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2982] ppid=2923 vsize=10996044 memory=-7737605721172012177 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2982/stat : 2982 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723876 11259949056 49846 33554432000 4194304 4196468 140734301607808 139904877767312 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2983] ppid=2923 vsize=10996044 memory=117356 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2983/stat : 2983 (java) S 2923 2926 1786 0 -1 1077944384 2 13187 0 0 0 0 4 3 20 0 15 0 231723876 11259949056 49846 33554432000 4194304 4196468 140734301607808 139904876714512 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2984] ppid=2923 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2984/stat : 2984 (java) S 2923 2926 1786 0 -1 1077944384 6 13187 0 0 0 0 4 3 20 0 15 0 231723878 11259949056 49846 33554432000 4194304 4196468 140734301607808 139904445000304 139905019869826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2985] ppid=2923 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2985/stat : 2985 (java) S 2923 2926 1786 0 -1 1077944384 13 13187 0 0 0 0 4 3 20 0 15 0 231723878 11259949056 49846 33554432000 4194304 4196468 140734301607808 139903808562464 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2986] ppid=2923 vsize=10996044 memory=280062335189856 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2986/stat : 2986 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723878 11259949056 49846 33554432000 4194304 4196468 140734301607808 139903660713584 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2987] ppid=2923 vsize=10996044 memory=280062335604512 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2987/stat : 2987 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11259949056 49846 33554432000 4194304 4196468 140734301607808 139903353313872 139905019877275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2988] ppid=2923 vsize=10996044 memory=280062335198688 CPUtime=0.5 cores=1,3,5,7
/proc/2926/task/2988/stat : 2988 (java) S 2923 2926 1786 0 -1 1077944384 1592 13187 0 0 43 0 4 3 20 0 15 0 231723881 11259949056 49846 33554432000 4194304 4196468 140734301607808 139904443947120 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2989] ppid=2923 vsize=10996044 memory=280062335203136 CPUtime=0.57 cores=1,3,5,7
/proc/2926/task/2989/stat : 2989 (java) S 2923 2926 1786 0 -1 1077944384 1504 13187 0 0 50 0 4 3 20 0 15 0 231723881 11259949056 49846 33554432000 4194304 4196468 140734301607808 139904442894320 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2990] ppid=2923 vsize=10996044 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/2926/task/2990/stat : 2990 (java) S 2923 2926 1786 0 -1 1077944384 1586 13187 0 0 42 0 4 3 20 0 15 0 231723881 11259949056 49846 33554432000 4194304 4196468 140734301607808 139904441842032 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2991] ppid=2923 vsize=10996044 memory=-9001727377931987047 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2991/stat : 2991 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11259949056 49846 33554432000 4194304 4196468 140734301607808 139902922516960 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2992] ppid=2923 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2992/stat : 2992 (java) S 2923 2926 1786 0 -1 1077944384 1 13187 0 0 0 0 4 3 20 0 15 0 231723881 11259949056 49846 33554432000 4194304 4196468 140734301607808 139904440789936 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/2926/task/2979/stat : 2979 (java) R 2923 2926 1786 0 -1 4202560 85589 13187 0 0 236032 41 4 3 20 0 15 0 231723875 11343855616 234381 33554432000 4194304 4196468 140734301607808 139904991692688 139904565595323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2980] ppid=2923 vsize=11077984 memory=937524 CPUtime=9.11 cores=1,3,5,7
/proc/2926/task/2980/stat : 2980 (java) S 2923 2926 1786 0 -1 1077944384 11187 13187 0 0 859 45 4 3 20 0 15 0 231723876 11343855616 234381 33554432000 4194304 4196468 140734301607808 139905024100752 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2981] ppid=2923 vsize=11077984 memory=937524 CPUtime=9.08 cores=1,3,5,7
/proc/2926/task/2981/stat : 2981 (java) S 2923 2926 1786 0 -1 1077944384 11148 13187 0 0 860 41 4 3 20 0 15 0 231723876 11343855616 234381 33554432000 4194304 4196468 140734301607808 139904878819600 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2982] ppid=2923 vsize=11077984 memory=937524 CPUtime=9.08 cores=1,3,5,7
/proc/2926/task/2982/stat : 2982 (java) S 2923 2926 1786 0 -1 1077944384 7219 13187 0 0 857 44 4 3 20 0 15 0 231723876 11343855616 234381 33554432000 4194304 4196468 140734301607808 139904877767312 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2983] ppid=2923 vsize=11077984 memory=937524 CPUtime=9.09 cores=1,3,5,7
/proc/2926/task/2983/stat : 2983 (java) S 2923 2926 1786 0 -1 1077944384 9642 13187 0 0 859 43 4 3 20 0 15 0 231723876 11343855616 234381 33554432000 4194304 4196468 140734301607808 139904876714512 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2984] ppid=2923 vsize=11077984 memory=937524 CPUtime=8.97 cores=1,3,5,7
/proc/2926/task/2984/stat : 2984 (java) S 2923 2926 1786 0 -1 1077944384 15696 13187 0 0 846 44 4 3 20 0 15 0 231723878 11343855616 234381 33554432000 4194304 4196468 140734301607808 139904445000304 139905019869826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2985] ppid=2923 vsize=11077984 memory=937524 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2985/stat : 2985 (java) S 2923 2926 1786 0 -1 1077944384 23 13187 0 0 0 0 4 3 20 0 15 0 231723878 11343855616 234381 33554432000 4194304 4196468 140734301607808 139903808562592 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2986] ppid=2923 vsize=11077984 memory=3684 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2986/stat : 2986 (java) S 2923 2926 1786 0 -1 1077944384 13 13187 0 0 0 0 4 3 20 0 15 0 231723878 11343855616 234381 33554432000 4194304 4196468 140734301607808 139903660713600 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2987] ppid=2923 vsize=11077984 memory=937524 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2987/stat : 2987 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11343855616 234381 33554432000 4194304 4196468 140734301607808 139903353313872 139905019877275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2988] ppid=2923 vsize=11077984 memory=937524 CPUtime=4.17 cores=1,3,5,7
/proc/2926/task/2988/stat : 2988 (java) S 2923 2926 1786 0 -1 1077944384 22205 13187 0 0 406 4 4 3 20 0 15 0 231723881 11343855616 234381 33554432000 4194304 4196468 140734301607808 139904443947120 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2989] ppid=2923 vsize=11077984 memory=1784 CPUtime=4.61 cores=1,3,5,7
/proc/2926/task/2989/stat : 2989 (java) S 2923 2926 1786 0 -1 1077944384 21434 13187 0 0 451 3 4 3 20 0 15 0 231723881 11343855616 234381 33554432000 4194304 4196468 140734301607808 139904442894320 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2990] ppid=2923 vsize=11077984 memory=937524 CPUtime=2 cores=1,3,5,7
/proc/2926/task/2990/stat : 2990 (java) S 2923 2926 1786 0 -1 1077944384 23724 13187 0 0 190 3 4 3 20 0 15 0 231723881 11343855616 234381 33554432000 4194304 4196468 140734301607808 139904441842032 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2991] ppid=2923 vsize=11077984 memory=937524 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2991/stat : 2991 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11343855616 234381 33554432000 4194304 4196468 140734301607808 139902922516960 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2992] ppid=2923 vsize=11077984 memory=937524 CPUtime=1.38 cores=1,3,5,7
/proc/2926/task/2992/stat : 2992 (java) S 2923 2926 1786 0 -1 1077944384 1066 13187 0 0 60 71 4 3 20 0 15 0 231723881 11343855616 234381 33554432000 4194304 4196468 140734301607808 139904440789936 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
Current children cumulated CPU time: 2417.76 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 937524 KiB
[startup+2442.3 s]
/proc/loadavg: 1.17 1.26 1.31 3/215 3219
/proc/meminfo: memFree=15184548/32770624 swapFree=67108404/67108860
[pid=2926] ppid=2923 vsize=11077984 memory=937556 CPUtime=2478.38 cores=1,3,5,7
/proc/2926/stat : 2926 (java) S 2923 2926 1786 0 -1 1077944320 212369 13187 0 0 247540 291 4 3 20 0 15 0 231723866 11343855616 234389 33554432000 4194304 4196468 140734301607808 140734301590352 139905019858679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
/proc/2926/statm: 2769496 234389 3522 1 0 2731149 0
[pid=2926/tid=2979] ppid=2923 vsize=11077984 memory=937556 CPUtime=2420.27 cores=1,3,5,7
/proc/2926/task/2979/stat : 2979 (java) R 2923 2926 1786 0 -1 4202560 86200 13187 0 0 241978 42 4 3 20 0 15 0 231723875 11343855616 234389 33554432000 4194304 4196468 140734301607808 139904991693216 139904566086720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2980] ppid=2923 vsize=11077984 memory=937556 CPUtime=9.33 cores=1,3,5,7
/proc/2926/task/2980/stat : 2980 (java) S 2923 2926 1786 0 -1 1077944384 11427 13187 0 0 880 46 4 3 20 0 15 0 231723876 11343855616 234389 33554432000 4194304 4196468 140734301607808 139905024100752 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2981] ppid=2923 vsize=11077984 memory=937556 CPUtime=9.3 cores=1,3,5,7
/proc/2926/task/2981/stat : 2981 (java) S 2923 2926 1786 0 -1 1077944384 11206 13187 0 0 881 42 4 3 20 0 15 0 231723876 11343855616 234389 33554432000 4194304 4196468 140734301607808 139904878819600 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2982] ppid=2923 vsize=11077984 memory=937556 CPUtime=9.31 cores=1,3,5,7
/proc/2926/task/2982/stat : 2982 (java) S 2923 2926 1786 0 -1 1077944384 7247 13187 0 0 879 45 4 3 20 0 15 0 231723876 11343855616 234389 33554432000 4194304 4196468 140734301607808 139904877767312 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2983] ppid=2923 vsize=11077984 memory=937556 CPUtime=9.32 cores=1,3,5,7
/proc/2926/task/2983/stat : 2983 (java) S 2923 2926 1786 0 -1 1077944384 9705 13187 0 0 881 44 4 3 20 0 15 0 231723876 11343855616 234389 33554432000 4194304 4196468 140734301607808 139904876714512 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2984] ppid=2923 vsize=11077984 memory=937556 CPUtime=9.19 cores=1,3,5,7
/proc/2926/task/2984/stat : 2984 (java) S 2923 2926 1786 0 -1 1077944384 15895 13187 0 0 867 45 4 3 20 0 15 0 231723878 11343855616 234389 33554432000 4194304 4196468 140734301607808 139904445000304 139905019869826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2985] ppid=2923 vsize=11077984 memory=937556 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2985/stat : 2985 (java) S 2923 2926 1786 0 -1 1077944384 23 13187 0 0 0 0 4 3 20 0 15 0 231723878 11343855616 234389 33554432000 4194304 4196468 140734301607808 139903808562592 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2986] ppid=2923 vsize=11077984 memory=937556 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2986/stat : 2986 (java) S 2923 2926 1786 0 -1 1077944384 13 13187 0 0 0 0 4 3 20 0 15 0 231723878 11343855616 234389 33554432000 4194304 4196468 140734301607808 139903660713600 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2987] ppid=2923 vsize=11077984 memory=937556 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2987/stat : 2987 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11343855616 234389 33554432000 4194304 4196468 140734301607808 139903353313872 139905019877275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2988] ppid=2923 vsize=11077984 memory=3684 CPUtime=4.17 cores=1,3,5,7
/proc/2926/task/2988/stat : 2988 (java) S 2923 2926 1786 0 -1 1077944384 22207 13187 0 0 406 4 4 3 20 0 15 0 231723881 11343855616 234389 33554432000 4194304 4196468 140734301607808 139904443947120 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2989] ppid=2923 vsize=11077984 memory=937556 CPUtime=4.61 cores=1,3,5,7
/proc/2926/task/2989/stat : 2989 (java) S 2923 2926 1786 0 -1 1077944384 21436 13187 0 0 451 3 4 3 20 0 15 0 231723881 11343855616 234389 33554432000 4194304 4196468 140734301607808 139904442894320 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2990] ppid=2923 vsize=11077984 memory=937556 CPUtime=2 cores=1,3,5,7
/proc/2926/task/2990/stat : 2990 (java) S 2923 2926 1786 0 -1 1077944384 23726 13187 0 0 190 3 4 3 20 0 15 0 231723881 11343855616 234389 33554432000 4194304 4196468 140734301607808 139904441842032 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2991] ppid=2923 vsize=11077984 memory=937556 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2991/stat : 2991 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11343855616 234389 33554432000 4194304 4196468 140734301607808 139902922516960 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2992] ppid=2923 vsize=11077984 memory=937556 CPUtime=1.41 cores=1,3,5,7
/proc/2926/task/2992/stat : 2992 (java) S 2923 2926 1786 0 -1 1077944384 1082 13187 0 0 61 73 4 3 20 0 15 0 231723881 11343855616 234389 33554432000 4194304 4196468 140734301607808 139904440789936 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
Current children cumulated CPU time: 2478.38 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 937556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2483.5 s]
/proc/loadavg: 1.23 1.27 1.31 3/215 3220
/proc/meminfo: memFree=15182376/32770624 swapFree=67108404/67108860
[pid=2926] ppid=2923 vsize=11077984 memory=939648 CPUtime=2520.02 cores=1,3,5,7
/proc/2926/stat : 2926 (java) S 2923 2926 1786 0 -1 1077944320 213472 13187 0 0 251699 296 4 3 20 0 15 0 231723866 11343855616 234912 33554432000 4194304 4196468 140734301607808 140734301590352 139905019858679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
/proc/2926/statm: 2769496 234912 3522 1 0 2731149 0
[pid=2926/tid=2979] ppid=2923 vsize=11077984 memory=939648 CPUtime=2461.1 cores=1,3,5,7
/proc/2926/task/2979/stat : 2979 (java) S 2923 2926 1786 0 -1 1077944384 86699 13187 0 0 246061 42 4 3 20 0 15 0 231723875 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904991692688 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2980] ppid=2923 vsize=11077984 memory=939648 CPUtime=9.48 cores=1,3,5,7
/proc/2926/task/2980/stat : 2980 (java) S 2923 2926 1786 0 -1 1077944384 11451 13187 0 0 895 46 4 3 20 0 15 0 231723876 11343855616 234912 33554432000 4194304 4196468 140734301607808 139905024100752 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2981] ppid=2923 vsize=11077984 memory=939648 CPUtime=9.47 cores=1,3,5,7
/proc/2926/task/2981/stat : 2981 (java) S 2923 2926 1786 0 -1 1077944384 11312 13187 0 0 897 43 4 3 20 0 15 0 231723876 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904878819600 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2982] ppid=2923 vsize=11077984 memory=939648 CPUtime=9.47 cores=1,3,5,7
/proc/2926/task/2982/stat : 2982 (java) S 2923 2926 1786 0 -1 1077944384 7264 13187 0 0 893 47 4 3 20 0 15 0 231723876 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904877767312 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2983] ppid=2923 vsize=11077984 memory=939648 CPUtime=9.47 cores=1,3,5,7
/proc/2926/task/2983/stat : 2983 (java) S 2923 2926 1786 0 -1 1077944384 9944 13187 0 0 896 44 4 3 20 0 15 0 231723876 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904876714512 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2984] ppid=2923 vsize=11077984 memory=939648 CPUtime=9.34 cores=1,3,5,7
/proc/2926/task/2984/stat : 2984 (java) R 2923 2926 1786 0 -1 4202560 16090 13187 0 0 881 46 4 3 20 0 15 0 231723878 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904444998816 139905019880026 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2985] ppid=2923 vsize=11077984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2985/stat : 2985 (java) S 2923 2926 1786 0 -1 1077944384 23 13187 0 0 0 0 4 3 20 0 15 0 231723878 11343855616 234912 33554432000 4194304 4196468 140734301607808 139903808562592 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2986] ppid=2923 vsize=11077984 memory=7019467088074324274 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2986/stat : 2986 (java) S 2923 2926 1786 0 -1 1077944384 13 13187 0 0 0 0 4 3 20 0 15 0 231723878 11343855616 234912 33554432000 4194304 4196468 140734301607808 139903660713600 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2987] ppid=2923 vsize=11077984 memory=939648 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2987/stat : 2987 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11343855616 234912 33554432000 4194304 4196468 140734301607808 139903353313872 139905019877275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2988] ppid=2923 vsize=11077984 memory=939648 CPUtime=4.17 cores=1,3,5,7
/proc/2926/task/2988/stat : 2988 (java) S 2923 2926 1786 0 -1 1077944384 22209 13187 0 0 406 4 4 3 20 0 15 0 231723881 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904443947120 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2989] ppid=2923 vsize=11077984 memory=3684 CPUtime=4.61 cores=1,3,5,7
/proc/2926/task/2989/stat : 2989 (java) S 2923 2926 1786 0 -1 1077944384 21438 13187 0 0 451 3 4 3 20 0 15 0 231723881 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904442894320 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2990] ppid=2923 vsize=11077984 memory=63056 CPUtime=2 cores=1,3,5,7
/proc/2926/task/2990/stat : 2990 (java) S 2923 2926 1786 0 -1 1077944384 23728 13187 0 0 190 3 4 3 20 0 15 0 231723881 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904441842032 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2991] ppid=2923 vsize=11077984 memory=937556 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2991/stat : 2991 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11343855616 234912 33554432000 4194304 4196468 140734301607808 139902922516960 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2992] ppid=2923 vsize=11077984 memory=4700 CPUtime=1.44 cores=1,3,5,7
/proc/2926/task/2992/stat : 2992 (java) S 2923 2926 1786 0 -1 1077944384 1099 13187 0 0 62 75 4 3 20 0 15 0 231723881 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904440789936 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 939648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2483.53 s]
# the end of solver process 2926 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.06 s, system=3.0108 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2483.5 s]
/proc/loadavg: 1.23 1.27 1.31 3/215 3220
/proc/meminfo: memFree=15182376/32770624 swapFree=67108404/67108860
[pid=2926] ppid=2923 vsize=11077984 memory=939648 CPUtime=2520.02 cores=1,3,5,7
/proc/2926/stat : 2926 (java) S 2923 2926 1786 0 -1 1077944320 213472 13187 0 0 251699 296 4 3 20 0 15 0 231723866 11343855616 234912 33554432000 4194304 4196468 140734301607808 140734301590352 139905019858679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
/proc/2926/statm: 2769496 234912 3522 1 0 2731149 0
[pid=2926/tid=2979] ppid=2923 vsize=11077984 memory=939648 CPUtime=2461.1 cores=1,3,5,7
/proc/2926/task/2979/stat : 2979 (java) S 2923 2926 1786 0 -1 1077944384 86699 13187 0 0 246061 42 4 3 20 0 15 0 231723875 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904991692688 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2980] ppid=2923 vsize=11077984 memory=939648 CPUtime=9.48 cores=1,3,5,7
/proc/2926/task/2980/stat : 2980 (java) S 2923 2926 1786 0 -1 1077944384 11451 13187 0 0 895 46 4 3 20 0 15 0 231723876 11343855616 234912 33554432000 4194304 4196468 140734301607808 139905024100752 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2981] ppid=2923 vsize=11077984 memory=939648 CPUtime=9.47 cores=1,3,5,7
/proc/2926/task/2981/stat : 2981 (java) S 2923 2926 1786 0 -1 1077944384 11312 13187 0 0 897 43 4 3 20 0 15 0 231723876 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904878819600 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2982] ppid=2923 vsize=11077984 memory=939648 CPUtime=9.47 cores=1,3,5,7
/proc/2926/task/2982/stat : 2982 (java) S 2923 2926 1786 0 -1 1077944384 7264 13187 0 0 893 47 4 3 20 0 15 0 231723876 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904877767312 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2983] ppid=2923 vsize=11077984 memory=939648 CPUtime=9.47 cores=1,3,5,7
/proc/2926/task/2983/stat : 2983 (java) S 2923 2926 1786 0 -1 1077944384 9944 13187 0 0 896 44 4 3 20 0 15 0 231723876 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904876714512 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2984] ppid=2923 vsize=11077984 memory=939648 CPUtime=9.34 cores=1,3,5,7
/proc/2926/task/2984/stat : 2984 (java) R 2923 2926 1786 0 -1 4202560 16090 13187 0 0 881 46 4 3 20 0 15 0 231723878 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904444998816 139905019880026 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2985] ppid=2923 vsize=11077984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2985/stat : 2985 (java) S 2923 2926 1786 0 -1 1077944384 23 13187 0 0 0 0 4 3 20 0 15 0 231723878 11343855616 234912 33554432000 4194304 4196468 140734301607808 139903808562592 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2986] ppid=2923 vsize=11077984 memory=7019467088074324274 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2986/stat : 2986 (java) S 2923 2926 1786 0 -1 1077944384 13 13187 0 0 0 0 4 3 20 0 15 0 231723878 11343855616 234912 33554432000 4194304 4196468 140734301607808 139903660713600 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2987] ppid=2923 vsize=11077984 memory=939648 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2987/stat : 2987 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11343855616 234912 33554432000 4194304 4196468 140734301607808 139903353313872 139905019877275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2988] ppid=2923 vsize=11077984 memory=939648 CPUtime=4.17 cores=1,3,5,7
/proc/2926/task/2988/stat : 2988 (java) S 2923 2926 1786 0 -1 1077944384 22209 13187 0 0 406 4 4 3 20 0 15 0 231723881 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904443947120 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2989] ppid=2923 vsize=11077984 memory=3684 CPUtime=4.61 cores=1,3,5,7
/proc/2926/task/2989/stat : 2989 (java) S 2923 2926 1786 0 -1 1077944384 21438 13187 0 0 451 3 4 3 20 0 15 0 231723881 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904442894320 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2990] ppid=2923 vsize=11077984 memory=63056 CPUtime=2 cores=1,3,5,7
/proc/2926/task/2990/stat : 2990 (java) S 2923 2926 1786 0 -1 1077944384 23728 13187 0 0 190 3 4 3 20 0 15 0 231723881 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904441842032 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2991] ppid=2923 vsize=11077984 memory=937556 CPUtime=0.07 cores=1,3,5,7
/proc/2926/task/2991/stat : 2991 (java) S 2923 2926 1786 0 -1 1077944384 3 13187 0 0 0 0 4 3 20 0 15 0 231723881 11343855616 234912 33554432000 4194304 4196468 140734301607808 139902922516960 139905019868885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
[pid=2926/tid=2992] ppid=2923 vsize=11077984 memory=4700 CPUtime=1.44 cores=1,3,5,7
/proc/2926/task/2992/stat : 2992 (java) S 2923 2926 1786 0 -1 1077944384 1099 13187 0 0 62 75 4 3 20 0 15 0 231723881 11343855616 234912 33554432000 4194304 4196468 140734301607808 139904440789936 139905019869826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140734301612644 140734301615452 140734301615452 140734301618127 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 939648 KiB
Child status: 143
Real time (s): 2483.53
CPU time (s): 2520.07
CPU user time (s): 2517.06
CPU system time (s): 3.0108
CPU usage (%): 101.471
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 939648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.06
system time used= 3.0108
maximum resident set size= 942060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227507
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 239533
involuntary context switches= 6786
# summary of solver processes directly reported to runsolver:
# pid: 2926
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.06
# total CPU system time (s): 3.0108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6165 second user time and 23.6911 second system time
The end