runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3455881-1307224892/watcher-3455881-1307224892 -o /tmp/evaluation-result-3455881-1307224892/solver-3455881-1307224892 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455881-1307224892.opb
running on 4 cores: 0,2,4,6
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: 2.00 2.03 2.00 2/576 15514
/proc/meminfo: memFree=24808528/32951124 swapFree=34426104/67111528
[pid=15514] ppid=15512 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15512 15514 14484 0 -1 4202496 2181 0 1 0 0 0 0 0 25 0 2 0 912719825 10681323520 1883 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 2607745 1895 906 9 0 2598901 0
[pid=15514/tid=15515] ppid=15512 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15515/stat : 15515 (java) R 15512 15514 14484 0 -1 4202560 6703 0 1 0 0 0 0 0 25 0 2 0 912719826 10694979584 7519 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.055049 s]
/proc/loadavg: 2.00 2.03 2.00 2/576 15514
/proc/meminfo: memFree=24808528/32951124 swapFree=34426104/67111528
[pid=15514] ppid=15512 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15512 15514 14484 0 -1 4202496 11431 0 1 0 3 1 0 0 25 0 13 0 912719825 10718838784 11128 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296728549 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 2616904 11128 1684 9 0 2607652 0
[pid=15514/tid=15515] ppid=15512 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/15514/task/15515/stat : 15515 (java) R 15512 15514 14484 0 -1 4202560 10284 0 1 0 3 1 0 0 25 0 13 0 912719826 10718838784 11128 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224284921701 0 2147483391 0 16800971 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.101489 s]
/proc/loadavg: 2.00 2.03 2.00 2/576 15514
/proc/meminfo: memFree=24808528/32951124 swapFree=34426104/67111528
[pid=15514] ppid=15512 vsize=10539832 CPUtime=0.09 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15512 15514 14484 0 -1 4202496 12795 0 1 0 8 1 0 0 25 0 18 0 912719825 10792787968 12492 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 2634958 12492 2088 9 0 2625692 0
[pid=15514/tid=15515] ppid=15512 vsize=10539832 CPUtime=0.08 cores=0,2,4,6
/proc/15514/task/15515/stat : 15515 (java) R 15512 15514 14484 0 -1 4202560 11021 0 1 0 7 1 0 0 25 0 18 0 912719826 10792787968 12493 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 47954320558099 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539832
[startup+0.300954 s]
/proc/loadavg: 2.00 2.03 2.00 2/576 15514
/proc/meminfo: memFree=24808528/32951124 swapFree=34426104/67111528
[pid=15514] ppid=15512 vsize=10549492 CPUtime=0.43 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15512 15514 14484 0 -1 4202496 17605 0 1 0 41 2 0 0 25 0 19 0 912719825 10802679808 16010 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 2637373 16010 2186 9 0 2628107 0
[pid=15514/tid=15515] ppid=15512 vsize=10549492 CPUtime=0.24 cores=0,2,4,6
/proc/15514/task/15515/stat : 15515 (java) R 15512 15514 14484 0 -1 4202560 12440 0 1 0 23 1 0 0 25 0 19 0 912719826 10802679808 16010 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 47954319205842 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10549492
[startup+0.861898 s]
/proc/loadavg: 2.00 2.03 2.00 2/576 15514
/proc/meminfo: memFree=24808528/32951124 swapFree=34426104/67111528
[pid=15514] ppid=15512 vsize=10556872 CPUtime=1.94 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15512 15514 14484 0 -1 4202496 52377 0 1 0 187 7 0 0 25 0 19 0 912719825 10810236928 43530 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 2639218 43536 2215 9 0 2629952 0
[pid=15514/tid=15515] ppid=15512 vsize=10556872 CPUtime=0.81 cores=0,2,4,6
/proc/15514/task/15515/stat : 15515 (java) R 15512 15514 14484 0 -1 4202560 36825 0 1 0 76 5 0 0 18 0 19 0 912719826 10810236928 43538 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 46912505552475 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 10556872
[startup+1.5008 s]
/proc/loadavg: 2.16 2.06 2.01 3/595 15538
/proc/meminfo: memFree=24550404/32951124 swapFree=34426104/67111528
[pid=15514] ppid=15512 vsize=10556872 CPUtime=2.67 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15512 15514 14484 0 -1 4202496 113749 0 1 0 253 14 0 0 25 0 19 0 912719825 10810236928 104813 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 2639218 104818 2218 9 0 2629952 0
[pid=15514/tid=15515] ppid=15512 vsize=10556872 CPUtime=1.45 cores=0,2,4,6
/proc/15514/task/15515/stat : 15515 (java) R 15512 15514 14484 0 -1 4202560 98087 0 1 0 133 12 0 0 18 0 19 0 912719826 10810236928 104820 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 46912505624411 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 104823 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15519] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 104825 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15520] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 104828 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15522] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 104831 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15523] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 104835 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15524] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 104837 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15525] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 104840 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15526] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 104842 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15527] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) S 15512 15514 14484 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 912719829 10810236928 104845 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 0 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15528] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15512 15514 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912719829 10810236928 104847 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15529] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15512 15514 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912719829 10810236928 104850 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15531] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15531/stat : 15531 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719831 10810236928 104852 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296749489 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15532] ppid=15512 vsize=10556872 CPUtime=0.67 cores=0,2,4,6
/proc/15514/task/15532/stat : 15532 (java) S 15512 15514 14484 0 -1 4202560 6318 0 0 0 67 0 0 0 15 0 19 0 912719831 10810236928 104853 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15534] ppid=15512 vsize=10556872 CPUtime=0.53 cores=0,2,4,6
/proc/15514/task/15534/stat : 15534 (java) S 15512 15514 14484 0 -1 4202560 8192 0 0 0 52 1 0 0 15 0 19 0 912719831 10810236928 104855 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15535] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15535/stat : 15535 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719831 10810236928 104856 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15537] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15537/stat : 15537 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912719831 10810236928 104859 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15538] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15538/stat : 15538 (java) S 15512 15514 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912719841 10810236928 104862 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 10556872
[startup+3.10151 s]
/proc/loadavg: 2.16 2.06 2.01 3/595 15538
/proc/meminfo: memFree=24115900/32951124 swapFree=34426104/67111528
[pid=15514] ppid=15512 vsize=10556872 CPUtime=4.28 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15512 15514 14484 0 -1 4202496 266759 0 1 0 394 34 0 0 25 0 19 0 912719825 10810236928 257822 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 2639218 257827 2218 9 0 2629952 0
[pid=15514/tid=15515] ppid=15512 vsize=10556872 CPUtime=3.05 cores=0,2,4,6
/proc/15514/task/15515/stat : 15515 (java) R 15512 15514 14484 0 -1 4202560 251097 0 1 0 273 32 0 0 19 0 19 0 912719826 10810236928 257829 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 46912505533609 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 257834 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15519] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 257837 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15520] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 257840 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15522] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 257844 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15523] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 257846 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15524] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 257849 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15525] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 257852 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15526] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 257854 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15527] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) S 15512 15514 14484 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 912719829 10810236928 257856 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 0 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15528] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15512 15514 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912719829 10810236928 257859 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15529] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15512 15514 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912719829 10810236928 257862 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15531] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15531/stat : 15531 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719831 10810236928 257864 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296749489 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15532] ppid=15512 vsize=10556872 CPUtime=0.67 cores=0,2,4,6
/proc/15514/task/15532/stat : 15532 (java) S 15512 15514 14484 0 -1 4202560 6318 0 0 0 67 0 0 0 15 0 19 0 912719831 10810236928 257866 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15534] ppid=15512 vsize=10556872 CPUtime=0.53 cores=0,2,4,6
/proc/15514/task/15534/stat : 15534 (java) S 15512 15514 14484 0 -1 4202560 8192 0 0 0 52 1 0 0 15 0 19 0 912719831 10810236928 257869 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15535] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15535/stat : 15535 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719831 10810236928 257871 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15537] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15537/stat : 15537 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912719831 10810236928 257873 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15538] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15538/stat : 15538 (java) S 15512 15514 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912719841 10810236928 257875 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 10556872
[startup+6.30102 s]
/proc/loadavg: 2.15 2.06 2.01 3/595 15538
/proc/meminfo: memFree=22938148/32951124 swapFree=34426104/67111528
[pid=15514] ppid=15512 vsize=10556872 CPUtime=7.48 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15512 15514 14484 0 -1 4202496 546273 0 1 0 680 68 0 0 25 0 19 0 912719825 10810236928 537335 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 2639218 537340 2219 9 0 2629952 0
[pid=15514/tid=15515] ppid=15512 vsize=10556872 CPUtime=6.25 cores=0,2,4,6
/proc/15514/task/15515/stat : 15515 (java) R 15512 15514 14484 0 -1 4202560 530610 0 1 0 559 66 0 0 25 0 19 0 912719826 10810236928 537342 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 46912505573554 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 537344 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15519] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 537347 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15520] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 537350 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15522] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 537352 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15523] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 537354 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15524] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 537356 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15525] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 537359 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15526] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719828 10810236928 537361 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15527] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) S 15512 15514 14484 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 912719829 10810236928 537363 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 0 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15528] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15512 15514 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912719829 10810236928 537366 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15529] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15512 15514 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912719829 10810236928 537369 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15531] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15531/stat : 15531 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719831 10810236928 537371 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296749489 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15532] ppid=15512 vsize=10556872 CPUtime=0.67 cores=0,2,4,6
/proc/15514/task/15532/stat : 15532 (java) S 15512 15514 14484 0 -1 4202560 6318 0 0 0 67 0 0 0 15 0 19 0 912719831 10810236928 537373 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15534] ppid=15512 vsize=10556872 CPUtime=0.53 cores=0,2,4,6
/proc/15514/task/15534/stat : 15534 (java) S 15512 15514 14484 0 -1 4202560 8192 0 0 0 52 1 0 0 15 0 19 0 912719831 10810236928 537376 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/15514/task/15528/stat : 15528 (java) S 15512 15514 14484 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912719829 10810236928 925598 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15529] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15512 15514 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912719829 10810236928 925598 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15531] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15531/stat : 15531 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719831 10810236928 925598 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296749489 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15532] ppid=15512 vsize=10556872 CPUtime=0.71 cores=0,2,4,6
/proc/15514/task/15532/stat : 15532 (java) S 15512 15514 14484 0 -1 4202560 6329 0 0 0 71 0 0 0 15 0 19 0 912719831 10810236928 925598 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15534] ppid=15512 vsize=10556872 CPUtime=0.77 cores=0,2,4,6
/proc/15514/task/15534/stat : 15534 (java) S 15512 15514 14484 0 -1 4202560 9032 0 0 0 76 1 0 0 15 0 19 0 912719831 10810236928 925598 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15535] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15535/stat : 15535 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719831 10810236928 925598 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15537] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15537/stat : 15537 (java) S 15512 15514 14484 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 912719831 10810236928 925598 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 4 0 16800975 18446604443397974080 0 0 -1 0 0 0 0
[pid=15514/tid=15538] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15538/stat : 15538 (java) S 15512 15514 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912719841 10810236928 925598 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667.87
Current children cumulated vsize (KiB) 10556872
[startup+1722.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/595 15649
/proc/meminfo: memFree=21161832/32951124 swapFree=34426104/67111528
[pid=15514] ppid=15512 vsize=10556872 CPUtime=1728.01 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15512 15514 14484 0 -1 4202496 937555 0 1 0 172681 120 0 0 25 0 19 0 912719825 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 2639218 926629 2256 9 0 2629952 0
[pid=15514/tid=15515] ppid=15512 vsize=10556872 CPUtime=1718.5 cores=0,2,4,6
/proc/15514/task/15515/stat : 15515 (java) R 15512 15514 14484 0 -1 4202560 838179 0 1 0 171744 106 0 0 25 0 19 0 912719826 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 46912505575058 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=10556872 CPUtime=0.87 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15512 15514 14484 0 -1 4202560 9520 0 0 0 87 0 0 0 16 0 19 0 912719828 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15519] ppid=15512 vsize=10556872 CPUtime=0.9 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15512 15514 14484 0 -1 4202560 9774 0 0 0 89 1 0 0 15 0 19 0 912719828 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15520] ppid=15512 vsize=10556872 CPUtime=0.82 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15512 15514 14484 0 -1 4202560 12272 0 0 0 82 0 0 0 15 0 19 0 912719828 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 0 0 0 0
[pid=15514/tid=15522] ppid=15512 vsize=10556872 CPUtime=0.74 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15512 15514 14484 0 -1 4202560 5751 0 0 0 73 1 0 0 16 0 19 0 912719828 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15523] ppid=15512 vsize=10556872 CPUtime=0.89 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15512 15514 14484 0 -1 4202560 9185 0 0 0 89 0 0 0 15 0 19 0 912719828 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15524] ppid=15512 vsize=10556872 CPUtime=0.82 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15512 15514 14484 0 -1 4202560 7546 0 0 0 81 1 0 0 15 0 19 0 912719828 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15525] ppid=15512 vsize=10556872 CPUtime=0.93 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) S 15512 15514 14484 0 -1 4202560 12703 0 0 0 91 2 0 0 15 0 19 0 912719828 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15526] ppid=15512 vsize=10556872 CPUtime=0.71 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) S 15512 15514 14484 0 -1 4202560 6694 0 0 0 71 0 0 0 16 0 19 0 912719828 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 0 0 0 0
[pid=15514/tid=15527] ppid=15512 vsize=10556872 CPUtime=1.24 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) S 15512 15514 14484 0 -1 4202560 9319 0 0 0 122 2 0 0 15 0 19 0 912719829 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 0 0 16800975 18446604443397974080 0 0 -1 2 0 0 0
[pid=15514/tid=15528] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15512 15514 14484 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912719829 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15529] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15512 15514 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912719829 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15531] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15531/stat : 15531 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719831 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296749489 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15532] ppid=15512 vsize=10556872 CPUtime=0.71 cores=0,2,4,6
/proc/15514/task/15532/stat : 15532 (java) S 15512 15514 14484 0 -1 4202560 6329 0 0 0 71 0 0 0 15 0 19 0 912719831 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15534] ppid=15512 vsize=10556872 CPUtime=0.77 cores=0,2,4,6
/proc/15514/task/15534/stat : 15534 (java) S 15512 15514 14484 0 -1 4202560 9032 0 0 0 76 1 0 0 15 0 19 0 912719831 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15535] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15535/stat : 15535 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719831 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15537] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15537/stat : 15537 (java) S 15512 15514 14484 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 912719831 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 4 0 16800975 18446604443397974080 0 0 -1 0 0 0 0
[pid=15514/tid=15538] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15538/stat : 15538 (java) S 15512 15514 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912719841 10810236928 926629 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1728.01
Current children cumulated vsize (KiB) 10556872
[startup+1782.3 s]
/proc/loadavg: 2.21 2.09 2.02 3/595 15651
/proc/meminfo: memFree=21153120/32951124 swapFree=34426104/67111528
[pid=15514] ppid=15512 vsize=10556872 CPUtime=1788.24 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15512 15514 14484 0 -1 4202496 938369 0 1 0 178703 121 0 0 25 0 19 0 912719825 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 2639218 927413 2256 9 0 2629952 0
[pid=15514/tid=15515] ppid=15512 vsize=10556872 CPUtime=1778.38 cores=0,2,4,6
/proc/15514/task/15515/stat : 15515 (java) R 15512 15514 14484 0 -1 4202560 838184 0 1 0 177732 106 0 0 25 0 19 0 912719826 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 46912505753120 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=10556872 CPUtime=0.89 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15512 15514 14484 0 -1 4202560 9597 0 0 0 89 0 0 0 15 0 19 0 912719828 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15519] ppid=15512 vsize=10556872 CPUtime=0.94 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15512 15514 14484 0 -1 4202560 9884 0 0 0 93 1 0 0 16 0 19 0 912719828 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15520] ppid=15512 vsize=10556872 CPUtime=0.87 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15512 15514 14484 0 -1 4202560 12361 0 0 0 87 0 0 0 16 0 19 0 912719828 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 0 0 0 0
[pid=15514/tid=15522] ppid=15512 vsize=10556872 CPUtime=0.8 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15512 15514 14484 0 -1 4202560 5889 0 0 0 79 1 0 0 15 0 19 0 912719828 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 0 0 0 0
[pid=15514/tid=15523] ppid=15512 vsize=10556872 CPUtime=0.92 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15512 15514 14484 0 -1 4202560 9219 0 0 0 92 0 0 0 16 0 19 0 912719828 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15524] ppid=15512 vsize=10556872 CPUtime=0.89 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15512 15514 14484 0 -1 4202560 7635 0 0 0 88 1 0 0 15 0 19 0 912719828 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15525] ppid=15512 vsize=10556872 CPUtime=1 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) S 15512 15514 14484 0 -1 4202560 12969 0 0 0 98 2 0 0 15 0 19 0 912719828 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15526] ppid=15512 vsize=10556872 CPUtime=0.71 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) S 15512 15514 14484 0 -1 4202560 6694 0 0 0 71 0 0 0 15 0 19 0 912719828 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 0 0 0 0
[pid=15514/tid=15527] ppid=15512 vsize=10556872 CPUtime=1.24 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) S 15512 15514 14484 0 -1 4202560 9323 0 0 0 122 2 0 0 15 0 19 0 912719829 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 0 0 16800975 18446604443397974080 0 0 -1 2 0 0 0
[pid=15514/tid=15528] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15512 15514 14484 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912719829 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15529] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15512 15514 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912719829 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15531] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15531/stat : 15531 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719831 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296749489 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15532] ppid=15512 vsize=10556872 CPUtime=0.71 cores=0,2,4,6
/proc/15514/task/15532/stat : 15532 (java) S 15512 15514 14484 0 -1 4202560 6329 0 0 0 71 0 0 0 15 0 19 0 912719831 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15534] ppid=15512 vsize=10556872 CPUtime=0.77 cores=0,2,4,6
/proc/15514/task/15534/stat : 15534 (java) S 15512 15514 14484 0 -1 4202560 9032 0 0 0 76 1 0 0 15 0 19 0 912719831 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15535] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15535/stat : 15535 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719831 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15537] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15537/stat : 15537 (java) S 15512 15514 14484 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912719831 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 4 0 16800975 18446604443397974080 0 0 -1 0 0 0 0
[pid=15514/tid=15538] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15538/stat : 15538 (java) S 15512 15514 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912719841 10810236928 927413 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1788.24
Current children cumulated vsize (KiB) 10556872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.1 s]
/proc/loadavg: 2.18 2.09 2.02 4/595 15651
/proc/meminfo: memFree=21151128/32951124 swapFree=34426104/67111528
[pid=15514] ppid=15512 vsize=10556872 CPUtime=1800.11 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15512 15514 14484 0 -1 4202496 938538 0 1 0 179890 121 0 0 25 0 19 0 912719825 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 2639218 927579 2256 9 0 2629952 0
[pid=15514/tid=15515] ppid=15512 vsize=10556872 CPUtime=1790.19 cores=0,2,4,6
/proc/15514/task/15515/stat : 15515 (java) R 15512 15514 14484 0 -1 4202560 838185 0 1 0 178913 106 0 0 25 0 19 0 912719826 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 46912505552523 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=10556872 CPUtime=0.89 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15512 15514 14484 0 -1 4202560 9597 0 0 0 89 0 0 0 15 0 19 0 912719828 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15519] ppid=15512 vsize=10556872 CPUtime=0.95 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15512 15514 14484 0 -1 4202560 9884 0 0 0 94 1 0 0 15 0 19 0 912719828 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15520] ppid=15512 vsize=10556872 CPUtime=0.89 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15512 15514 14484 0 -1 4202560 12397 0 0 0 89 0 0 0 16 0 19 0 912719828 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15522] ppid=15512 vsize=10556872 CPUtime=0.8 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15512 15514 14484 0 -1 4202560 5889 0 0 0 79 1 0 0 15 0 19 0 912719828 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 0 0 0 0
[pid=15514/tid=15523] ppid=15512 vsize=10556872 CPUtime=0.92 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15512 15514 14484 0 -1 4202560 9219 0 0 0 92 0 0 0 16 0 19 0 912719828 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15524] ppid=15512 vsize=10556872 CPUtime=0.91 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15512 15514 14484 0 -1 4202560 7719 0 0 0 90 1 0 0 16 0 19 0 912719828 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15525] ppid=15512 vsize=10556872 CPUtime=1 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) S 15512 15514 14484 0 -1 4202560 12969 0 0 0 98 2 0 0 15 0 19 0 912719828 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15526] ppid=15512 vsize=10556872 CPUtime=0.73 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) S 15512 15514 14484 0 -1 4202560 6740 0 0 0 73 0 0 0 16 0 19 0 912719828 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 0 0 0 0
[pid=15514/tid=15527] ppid=15512 vsize=10556872 CPUtime=1.24 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) S 15512 15514 14484 0 -1 4202560 9323 0 0 0 122 2 0 0 15 0 19 0 912719829 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 0 0 16800975 18446604443397974080 0 0 -1 2 0 0 0
[pid=15514/tid=15528] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15512 15514 14484 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912719829 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15529] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15512 15514 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912719829 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15531] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15531/stat : 15531 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719831 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296749489 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15532] ppid=15512 vsize=10556872 CPUtime=0.71 cores=0,2,4,6
/proc/15514/task/15532/stat : 15532 (java) S 15512 15514 14484 0 -1 4202560 6329 0 0 0 71 0 0 0 15 0 19 0 912719831 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15534] ppid=15512 vsize=10556872 CPUtime=0.77 cores=0,2,4,6
/proc/15514/task/15534/stat : 15534 (java) S 15512 15514 14484 0 -1 4202560 9032 0 0 0 76 1 0 0 15 0 19 0 912719831 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 4 0 0 0
[pid=15514/tid=15535] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15535/stat : 15535 (java) S 15512 15514 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912719831 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296741785 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
[pid=15514/tid=15537] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15537/stat : 15537 (java) S 15512 15514 14484 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 912719831 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 4 0 16800975 18446604443397974080 0 0 -1 0 0 0 0
[pid=15514/tid=15538] ppid=15512 vsize=10556872 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15538/stat : 15538 (java) S 15512 15514 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912719841 10810236928 927579 33554432000 1073741824 1073778376 140735522153440 18446744073709551615 224296742400 0 4 0 16800975 18446604443397974080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10556872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.3 s]
/proc/loadavg: 2.18 2.09 2.02 4/595 15651
/proc/meminfo: memFree=21151128/32951124 swapFree=34426104/67111528
[pid=15514] ppid=15512 vsize=0 CPUtime=1800.32 cores=0,2,4,6
/proc/15514/stat : 15514 (java) Z 15512 15514 14484 0 -1 4203548 938582 0 1 0 179899 133 0 0 17 0 2 0 912719825 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.33
CPU time (s): 1800.35
CPU user time (s): 1798.99
CPU system time (s): 1.36279
CPU usage (%): 100.336
Max. virtual memory (cumulated for all children) (KiB): 10561560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.36279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 938582
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40681
involuntary context switches= 23213
runsolver used 11.1583 second user time and 23.1435 second system time
The end