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 (11096 MiB free)
memory of node 1: 16384 MiB (11292 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292183-1532277801/watcher-4292183-1532277801 -o /tmp/evaluation-result-4292183-1532277801/solver-4292183-1532277801 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532257777-913 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4292183-1532277801.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=3247, runsolver pid=3244
[startup+0.100169 s]*
/proc/loadavg: 1.93 1.96 2.02 4/216 3262
/proc/meminfo: memFree=22909164/32770624 swapFree=67108860/67108860
[pid=3247] ppid=3244 vsize=10659012 memory=30072 CPUtime=0.12 cores=0,2,4,6
/proc/3247/stat : 3247 (java) S 3244 3247 877 0 -1 1077944320 6603 0 0 0 11 1 0 0 20 0 15 0 45343297 10914828288 7518 33554432000 4194304 4196468 140723502193872 140723502176416 139881101844215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
/proc/3247/statm: 2664753 7518 2813 1 0 2627263 0
[pid=3247/tid=3249] ppid=3244 vsize=10659012 memory=-8485773889882985313 CPUtime=0.09 cores=0,2,4,6
/proc/3247/task/3249/stat : 3249 (java) R 3244 3247 877 0 -1 4202560 4424 0 0 0 8 1 0 0 20 0 15 0 45343297 10914828288 7518 33554432000 4194304 4196468 140723502193872 139881106065712 139881101866141 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3250] ppid=3244 vsize=10659012 memory=5793855600277399993 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3250/stat : 3250 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45343298 10914828288 7518 33554432000 4194304 4196468 140723502193872 139881054464272 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3251] ppid=3244 vsize=10659012 memory=140349267506816 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3251/stat : 3251 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45343298 10914828288 7518 33554432000 4194304 4196468 140723502193872 139881053411728 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3252] ppid=3244 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3252/stat : 3252 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45343298 10914828288 7518 33554432000 4194304 4196468 140723502193872 139881052359184 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3253] ppid=3244 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3253/stat : 3253 (java) S 3244 3247 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45343298 10914828288 7518 33554432000 4194304 4196468 140723502193872 139881051306640 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3254] ppid=3244 vsize=10659012 memory=140349267506816 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3254/stat : 3254 (java) S 3244 3247 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45343299 10914828288 7518 33554432000 4194304 4196468 140723502193872 139880661715440 139881101855362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3255] ppid=3244 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3255/stat : 3255 (java) S 3244 3247 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45343300 10914828288 7518 33554432000 4194304 4196468 140723502193872 139880660661664 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3256] ppid=3244 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3256/stat : 3256 (java) S 3244 3247 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45343300 10914828288 7518 33554432000 4194304 4196468 140723502193872 139880659609072 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3257] ppid=3244 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3257/stat : 3257 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45343302 10914828288 7518 33554432000 4194304 4196468 140723502193872 139880658557648 139881101862811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3258] ppid=3244 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3258/stat : 3258 (java) S 3244 3247 877 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 15 0 45343302 10914828288 7518 33554432000 4194304 4196468 140723502193872 139880657504240 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3259] ppid=3244 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3259/stat : 3259 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45343302 10914828288 7518 33554432000 4194304 4196468 140723502193872 139880656451696 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3260] ppid=3244 vsize=10659012 memory=140349267506816 CPUtime=0.02 cores=0,2,4,6
/proc/3247/task/3260/stat : 3260 (java) R 3244 3247 877 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 45343302 10914828288 7518 33554432000 4194304 4196468 140723502193872 139880655399152 139881085924702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3261] ppid=3244 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3261/stat : 3261 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45343303 10914828288 7518 33554432000 4194304 4196468 140723502193872 139880654346848 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3262] ppid=3244 vsize=10659012 memory=140349267506816 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3262/stat : 3262 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45343303 10914828288 7518 33554432000 4194304 4196468 140723502193872 139880653294384 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30072 KiB
[startup+0.210559 s]*
/proc/loadavg: 1.93 1.96 2.02 4/216 3262
/proc/meminfo: memFree=22899776/32770624 swapFree=67108860/67108860
[pid=3247] ppid=3244 vsize=10659012 memory=42040 CPUtime=0.33 cores=0,2,4,6
/proc/3247/stat : 3247 (java) S 3244 3247 877 0 -1 1077944320 8128 0 0 0 31 2 0 0 20 0 15 0 45343297 10914828288 10510 33554432000 4194304 4196468 140723502193872 140723502176416 139881101844215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
/proc/3247/statm: 2664753 10510 3005 1 0 2627263 0
[pid=3247/tid=3249] ppid=3244 vsize=10659012 memory=-3103912127665269909 CPUtime=0.2 cores=0,2,4,6
/proc/3247/task/3249/stat : 3249 (java) R 3244 3247 877 0 -1 4202560 5013 0 0 0 19 1 0 0 20 0 15 0 45343297 10914828288 10510 33554432000 4194304 4196468 140723502193872 139881106080496 139881101866141 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3250] ppid=3244 vsize=10659012 memory=4211974075472297354 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3250/stat : 3250 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45343298 10914828288 10510 33554432000 4194304 4196468 140723502193872 139881054464272 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3251] ppid=3244 vsize=10659012 memory=140349267506816 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3251/stat : 3251 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45343298 10914828288 10510 33554432000 4194304 4196468 140723502193872 139881053411728 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3252] ppid=3244 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3252/stat : 3252 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45343298 10914828288 10510 33554432000 4194304 4196468 140723502193872 139881052359184 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3253] ppid=3244 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3253/stat : 3253 (java) S 3244 3247 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45343298 10914828288 10510 33554432000 4194304 4196468 140723502193872 139881051306640 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3254] ppid=3244 vsize=10659012 memory=140349267506816 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3254/stat : 3254 (java) S 3244 3247 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45343299 10914828288 10510 33554432000 4194304 4196468 140723502193872 139880661715440 139881101855362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3255] ppid=3244 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3255/stat : 3255 (java) S 3244 3247 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45343300 10914828288 10510 33554432000 4194304 4196468 140723502193872 139880660661664 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3256] ppid=3244 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3256/stat : 3256 (java) S 3244 3247 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45343300 10914828288 10510 33554432000 4194304 4196468 140723502193872 139880659609072 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3257] ppid=3244 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3257/stat : 3257 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45343302 10914828288 10510 33554432000 4194304 4196468 140723502193872 139880658557648 139881101862811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3258] ppid=3244 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3247/task/3258/stat : 3258 (java) S 3244 3247 877 0 -1 1077944384 784 0 0 0 2 0 0 0 20 0 15 0 45343302 10914828288 10510 33554432000 4194304 4196468 140723502193872 139880657504240 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3259] ppid=3244 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3247/task/3259/stat : 3259 (java) S 3244 3247 877 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 45343302 10914828288 10510 33554432000 4194304 4196468 140723502193872 139880656451696 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3260] ppid=3244 vsize=10659012 memory=140349267506816 CPUtime=0.07 cores=0,2,4,6
/proc/3247/task/3260/stat : 3260 (java) S 3244 3247 877 0 -1 1077944384 694 0 0 0 7 0 0 0 20 0 15 0 45343302 10914828288 10510 33554432000 4194304 4196468 140723502193872 139880655399152 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3261] ppid=3244 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3261/stat : 3261 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45343303 10914828288 10510 33554432000 4194304 4196468 140723502193872 139880654346848 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3262] ppid=3244 vsize=10659012 memory=140349267506816 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3262/stat : 3262 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45343303 10914828288 10510 33554432000 4194304 4196468 140723502193872 139880653294384 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42040 KiB
[startup+0.311678 s]*
/proc/loadavg: 1.93 1.96 2.02 3/216 3262
/proc/meminfo: memFree=22892044/32770624 swapFree=67108860/67108860
[pid=3247] ppid=3244 vsize=10659088 memory=47876 CPUtime=0.54 cores=0,2,4,6
/proc/3247/stat : 3247 (java) S 3244 3247 877 0 -1 1077944320 9013 0 0 0 51 3 0 0 20 0 15 0 45343297 10914906112 11969 33554432000 4194304 4196468 140723502193872 140723502176416 139881101844215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
/proc/3247/statm: 2664772 11969 3067 1 0 2627263 0
[pid=3247/tid=3249] ppid=3244 vsize=10659088 memory=-3103912127665269909 CPUtime=0.3 cores=0,2,4,6
/proc/3247/task/3249/stat : 3249 (java) R 3244 3247 877 0 -1 4202560 5655 0 0 0 28 2 0 0 20 0 15 0 45343297 10914906112 11969 33554432000 4194304 4196468 140723502193872 139881106078864 139881082669509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3250] ppid=3244 vsize=10659088 memory=4211974075472297354 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3250/stat : 3250 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45343298 10914906112 11969 33554432000 4194304 4196468 140723502193872 139881054464272 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3251] ppid=3244 vsize=10659088 memory=140349267508727 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3251/stat : 3251 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45343298 10914906112 11969 33554432000 4194304 4196468 140723502193872 139881053411728 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3252] ppid=3244 vsize=10659088 memory=140349129470627 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3252/stat : 3252 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45343298 10914906112 11969 33554432000 4194304 4196468 140723502193872 139881052359184 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3253] ppid=3244 vsize=10659088 memory=140349129477615 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3253/stat : 3253 (java) S 3244 3247 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45343298 10914906112 11969 33554432000 4194304 4196468 140723502193872 139881051306640 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3254] ppid=3244 vsize=10659088 memory=140349267509152 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3254/stat : 3254 (java) S 3244 3247 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45343299 10914906112 11969 33554432000 4194304 4196468 140723502193872 139880661715440 139881101855362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3255] ppid=3244 vsize=10659088 memory=140349129486799 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3255/stat : 3255 (java) S 3244 3247 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45343300 10914906112 11969 33554432000 4194304 4196468 140723502193872 139880660661664 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3256] ppid=3244 vsize=10659088 memory=280698258964432 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3256/stat : 3256 (java) S 3244 3247 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45343300 10914906112 11969 33554432000 4194304 4196468 140723502193872 139880659609072 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3257] ppid=3244 vsize=10659088 memory=280698258962128 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3257/stat : 3257 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45343302 10914906112 11969 33554432000 4194304 4196468 140723502193872 139880658557648 139881101862811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3258] ppid=3244 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3247/task/3258/stat : 3258 (java) R 3244 3247 877 0 -1 1077944384 805 0 0 0 4 0 0 0 20 0 15 0 45343302 10914906112 11969 33554432000 4194304 4196468 140723502193872 139880657504240 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3259] ppid=3244 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/3247/task/3259/stat : 3259 (java) S 3244 3247 877 0 -1 1077944384 399 0 0 0 4 0 0 0 20 0 15 0 45343302 10914906112 11969 33554432000 4194304 4196468 140723502193872 139880656451696 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3260] ppid=3244 vsize=10659088 memory=140349267506816 CPUtime=0.13 cores=0,2,4,6
/proc/3247/task/3260/stat : 3260 (java) R 3244 3247 877 0 -1 4202560 788 0 0 0 13 0 0 0 20 0 15 0 45343302 10914906112 11969 33554432000 4194304 4196468 140723502193872 139880655399152 139881087009887 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3261] ppid=3244 vsize=10659088 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3261/stat : 3261 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45343303 10914906112 11969 33554432000 4194304 4196468 140723502193872 139880654346848 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3262] ppid=3244 vsize=10659088 memory=140349267506816 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3262/stat : 3262 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45343303 10914906112 11969 33554432000 4194304 4196468 140723502193872 139880653294384 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47876 KiB
[startup+0.700732 s]
/proc/loadavg: 1.93 1.96 2.02 5/217 3263
/proc/meminfo: memFree=22864248/32770624 swapFree=67108860/67108860
[pid=3247] ppid=3244 vsize=10727700 memory=78600 CPUtime=1.71 cores=0,2,4,6
/proc/3247/stat : 3247 (java) S 3244 3247 877 0 -1 1077944320 11799 0 0 0 167 4 0 0 20 0 16 0 45343297 10985164800 19650 33554432000 4194304 4196468 140723502193872 140723502176416 139881101844215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
/proc/3247/statm: 2681925 19650 3112 1 0 2644416 0
[pid=3247/tid=3249] ppid=3244 vsize=10727700 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/3247/task/3249/stat : 3249 (java) R 3244 3247 877 0 -1 4202560 6081 0 0 0 65 2 0 0 20 0 16 0 45343297 10985164800 19650 33554432000 4194304 4196468 140723502193872 139881106081920 139880729909086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3250] ppid=3244 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3250/stat : 3250 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 19650 33554432000 4194304 4196468 140723502193872 139881054464272 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3251] ppid=3244 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3251/stat : 3251 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 19650 33554432000 4194304 4196468 140723502193872 139881053411728 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3252] ppid=3244 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3252/stat : 3252 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 19650 33554432000 4194304 4196468 140723502193872 139881052359184 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3253] ppid=3244 vsize=10727700 memory=154324952948757 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3253/stat : 3253 (java) S 3244 3247 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 19650 33554432000 4194304 4196468 140723502193872 139881051306640 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3254] ppid=3244 vsize=10727700 memory=14611 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3254/stat : 3254 (java) S 3244 3247 877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 45343299 10985164800 19650 33554432000 4194304 4196468 140723502193872 139880661715440 139881101855362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3255] ppid=3244 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3255/stat : 3255 (java) S 3244 3247 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 45343300 10985164800 19650 33554432000 4194304 4196468 140723502193872 139880660661664 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3256] ppid=3244 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3256/stat : 3256 (java) S 3244 3247 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 45343300 10985164800 19650 33554432000 4194304 4196468 140723502193872 139880659609072 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3257] ppid=3244 vsize=10727700 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3257/stat : 3257 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 45343302 10985164800 19650 33554432000 4194304 4196468 140723502193872 139880658557648 139881101862811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3258] ppid=3244 vsize=10727700 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/3247/task/3258/stat : 3258 (java) R 3244 3247 877 0 -1 4202560 1687 0 0 0 35 0 0 0 20 0 16 0 45343302 10985164800 19650 33554432000 4194304 4196468 140723502193872 139880657495696 139881085330601 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3259] ppid=3244 vsize=10727700 memory=9051849960933982381 CPUtime=0.36 cores=0,2,4,6
/proc/3247/task/3259/stat : 3259 (java) R 3244 3247 877 0 -1 4202560 929 0 0 0 36 0 0 0 20 0 16 0 45343302 10985164800 19650 33554432000 4194304 4196468 140723502193872 139880656450096 139881086723782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3260] ppid=3244 vsize=10727700 memory=6943526294502006880 CPUtime=0.3 cores=0,2,4,6
/proc/3247/task/3260/stat : 3260 (java) S 3244 3247 877 0 -1 1077944384 1709 0 0 0 30 0 0 0 20 0 16 0 45343302 10985164800 19650 33554432000 4194304 4196468 140723502193872 139880655399152 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3261] ppid=3244 vsize=10727700 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3261/stat : 3261 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 45343303 10985164800 19650 33554432000 4194304 4196468 140723502193872 139880654346848 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3262] ppid=3244 vsize=10727700 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3262/stat : 3262 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343303 10985164800 19650 33554432000 4194304 4196468 140723502193872 139880653294384 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3263] ppid=3244 vsize=10727700 memory=-7357787915995474596 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3263/stat : 3263 (java) S 3244 3247 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 45343347 10985164800 19650 33554432000 4194304 4196468 140723502193872 139880650143024 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 78600 KiB
[startup+1.50086 s]
/proc/loadavg: 1.93 1.96 2.02 4/217 3263
/proc/meminfo: memFree=22856140/32770624 swapFree=67108860/67108860
[pid=3247] ppid=3244 vsize=10727700 memory=89732 CPUtime=3.15 cores=0,2,4,6
/proc/3247/stat : 3247 (java) S 3244 3247 877 0 -1 1077944320 16958 0 0 0 310 5 0 0 20 0 16 0 45343297 10985164800 22433 33554432000 4194304 4196468 140723502193872 140723502176416 139881101844215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
/proc/3247/statm: 2681925 22433 3123 1 0 2644416 0
[pid=3247/tid=3249] ppid=3244 vsize=10727700 memory=288230621803970871 CPUtime=1.48 cores=0,2,4,6
/proc/3247/task/3249/stat : 3249 (java) R 3244 3247 877 0 -1 4202560 6664 0 0 0 145 3 0 0 20 0 16 0 45343297 10985164800 22433 33554432000 4194304 4196468 140723502193872 139881106069504 139880730017358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3250] ppid=3244 vsize=10727700 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3250/stat : 3250 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 22433 33554432000 4194304 4196468 140723502193872 139881054464272 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3251] ppid=3244 vsize=10727700 memory=55 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3251/stat : 3251 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 22433 33554432000 4194304 4196468 140723502193872 139881053411728 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3252] ppid=3244 vsize=10727700 memory=33 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3252/stat : 3252 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 22433 33554432000 4194304 4196468 140723502193872 139881052359184 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3253] ppid=3244 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3253/stat : 3253 (java) S 3244 3247 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 22433 33554432000 4194304 4196468 140723502193872 139881051306640 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
################
# More data... #
################
/proc/meminfo: memFree=22837500/32770624 swapFree=67108860/67108860
[pid=3247] ppid=3244 vsize=10727700 memory=101864 CPUtime=8.4 cores=0,2,4,6
/proc/3247/stat : 3247 (java) S 3244 3247 877 0 -1 1077944320 20187 0 0 0 835 5 0 0 20 0 16 0 45343297 10985164800 25466 33554432000 4194304 4196468 140723502193872 140723502176416 139881101844215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
/proc/3247/statm: 2681925 25466 3127 1 0 2644416 0
[pid=3247/tid=3249] ppid=3244 vsize=10727700 memory=99816 CPUtime=6.27 cores=0,2,4,6
/proc/3247/task/3249/stat : 3249 (java) R 3244 3247 877 0 -1 4202560 6953 0 0 0 624 3 0 0 20 0 16 0 45343297 10985164800 25466 33554432000 4194304 4196468 140723502193872 139881106080240 139880726603585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3250] ppid=3244 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3250/stat : 3250 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 25466 33554432000 4194304 4196468 140723502193872 139881054464272 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3251] ppid=3244 vsize=10727700 memory=97692 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3251/stat : 3251 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 25466 33554432000 4194304 4196468 140723502193872 139881053411728 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3252] ppid=3244 vsize=10727700 memory=14695192770905787 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3252/stat : 3252 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 25466 33554432000 4194304 4196468 140723502193872 139881052359184 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3253] ppid=3244 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3253/stat : 3253 (java) S 3244 3247 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 25466 33554432000 4194304 4196468 140723502193872 139881051306640 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3254] ppid=3244 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3254/stat : 3254 (java) S 3244 3247 877 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 16 0 45343299 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880661715440 139881101855362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3255] ppid=3244 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3255/stat : 3255 (java) S 3244 3247 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 45343300 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880660661664 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3256] ppid=3244 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3256/stat : 3256 (java) S 3244 3247 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 45343300 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880659609072 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3257] ppid=3244 vsize=10727700 memory=94964 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3257/stat : 3257 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 45343302 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880658557648 139881101862811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3258] ppid=3244 vsize=10727700 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/3247/task/3258/stat : 3258 (java) S 3244 3247 877 0 -1 1077944384 3712 0 0 0 68 0 0 0 20 0 16 0 45343302 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880657504240 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3259] ppid=3244 vsize=10727700 memory=0 CPUtime=1.07 cores=0,2,4,6
/proc/3247/task/3259/stat : 3259 (java) S 3244 3247 877 0 -1 1077944384 5465 0 0 0 107 0 0 0 20 0 16 0 45343302 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880656451696 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3260] ppid=3244 vsize=10727700 memory=3054941726128165456 CPUtime=0.34 cores=0,2,4,6
/proc/3247/task/3260/stat : 3260 (java) S 3244 3247 877 0 -1 1077944384 1935 0 0 0 34 0 0 0 20 0 16 0 45343302 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880655399152 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3261] ppid=3244 vsize=10727700 memory=101864 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3261/stat : 3261 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 45343303 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880654346848 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3262] ppid=3244 vsize=10727700 memory=6010425776822829154 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3262/stat : 3262 (java) S 3244 3247 877 0 -1 1077944384 476 0 0 0 0 0 0 0 20 0 16 0 45343303 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880653294384 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3263] ppid=3244 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3263/stat : 3263 (java) S 3244 3247 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 45343347 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880650143024 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
Current children cumulated CPU time: 8.4 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 101864 KiB
[startup+7.0149 s]
# the end of solver process 3247 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.85529 s, system=0.067268 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40094 s]
/proc/loadavg: 1.94 1.96 2.02 3/217 3263
/proc/meminfo: memFree=22837500/32770624 swapFree=67108860/67108860
[pid=3247] ppid=3244 vsize=10727700 memory=101864 CPUtime=8.5 cores=0,2,4,6
/proc/3247/stat : 3247 (java) S 3244 3247 877 0 -1 1077944320 20187 0 0 0 845 5 0 0 20 0 16 0 45343297 10985164800 25466 33554432000 4194304 4196468 140723502193872 140723502176416 139881101844215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
/proc/3247/statm: 2681925 25466 3127 1 0 2644416 0
[pid=3247/tid=3249] ppid=3244 vsize=10727700 memory=13932873914733 CPUtime=6.37 cores=0,2,4,6
/proc/3247/task/3249/stat : 3249 (java) R 3244 3247 877 0 -1 4202560 6953 0 0 0 634 3 0 0 20 0 16 0 45343297 10985164800 25466 33554432000 4194304 4196468 140723502193872 139881106080240 139880727402319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3250] ppid=3244 vsize=10727700 memory=4207617775847348590 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3250/stat : 3250 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 25466 33554432000 4194304 4196468 140723502193872 139881054464272 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3251] ppid=3244 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3251/stat : 3251 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 25466 33554432000 4194304 4196468 140723502193872 139881053411728 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3252] ppid=3244 vsize=10727700 memory=154279520242863 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3252/stat : 3252 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 25466 33554432000 4194304 4196468 140723502193872 139881052359184 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3253] ppid=3244 vsize=10727700 memory=154279520246112 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3253/stat : 3253 (java) S 3244 3247 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 45343298 10985164800 25466 33554432000 4194304 4196468 140723502193872 139881051306640 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3254] ppid=3244 vsize=10727700 memory=154279520246113 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3254/stat : 3254 (java) S 3244 3247 877 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 16 0 45343299 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880661715440 139881101855362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3255] ppid=3244 vsize=10727700 memory=154279520246114 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3255/stat : 3255 (java) S 3244 3247 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 45343300 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880660661664 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3256] ppid=3244 vsize=10727700 memory=154279520246115 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3256/stat : 3256 (java) S 3244 3247 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 45343300 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880659609072 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3257] ppid=3244 vsize=10727700 memory=154279520246116 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3257/stat : 3257 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 45343302 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880658557648 139881101862811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3258] ppid=3244 vsize=10727700 memory=154279520246117 CPUtime=0.68 cores=0,2,4,6
/proc/3247/task/3258/stat : 3258 (java) S 3244 3247 877 0 -1 1077944384 3712 0 0 0 68 0 0 0 20 0 16 0 45343302 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880657504240 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3259] ppid=3244 vsize=10727700 memory=154279520246118 CPUtime=1.07 cores=0,2,4,6
/proc/3247/task/3259/stat : 3259 (java) S 3244 3247 877 0 -1 1077944384 5465 0 0 0 107 0 0 0 20 0 16 0 45343302 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880656451696 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3260] ppid=3244 vsize=10727700 memory=154279520246119 CPUtime=0.34 cores=0,2,4,6
/proc/3247/task/3260/stat : 3260 (java) S 3244 3247 877 0 -1 1077944384 1935 0 0 0 34 0 0 0 20 0 16 0 45343302 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880655399152 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3261] ppid=3244 vsize=10727700 memory=154279520246120 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3261/stat : 3261 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 45343303 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880654346848 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3262] ppid=3244 vsize=10727700 memory=154279520246121 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3262/stat : 3262 (java) S 3244 3247 877 0 -1 1077944384 476 0 0 0 0 0 0 0 20 0 16 0 45343303 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880653294384 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3263] ppid=3244 vsize=10727700 memory=154279520246122 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3263/stat : 3263 (java) S 3244 3247 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 45343347 10985164800 25466 33554432000 4194304 4196468 140723502193872 139880650143024 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
Current children cumulated CPU time: 8.5 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 101864 KiB
[startup+6.80064 s]
/proc/loadavg: 1.94 1.96 2.02 3/217 3263
/proc/meminfo: memFree=22837500/32770624 swapFree=67108860/67108860
[pid=3247] ppid=3244 vsize=10860828 memory=108060 CPUtime=8.9 cores=0,2,4,6
/proc/3247/stat : 3247 (java) S 3244 3247 877 0 -1 1077944320 20810 0 0 0 884 6 0 0 20 0 16 0 45343297 11121487872 27015 33554432000 4194304 4196468 140723502193872 140723502176416 139881101844215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
/proc/3247/statm: 2715207 27015 3129 1 0 2677698 0
[pid=3247/tid=3249] ppid=3244 vsize=10860828 memory=5792262878946938963 CPUtime=6.77 cores=0,2,4,6
/proc/3247/task/3249/stat : 3249 (java) S 3244 3247 877 0 -1 1077944384 7381 0 0 0 674 3 0 0 20 0 16 0 45343297 11121487872 27015 33554432000 4194304 4196468 140723502193872 139881106084896 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3250] ppid=3244 vsize=10860828 memory=7301549278791881040 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3250/stat : 3250 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 11121487872 27015 33554432000 4194304 4196468 140723502193872 139881054464272 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3251] ppid=3244 vsize=10860828 memory=7301549278791881040 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3251/stat : 3251 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 11121487872 27015 33554432000 4194304 4196468 140723502193872 139881053411728 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3252] ppid=3244 vsize=10860828 memory=7301549278791881040 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3252/stat : 3252 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 45343298 11121487872 27015 33554432000 4194304 4196468 140723502193872 139881052359184 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3253] ppid=3244 vsize=10860828 memory=7301549278791881040 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3253/stat : 3253 (java) S 3244 3247 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 45343298 11121487872 27015 33554432000 4194304 4196468 140723502193872 139881051306640 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3254] ppid=3244 vsize=10860828 memory=5792262878946938960 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3254/stat : 3254 (java) S 3244 3247 877 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 16 0 45343299 11121487872 27015 33554432000 4194304 4196468 140723502193872 139880661715440 139881101855362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3255] ppid=3244 vsize=10860828 memory=6075463926056833104 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3255/stat : 3255 (java) S 3244 3247 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 45343300 11121487872 27015 33554432000 4194304 4196468 140723502193872 139880660661664 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3256] ppid=3244 vsize=10860828 memory=6075463926056833104 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3256/stat : 3256 (java) S 3244 3247 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 45343300 11121487872 27015 33554432000 4194304 4196468 140723502193872 139880659609072 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3257] ppid=3244 vsize=10860828 memory=7301549278791881040 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3257/stat : 3257 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 45343302 11121487872 27015 33554432000 4194304 4196468 140723502193872 139880658557648 139881101862811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3258] ppid=3244 vsize=10860828 memory=4640485871438549098 CPUtime=0.68 cores=0,2,4,6
/proc/3247/task/3258/stat : 3258 (java) S 3244 3247 877 0 -1 1077944384 3722 0 0 0 68 0 0 0 20 0 16 0 45343302 11121487872 27015 33554432000 4194304 4196468 140723502193872 139880657504240 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3259] ppid=3244 vsize=10860828 memory=7372762370857265488 CPUtime=1.07 cores=0,2,4,6
/proc/3247/task/3259/stat : 3259 (java) S 3244 3247 877 0 -1 1077944384 5469 0 0 0 107 0 0 0 20 0 16 0 45343302 11121487872 27015 33554432000 4194304 4196468 140723502193872 139880656451696 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3260] ppid=3244 vsize=10860828 memory=4640485871438549094 CPUtime=0.34 cores=0,2,4,6
/proc/3247/task/3260/stat : 3260 (java) S 3244 3247 877 0 -1 1077944384 1973 0 0 0 34 0 0 0 20 0 16 0 45343302 11121487872 27015 33554432000 4194304 4196468 140723502193872 139880655399152 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3261] ppid=3244 vsize=10860828 memory=7301549278791881040 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3261/stat : 3261 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 45343303 11121487872 27015 33554432000 4194304 4196468 140723502193872 139880654346848 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3262] ppid=3244 vsize=10860828 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3262/stat : 3262 (java) S 3244 3247 877 0 -1 1077944384 476 0 0 0 0 0 0 0 20 0 16 0 45343303 11121487872 27015 33554432000 4194304 4196468 140723502193872 139880653294384 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
Current children cumulated CPU time: 8.9 s
Current children cumulated vsize: 10860828 KiB
Current children cumulated memory: 108060 KiB
[startup+7.00057 s]*
/proc/loadavg: 1.94 1.96 2.02 2/215 3265
/proc/meminfo: memFree=22828796/32770624 swapFree=67108860/67108860
[pid=3247] ppid=3244 vsize=10860828 memory=110180 CPUtime=8.91 cores=0,2,4,6
/proc/3247/stat : 3247 (java) S 3244 3247 877 0 -1 1077944320 21313 0 0 0 885 6 0 0 20 0 14 0 45343297 11121487872 27545 33554432000 4194304 4196468 140723502193872 140723502176416 139881101844215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
/proc/3247/statm: 2715207 27545 3130 1 0 2677698 0
[pid=3247/tid=3249] ppid=3244 vsize=10860828 memory=-3103912127665269909 CPUtime=6.77 cores=0,2,4,6
/proc/3247/task/3249/stat : 3249 (java) S 3244 3247 877 0 -1 1077944384 7381 0 0 0 674 3 0 0 20 0 14 0 45343297 11121487872 27545 33554432000 4194304 4196468 140723502193872 139881106087056 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3250] ppid=3244 vsize=10860828 memory=4211974075472297354 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3250/stat : 3250 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 45343298 11121487872 27545 33554432000 4194304 4196468 140723502193872 139881054464272 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3251] ppid=3244 vsize=10860828 memory=3472468628315317936 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3251/stat : 3251 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 45343298 11121487872 27545 33554432000 4194304 4196468 140723502193872 139881053411728 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3252] ppid=3244 vsize=10860828 memory=-3040564339240289162 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3252/stat : 3252 (java) S 3244 3247 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 45343298 11121487872 27545 33554432000 4194304 4196468 140723502193872 139881052359184 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3253] ppid=3244 vsize=10860828 memory=7599669750024139874 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3253/stat : 3253 (java) S 3244 3247 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 45343298 11121487872 27545 33554432000 4194304 4196468 140723502193872 139881051306640 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3254] ppid=3244 vsize=10860828 memory=280698397174600 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3254/stat : 3254 (java) S 3244 3247 877 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 14 0 45343299 11121487872 27545 33554432000 4194304 4196468 140723502193872 139880661715648 139881101855362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3255] ppid=3244 vsize=10860828 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3255/stat : 3255 (java) S 3244 3247 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 45343300 11121487872 27545 33554432000 4194304 4196468 140723502193872 139880660661664 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3256] ppid=3244 vsize=10860828 memory=11030508102 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3256/stat : 3256 (java) S 3244 3247 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 45343300 11121487872 27545 33554432000 4194304 4196468 140723502193872 139880659609072 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3257] ppid=3244 vsize=10860828 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3257/stat : 3257 (java) S 3244 3247 877 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 14 0 45343302 11121487872 27545 33554432000 4194304 4196468 140723502193872 139880658556416 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3258] ppid=3244 vsize=10860828 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/3247/task/3258/stat : 3258 (java) S 3244 3247 877 0 -1 1077944384 3726 0 0 0 68 0 0 0 20 0 14 0 45343302 11121487872 27545 33554432000 4194304 4196468 140723502193872 139880657504240 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3259] ppid=3244 vsize=10860828 memory=3833463921313985074 CPUtime=1.07 cores=0,2,4,6
/proc/3247/task/3259/stat : 3259 (java) S 3244 3247 877 0 -1 1077944384 5470 0 0 0 107 0 0 0 20 0 14 0 45343302 11121487872 27545 33554432000 4194304 4196468 140723502193872 139880656432096 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3260] ppid=3244 vsize=10860828 memory=140349267535520 CPUtime=0.34 cores=0,2,4,6
/proc/3247/task/3260/stat : 3260 (java) S 3244 3247 877 0 -1 1077944384 1993 0 0 0 34 0 0 0 20 0 14 0 45343302 11121487872 27545 33554432000 4194304 4196468 140723502193872 139880655399152 139881101855362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
[pid=3247/tid=3261] ppid=3244 vsize=10860828 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3247/task/3261/stat : 3261 (java) S 3244 3247 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 45343303 11121487872 27545 33554432000 4194304 4196468 140723502193872 139880654346848 139881101854421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25755648 140723502199921 140723502200073 140723502200073 140723502202831 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 10860828 KiB
Current children cumulated memory: 110180 KiB
Child status: 0
Real time (s): 7.01495
CPU time (s): 8.92256
CPU user time (s): 8.85529
CPU system time (s): 0.067268
CPU usage (%): 127.194
Max. virtual memory (cumulated for all children) (KiB): 10860828
Max. memory (cumulated for all children) (KiB): 110180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.85529
system time used= 0.067268
maximum resident set size= 110492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1972
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 3247
# total CPU time (s): 8.92256
# total CPU user time (s): 8.85529
# total CPU system time (s): 0.067268
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058819 second user time and 0.119449 second system time
The end