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-3456774-1307644040/watcher-3456774-1307644040 -o /tmp/evaluation-result-3456774-1307644040/solver-3456774-1307644040 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456774-1307644040.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: 1.92 1.98 1.99 2/195 31642
/proc/meminfo: memFree=28593036/32950928 swapFree=67051096/67111528
[pid=31642] ppid=31640 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/31642/stat : 31642 (java) R 31640 31642 30485 0 -1 4202496 419 0 0 0 0 0 0 0 18 0 1 0 954634700 9318400 166 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251367544832 0 2147483391 4096 0 0 0 0 17 3 0 0 0
/proc/31642/statm: 2275 166 125 9 0 67 0
[startup+0.018101 s]
/proc/loadavg: 1.92 1.98 1.99 2/195 31642
/proc/meminfo: memFree=28593036/32950928 swapFree=67051096/67111528
[pid=31642] ppid=31640 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31642/stat : 31642 (java) S 31640 31642 30485 0 -1 4202496 5303 0 1 0 0 0 0 0 18 0 2 0 954634700 10694979584 5006 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31642/statm: 2611079 5030 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.101051 s]
/proc/loadavg: 1.92 1.98 1.99 2/195 31642
/proc/meminfo: memFree=28593036/32950928 swapFree=67051096/67111528
[pid=31642] ppid=31640 vsize=10539680 CPUtime=0.1 cores=1,3,5,7
/proc/31642/stat : 31642 (java) S 31640 31642 30485 0 -1 4202496 12991 0 1 0 8 2 0 0 18 0 18 0 954634700 10792632320 12688 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31642/statm: 2634920 12688 2092 9 0 2625654 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539680
[startup+0.301016 s]
/proc/loadavg: 1.92 1.98 1.99 2/195 31642
/proc/meminfo: memFree=28593036/32950928 swapFree=67051096/67111528
[pid=31642] ppid=31640 vsize=10540364 CPUtime=0.46 cores=1,3,5,7
/proc/31642/stat : 31642 (java) S 31640 31642 30485 0 -1 4202496 21113 0 1 0 43 3 0 0 18 0 18 0 954634700 10793332736 20333 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31642/statm: 2635091 20333 2200 9 0 2625825 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540364
[startup+0.700941 s]
/proc/loadavg: 1.92 1.98 1.99 2/195 31642
/proc/meminfo: memFree=28593036/32950928 swapFree=67051096/67111528
[pid=31642] ppid=31640 vsize=10540580 CPUtime=1.02 cores=1,3,5,7
/proc/31642/stat : 31642 (java) S 31640 31642 30485 0 -1 4202496 49329 0 1 0 96 6 0 0 18 0 18 0 954634700 10793553920 48506 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31642/statm: 2635145 48506 2205 9 0 2625879 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10540580
[startup+1.50087 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 31661
/proc/meminfo: memFree=28301084/32950928 swapFree=67051096/67111528
[pid=31642] ppid=31640 vsize=10540580 CPUtime=1.82 cores=1,3,5,7
/proc/31642/stat : 31642 (java) S 31640 31642 30485 0 -1 4202496 114678 0 1 0 168 14 0 0 18 0 18 0 954634700 10793553920 113855 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31642/statm: 2635145 113859 2205 9 0 2625879 0
[pid=31642/tid=31644] ppid=31640 vsize=10540580 CPUtime=1.47 cores=1,3,5,7
/proc/31642/task/31644/stat : 31644 (java) R 31640 31642 30485 0 -1 4202560 111070 0 1 0 134 13 0 0 25 0 18 0 954634700 10793553920 113860 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 46912505573406 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31642/tid=31645] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31645/stat : 31645 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 954634702 10793553920 113862 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31646] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31646/stat : 31646 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954634702 10793553920 113864 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31647] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31647/stat : 31647 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954634702 10793553920 113867 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31648] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31648/stat : 31648 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954634702 10793553920 113868 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31649] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31649/stat : 31649 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954634702 10793553920 113871 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31650] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31650/stat : 31650 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954634702 10793553920 113873 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31651] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31651/stat : 31651 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954634702 10793553920 113875 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31652] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31652/stat : 31652 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954634702 10793553920 113877 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31653] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31653/stat : 31653 (java) S 31640 31642 30485 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 954634703 10793553920 113879 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 0 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31654] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31654/stat : 31654 (java) S 31640 31642 30485 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 18 0 954634703 10793553920 113881 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31655] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31655/stat : 31655 (java) S 31640 31642 30485 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 18 0 954634704 10793553920 113883 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31656] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31656/stat : 31656 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954634706 10793553920 113885 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379370417 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31657] ppid=31640 vsize=10540580 CPUtime=0.17 cores=1,3,5,7
/proc/31642/task/31657/stat : 31657 (java) S 31640 31642 30485 0 -1 4202560 1181 0 0 0 17 0 0 0 15 0 18 0 954634706 10793553920 113887 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31658] ppid=31640 vsize=10540580 CPUtime=0.16 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (java) S 31640 31642 30485 0 -1 4202560 1281 0 0 0 16 0 0 0 15 0 18 0 954634706 10793553920 113889 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31659] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954634706 10793553920 113891 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31660] ppid=31640 vsize=10540580 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 954634706 10793553920 113893 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 10540580
[startup+3.10156 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 31662
/proc/meminfo: memFree=28056976/32950928 swapFree=67051096/67111528
[pid=31642] ppid=31640 vsize=10542048 CPUtime=3.85 cores=1,3,5,7
/proc/31642/stat : 31642 (java) S 31640 31642 30485 0 -1 4202496 191829 0 1 0 362 23 0 0 18 0 19 0 954634700 10795057152 189912 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31642/statm: 2635512 189913 2226 9 0 2626246 0
[pid=31642/tid=31644] ppid=31640 vsize=10542048 CPUtime=3.07 cores=1,3,5,7
/proc/31642/task/31644/stat : 31644 (java) R 31640 31642 30485 0 -1 4202560 186257 0 1 0 286 21 0 0 18 0 19 0 954634700 10795057152 189919 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 46912505846680 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31642/tid=31645] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31645/stat : 31645 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954634702 10795057152 189924 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31646] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31646/stat : 31646 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10795057152 189931 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31647] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31647/stat : 31647 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10795057152 189931 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31648] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31648/stat : 31648 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10795057152 189933 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31649] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31649/stat : 31649 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10795057152 189939 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31650] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31650/stat : 31650 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10795057152 189945 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31651] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31651/stat : 31651 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10795057152 189950 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31652] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31652/stat : 31652 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10795057152 189950 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31653] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31653/stat : 31653 (java) S 31640 31642 30485 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 954634703 10795057152 189953 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 0 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31654] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31654/stat : 31654 (java) S 31640 31642 30485 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 954634703 10795057152 189958 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31655] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31655/stat : 31655 (java) S 31640 31642 30485 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 954634704 10795057152 189965 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31656] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31656/stat : 31656 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634706 10795057152 189969 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379370417 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31657] ppid=31640 vsize=10542048 CPUtime=0.43 cores=1,3,5,7
/proc/31642/task/31657/stat : 31657 (java) R 31640 31642 30485 0 -1 4202560 2779 0 0 0 43 0 0 0 16 0 19 0 954634706 10795057152 189969 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 47290914977155 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31642/tid=31658] ppid=31640 vsize=10542048 CPUtime=0.32 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (java) S 31640 31642 30485 0 -1 4202560 1641 0 0 0 32 0 0 0 15 0 19 0 954634706 10795057152 189973 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31659] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954634706 10795057152 189979 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31660] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954634706 10795057152 189985 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31662] ppid=31640 vsize=10542048 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (java) S 31640 31642 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954634889 10795057152 189988 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 4 0 16800975 18446604471152861440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 10542048
[startup+6.30099 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 31662
/proc/meminfo: memFree=27641328/32950928 swapFree=67051096/67111528
[pid=31642] ppid=31640 vsize=10541956 CPUtime=7.15 cores=1,3,5,7
/proc/31642/stat : 31642 (java) S 31640 31642 30485 0 -1 4202496 253001 0 1 0 686 29 0 0 18 0 19 0 954634700 10794962944 250916 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31642/statm: 2635489 250917 2228 9 0 2626223 0
[pid=31642/tid=31644] ppid=31640 vsize=10541956 CPUtime=6.27 cores=1,3,5,7
/proc/31642/task/31644/stat : 31644 (java) R 31640 31642 30485 0 -1 4202560 247236 0 1 0 600 27 0 0 21 0 19 0 954634700 10794962944 250918 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 46912505686518 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31642/tid=31645] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31645/stat : 31645 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954634702 10794962944 250918 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31646] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31646/stat : 31646 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10794962944 250919 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31647] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31647/stat : 31647 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10794962944 250919 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31648] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31648/stat : 31648 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10794962944 250920 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31649] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31649/stat : 31649 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10794962944 250920 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31650] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31650/stat : 31650 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10794962944 250921 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31651] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31651/stat : 31651 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10794962944 250921 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31652] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31652/stat : 31652 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634702 10794962944 250922 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31653] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31653/stat : 31653 (java) S 31640 31642 30485 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954634703 10794962944 250922 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 0 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31654] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31654/stat : 31654 (java) S 31640 31642 30485 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 954634703 10794962944 250922 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31655] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31655/stat : 31655 (java) S 31640 31642 30485 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 954634704 10794962944 250923 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31656] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31656/stat : 31656 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634706 10794962944 250923 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379370417 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31657] ppid=31640 vsize=10541956 CPUtime=0.47 cores=1,3,5,7
/proc/31642/task/31657/stat : 31657 (java) S 31640 31642 30485 0 -1 4202560 2800 0 0 0 47 0 0 0 15 0 19 0 954634706 10794962944 250924 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31658] ppid=31640 vsize=10541956 CPUtime=0.38 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (java) S 31640 31642 30485 0 -1 4202560 1805 0 0 0 38 0 0 0 15 0 19 0 954634706 10794962944 250924 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31659] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954634706 10794962944 250925 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31660] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (java) S 31640 31642 30485 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 954634706 10794962944 250925 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31662] ppid=31640 vsize=10541956 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (java) S 31640 31642 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954634889 10794962944 250926 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 4 0 16800975 18446604471152861440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 10541956
[startup+12.7008 s]
/proc/loadavg: 1.93 1.98 1.99 4/214 31662
/proc/meminfo: memFree=26260364/32950928 swapFree=67051096/67111528
################
# More data... #
################
/proc/31642/task/31654/stat : 31654 (java) S 31640 31642 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954634703 10800717824 969110 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31655] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31655/stat : 31655 (java) S 31640 31642 30485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954634704 10800717824 969110 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31656] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31656/stat : 31656 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634706 10800717824 969110 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379370417 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31657] ppid=31640 vsize=10547576 CPUtime=0.65 cores=1,3,5,7
/proc/31642/task/31657/stat : 31657 (java) S 31640 31642 30485 0 -1 4202560 2833 0 0 0 65 0 0 0 15 0 19 0 954634706 10800717824 969110 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31658] ppid=31640 vsize=10547576 CPUtime=0.58 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (java) S 31640 31642 30485 0 -1 4202560 4212 0 0 0 58 0 0 0 15 0 19 0 954634706 10800717824 969110 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31659] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954634706 10800717824 969110 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31660] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (java) S 31640 31642 30485 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 954634706 10800717824 969110 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31662] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (java) S 31640 31642 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954634889 10800717824 969110 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 4 0 16800975 18446604471152861440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.89
Current children cumulated vsize (KiB) 10547576
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 31769
/proc/meminfo: memFree=24421768/32950928 swapFree=67051096/67111528
[pid=31642] ppid=31640 vsize=10547576 CPUtime=1728 cores=1,3,5,7
/proc/31642/stat : 31642 (java) S 31640 31642 30485 0 -1 4202496 976834 0 1 0 172691 109 0 0 18 0 19 0 954634700 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31642/statm: 2636894 971445 2241 9 0 2627628 0
[pid=31642/tid=31644] ppid=31640 vsize=10547576 CPUtime=1720.59 cores=1,3,5,7
/proc/31642/task/31644/stat : 31644 (java) R 31640 31642 30485 0 -1 4202560 758977 0 1 0 171984 75 0 0 25 0 19 0 954634700 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 46912505905150 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31642/tid=31645] ppid=31640 vsize=10547576 CPUtime=0.77 cores=1,3,5,7
/proc/31642/task/31645/stat : 31645 (java) S 31640 31642 30485 0 -1 4202560 31335 0 0 0 74 3 0 0 16 0 19 0 954634702 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31646] ppid=31640 vsize=10547576 CPUtime=0.7 cores=1,3,5,7
/proc/31642/task/31646/stat : 31646 (java) S 31640 31642 30485 0 -1 4202560 24156 0 0 0 67 3 0 0 16 0 19 0 954634702 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 7 0 0 0
[pid=31642/tid=31647] ppid=31640 vsize=10547576 CPUtime=0.69 cores=1,3,5,7
/proc/31642/task/31647/stat : 31647 (java) S 31640 31642 30485 0 -1 4202560 22249 0 0 0 66 3 0 0 16 0 19 0 954634702 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31648] ppid=31640 vsize=10547576 CPUtime=0.68 cores=1,3,5,7
/proc/31642/task/31648/stat : 31648 (java) S 31640 31642 30485 0 -1 4202560 27307 0 0 0 65 3 0 0 15 0 19 0 954634702 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31649] ppid=31640 vsize=10547576 CPUtime=0.87 cores=1,3,5,7
/proc/31642/task/31649/stat : 31649 (java) S 31640 31642 30485 0 -1 4202560 32516 0 0 0 83 4 0 0 15 0 19 0 954634702 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31650] ppid=31640 vsize=10547576 CPUtime=0.64 cores=1,3,5,7
/proc/31642/task/31650/stat : 31650 (java) S 31640 31642 30485 0 -1 4202560 21954 0 0 0 61 3 0 0 15 0 19 0 954634702 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31651] ppid=31640 vsize=10547576 CPUtime=0.8 cores=1,3,5,7
/proc/31642/task/31651/stat : 31651 (java) S 31640 31642 30485 0 -1 4202560 23669 0 0 0 77 3 0 0 15 0 19 0 954634702 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31652] ppid=31640 vsize=10547576 CPUtime=0.86 cores=1,3,5,7
/proc/31642/task/31652/stat : 31652 (java) S 31640 31642 30485 0 -1 4202560 26279 0 0 0 82 4 0 0 16 0 19 0 954634702 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31653] ppid=31640 vsize=10547576 CPUtime=0.03 cores=1,3,5,7
/proc/31642/task/31653/stat : 31653 (java) S 31640 31642 30485 0 -1 4202560 97 0 0 0 2 1 0 0 15 0 19 0 954634703 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 0 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31654] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31654/stat : 31654 (java) S 31640 31642 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954634703 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31655] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31655/stat : 31655 (java) S 31640 31642 30485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954634704 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31656] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31656/stat : 31656 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634706 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379370417 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31657] ppid=31640 vsize=10547576 CPUtime=0.65 cores=1,3,5,7
/proc/31642/task/31657/stat : 31657 (java) S 31640 31642 30485 0 -1 4202560 2833 0 0 0 65 0 0 0 15 0 19 0 954634706 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31658] ppid=31640 vsize=10547576 CPUtime=0.58 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (java) S 31640 31642 30485 0 -1 4202560 4212 0 0 0 58 0 0 0 15 0 19 0 954634706 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31659] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954634706 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31660] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (java) S 31640 31642 30485 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 954634706 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31662] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (java) S 31640 31642 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954634889 10800717824 971445 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 4 0 16800975 18446604471152861440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728
Current children cumulated vsize (KiB) 10547576
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 31771
/proc/meminfo: memFree=24393580/32950928 swapFree=67051096/67111528
[pid=31642] ppid=31640 vsize=10547576 CPUtime=1788.1 cores=1,3,5,7
/proc/31642/stat : 31642 (java) S 31640 31642 30485 0 -1 4202496 979717 0 1 0 178701 109 0 0 18 0 19 0 954634700 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31642/statm: 2636894 974302 2241 9 0 2627628 0
[pid=31642/tid=31644] ppid=31640 vsize=10547576 CPUtime=1780.54 cores=1,3,5,7
/proc/31642/task/31644/stat : 31644 (java) R 31640 31642 30485 0 -1 4202560 758984 0 1 0 177979 75 0 0 25 0 19 0 954634700 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 46912505915239 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31642/tid=31645] ppid=31640 vsize=10547576 CPUtime=0.79 cores=1,3,5,7
/proc/31642/task/31645/stat : 31645 (java) S 31640 31642 30485 0 -1 4202560 31350 0 0 0 76 3 0 0 15 0 19 0 954634702 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31646] ppid=31640 vsize=10547576 CPUtime=0.71 cores=1,3,5,7
/proc/31642/task/31646/stat : 31646 (java) S 31640 31642 30485 0 -1 4202560 24178 0 0 0 68 3 0 0 15 0 19 0 954634702 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 7 0 0 0
[pid=31642/tid=31647] ppid=31640 vsize=10547576 CPUtime=0.72 cores=1,3,5,7
/proc/31642/task/31647/stat : 31647 (java) S 31640 31642 30485 0 -1 4202560 23776 0 0 0 69 3 0 0 16 0 19 0 954634702 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31648] ppid=31640 vsize=10547576 CPUtime=0.7 cores=1,3,5,7
/proc/31642/task/31648/stat : 31648 (java) S 31640 31642 30485 0 -1 4202560 27663 0 0 0 67 3 0 0 16 0 19 0 954634702 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 7 0 0 0
[pid=31642/tid=31649] ppid=31640 vsize=10547576 CPUtime=0.9 cores=1,3,5,7
/proc/31642/task/31649/stat : 31649 (java) S 31640 31642 30485 0 -1 4202560 33085 0 0 0 86 4 0 0 16 0 19 0 954634702 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31650] ppid=31640 vsize=10547576 CPUtime=0.65 cores=1,3,5,7
/proc/31642/task/31650/stat : 31650 (java) S 31640 31642 30485 0 -1 4202560 21958 0 0 0 62 3 0 0 15 0 19 0 954634702 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31651] ppid=31640 vsize=10547576 CPUtime=0.82 cores=1,3,5,7
/proc/31642/task/31651/stat : 31651 (java) S 31640 31642 30485 0 -1 4202560 23691 0 0 0 79 3 0 0 16 0 19 0 954634702 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31652] ppid=31640 vsize=10547576 CPUtime=0.88 cores=1,3,5,7
/proc/31642/task/31652/stat : 31652 (java) S 31640 31642 30485 0 -1 4202560 26632 0 0 0 84 4 0 0 16 0 19 0 954634702 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31653] ppid=31640 vsize=10547576 CPUtime=0.03 cores=1,3,5,7
/proc/31642/task/31653/stat : 31653 (java) S 31640 31642 30485 0 -1 4202560 101 0 0 0 2 1 0 0 15 0 19 0 954634703 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 0 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31654] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31654/stat : 31654 (java) S 31640 31642 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954634703 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31655] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31655/stat : 31655 (java) S 31640 31642 30485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954634704 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31656] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31656/stat : 31656 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634706 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379370417 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31657] ppid=31640 vsize=10547576 CPUtime=0.65 cores=1,3,5,7
/proc/31642/task/31657/stat : 31657 (java) S 31640 31642 30485 0 -1 4202560 2833 0 0 0 65 0 0 0 15 0 19 0 954634706 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31658] ppid=31640 vsize=10547576 CPUtime=0.58 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (java) S 31640 31642 30485 0 -1 4202560 4212 0 0 0 58 0 0 0 15 0 19 0 954634706 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31659] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954634706 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31660] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (java) S 31640 31642 30485 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954634706 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31662] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (java) S 31640 31642 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954634889 10800717824 974302 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 4 0 16800975 18446604471152861440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.1
Current children cumulated vsize (KiB) 10547576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 31771
/proc/meminfo: memFree=24393324/32950928 swapFree=67051096/67111528
[pid=31642] ppid=31640 vsize=10547576 CPUtime=1800.04 cores=1,3,5,7
/proc/31642/stat : 31642 (java) S 31640 31642 30485 0 -1 4202496 979720 0 1 0 179895 109 0 0 18 0 19 0 954634700 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31642/statm: 2636894 974303 2241 9 0 2627628 0
[pid=31642/tid=31644] ppid=31640 vsize=10547576 CPUtime=1792.44 cores=1,3,5,7
/proc/31642/task/31644/stat : 31644 (java) R 31640 31642 30485 0 -1 4202560 758986 0 1 0 179169 75 0 0 25 0 19 0 954634700 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 46912505915762 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31642/tid=31645] ppid=31640 vsize=10547576 CPUtime=0.79 cores=1,3,5,7
/proc/31642/task/31645/stat : 31645 (java) S 31640 31642 30485 0 -1 4202560 31351 0 0 0 76 3 0 0 15 0 19 0 954634702 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 7 0 0 0
[pid=31642/tid=31646] ppid=31640 vsize=10547576 CPUtime=0.72 cores=1,3,5,7
/proc/31642/task/31646/stat : 31646 (java) S 31640 31642 30485 0 -1 4202560 24178 0 0 0 69 3 0 0 16 0 19 0 954634702 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31647] ppid=31640 vsize=10547576 CPUtime=0.72 cores=1,3,5,7
/proc/31642/task/31647/stat : 31647 (java) S 31640 31642 30485 0 -1 4202560 23776 0 0 0 69 3 0 0 15 0 19 0 954634702 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31648] ppid=31640 vsize=10547576 CPUtime=0.7 cores=1,3,5,7
/proc/31642/task/31648/stat : 31648 (java) S 31640 31642 30485 0 -1 4202560 27663 0 0 0 67 3 0 0 16 0 19 0 954634702 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 7 0 0 0
[pid=31642/tid=31649] ppid=31640 vsize=10547576 CPUtime=0.9 cores=1,3,5,7
/proc/31642/task/31649/stat : 31649 (java) S 31640 31642 30485 0 -1 4202560 33085 0 0 0 86 4 0 0 15 0 19 0 954634702 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31650] ppid=31640 vsize=10547576 CPUtime=0.66 cores=1,3,5,7
/proc/31642/task/31650/stat : 31650 (java) S 31640 31642 30485 0 -1 4202560 21958 0 0 0 63 3 0 0 15 0 19 0 954634702 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31651] ppid=31640 vsize=10547576 CPUtime=0.83 cores=1,3,5,7
/proc/31642/task/31651/stat : 31651 (java) S 31640 31642 30485 0 -1 4202560 23691 0 0 0 80 3 0 0 16 0 19 0 954634702 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31652] ppid=31640 vsize=10547576 CPUtime=0.89 cores=1,3,5,7
/proc/31642/task/31652/stat : 31652 (java) S 31640 31642 30485 0 -1 4202560 26632 0 0 0 85 4 0 0 16 0 19 0 954634702 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31653] ppid=31640 vsize=10547576 CPUtime=0.03 cores=1,3,5,7
/proc/31642/task/31653/stat : 31653 (java) S 31640 31642 30485 0 -1 4202560 101 0 0 0 2 1 0 0 15 0 19 0 954634703 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 0 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31654] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31654/stat : 31654 (java) S 31640 31642 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954634703 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31655] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31655/stat : 31655 (java) S 31640 31642 30485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954634704 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 5 0 0 0
[pid=31642/tid=31656] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31656/stat : 31656 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954634706 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379370417 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31657] ppid=31640 vsize=10547576 CPUtime=0.65 cores=1,3,5,7
/proc/31642/task/31657/stat : 31657 (java) S 31640 31642 30485 0 -1 4202560 2833 0 0 0 65 0 0 0 15 0 19 0 954634706 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 1 0 0 0
[pid=31642/tid=31658] ppid=31640 vsize=10547576 CPUtime=0.58 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (java) S 31640 31642 30485 0 -1 4202560 4212 0 0 0 58 0 0 0 15 0 19 0 954634706 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31659] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (java) S 31640 31642 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954634706 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379362713 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31660] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (java) S 31640 31642 30485 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954634706 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 4 0 16800975 18446604471152861440 0 0 -1 3 0 0 0
[pid=31642/tid=31662] ppid=31640 vsize=10547576 CPUtime=0 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (java) S 31640 31642 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954634889 10800717824 974303 33554432000 1073741824 1073778376 140735193440080 18446744073709551615 251379363328 0 4 0 16800975 18446604471152861440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10547576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 31771
/proc/meminfo: memFree=24393324/32950928 swapFree=67051096/67111528
[pid=31642] ppid=31640 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/31642/stat : 31642 (java) Z 31640 31642 30485 0 -1 4203548 979749 0 1 0 179896 119 0 0 17 0 2 0 954634700 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31642/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.36
CPU time (s): 1800.19
CPU user time (s): 1798.96
CPU system time (s): 1.23281
CPU usage (%): 100.325
Max. virtual memory (cumulated for all children) (KiB): 10548468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.23281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 979749
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= 40884
involuntary context switches= 25740
runsolver used 2.96055 second user time and 6.83896 second system time
The end