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 (13530 MiB free)
memory of node 1: 16384 MiB (14661 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258325-1502642976/watcher-4258325-1502642976 -o /tmp/evaluation-result-4258325-1502642976/solver-4258325-1502642976 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502642118-13948 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258325-1502642976.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
Current StackSize limit: 8192 KiB
solver pid=13967, runsolver pid=13964
[startup+0.104456 s]*
/proc/loadavg: 1.18 1.49 1.82 4/215 14007
/proc/meminfo: memFree=28835080/32770624 swapFree=67108860/67108860
[pid=13967] ppid=13964 vsize=10555400 memory=29588 CPUtime=0.14 cores=1,3,5,7
/proc/13967/stat : 13967 (java) S 13964 13967 4973 0 -1 1077944320 6962 0 0 0 12 2 0 0 20 0 15 0 97378544 10808729600 7397 33554432000 4194304 4196468 140729252323936 140729252306480 140477809278711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
/proc/13967/statm: 2638850 7397 2813 1 0 2627263 0
[pid=13967/tid=13970] ppid=13964 vsize=10555400 memory=5450919713671312938 CPUtime=0.1 cores=1,3,5,7
/proc/13967/task/13970/stat : 13970 (java) R 13964 13967 4973 0 -1 4202560 4748 0 0 0 9 1 0 0 20 0 15 0 97378544 10808729600 7397 33554432000 4194304 4196468 140729252323936 140477813501296 140477793359198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13974] ppid=13964 vsize=10555400 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13974/stat : 13974 (java) S 13964 13967 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97378545 10808729600 7397 33554432000 4194304 4196468 140729252323936 140477778991376 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13975] ppid=13964 vsize=10555400 memory=140682028594816 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13975/stat : 13975 (java) S 13964 13967 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97378545 10808729600 7397 33554432000 4194304 4196468 140729252323936 140477414640016 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13976] ppid=13964 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13976/stat : 13976 (java) S 13964 13967 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97378545 10808729600 7397 33554432000 4194304 4196468 140729252323936 140477413587472 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13977] ppid=13964 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13977/stat : 13977 (java) S 13964 13967 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97378545 10808729600 7397 33554432000 4194304 4196468 140729252323936 140477412534928 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13985] ppid=13964 vsize=10555400 memory=140682028594816 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13985/stat : 13985 (java) S 13964 13967 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97378546 10808729600 7397 33554432000 4194304 4196468 140729252323936 140476911946224 140477809289858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13986] ppid=13964 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13986/stat : 13986 (java) S 13964 13967 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97378547 10808729600 7397 33554432000 4194304 4196468 140729252323936 140476910892448 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13987] ppid=13964 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13987/stat : 13987 (java) S 13964 13967 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97378547 10808729600 7397 33554432000 4194304 4196468 140729252323936 140476909839856 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13995] ppid=13964 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13995/stat : 13995 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808729600 7397 33554432000 4194304 4196468 140729252323936 140476908788432 140477809297307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13997] ppid=13964 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13997/stat : 13997 (java) S 13964 13967 4973 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 97378549 10808729600 7397 33554432000 4194304 4196468 140729252323936 140476907735024 140477809289858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13998] ppid=13964 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13998/stat : 13998 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808729600 7397 33554432000 4194304 4196468 140729252323936 140476906682480 140477809289858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13999] ppid=13964 vsize=10555400 memory=140682028594816 CPUtime=0.02 cores=1,3,5,7
/proc/13967/task/13999/stat : 13999 (java) R 13964 13967 4973 0 -1 4202560 403 0 0 0 2 0 0 0 20 0 15 0 97378549 10808729600 7397 33554432000 4194304 4196468 140729252323936 140476434868464 140477809300058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14000] ppid=13964 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13967/task/14000/stat : 14000 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808729600 7397 33554432000 4194304 4196468 140729252323936 140476433816160 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14001] ppid=13964 vsize=10555400 memory=140682028594816 CPUtime=0 cores=1,3,5,7
/proc/13967/task/14001/stat : 14001 (java) S 13964 13967 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97378550 10808729600 7397 33554432000 4194304 4196468 140729252323936 140476432763696 140477809289858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29588 KiB
[startup+0.215776 s]*
/proc/loadavg: 1.18 1.49 1.82 7/215 14007
/proc/meminfo: memFree=28816192/32770624 swapFree=67108860/67108860
[pid=13967] ppid=13964 vsize=10555400 memory=40484 CPUtime=0.34 cores=1,3,5,7
/proc/13967/stat : 13967 (java) S 13964 13967 4973 0 -1 1077944320 8239 0 0 0 32 2 0 0 20 0 15 0 97378544 10808729600 10121 33554432000 4194304 4196468 140729252323936 140729252306480 140477809278711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
/proc/13967/statm: 2638850 10121 2992 1 0 2627263 0
[pid=13967/tid=13970] ppid=13964 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/13967/task/13970/stat : 13970 (java) R 13964 13967 4973 0 -1 4202560 5093 0 0 0 19 1 0 0 20 0 15 0 97378544 10808729600 10121 33554432000 4194304 4196468 140729252323936 140477813514832 140477793359198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13974] ppid=13964 vsize=10555400 memory=365 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13974/stat : 13974 (java) S 13964 13967 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97378545 10808729600 10121 33554432000 4194304 4196468 140729252323936 140477778991376 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13975] ppid=13964 vsize=10555400 memory=140682028609021 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13975/stat : 13975 (java) S 13964 13967 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97378545 10808729600 10121 33554432000 4194304 4196468 140729252323936 140477414640016 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13976] ppid=13964 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13976/stat : 13976 (java) S 13964 13967 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97378545 10808729600 10121 33554432000 4194304 4196468 140729252323936 140477413587472 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13977] ppid=13964 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13977/stat : 13977 (java) S 13964 13967 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97378545 10808729600 10121 33554432000 4194304 4196468 140729252323936 140477412534928 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13985] ppid=13964 vsize=10555400 memory=140682028594816 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13985/stat : 13985 (java) S 13964 13967 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97378546 10808729600 10121 33554432000 4194304 4196468 140729252323936 140476911946224 140477809289858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13986] ppid=13964 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13986/stat : 13986 (java) S 13964 13967 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97378547 10808729600 10121 33554432000 4194304 4196468 140729252323936 140476910892448 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13987] ppid=13964 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13987/stat : 13987 (java) S 13964 13967 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97378547 10808729600 10121 33554432000 4194304 4196468 140729252323936 140476909839856 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13995] ppid=13964 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13995/stat : 13995 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808729600 10121 33554432000 4194304 4196468 140729252323936 140476908788432 140477809297307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13997] ppid=13964 vsize=10555400 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13967/task/13997/stat : 13997 (java) R 13964 13967 4973 0 -1 4202560 700 0 0 0 3 0 0 0 20 0 15 0 97378549 10808729600 10121 33554432000 4194304 4196468 140729252323936 140476907728216 140477793681732 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13998] ppid=13964 vsize=10555400 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13967/task/13998/stat : 13998 (java) R 13964 13967 4973 0 -1 4202560 187 0 0 0 2 0 0 0 20 0 15 0 97378549 10808729600 10121 33554432000 4194304 4196468 140729252323936 140476906670960 140477795306696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13999] ppid=13964 vsize=10555400 memory=140682028594816 CPUtime=0.07 cores=1,3,5,7
/proc/13967/task/13999/stat : 13999 (java) R 13964 13967 4973 0 -1 4202560 898 0 0 0 7 0 0 0 20 0 15 0 97378549 10808729600 10121 33554432000 4194304 4196468 140729252323936 140476434863728 140477788236994 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14000] ppid=13964 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13967/task/14000/stat : 14000 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808729600 10121 33554432000 4194304 4196468 140729252323936 140476433816160 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14001] ppid=13964 vsize=10555400 memory=140682028594816 CPUtime=0 cores=1,3,5,7
/proc/13967/task/14001/stat : 14001 (java) S 13964 13967 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97378550 10808729600 10121 33554432000 4194304 4196468 140729252323936 140476432763696 140477809289858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 40484 KiB
[startup+0.310587 s]*
/proc/loadavg: 1.18 1.49 1.82 3/215 14007
/proc/meminfo: memFree=28794500/32770624 swapFree=67108860/67108860
[pid=13967] ppid=13964 vsize=10555476 memory=55612 CPUtime=0.63 cores=1,3,5,7
/proc/13967/stat : 13967 (java) S 13964 13967 4973 0 -1 1077944320 10650 0 0 0 60 3 0 0 20 0 15 0 97378544 10808807424 13903 33554432000 4194304 4196468 140729252323936 140729252306480 140477809278711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
/proc/13967/statm: 2638869 13903 3054 1 0 2627263 0
[pid=13967/tid=13970] ppid=13964 vsize=10555476 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/13967/task/13970/stat : 13970 (java) R 13964 13967 4973 0 -1 4202560 5714 0 0 0 28 2 0 0 20 0 15 0 97378544 10808807424 14415 33554432000 4194304 4196468 140729252323936 140477813516848 140477447343471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13974] ppid=13964 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13974/stat : 13974 (java) S 13964 13967 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97378545 10808807424 14415 33554432000 4194304 4196468 140729252323936 140477778991376 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13975] ppid=13964 vsize=10555476 memory=140682028652832 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13975/stat : 13975 (java) S 13964 13967 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97378545 10808807424 14415 33554432000 4194304 4196468 140729252323936 140477414640016 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13976] ppid=13964 vsize=10555476 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13976/stat : 13976 (java) S 13964 13967 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97378545 10808807424 14415 33554432000 4194304 4196468 140729252323936 140477413587472 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13977] ppid=13964 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13977/stat : 13977 (java) S 13964 13967 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97378545 10808807424 14415 33554432000 4194304 4196468 140729252323936 140477412534928 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13985] ppid=13964 vsize=10555476 memory=140682028659744 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13985/stat : 13985 (java) S 13964 13967 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97378546 10808807424 14415 33554432000 4194304 4196468 140729252323936 140476911946224 140477809289858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13986] ppid=13964 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13986/stat : 13986 (java) S 13964 13967 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97378547 10808807424 14415 33554432000 4194304 4196468 140729252323936 140476910892448 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13987] ppid=13964 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13987/stat : 13987 (java) S 13964 13967 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97378547 10808807424 14415 33554432000 4194304 4196468 140729252323936 140476909839856 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13995] ppid=13964 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13995/stat : 13995 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808807424 14415 33554432000 4194304 4196468 140729252323936 140476908788432 140477809297307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13997] ppid=13964 vsize=10555476 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13967/task/13997/stat : 13997 (java) R 13964 13967 4973 0 -1 1077944384 1267 0 0 0 9 0 0 0 20 0 15 0 97378549 10808807424 14415 33554432000 4194304 4196468 140729252323936 140476907724016 140477809288917 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13998] ppid=13964 vsize=10555476 memory=140681922338767 CPUtime=0.1 cores=1,3,5,7
/proc/13967/task/13998/stat : 13998 (java) R 13964 13967 4973 0 -1 4202560 973 0 0 0 10 0 0 0 20 0 15 0 97378549 10808807424 14415 33554432000 4194304 4196468 140729252323936 140476906682576 140477788524192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13999] ppid=13964 vsize=10555476 memory=140682028608764 CPUtime=0.12 cores=1,3,5,7
/proc/13967/task/13999/stat : 13999 (java) R 13964 13967 4973 0 -1 4202560 1329 0 0 0 12 0 0 0 20 0 15 0 97378549 10808807424 14415 33554432000 4194304 4196468 140729252323936 140476434868464 140477809300058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14000] ppid=13964 vsize=10555476 memory=140681922338767 CPUtime=0 cores=1,3,5,7
/proc/13967/task/14000/stat : 14000 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808807424 14415 33554432000 4194304 4196468 140729252323936 140476433816160 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14001] ppid=13964 vsize=10555476 memory=281363950950336 CPUtime=0 cores=1,3,5,7
/proc/13967/task/14001/stat : 14001 (java) S 13964 13967 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97378550 10808807424 14415 33554432000 4194304 4196468 140729252323936 140476432763696 140477809289858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 55612 KiB
[startup+0.700781 s]
/proc/loadavg: 1.18 1.49 1.82 7/215 14007
/proc/meminfo: memFree=28750816/32770624 swapFree=67108860/67108860
[pid=13967] ppid=13964 vsize=10555476 memory=183640 CPUtime=1.77 cores=1,3,5,7
/proc/13967/stat : 13967 (java) S 13964 13967 4973 0 -1 1077944320 11998 0 0 0 170 7 0 0 20 0 15 0 97378544 10808807424 45910 33554432000 4194304 4196468 140729252323936 140729252306480 140477809278711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
/proc/13967/statm: 2638869 45910 3103 1 0 2627263 0
[pid=13967/tid=13970] ppid=13964 vsize=10555476 memory=2372 CPUtime=0.66 cores=1,3,5,7
/proc/13967/task/13970/stat : 13970 (java) R 13964 13967 4973 0 -1 4202560 5982 0 0 0 62 4 0 0 20 0 15 0 97378544 10808807424 45910 33554432000 4194304 4196468 140729252323936 140477813515120 140477795346836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13974] ppid=13964 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13974/stat : 13974 (java) S 13964 13967 4973 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 97378545 10808807424 45910 33554432000 4194304 4196468 140729252323936 140477778991376 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13975] ppid=13964 vsize=10555476 memory=8552 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13975/stat : 13975 (java) S 13964 13967 4973 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 97378545 10808807424 45910 33554432000 4194304 4196468 140729252323936 140477414640016 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13976] ppid=13964 vsize=10555476 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13976/stat : 13976 (java) S 13964 13967 4973 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 97378545 10808807424 45910 33554432000 4194304 4196468 140729252323936 140477413587472 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13977] ppid=13964 vsize=10555476 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13977/stat : 13977 (java) S 13964 13967 4973 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 97378545 10808807424 45910 33554432000 4194304 4196468 140729252323936 140477412534928 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13985] ppid=13964 vsize=10555476 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13985/stat : 13985 (java) S 13964 13967 4973 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 97378546 10808807424 45910 33554432000 4194304 4196468 140729252323936 140476911946224 140477809289858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13986] ppid=13964 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13986/stat : 13986 (java) S 13964 13967 4973 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97378547 10808807424 45910 33554432000 4194304 4196468 140729252323936 140476910892448 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13987] ppid=13964 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13987/stat : 13987 (java) S 13964 13967 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97378547 10808807424 45910 33554432000 4194304 4196468 140729252323936 140476909839856 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13995] ppid=13964 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13995/stat : 13995 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808807424 45910 33554432000 4194304 4196468 140729252323936 140476908788432 140477809297307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13997] ppid=13964 vsize=10555476 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/13967/task/13997/stat : 13997 (java) R 13964 13967 4973 0 -1 4202560 1683 0 0 0 38 0 0 0 20 0 15 0 97378549 10808807424 45910 33554432000 4194304 4196468 140729252323936 140476907735024 140477792778827 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13998] ppid=13964 vsize=10555476 memory=6944652177228980320 CPUtime=0.35 cores=1,3,5,7
/proc/13967/task/13998/stat : 13998 (java) R 13964 13967 4973 0 -1 4202560 1072 0 0 0 35 0 0 0 20 0 15 0 97378549 10808807424 45910 33554432000 4194304 4196468 140729252323936 140476906669296 140477795342931 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13999] ppid=13964 vsize=10555476 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/13967/task/13999/stat : 13999 (java) S 13964 13967 4973 0 -1 1077944384 1773 0 0 0 32 0 0 0 20 0 15 0 97378549 10808807424 45910 33554432000 4194304 4196468 140729252323936 140476434868464 140477809289858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14000] ppid=13964 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13967/task/14000/stat : 14000 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808807424 45910 33554432000 4194304 4196468 140729252323936 140476433816160 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14001] ppid=13964 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13967/task/14001/stat : 14001 (java) S 13964 13967 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97378550 10808807424 45910 33554432000 4194304 4196468 140729252323936 140476432763696 140477809289858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 183640 KiB
[startup+1.50078 s]
/proc/loadavg: 1.18 1.49 1.82 7/215 14007
/proc/meminfo: memFree=28457116/32770624 swapFree=67108860/67108860
[pid=13967] ppid=13964 vsize=10555476 memory=401256 CPUtime=4.35 cores=1,3,5,7
/proc/13967/stat : 13967 (java) S 13964 13967 4973 0 -1 1077944320 15848 0 0 0 417 18 0 0 20 0 15 0 97378544 10808807424 100314 33554432000 4194304 4196468 140729252323936 140729252306480 140477809278711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
/proc/13967/statm: 2638869 100314 3129 1 0 2627263 0
[pid=13967/tid=13970] ppid=13964 vsize=10555476 memory=3978425823437611605 CPUtime=1.36 cores=1,3,5,7
/proc/13967/task/13970/stat : 13970 (java) R 13964 13967 4973 0 -1 4202560 6115 0 0 0 130 6 0 0 20 0 15 0 97378544 10808807424 100314 33554432000 4194304 4196468 140729252323936 140477813509560 140477791229408 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13974] ppid=13964 vsize=10555476 memory=214468 CPUtime=0.09 cores=1,3,5,7
/proc/13967/task/13974/stat : 13974 (java) S 13964 13967 4973 0 -1 1077944384 124 0 0 0 7 2 0 0 20 0 15 0 97378545 10808807424 100314 33554432000 4194304 4196468 140729252323936 140477778991376 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13975] ppid=13964 vsize=10555476 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/13967/task/13975/stat : 13975 (java) S 13964 13967 4973 0 -1 1077944384 99 0 0 0 4 1 0 0 20 0 15 0 97378545 10808807424 100314 33554432000 4194304 4196468 140729252323936 140477414640016 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13976] ppid=13964 vsize=10555476 memory=8552 CPUtime=0.07 cores=1,3,5,7
/proc/13967/task/13976/stat : 13976 (java) S 13964 13967 4973 0 -1 1077944384 114 0 0 0 5 2 0 0 20 0 15 0 97378545 10808807424 100314 33554432000 4194304 4196468 140729252323936 140477413587472 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13977] ppid=13964 vsize=10555476 memory=15872 CPUtime=0.09 cores=1,3,5,7
/proc/13967/task/13977/stat : 13977 (java) S 13964 13967 4973 0 -1 1077944384 126 0 0 0 7 2 0 0 20 0 15 0 97378545 10808807424 100314 33554432000 4194304 4196468 140729252323936 140477412534928 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13985] ppid=13964 vsize=10555476 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13985/stat : 13985 (java) S 13964 13967 4973 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 97378546 10808807424 100314 33554432000 4194304 4196468 140729252323936 140476911946224 140477809289858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
################
# More data... #
################
/proc/13967/statm: 2638869 2053961 3156 1 0 2627263 0
[pid=13967/tid=13970] ppid=13964 vsize=10555476 memory=8168652 CPUtime=50.24 cores=1,3,5,7
/proc/13967/task/13970/stat : 13970 (java) S 13964 13967 4973 0 -1 1077944384 18060 0 0 0 4999 25 0 0 20 0 15 0 97378544 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477813514848 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13974] ppid=13964 vsize=10555476 memory=8201492 CPUtime=47.32 cores=1,3,5,7
/proc/13967/task/13974/stat : 13974 (java) R 13964 13967 4973 0 -1 4202560 43014 0 0 0 4596 136 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477778991576 140477794229316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13975] ppid=13964 vsize=10555476 memory=6791534058613427641 CPUtime=47.25 cores=1,3,5,7
/proc/13967/task/13975/stat : 13975 (java) R 13964 13967 4973 0 -1 4202560 63341 0 0 0 4596 129 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477414639600 140477801906919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13976] ppid=13964 vsize=10555476 memory=2244 CPUtime=47.27 cores=1,3,5,7
/proc/13967/task/13976/stat : 13976 (java) R 13964 13967 4973 0 -1 4202560 62305 0 0 0 4586 141 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477413587368 140477801906919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13977] ppid=13964 vsize=10555476 memory=4132 CPUtime=47.24 cores=1,3,5,7
/proc/13967/task/13977/stat : 13977 (java) R 13964 13967 4973 0 -1 4202560 44915 0 0 0 4588 136 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477412534512 140477801906919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13985] ppid=13964 vsize=10555476 memory=2204 CPUtime=9.69 cores=1,3,5,7
/proc/13967/task/13985/stat : 13985 (java) S 13964 13967 4973 0 -1 1077944384 25474 0 0 0 967 2 0 0 20 0 15 0 97378546 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476911944544 140477809288917 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13986] ppid=13964 vsize=10555476 memory=7280 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13986/stat : 13986 (java) S 13964 13967 4973 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97378547 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476910892512 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13987] ppid=13964 vsize=10555476 memory=844 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13987/stat : 13987 (java) S 13964 13967 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97378547 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476909839872 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13995] ppid=13964 vsize=10555476 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13995/stat : 13995 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476908788432 140477809297307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13997] ppid=13964 vsize=10555476 memory=916 CPUtime=1.37 cores=1,3,5,7
/proc/13967/task/13997/stat : 13997 (java) S 13964 13967 4973 0 -1 1077944384 3666 0 0 0 137 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476907734784 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13998] ppid=13964 vsize=10555476 memory=3832 CPUtime=1.32 cores=1,3,5,7
/proc/13967/task/13998/stat : 13998 (java) S 13964 13967 4973 0 -1 1077944384 3462 0 0 0 132 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476906682528 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13999] ppid=13964 vsize=10555476 memory=4108 CPUtime=0.46 cores=1,3,5,7
/proc/13967/task/13999/stat : 13999 (java) S 13964 13967 4973 0 -1 1077944384 4534 0 0 0 46 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476434868512 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14000] ppid=13964 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13967/task/14000/stat : 14000 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476433816160 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14001] ppid=13964 vsize=10555476 memory=2244 CPUtime=0.05 cores=1,3,5,7
/proc/13967/task/14001/stat : 14001 (java) S 13964 13967 4973 0 -1 1077944384 169 0 0 0 2 3 0 0 20 0 15 0 97378550 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476432763696 140477809289858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
Current children cumulated CPU time: 252.33 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8215844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+109.848 s]
# the end of solver process 13967 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.297 s, system=5.84126 s
Solver just ended.
Dumping a history of the last processes samples
[startup+108.801 s]
/proc/loadavg: 3.92 2.42 2.12 9/215 14008
/proc/meminfo: memFree=13567944/32770624 swapFree=67108860/67108860
[pid=13967] ppid=13964 vsize=10555476 memory=8215844 CPUtime=256.2 cores=1,3,5,7
/proc/13967/stat : 13967 (java) S 13964 13967 4973 0 -1 1077944320 270479 0 0 0 25042 578 0 0 20 0 15 0 97378544 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140729252306480 140477809278711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
/proc/13967/statm: 2638869 2053961 3156 1 0 2627263 0
[pid=13967/tid=13970] ppid=13964 vsize=10555476 memory=8201492 CPUtime=50.24 cores=1,3,5,7
/proc/13967/task/13970/stat : 13970 (java) S 13964 13967 4973 0 -1 1077944384 18060 0 0 0 4999 25 0 0 20 0 15 0 97378544 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477813514848 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13974] ppid=13964 vsize=10555476 memory=640 CPUtime=48.32 cores=1,3,5,7
/proc/13967/task/13974/stat : 13974 (java) R 13964 13967 4973 0 -1 4202560 43187 0 0 0 4696 136 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477778991576 140477790875777 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13975] ppid=13964 vsize=10555476 memory=1796 CPUtime=48.21 cores=1,3,5,7
/proc/13967/task/13975/stat : 13975 (java) R 13964 13967 4973 0 -1 4202560 63341 0 0 0 4692 129 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477414639600 140477801906919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13976] ppid=13964 vsize=10555476 memory=6791534058613427641 CPUtime=48.22 cores=1,3,5,7
/proc/13967/task/13976/stat : 13976 (java) R 13964 13967 4973 0 -1 4202560 62305 0 0 0 4680 142 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477413587056 140477801906919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13977] ppid=13964 vsize=10555476 memory=916 CPUtime=48.19 cores=1,3,5,7
/proc/13967/task/13977/stat : 13977 (java) R 13964 13967 4973 0 -1 4202560 44915 0 0 0 4682 137 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477412534824 140477801906919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13985] ppid=13964 vsize=10555476 memory=3832 CPUtime=9.69 cores=1,3,5,7
/proc/13967/task/13985/stat : 13985 (java) S 13964 13967 4973 0 -1 1077944384 25474 0 0 0 967 2 0 0 20 0 15 0 97378546 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476911944544 140477809288917 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13986] ppid=13964 vsize=10555476 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13986/stat : 13986 (java) S 13964 13967 4973 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97378547 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476910892512 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13987] ppid=13964 vsize=10555476 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13987/stat : 13987 (java) S 13964 13967 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97378547 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476909839872 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13995] ppid=13964 vsize=10555476 memory=7510920 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13995/stat : 13995 (java) S 13964 13967 4973 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476908788080 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13997] ppid=13964 vsize=10555476 memory=7510920 CPUtime=1.37 cores=1,3,5,7
/proc/13967/task/13997/stat : 13997 (java) S 13964 13967 4973 0 -1 1077944384 3666 0 0 0 137 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476907734784 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13998] ppid=13964 vsize=10555476 memory=7501704 CPUtime=1.32 cores=1,3,5,7
/proc/13967/task/13998/stat : 13998 (java) S 13964 13967 4973 0 -1 1077944384 3462 0 0 0 132 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476906682528 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13999] ppid=13964 vsize=10555476 memory=6791534058613427641 CPUtime=0.46 cores=1,3,5,7
/proc/13967/task/13999/stat : 13999 (java) S 13964 13967 4973 0 -1 1077944384 4534 0 0 0 46 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476434868512 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14000] ppid=13964 vsize=10555476 memory=944 CPUtime=0 cores=1,3,5,7
/proc/13967/task/14000/stat : 14000 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476433816160 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14001] ppid=13964 vsize=10555476 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/13967/task/14001/stat : 14001 (java) S 13964 13967 4973 0 -1 1077944384 169 0 0 0 2 3 0 0 20 0 15 0 97378550 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476432763696 140477809289858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
Current children cumulated CPU time: 256.2 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8215844 KiB
[startup+109.601 s]
/proc/loadavg: 3.92 2.42 2.12 9/215 14008
/proc/meminfo: memFree=13367324/32770624 swapFree=67108860/67108860
[pid=13967] ppid=13964 vsize=10555476 memory=8215844 CPUtime=259.3 cores=1,3,5,7
/proc/13967/stat : 13967 (java) S 13964 13967 4973 0 -1 1077944320 270479 0 0 0 25351 579 0 0 20 0 15 0 97378544 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140729252306480 140477809278711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
/proc/13967/statm: 2638869 2053961 3156 1 0 2627263 0
[pid=13967/tid=13970] ppid=13964 vsize=10555476 memory=6791534058613427641 CPUtime=50.24 cores=1,3,5,7
/proc/13967/task/13970/stat : 13970 (java) S 13964 13967 4973 0 -1 1077944384 18060 0 0 0 4999 25 0 0 20 0 15 0 97378544 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477813514848 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13974] ppid=13964 vsize=10555476 memory=2244 CPUtime=49.12 cores=1,3,5,7
/proc/13967/task/13974/stat : 13974 (java) R 13964 13967 4973 0 -1 4202560 43187 0 0 0 4776 136 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477778991576 140477794229316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13975] ppid=13964 vsize=10555476 memory=4132 CPUtime=48.98 cores=1,3,5,7
/proc/13967/task/13975/stat : 13975 (java) R 13964 13967 4973 0 -1 4202560 63341 0 0 0 4769 129 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477414639912 140477801906919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13976] ppid=13964 vsize=10555476 memory=2204 CPUtime=48.99 cores=1,3,5,7
/proc/13967/task/13976/stat : 13976 (java) R 13964 13967 4973 0 -1 4202560 62305 0 0 0 4757 142 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477413587368 140477801906919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13977] ppid=13964 vsize=10555476 memory=7280 CPUtime=48.95 cores=1,3,5,7
/proc/13967/task/13977/stat : 13977 (java) R 13964 13967 4973 0 -1 4202560 44915 0 0 0 4758 137 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477412534512 140477801906919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13985] ppid=13964 vsize=10555476 memory=28268 CPUtime=9.69 cores=1,3,5,7
/proc/13967/task/13985/stat : 13985 (java) S 13964 13967 4973 0 -1 1077944384 25474 0 0 0 967 2 0 0 20 0 15 0 97378546 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476911944544 140477809288917 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13986] ppid=13964 vsize=10555476 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13986/stat : 13986 (java) S 13964 13967 4973 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97378547 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476910892512 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13987] ppid=13964 vsize=10555476 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13987/stat : 13987 (java) S 13964 13967 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97378547 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476909839872 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13995] ppid=13964 vsize=10555476 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13995/stat : 13995 (java) S 13964 13967 4973 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476908788080 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13997] ppid=13964 vsize=10555476 memory=792 CPUtime=1.37 cores=1,3,5,7
/proc/13967/task/13997/stat : 13997 (java) S 13964 13967 4973 0 -1 1077944384 3666 0 0 0 137 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476907734784 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13998] ppid=13964 vsize=10555476 memory=1008 CPUtime=1.32 cores=1,3,5,7
/proc/13967/task/13998/stat : 13998 (java) S 13964 13967 4973 0 -1 1077944384 3462 0 0 0 132 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476906682528 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13999] ppid=13964 vsize=10555476 memory=1944 CPUtime=0.46 cores=1,3,5,7
/proc/13967/task/13999/stat : 13999 (java) S 13964 13967 4973 0 -1 1077944384 4534 0 0 0 46 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476434868512 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14000] ppid=13964 vsize=10555476 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/13967/task/14000/stat : 14000 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476433816160 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14001] ppid=13964 vsize=10555476 memory=1424 CPUtime=0.05 cores=1,3,5,7
/proc/13967/task/14001/stat : 14001 (java) S 13964 13967 4973 0 -1 1077944384 169 0 0 0 2 3 0 0 20 0 15 0 97378550 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476432763696 140477809289858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
Current children cumulated CPU time: 259.3 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8215844 KiB
[startup+109.801 s]
/proc/loadavg: 3.92 2.42 2.12 9/215 14008
/proc/meminfo: memFree=13367324/32770624 swapFree=67108860/67108860
[pid=13967] ppid=13964 vsize=10555476 memory=8215844 CPUtime=260.06 cores=1,3,5,7
/proc/13967/stat : 13967 (java) S 13964 13967 4973 0 -1 1077944320 270479 0 0 0 25427 579 0 0 20 0 15 0 97378544 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140729252306480 140477809278711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
/proc/13967/statm: 2638869 2053961 3156 1 0 2627263 0
[pid=13967/tid=13970] ppid=13964 vsize=10555476 memory=6791534058613427641 CPUtime=50.24 cores=1,3,5,7
/proc/13967/task/13970/stat : 13970 (java) S 13964 13967 4973 0 -1 1077944384 18060 0 0 0 4999 25 0 0 20 0 15 0 97378544 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477813514848 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13974] ppid=13964 vsize=10555476 memory=4052 CPUtime=49.31 cores=1,3,5,7
/proc/13967/task/13974/stat : 13974 (java) R 13964 13967 4973 0 -1 4202560 43187 0 0 0 4795 136 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477778991576 140477793976350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13975] ppid=13964 vsize=10555476 memory=16800 CPUtime=49.18 cores=1,3,5,7
/proc/13967/task/13975/stat : 13975 (java) R 13964 13967 4973 0 -1 4202560 63341 0 0 0 4788 130 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477414639600 140477801906919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13976] ppid=13964 vsize=10555476 memory=18472 CPUtime=49.18 cores=1,3,5,7
/proc/13967/task/13976/stat : 13976 (java) R 13964 13967 4973 0 -1 4202560 62305 0 0 0 4776 142 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477413587368 140477801906919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13977] ppid=13964 vsize=10555476 memory=640 CPUtime=49.14 cores=1,3,5,7
/proc/13967/task/13977/stat : 13977 (java) R 13964 13967 4973 0 -1 4202560 44915 0 0 0 4777 137 0 0 20 0 15 0 97378545 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140477412534512 140477801906919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13985] ppid=13964 vsize=10555476 memory=1796 CPUtime=9.69 cores=1,3,5,7
/proc/13967/task/13985/stat : 13985 (java) S 13964 13967 4973 0 -1 1077944384 25474 0 0 0 967 2 0 0 20 0 15 0 97378546 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476911944544 140477809288917 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13986] ppid=13964 vsize=10555476 memory=960 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13986/stat : 13986 (java) S 13964 13967 4973 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97378547 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476910892512 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13987] ppid=13964 vsize=10555476 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13987/stat : 13987 (java) S 13964 13967 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97378547 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476909839872 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13995] ppid=13964 vsize=10555476 memory=2344 CPUtime=0 cores=1,3,5,7
/proc/13967/task/13995/stat : 13995 (java) S 13964 13967 4973 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476908788080 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13997] ppid=13964 vsize=10555476 memory=932 CPUtime=1.37 cores=1,3,5,7
/proc/13967/task/13997/stat : 13997 (java) S 13964 13967 4973 0 -1 1077944384 3666 0 0 0 137 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476907734784 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13998] ppid=13964 vsize=10555476 memory=1580 CPUtime=1.32 cores=1,3,5,7
/proc/13967/task/13998/stat : 13998 (java) S 13964 13967 4973 0 -1 1077944384 3462 0 0 0 132 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476906682528 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=13999] ppid=13964 vsize=10555476 memory=2244 CPUtime=0.46 cores=1,3,5,7
/proc/13967/task/13999/stat : 13999 (java) S 13964 13967 4973 0 -1 1077944384 4534 0 0 0 46 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476434868512 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14000] ppid=13964 vsize=10555476 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/13967/task/14000/stat : 14000 (java) S 13964 13967 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97378549 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476433816160 140477809288917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
[pid=13967/tid=14001] ppid=13964 vsize=10555476 memory=2204 CPUtime=0.05 cores=1,3,5,7
/proc/13967/task/14001/stat : 14001 (java) S 13964 13967 4973 0 -1 1077944384 169 0 0 0 2 3 0 0 20 0 15 0 97378550 10808807424 2053961 33554432000 4194304 4196468 140729252323936 140476432763696 140477809289858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140729252332683 140729252332836 140729252332836 140729252335567 0
Current children cumulated CPU time: 260.06 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8215844 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 109.848
CPU time (s): 260.138
CPU user time (s): 254.297
CPU system time (s): 5.84126
CPU usage (%): 236.817
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8215844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.297
system time used= 5.84126
maximum resident set size= 8216232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85263
involuntary context switches= 4352
# summary of solver processes directly reported to runsolver:
# pid: 13967
# total CPU time (s): 260.138
# total CPU user time (s): 254.297
# total CPU system time (s): 5.84126
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.72998 second user time and 1.03881 second system time
The end