runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688638-1337878634/watcher-3688638-1337878634 -o /tmp/evaluation-result-3688638-1337878634/solver-3688638-1337878634 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688638-1337878634.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.78 3.82 3.86 3/199 28911
/proc/meminfo: memFree=28834104/32873844 swapFree=7364/7364
[pid=28911] ppid=28909 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28911/stat : 28911 (java) D 28909 28911 26250 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 253988231 9515008 175 33554432000 1073741824 1073778376 140736564837968 140736564820696 215143498640 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/28911/statm: 2323 175 133 9 0 71 0
[startup+0.0214231 s]
/proc/loadavg: 3.78 3.82 3.86 3/199 28911
/proc/meminfo: memFree=28834104/32873844 swapFree=7364/7364
[pid=28911] ppid=28909 vsize=102664 CPUtime=0 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 26250 0 -1 4202496 1427 0 1 0 0 0 0 0 20 0 2 0 253988231 105127936 1109 33554432000 1073741824 1073778376 140734606502720 140734606493856 215146856509 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28911/statm: 25666 1109 856 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664
[startup+0.100249 s]
/proc/loadavg: 3.78 3.82 3.86 3/199 28911
/proc/meminfo: memFree=28834104/32873844 swapFree=7364/7364
[pid=28911] ppid=28909 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 26250 0 -1 4202496 4143 0 1 0 7 1 0 0 20 0 18 0 253988231 9787813888 5342 33554432000 1073741824 1073778376 140734606502720 140734606493856 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28911/statm: 2389603 5342 2079 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300263 s]
/proc/loadavg: 3.78 3.82 3.86 3/199 28911
/proc/meminfo: memFree=28834104/32873844 swapFree=7364/7364
[pid=28911] ppid=28909 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 26250 0 -1 4202496 6054 0 1 0 44 2 0 0 20 0 18 0 253988231 9787813888 8265 33554432000 1073741824 1073778376 140734606502720 140734606493856 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28911/statm: 2389603 8265 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700306 s]
/proc/loadavg: 3.78 3.82 3.86 3/199 28911
/proc/meminfo: memFree=28834104/32873844 swapFree=7364/7364
[pid=28911] ppid=28909 vsize=9560152 CPUtime=1.62 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 26250 0 -1 4202496 22232 0 1 0 156 6 0 0 20 0 18 0 253988231 9789595648 27384 33554432000 1073741824 1073778376 140734606502720 140734606493856 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28911/statm: 2390038 27418 2244 9 0 2380731 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9560152
[startup+1.50072 s]
/proc/loadavg: 3.88 3.84 3.87 6/217 28929
/proc/meminfo: memFree=28652616/32873844 swapFree=7364/7364
[pid=28911] ppid=28909 vsize=9691540 CPUtime=3.75 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 26250 0 -1 4202496 29486 0 1 0 350 25 0 0 20 0 20 0 253988231 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140734606493856 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28911/statm: 2422885 85709 2262 9 0 2413578 0
[pid=28911/tid=28913] ppid=28909 vsize=9691540 CPUtime=1.24 cores=1,3,5,7
/proc/28911/task/28913/stat : 28913 (java) S 28909 28911 26250 0 -1 4202560 2523 0 1 0 120 4 0 0 20 0 20 0 253988232 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508880225272 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28914] ppid=28909 vsize=9691540 CPUtime=0.05 cores=1,3,5,7
/proc/28911/task/28914/stat : 28914 (java) S 28909 28911 26250 0 -1 4202560 77 0 0 0 5 0 0 0 20 0 20 0 253988233 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508852676776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28915] ppid=28909 vsize=9691540 CPUtime=0.12 cores=1,3,5,7
/proc/28911/task/28915/stat : 28915 (java) S 28909 28911 26250 0 -1 4202560 108 0 0 0 9 3 0 0 20 0 20 0 253988233 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508851624232 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28916] ppid=28909 vsize=9691540 CPUtime=0.05 cores=1,3,5,7
/proc/28911/task/28916/stat : 28916 (java) S 28909 28911 26250 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 20 0 253988233 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508850571688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28917] ppid=28909 vsize=9691540 CPUtime=0.11 cores=1,3,5,7
/proc/28911/task/28917/stat : 28917 (java) S 28909 28911 26250 0 -1 4202560 42 0 0 0 8 3 0 0 20 0 20 0 253988233 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508849519144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28918] ppid=28909 vsize=9691540 CPUtime=0.04 cores=1,3,5,7
/proc/28911/task/28918/stat : 28918 (java) S 28909 28911 26250 0 -1 4202560 25 0 0 0 3 1 0 0 20 0 20 0 253988233 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508720048808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28919] ppid=28909 vsize=9691540 CPUtime=0.15 cores=1,3,5,7
/proc/28911/task/28919/stat : 28919 (java) S 28909 28911 26250 0 -1 4202560 136 0 0 0 11 4 0 0 20 0 20 0 253988233 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508718996264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28920] ppid=28909 vsize=9691540 CPUtime=0.1 cores=1,3,5,7
/proc/28911/task/28920/stat : 28920 (java) S 28909 28911 26250 0 -1 4202560 106 0 0 0 7 3 0 0 20 0 20 0 253988233 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508717943720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28921] ppid=28909 vsize=9691540 CPUtime=0.09 cores=1,3,5,7
/proc/28911/task/28921/stat : 28921 (java) S 28909 28911 26250 0 -1 4202560 158 0 0 0 7 2 0 0 20 0 20 0 253988233 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508716891176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28922] ppid=28909 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28922/stat : 28922 (java) S 28909 28911 26250 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 20 0 253988234 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508234377320 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28923] ppid=28909 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28923/stat : 28923 (java) S 28909 28911 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 253988235 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508233323640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28924] ppid=28909 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28924/stat : 28924 (java) S 28909 28911 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253988235 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508232270984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28925] ppid=28909 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28925/stat : 28925 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253988237 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508231219728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28926] ppid=28909 vsize=9691540 CPUtime=0.82 cores=1,3,5,7
/proc/28911/task/28926/stat : 28926 (java) R 28909 28911 26250 0 -1 4202560 14885 0 0 0 79 3 0 0 20 0 20 0 253988237 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508230166936 140508884314164 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28927] ppid=28909 vsize=9691540 CPUtime=0.83 cores=1,3,5,7
/proc/28911/task/28927/stat : 28927 (java) R 28909 28911 26250 0 -1 4202560 10120 0 0 0 80 3 0 0 20 0 20 0 253988237 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508229114552 215146881461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28928] ppid=28909 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28928/stat : 28928 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253988237 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508228062200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28929] ppid=28909 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28929/stat : 28929 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253988237 9924136960 85709 33554432000 1073741824 1073778376 140734606502720 140508227009864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 9691540
[startup+3.10069 s]
/proc/loadavg: 3.88 3.84 3.87 7/221 28936
/proc/meminfo: memFree=28499700/32873844 swapFree=7364/7364
[pid=28911] ppid=28909 vsize=9824668 CPUtime=6.63 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 26250 0 -1 4202496 29654 0 1 0 633 30 0 0 20 0 22 0 253988231 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140734606493856 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28911/statm: 2456167 85836 2275 9 0 2446860 0
[pid=28911/tid=28913] ppid=28909 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/28911/task/28913/stat : 28913 (java) S 28909 28911 26250 0 -1 4202560 2531 0 1 0 122 4 0 0 20 0 22 0 253988232 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508880225272 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28914] ppid=28909 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/28911/task/28914/stat : 28914 (java) S 28909 28911 26250 0 -1 4202560 77 0 0 0 5 0 0 0 20 0 22 0 253988233 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508852676776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28915] ppid=28909 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/28911/task/28915/stat : 28915 (java) S 28909 28911 26250 0 -1 4202560 108 0 0 0 9 3 0 0 20 0 22 0 253988233 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508851624232 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28916] ppid=28909 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/28911/task/28916/stat : 28916 (java) S 28909 28911 26250 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 22 0 253988233 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508850571688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28917] ppid=28909 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/28911/task/28917/stat : 28917 (java) S 28909 28911 26250 0 -1 4202560 42 0 0 0 8 3 0 0 20 0 22 0 253988233 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508849519144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28918] ppid=28909 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/28911/task/28918/stat : 28918 (java) S 28909 28911 26250 0 -1 4202560 25 0 0 0 3 1 0 0 20 0 22 0 253988233 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508720048808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28919] ppid=28909 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/28911/task/28919/stat : 28919 (java) S 28909 28911 26250 0 -1 4202560 136 0 0 0 11 4 0 0 20 0 22 0 253988233 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508718996264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28920] ppid=28909 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/28911/task/28920/stat : 28920 (java) S 28909 28911 26250 0 -1 4202560 106 0 0 0 7 3 0 0 20 0 22 0 253988233 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508717943720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28921] ppid=28909 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/28911/task/28921/stat : 28921 (java) S 28909 28911 26250 0 -1 4202560 158 0 0 0 7 2 0 0 20 0 22 0 253988233 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508716891176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28922] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28922/stat : 28922 (java) S 28909 28911 26250 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 253988234 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508234377320 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28923] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28923/stat : 28923 (java) S 28909 28911 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253988235 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508233323640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28924] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28924/stat : 28924 (java) S 28909 28911 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253988235 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508232270984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28925] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28925/stat : 28925 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988237 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508231219728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28926] ppid=28909 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/28911/task/28926/stat : 28926 (java) R 28909 28911 26250 0 -1 4202560 14943 0 0 0 123 3 0 0 20 0 22 0 253988237 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508230167096 140508886897296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28927] ppid=28909 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/28911/task/28927/stat : 28927 (java) R 28909 28911 26250 0 -1 4202560 10128 0 0 0 123 3 0 0 20 0 22 0 253988237 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508229114552 140508882181566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28928] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28928/stat : 28928 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988237 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508228062200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28929] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28929/stat : 28929 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988237 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508227009864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28933] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28933/stat : 28933 (java) S 28909 28911 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253988383 10060460032 85836 33554432000 1073741824 1073778376 140734606502720 140508222796968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (KiB) 9824668
[startup+6.30086 s]
/proc/loadavg: 3.88 3.84 3.87 5/221 28939
/proc/meminfo: memFree=28356812/32873844 swapFree=7364/7364
[pid=28911] ppid=28909 vsize=9824668 CPUtime=13.3 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 26250 0 -1 4202496 29958 0 1 0 1290 40 0 0 20 0 22 0 253988231 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140734606493856 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28911/statm: 2456167 124094 2275 9 0 2446860 0
[pid=28911/tid=28913] ppid=28909 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/28911/task/28913/stat : 28913 (java) S 28909 28911 26250 0 -1 4202560 2532 0 1 0 122 4 0 0 20 0 22 0 253988232 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508880225272 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28914] ppid=28909 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/28911/task/28914/stat : 28914 (java) S 28909 28911 26250 0 -1 4202560 87 0 0 0 7 2 0 0 20 0 22 0 253988233 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508852676776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28915] ppid=28909 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/28911/task/28915/stat : 28915 (java) S 28909 28911 26250 0 -1 4202560 118 0 0 0 11 4 0 0 20 0 22 0 253988233 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508851624232 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28916] ppid=28909 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/28911/task/28916/stat : 28916 (java) S 28909 28911 26250 0 -1 4202560 48 0 0 0 8 4 0 0 20 0 22 0 253988233 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508850571688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28917] ppid=28909 vsize=9824668 CPUtime=0.14 cores=1,3,5,7
/proc/28911/task/28917/stat : 28917 (java) S 28909 28911 26250 0 -1 4202560 55 0 0 0 10 4 0 0 20 0 22 0 253988233 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508849519144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28918] ppid=28909 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/28911/task/28918/stat : 28918 (java) S 28909 28911 26250 0 -1 4202560 34 0 0 0 6 1 0 0 20 0 22 0 253988233 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508720048808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28919] ppid=28909 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/28911/task/28919/stat : 28919 (java) S 28909 28911 26250 0 -1 4202560 145 0 0 0 13 5 0 0 20 0 22 0 253988233 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508718996264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28920] ppid=28909 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/28911/task/28920/stat : 28920 (java) S 28909 28911 26250 0 -1 4202560 137 0 0 0 13 5 0 0 20 0 22 0 253988233 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508717943720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28921] ppid=28909 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/28911/task/28921/stat : 28921 (java) S 28909 28911 26250 0 -1 4202560 175 0 0 0 10 3 0 0 20 0 22 0 253988233 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508716891176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28922] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28922/stat : 28922 (java) S 28909 28911 26250 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 253988234 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508234377320 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28923] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28923/stat : 28923 (java) S 28909 28911 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253988235 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508233323640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28924] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28924/stat : 28924 (java) S 28909 28911 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253988235 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508232270984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28925] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28925/stat : 28925 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988237 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508231219728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28926] ppid=28909 vsize=9824668 CPUtime=1.35 cores=1,3,5,7
/proc/28911/task/28926/stat : 28926 (java) S 28909 28911 26250 0 -1 4202560 14943 0 0 0 132 3 0 0 20 0 22 0 253988237 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508230167096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28927] ppid=28909 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/28911/task/28927/stat : 28927 (java) S 28909 28911 26250 0 -1 4202560 10128 0 0 0 129 3 0 0 20 0 22 0 253988237 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508229114552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28928] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28928/stat : 28928 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988237 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508228062200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28929] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28929/stat : 28929 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988237 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508227009864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28933] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28933/stat : 28933 (java) S 28909 28911 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253988383 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508222796968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28937] ppid=28909 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/28911/task/28937/stat : 28937 (java) R 28909 28911 26250 0 -1 4202560 4 0 0 0 367 0 0 0 20 0 22 0 253988481 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508225952896 140508732211316 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28938] ppid=28909 vsize=9824668 CPUtime=3.66 cores=1,3,5,7
/proc/28911/task/28938/stat : 28938 (java) R 28909 28911 26250 0 -1 4202560 57 0 0 0 364 2 0 0 20 0 22 0 253988481 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508224899944 140508732413067 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28939] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28939/stat : 28939 (java) S 28909 28911 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253988482 10060460032 124094 33554432000 1073741824 1073778376 140734606502720 140508223849384 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=28911/tid=29001] ppid=28909 vsize=9824668 CPUtime=204.19 cores=1,3,5,7
/proc/28911/task/29001/stat : 29001 (java) R 28909 28911 26250 0 -1 4202560 3 0 0 0 20416 3 0 0 20 0 22 0 254043321 10060460032 928287 33554432000 1073741824 1073778376 140734606502720 140508225952528 140508732126274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=29002] ppid=28909 vsize=9824668 CPUtime=204.22 cores=1,3,5,7
/proc/28911/task/29002/stat : 29002 (java) R 28909 28911 26250 0 -1 4202560 8 0 0 0 20419 3 0 0 20 0 22 0 254043321 10060460032 928287 33554432000 1073741824 1073778376 140734606502720 140508222795536 140508732417118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=29003] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/29003/stat : 29003 (java) S 28909 28911 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254043321 10060460032 928287 33554432000 1073741824 1073778376 140734606502720 140508224902696 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1518.92
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 4.01 4.01 3.91 3/219 29068
/proc/meminfo: memFree=24657968/32873844 swapFree=7364/7364
[pid=28911] ppid=28909 vsize=9824668 CPUtime=1639.78 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 26250 0 -1 4202496 39431 0 1 0 163662 316 0 0 20 0 22 0 253988231 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140734606493856 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28911/statm: 2456167 928361 2289 9 0 2446860 0
[pid=28911/tid=28913] ppid=28909 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/28911/task/28913/stat : 28913 (java) S 28909 28911 26250 0 -1 4202560 2548 0 1 0 127 6 0 0 20 0 22 0 253988232 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508880225272 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28914] ppid=28909 vsize=9824668 CPUtime=2.37 cores=1,3,5,7
/proc/28911/task/28914/stat : 28914 (java) S 28909 28911 26250 0 -1 4202560 544 0 0 0 214 23 0 0 20 0 22 0 253988233 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508852676776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28915] ppid=28909 vsize=9824668 CPUtime=2.76 cores=1,3,5,7
/proc/28911/task/28915/stat : 28915 (java) S 28909 28911 26250 0 -1 4202560 651 0 0 0 250 26 0 0 20 0 22 0 253988233 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508851624232 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28916] ppid=28909 vsize=9824668 CPUtime=2.32 cores=1,3,5,7
/proc/28911/task/28916/stat : 28916 (java) S 28909 28911 26250 0 -1 4202560 523 0 0 0 212 20 0 0 20 0 22 0 253988233 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508850571688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28917] ppid=28909 vsize=9824668 CPUtime=2.62 cores=1,3,5,7
/proc/28911/task/28917/stat : 28917 (java) S 28909 28911 26250 0 -1 4202560 671 0 0 0 237 25 0 0 20 0 22 0 253988233 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508849519144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28918] ppid=28909 vsize=9824668 CPUtime=2.63 cores=1,3,5,7
/proc/28911/task/28918/stat : 28918 (java) S 28909 28911 26250 0 -1 4202560 619 0 0 0 243 20 0 0 20 0 22 0 253988233 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508720048808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28919] ppid=28909 vsize=9824668 CPUtime=2.78 cores=1,3,5,7
/proc/28911/task/28919/stat : 28919 (java) S 28909 28911 26250 0 -1 4202560 769 0 0 0 248 30 0 0 20 0 22 0 253988233 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508718996264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28920] ppid=28909 vsize=9824668 CPUtime=2.98 cores=1,3,5,7
/proc/28911/task/28920/stat : 28920 (java) S 28909 28911 26250 0 -1 4202560 805 0 0 0 261 37 0 0 20 0 22 0 253988233 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508717943720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28921] ppid=28909 vsize=9824668 CPUtime=3.01 cores=1,3,5,7
/proc/28911/task/28921/stat : 28921 (java) S 28909 28911 26250 0 -1 4202560 671 0 0 0 273 28 0 0 20 0 22 0 253988233 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508716891176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28922] ppid=28909 vsize=9824668 CPUtime=13.15 cores=1,3,5,7
/proc/28911/task/28922/stat : 28922 (java) S 28909 28911 26250 0 -1 4202560 3170 0 0 0 1304 11 0 0 20 0 22 0 253988234 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508234377320 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28923] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28923/stat : 28923 (java) S 28909 28911 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253988235 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508233323640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28924] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28924/stat : 28924 (java) S 28909 28911 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253988235 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508232270984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28925] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28925/stat : 28925 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988237 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508231219728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28926] ppid=28909 vsize=9824668 CPUtime=1.47 cores=1,3,5,7
/proc/28911/task/28926/stat : 28926 (java) S 28909 28911 26250 0 -1 4202560 14945 0 0 0 144 3 0 0 20 0 22 0 253988237 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508230167096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28927] ppid=28909 vsize=9824668 CPUtime=1.83 cores=1,3,5,7
/proc/28911/task/28927/stat : 28927 (java) S 28909 28911 26250 0 -1 4202560 10173 0 0 0 180 3 0 0 20 0 22 0 253988237 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508229114552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28928] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28928/stat : 28928 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988237 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508228062200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28929] ppid=28909 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/28911/task/28929/stat : 28929 (java) S 28909 28911 26250 0 -1 4202560 47 0 0 0 23 19 0 0 20 0 22 0 253988237 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508227009864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28939] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28939/stat : 28939 (java) S 28909 28911 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253988482 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508223849384 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=29001] ppid=28909 vsize=9824668 CPUtime=263.72 cores=1,3,5,7
/proc/28911/task/29001/stat : 29001 (java) R 28909 28911 26250 0 -1 4202560 3 0 0 0 26368 4 0 0 20 0 22 0 254043321 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508225952640 140508732140493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=29002] ppid=28909 vsize=9824668 CPUtime=263.77 cores=1,3,5,7
/proc/28911/task/29002/stat : 29002 (java) R 28909 28911 26250 0 -1 4202560 10 0 0 0 26373 4 0 0 20 0 22 0 254043321 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508222795440 140508732413111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=29003] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/29003/stat : 29003 (java) S 28909 28911 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254043321 10060460032 928361 33554432000 1073741824 1073778376 140734606502720 140508224902696 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1639.78
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.86 3.95 3.89 5/221 29120
/proc/meminfo: memFree=22639360/32873844 swapFree=7364/7364
[pid=28911] ppid=28909 vsize=9824668 CPUtime=1760.89 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 26250 0 -1 4202496 40145 0 1 0 175756 333 0 0 20 0 22 0 253988231 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140734606493856 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28911/statm: 2456167 957508 2289 9 0 2446860 0
[pid=28911/tid=28913] ppid=28909 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/28911/task/28913/stat : 28913 (java) S 28909 28911 26250 0 -1 4202560 2549 0 1 0 127 6 0 0 20 0 22 0 253988232 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508880225272 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28914] ppid=28909 vsize=9824668 CPUtime=2.74 cores=1,3,5,7
/proc/28911/task/28914/stat : 28914 (java) S 28909 28911 26250 0 -1 4202560 590 0 0 0 249 25 0 0 20 0 22 0 253988233 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508852676776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28915] ppid=28909 vsize=9824668 CPUtime=3.12 cores=1,3,5,7
/proc/28911/task/28915/stat : 28915 (java) S 28909 28911 26250 0 -1 4202560 702 0 0 0 285 27 0 0 20 0 22 0 253988233 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508851624232 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28916] ppid=28909 vsize=9824668 CPUtime=2.59 cores=1,3,5,7
/proc/28911/task/28916/stat : 28916 (java) S 28909 28911 26250 0 -1 4202560 680 0 0 0 236 23 0 0 20 0 22 0 253988233 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508850571688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28917] ppid=28909 vsize=9824668 CPUtime=3.01 cores=1,3,5,7
/proc/28911/task/28917/stat : 28917 (java) S 28909 28911 26250 0 -1 4202560 795 0 0 0 274 27 0 0 20 0 22 0 253988233 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508849519144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28918] ppid=28909 vsize=9824668 CPUtime=2.78 cores=1,3,5,7
/proc/28911/task/28918/stat : 28918 (java) S 28909 28911 26250 0 -1 4202560 737 0 0 0 256 22 0 0 20 0 22 0 253988233 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508720048808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28919] ppid=28909 vsize=9824668 CPUtime=2.95 cores=1,3,5,7
/proc/28911/task/28919/stat : 28919 (java) S 28909 28911 26250 0 -1 4202560 804 0 0 0 264 31 0 0 20 0 22 0 253988233 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508718996264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28920] ppid=28909 vsize=9824668 CPUtime=3.27 cores=1,3,5,7
/proc/28911/task/28920/stat : 28920 (java) S 28909 28911 26250 0 -1 4202560 937 0 0 0 289 38 0 0 20 0 22 0 253988233 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508717943720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28921] ppid=28909 vsize=9824668 CPUtime=3.22 cores=1,3,5,7
/proc/28911/task/28921/stat : 28921 (java) S 28909 28911 26250 0 -1 4202560 709 0 0 0 293 29 0 0 20 0 22 0 253988233 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508716891176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28922] ppid=28909 vsize=9824668 CPUtime=13.16 cores=1,3,5,7
/proc/28911/task/28922/stat : 28922 (java) S 28909 28911 26250 0 -1 4202560 3177 0 0 0 1304 12 0 0 20 0 22 0 253988234 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508234377320 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28923] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28923/stat : 28923 (java) S 28909 28911 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253988235 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508233323640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28924] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28924/stat : 28924 (java) S 28909 28911 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253988235 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508232270984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28925] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28925/stat : 28925 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988237 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508231219728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28926] ppid=28909 vsize=9824668 CPUtime=1.47 cores=1,3,5,7
/proc/28911/task/28926/stat : 28926 (java) S 28909 28911 26250 0 -1 4202560 14945 0 0 0 144 3 0 0 20 0 22 0 253988237 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508230167096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28927] ppid=28909 vsize=9824668 CPUtime=1.83 cores=1,3,5,7
/proc/28911/task/28927/stat : 28927 (java) S 28909 28911 26250 0 -1 4202560 10173 0 0 0 180 3 0 0 20 0 22 0 253988237 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508229114552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28928] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28928/stat : 28928 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988237 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508228062200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28929] ppid=28909 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/28911/task/28929/stat : 28929 (java) S 28909 28911 26250 0 -1 4202560 51 0 0 0 25 21 0 0 20 0 22 0 253988237 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508227009864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28939] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28939/stat : 28939 (java) S 28909 28911 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253988482 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508223849384 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=29001] ppid=28909 vsize=9824668 CPUtime=323.14 cores=1,3,5,7
/proc/28911/task/29001/stat : 29001 (java) R 28909 28911 26250 0 -1 4202560 3 0 0 0 32310 4 0 0 20 0 22 0 254043321 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508225952608 140508732211349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=29002] ppid=28909 vsize=9824668 CPUtime=323.21 cores=1,3,5,7
/proc/28911/task/29002/stat : 29002 (java) R 28909 28911 26250 0 -1 4202560 11 0 0 0 32317 4 0 0 20 0 22 0 254043321 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508222795672 140508732534412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=29003] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/29003/stat : 29003 (java) S 28909 28911 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254043321 10060460032 957508 33554432000 1073741824 1073778376 140734606502720 140508224902696 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1760.89
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+903.401 s]
/proc/loadavg: 3.90 3.95 3.89 5/221 29120
/proc/meminfo: memFree=22416504/32873844 swapFree=7364/7364
[pid=28911] ppid=28909 vsize=9824668 CPUtime=1800.15 cores=1,3,5,7
/proc/28911/stat : 28911 (java) S 28909 28911 26250 0 -1 4202496 40289 0 1 0 179679 336 0 0 20 0 22 0 253988231 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140734606493856 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28911/statm: 2456167 1006704 2289 9 0 2446860 0
[pid=28911/tid=28913] ppid=28909 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/28911/task/28913/stat : 28913 (java) S 28909 28911 26250 0 -1 4202560 2549 0 1 0 127 6 0 0 20 0 22 0 253988232 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508880225272 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28914] ppid=28909 vsize=9824668 CPUtime=2.91 cores=1,3,5,7
/proc/28911/task/28914/stat : 28914 (java) S 28909 28911 26250 0 -1 4202560 592 0 0 0 266 25 0 0 20 0 22 0 253988233 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508852676776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28915] ppid=28909 vsize=9824668 CPUtime=3.34 cores=1,3,5,7
/proc/28911/task/28915/stat : 28915 (java) S 28909 28911 26250 0 -1 4202560 719 0 0 0 307 27 0 0 20 0 22 0 253988233 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508851624232 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28916] ppid=28909 vsize=9824668 CPUtime=2.88 cores=1,3,5,7
/proc/28911/task/28916/stat : 28916 (java) S 28909 28911 26250 0 -1 4202560 680 0 0 0 265 23 0 0 20 0 22 0 253988233 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508850571688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28917] ppid=28909 vsize=9824668 CPUtime=3.23 cores=1,3,5,7
/proc/28911/task/28917/stat : 28917 (java) S 28909 28911 26250 0 -1 4202560 802 0 0 0 296 27 0 0 20 0 22 0 253988233 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508849519144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28918] ppid=28909 vsize=9824668 CPUtime=2.9 cores=1,3,5,7
/proc/28911/task/28918/stat : 28918 (java) S 28909 28911 26250 0 -1 4202560 742 0 0 0 268 22 0 0 20 0 22 0 253988233 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508720048808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28919] ppid=28909 vsize=9824668 CPUtime=3.28 cores=1,3,5,7
/proc/28911/task/28919/stat : 28919 (java) S 28909 28911 26250 0 -1 4202560 812 0 0 0 297 31 0 0 20 0 22 0 253988233 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508718996264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28920] ppid=28909 vsize=9824668 CPUtime=3.77 cores=1,3,5,7
/proc/28911/task/28920/stat : 28920 (java) S 28909 28911 26250 0 -1 4202560 939 0 0 0 339 38 0 0 20 0 22 0 253988233 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508717943720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28921] ppid=28909 vsize=9824668 CPUtime=3.47 cores=1,3,5,7
/proc/28911/task/28921/stat : 28921 (java) S 28909 28911 26250 0 -1 4202560 712 0 0 0 318 29 0 0 20 0 22 0 253988233 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508716891176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28922] ppid=28909 vsize=9824668 CPUtime=17.12 cores=1,3,5,7
/proc/28911/task/28922/stat : 28922 (java) S 28909 28911 26250 0 -1 4202560 3273 0 0 0 1698 14 0 0 20 0 22 0 253988234 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508234377320 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=28923] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28923/stat : 28923 (java) S 28909 28911 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253988235 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508233323640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28924] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28924/stat : 28924 (java) S 28909 28911 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253988235 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508232270984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28925] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28925/stat : 28925 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988237 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508231219728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28926] ppid=28909 vsize=9824668 CPUtime=1.47 cores=1,3,5,7
/proc/28911/task/28926/stat : 28926 (java) S 28909 28911 26250 0 -1 4202560 14945 0 0 0 144 3 0 0 20 0 22 0 253988237 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508230167096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=28927] ppid=28909 vsize=9824668 CPUtime=1.83 cores=1,3,5,7
/proc/28911/task/28927/stat : 28927 (java) S 28909 28911 26250 0 -1 4202560 10173 0 0 0 180 3 0 0 20 0 22 0 253988237 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508229114552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28928] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28928/stat : 28928 (java) S 28909 28911 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253988237 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508228062200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28911/tid=28929] ppid=28909 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/28911/task/28929/stat : 28929 (java) S 28909 28911 26250 0 -1 4202560 53 0 0 0 25 22 0 0 20 0 22 0 253988237 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508227009864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=28939] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/28939/stat : 28939 (java) S 28909 28911 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253988482 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508223849384 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28911/tid=29001] ppid=28909 vsize=9824668 CPUtime=339.76 cores=1,3,5,7
/proc/28911/task/29001/stat : 29001 (java) R 28909 28911 26250 0 -1 4202560 3 0 0 0 33971 5 0 0 20 0 22 0 254043321 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508225954400 140508732211344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28911/tid=29002] ppid=28909 vsize=9824668 CPUtime=339.84 cores=1,3,5,7
/proc/28911/task/29002/stat : 29002 (java) R 28909 28911 26250 0 -1 4202560 13 0 0 0 33979 5 0 0 20 0 22 0 254043321 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508222796576 140508732396697 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28911/tid=29003] ppid=28909 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28911/task/29003/stat : 29003 (java) S 28909 28911 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254043321 10060460032 1006704 33554432000 1073741824 1073778376 140734606502720 140508224902696 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 903.458
CPU time (s): 1800.41
CPU user time (s): 1796.8
CPU system time (s): 3.61345
CPU usage (%): 199.28
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.8
system time used= 3.61345
maximum resident set size= 4026932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40322
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23134
involuntary context switches= 27348
runsolver used 3.90541 second user time and 8.40172 second system time
The end