runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4117640-1467214521/watcher-4117640-1467214521 -o /tmp/evaluation-result-4117640-1467214521/solver-4117640-1467214521 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467209106-4305 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4117640-1467214521.opb
pid=4964
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.09 2.03 2.01 2/194 4967
/proc/meminfo: memFree=30512648/32872528 swapFree=242912/249044
[pid=4967] ppid=4964 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/4967/stat : 4967 (java) S 4964 4967 4289 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 2558380 98570240 976 33554432000 1073741824 1073778376 140735144554848 140735144545984 247067607101 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4967/statm: 24065 976 743 9 0 16771 0
[pid=4967/tid=4968] ppid=4964 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4968/stat : 4968 (java) R 4964 4967 4289 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 2558380 98570240 976 33554432000 1073741824 1073778376 140735144554848 140731861175848 247064249728 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100116 s]
/proc/loadavg: 2.09 2.03 2.01 2/194 4967
/proc/meminfo: memFree=30512648/32872528 swapFree=242912/249044
[pid=4967] ppid=4964 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/4967/stat : 4967 (java) S 4964 4967 4289 0 -1 4202496 4482 0 1 0 10 1 0 0 20 0 18 0 2558380 9787879424 5609 33554432000 1073741824 1073778376 140735144554848 140735144545984 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4967/statm: 2389619 5609 2140 9 0 2380296 0
[pid=4967/tid=4968] ppid=4964 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/4967/task/4968/stat : 4968 (java) R 4964 4967 4289 0 -1 4202560 2440 0 1 0 7 0 0 0 20 0 18 0 2558380 9787879424 5609 33554432000 1073741824 1073778376 140735144554848 140731861179296 140731783008478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200325 s]
/proc/loadavg: 2.09 2.03 2.01 2/194 4967
/proc/meminfo: memFree=30512648/32872528 swapFree=242912/249044
[pid=4967] ppid=4964 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/4967/stat : 4967 (java) S 4964 4967 4289 0 -1 4202496 5688 0 1 0 26 1 0 0 20 0 19 0 2558380 9856040960 7505 33554432000 1073741824 1073778376 140735144554848 140735144545984 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4967/statm: 2406260 7505 2228 9 0 2396937 0
[pid=4967/tid=4968] ppid=4964 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/4967/task/4968/stat : 4968 (java) R 4964 4967 4289 0 -1 4202560 2471 0 1 0 17 0 0 0 20 0 19 0 2558380 9856040960 7505 33554432000 1073741824 1073778376 140735144554848 140731861181056 140731732724309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9625040
[startup+0.300322 s]
/proc/loadavg: 2.09 2.03 2.01 2/194 4967
/proc/meminfo: memFree=30512648/32872528 swapFree=242912/249044
[pid=4967] ppid=4964 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/4967/stat : 4967 (java) S 4964 4967 4289 0 -1 4202496 7332 0 1 0 54 1 0 0 20 0 19 0 2558380 9856040960 8364 33554432000 1073741824 1073778376 140735144554848 140735144545984 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4967/statm: 2406260 8364 2244 9 0 2396937 0
[pid=4967/tid=4968] ppid=4964 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/4967/task/4968/stat : 4968 (java) R 4964 4967 4289 0 -1 4202560 2473 0 1 0 27 0 0 0 20 0 19 0 2558380 9856040960 8364 33554432000 1073741824 1073778376 140735144554848 140731861180424 140731864466327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9625040
[startup+0.700265 s]
/proc/loadavg: 2.09 2.03 2.01 2/194 4967
/proc/meminfo: memFree=30512648/32872528 swapFree=242912/249044
[pid=4967] ppid=4964 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/4967/stat : 4967 (java) S 4964 4967 4289 0 -1 4202496 16067 0 1 0 120 3 0 0 20 0 19 0 2558380 9856040960 13836 33554432000 1073741824 1073778376 140735144554848 140735144545984 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4967/statm: 2406260 13836 2255 9 0 2396937 0
[pid=4967/tid=4968] ppid=4964 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/4967/task/4968/stat : 4968 (java) R 4964 4967 4289 0 -1 4202560 2474 0 1 0 67 0 0 0 20 0 19 0 2558380 9856040960 13836 33554432000 1073741824 1073778376 140735144554848 140731861180424 140731733209541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9625040
[startup+1.50075 s]
/proc/loadavg: 2.09 2.03 2.01 3/213 4986
/proc/meminfo: memFree=30461344/32872528 swapFree=242912/249044
[pid=4967] ppid=4964 vsize=9625040 CPUtime=2.14 cores=0,2,4,6
/proc/4967/stat : 4967 (java) S 4964 4967 4289 0 -1 4202496 16215 0 1 0 211 3 0 0 20 0 19 0 2558380 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140735144545984 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4967/statm: 2406260 15005 2257 9 0 2396937 0
[pid=4967/tid=4968] ppid=4964 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/4967/task/4968/stat : 4968 (java) R 4964 4967 4289 0 -1 4202560 2478 0 1 0 148 0 0 0 20 0 19 0 2558380 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731861180952 140731733210068 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4970] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4970/stat : 4970 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731705063592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4971] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4971/stat : 4971 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731704011048 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4972] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4972/stat : 4972 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731702958504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4967/tid=4973] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4973/stat : 4973 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731701905960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4974] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4974/stat : 4974 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731700853416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4975] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4975/stat : 4975 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731699800872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4976] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4976/stat : 4976 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731698748328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4977] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4977/stat : 4977 (java) S 4964 4967 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731697695784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4978] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4978/stat : 4978 (java) S 4964 4967 4289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731685283944 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4979] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4979/stat : 4979 (java) S 4964 4967 4289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731684230264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4980] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4980/stat : 4980 (java) S 4964 4967 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731683177608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4981] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4981/stat : 4981 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731682126352 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4982] ppid=4964 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/4967/task/4982/stat : 4982 (java) S 4964 4967 4289 0 -1 4202560 8237 0 0 0 33 2 0 0 20 0 19 0 2558385 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731681073720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4983] ppid=4964 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/4967/task/4983/stat : 4983 (java) S 4964 4967 4289 0 -1 4202560 4229 0 0 0 27 1 0 0 20 0 19 0 2558385 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731680021176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4984] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4984/stat : 4984 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731678968824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4985] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4985/stat : 4985 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731677916488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4986] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4986/stat : 4986 (java) S 4964 4967 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2558397 9856040960 15005 33554432000 1073741824 1073778376 140735144554848 140731676861224 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9625040
[startup+3.10072 s]
/proc/loadavg: 2.16 2.05 2.01 3/213 4986
/proc/meminfo: memFree=30454712/32872528 swapFree=242912/249044
[pid=4967] ppid=4964 vsize=9625040 CPUtime=3.76 cores=0,2,4,6
/proc/4967/stat : 4967 (java) S 4964 4967 4289 0 -1 4202496 16223 0 1 0 373 3 0 0 20 0 19 0 2558380 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140735144545984 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4967/statm: 2406260 16545 2257 9 0 2396937 0
[pid=4967/tid=4968] ppid=4964 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/4967/task/4968/stat : 4968 (java) R 4964 4967 4289 0 -1 4202560 2482 0 1 0 307 1 0 0 20 0 19 0 2558380 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731861180808 140731732907448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4970] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4970/stat : 4970 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731705063592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4971] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4971/stat : 4971 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731704011048 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4972] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4972/stat : 4972 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731702958504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4967/tid=4973] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4973/stat : 4973 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731701905960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4974] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4974/stat : 4974 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731700853416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4975] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4975/stat : 4975 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731699800872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4976] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4976/stat : 4976 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731698748328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4977] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4977/stat : 4977 (java) S 4964 4967 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731697695784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4978] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4978/stat : 4978 (java) S 4964 4967 4289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731685283944 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4979] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4979/stat : 4979 (java) S 4964 4967 4289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731684230264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4980] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4980/stat : 4980 (java) S 4964 4967 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731683177608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4981] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4981/stat : 4981 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731682126352 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4982] ppid=4964 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/4967/task/4982/stat : 4982 (java) S 4964 4967 4289 0 -1 4202560 8241 0 0 0 35 2 0 0 20 0 19 0 2558385 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731681073720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4983] ppid=4964 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/4967/task/4983/stat : 4983 (java) S 4964 4967 4289 0 -1 4202560 4229 0 0 0 27 1 0 0 20 0 19 0 2558385 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731680021176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4984] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4984/stat : 4984 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731678968824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4985] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4985/stat : 4985 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731677916488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4986] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4986/stat : 4986 (java) S 4964 4967 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2558397 9856040960 16545 33554432000 1073741824 1073778376 140735144554848 140731676861224 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9625040
[startup+6.30074 s]
/proc/loadavg: 2.16 2.05 2.01 3/213 4986
/proc/meminfo: memFree=30437304/32872528 swapFree=242912/249044
[pid=4967] ppid=4964 vsize=9625040 CPUtime=6.96 cores=0,2,4,6
/proc/4967/stat : 4967 (java) S 4964 4967 4289 0 -1 4202496 16231 0 1 0 693 3 0 0 20 0 19 0 2558380 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140735144545984 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4967/statm: 2406260 19143 2258 9 0 2396937 0
[pid=4967/tid=4968] ppid=4964 vsize=9625040 CPUtime=6.28 cores=0,2,4,6
/proc/4967/task/4968/stat : 4968 (java) R 4964 4967 4289 0 -1 4202560 2489 0 1 0 626 2 0 0 20 0 19 0 2558380 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731861171904 140731733112753 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4970] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4970/stat : 4970 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731705063592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4971] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4971/stat : 4971 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731704011048 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4972] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4972/stat : 4972 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731702958504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4967/tid=4973] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4973/stat : 4973 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731701905960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4974] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4974/stat : 4974 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731700853416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4975] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4975/stat : 4975 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731699800872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4976] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4976/stat : 4976 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731698748328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4977] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4977/stat : 4977 (java) S 4964 4967 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2558381 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731697695784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4978] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4978/stat : 4978 (java) S 4964 4967 4289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731685283944 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4979] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4979/stat : 4979 (java) S 4964 4967 4289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731684230264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4980] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4980/stat : 4980 (java) S 4964 4967 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731683177608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4981] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4981/stat : 4981 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731682126352 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4982] ppid=4964 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/4967/task/4982/stat : 4982 (java) S 4964 4967 4289 0 -1 4202560 8241 0 0 0 35 2 0 0 20 0 19 0 2558385 9856040960 19143 33554432000 1073741824 1073778376 140735144554848 140731681073720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4983] ppid=4964 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
################
# More data... #
################
[pid=4967/tid=4979] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4979/stat : 4979 (java) S 4964 4967 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 128759 33554432000 1073741824 1073778376 140735144554848 140731684230264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4980] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4980/stat : 4980 (java) S 4964 4967 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 128759 33554432000 1073741824 1073778376 140735144554848 140731683177608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4981] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4981/stat : 4981 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 128759 33554432000 1073741824 1073778376 140735144554848 140731682126352 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4982] ppid=4964 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/4967/task/4982/stat : 4982 (java) S 4964 4967 4289 0 -1 4202560 8267 0 0 0 38 2 0 0 20 0 19 0 2558385 9856040960 128759 33554432000 1073741824 1073778376 140735144554848 140731681073720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4983] ppid=4964 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/4967/task/4983/stat : 4983 (java) S 4964 4967 4289 0 -1 4202560 4229 0 0 0 27 1 0 0 20 0 19 0 2558385 9856040960 128759 33554432000 1073741824 1073778376 140735144554848 140731680021176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4984] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4984/stat : 4984 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 128759 33554432000 1073741824 1073778376 140735144554848 140731678968824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4985] ppid=4964 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/4967/task/4985/stat : 4985 (java) S 4964 4967 4289 0 -1 4202560 94 0 0 0 27 25 0 0 20 0 19 0 2558385 9856040960 128759 33554432000 1073741824 1073778376 140735144554848 140731677916488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4986] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4986/stat : 4986 (java) S 4964 4967 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2558397 9856040960 128759 33554432000 1073741824 1073778376 140735144554848 140731676861224 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1632.24
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/213 5052
/proc/meminfo: memFree=29807936/32872528 swapFree=242912/249044
[pid=4967] ppid=4964 vsize=9625040 CPUtime=1692.25 cores=0,2,4,6
/proc/4967/stat : 4967 (java) S 4964 4967 4289 0 -1 4202496 17557 0 1 0 169175 50 0 0 20 0 19 0 2558380 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140735144545984 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4967/statm: 2406260 136439 2272 9 0 2396937 0
[pid=4967/tid=4968] ppid=4964 vsize=9625040 CPUtime=1690.68 cores=0,2,4,6
/proc/4967/task/4968/stat : 4968 (java) R 4964 4967 4289 0 -1 4202560 2622 0 1 0 169035 33 0 0 20 0 19 0 2558380 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731861171904 140731733210015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4970] ppid=4964 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/4967/task/4970/stat : 4970 (java) S 4964 4967 4289 0 -1 4202560 51 0 0 0 5 3 0 0 20 0 19 0 2558381 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731705063592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4967/tid=4971] ppid=4964 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/4967/task/4971/stat : 4971 (java) S 4964 4967 4289 0 -1 4202560 129 0 0 0 6 3 0 0 20 0 19 0 2558381 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731704011048 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4972] ppid=4964 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/4967/task/4972/stat : 4972 (java) S 4964 4967 4289 0 -1 4202560 174 0 0 0 9 3 0 0 20 0 19 0 2558381 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731702958504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4973] ppid=4964 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/4967/task/4973/stat : 4973 (java) S 4964 4967 4289 0 -1 4202560 77 0 0 0 7 3 0 0 20 0 19 0 2558381 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731701905960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4967/tid=4974] ppid=4964 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4967/task/4974/stat : 4974 (java) S 4964 4967 4289 0 -1 4202560 50 0 0 0 4 3 0 0 20 0 19 0 2558381 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731700853416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4975] ppid=4964 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4967/task/4975/stat : 4975 (java) S 4964 4967 4289 0 -1 4202560 133 0 0 0 5 2 0 0 20 0 19 0 2558381 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731699800872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4976] ppid=4964 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/4967/task/4976/stat : 4976 (java) S 4964 4967 4289 0 -1 4202560 59 0 0 0 7 3 0 0 20 0 19 0 2558381 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731698748328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4977] ppid=4964 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/4967/task/4977/stat : 4977 (java) S 4964 4967 4289 0 -1 4202560 147 0 0 0 4 2 0 0 20 0 19 0 2558381 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731697695784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4978] ppid=4964 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/4967/task/4978/stat : 4978 (java) S 4964 4967 4289 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 19 0 2558382 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731685283944 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4979] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4979/stat : 4979 (java) S 4964 4967 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731684230264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4980] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4980/stat : 4980 (java) S 4964 4967 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731683177608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4981] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4981/stat : 4981 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731682126352 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4982] ppid=4964 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/4967/task/4982/stat : 4982 (java) S 4964 4967 4289 0 -1 4202560 8267 0 0 0 38 2 0 0 20 0 19 0 2558385 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731681073720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4983] ppid=4964 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/4967/task/4983/stat : 4983 (java) S 4964 4967 4289 0 -1 4202560 4229 0 0 0 27 1 0 0 20 0 19 0 2558385 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731680021176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4984] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4984/stat : 4984 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731678968824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4985] ppid=4964 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/4967/task/4985/stat : 4985 (java) S 4964 4967 4289 0 -1 4202560 98 0 0 0 28 26 0 0 20 0 19 0 2558385 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731677916488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4986] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4986/stat : 4986 (java) S 4964 4967 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2558397 9856040960 136439 33554432000 1073741824 1073778376 140735144554848 140731676861224 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1692.25
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/213 5053
/proc/meminfo: memFree=29772964/32872528 swapFree=242912/249044
[pid=4967] ppid=4964 vsize=9625040 CPUtime=1752.25 cores=0,2,4,6
/proc/4967/stat : 4967 (java) S 4964 4967 4289 0 -1 4202496 17577 0 1 0 175173 52 0 0 20 0 19 0 2558380 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140735144545984 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4967/statm: 2406260 144631 2272 9 0 2396937 0
[pid=4967/tid=4968] ppid=4964 vsize=9625040 CPUtime=1750.68 cores=0,2,4,6
/proc/4967/task/4968/stat : 4968 (java) R 4964 4967 4289 0 -1 4202560 2638 0 1 0 175033 35 0 0 20 0 19 0 2558380 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731861171904 140731733210015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4970] ppid=4964 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/4967/task/4970/stat : 4970 (java) S 4964 4967 4289 0 -1 4202560 51 0 0 0 5 3 0 0 20 0 19 0 2558381 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731705063592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4967/tid=4971] ppid=4964 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/4967/task/4971/stat : 4971 (java) S 4964 4967 4289 0 -1 4202560 129 0 0 0 6 3 0 0 20 0 19 0 2558381 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731704011048 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4972] ppid=4964 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/4967/task/4972/stat : 4972 (java) S 4964 4967 4289 0 -1 4202560 174 0 0 0 9 3 0 0 20 0 19 0 2558381 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731702958504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4973] ppid=4964 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/4967/task/4973/stat : 4973 (java) S 4964 4967 4289 0 -1 4202560 77 0 0 0 7 3 0 0 20 0 19 0 2558381 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731701905960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4967/tid=4974] ppid=4964 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4967/task/4974/stat : 4974 (java) S 4964 4967 4289 0 -1 4202560 50 0 0 0 4 3 0 0 20 0 19 0 2558381 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731700853416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4975] ppid=4964 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4967/task/4975/stat : 4975 (java) S 4964 4967 4289 0 -1 4202560 133 0 0 0 5 2 0 0 20 0 19 0 2558381 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731699800872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4976] ppid=4964 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/4967/task/4976/stat : 4976 (java) S 4964 4967 4289 0 -1 4202560 59 0 0 0 7 3 0 0 20 0 19 0 2558381 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731698748328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4977] ppid=4964 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/4967/task/4977/stat : 4977 (java) S 4964 4967 4289 0 -1 4202560 147 0 0 0 4 2 0 0 20 0 19 0 2558381 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731697695784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4978] ppid=4964 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/4967/task/4978/stat : 4978 (java) S 4964 4967 4289 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 19 0 2558382 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731685283944 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4979] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4979/stat : 4979 (java) S 4964 4967 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731684230264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4980] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4980/stat : 4980 (java) S 4964 4967 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731683177608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4981] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4981/stat : 4981 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731682126352 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4982] ppid=4964 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/4967/task/4982/stat : 4982 (java) S 4964 4967 4289 0 -1 4202560 8267 0 0 0 38 2 0 0 20 0 19 0 2558385 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731681073720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4983] ppid=4964 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/4967/task/4983/stat : 4983 (java) S 4964 4967 4289 0 -1 4202560 4229 0 0 0 27 1 0 0 20 0 19 0 2558385 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731680021176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4984] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4984/stat : 4984 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731678968824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4985] ppid=4964 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/4967/task/4985/stat : 4985 (java) S 4964 4967 4289 0 -1 4202560 102 0 0 0 30 27 0 0 20 0 19 0 2558385 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731677916488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4986] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4986/stat : 4986 (java) S 4964 4967 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2558397 9856040960 144631 33554432000 1073741824 1073778376 140735144554848 140731676861224 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1752.25
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1830.1 s]
/proc/loadavg: 2.12 2.11 2.09 3/212 5118
/proc/meminfo: memFree=29839032/32872528 swapFree=242912/249044
[pid=4967] ppid=4964 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/4967/stat : 4967 (java) S 4964 4967 4289 0 -1 4202496 17590 0 1 0 179952 53 0 0 20 0 19 0 2558380 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140735144545984 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4967/statm: 2406260 150263 2272 9 0 2396937 0
[pid=4967/tid=4968] ppid=4964 vsize=9625040 CPUtime=1798.48 cores=0,2,4,6
/proc/4967/task/4968/stat : 4968 (java) R 4964 4967 4289 0 -1 4202560 2649 0 1 0 179811 37 0 0 20 0 19 0 2558380 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731861171904 140731733210015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4970] ppid=4964 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/4967/task/4970/stat : 4970 (java) S 4964 4967 4289 0 -1 4202560 51 0 0 0 5 3 0 0 20 0 19 0 2558381 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731705063592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4967/tid=4971] ppid=4964 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/4967/task/4971/stat : 4971 (java) S 4964 4967 4289 0 -1 4202560 129 0 0 0 6 3 0 0 20 0 19 0 2558381 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731704011048 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4972] ppid=4964 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/4967/task/4972/stat : 4972 (java) S 4964 4967 4289 0 -1 4202560 174 0 0 0 9 3 0 0 20 0 19 0 2558381 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731702958504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4973] ppid=4964 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/4967/task/4973/stat : 4973 (java) S 4964 4967 4289 0 -1 4202560 77 0 0 0 7 3 0 0 20 0 19 0 2558381 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731701905960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4967/tid=4974] ppid=4964 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4967/task/4974/stat : 4974 (java) S 4964 4967 4289 0 -1 4202560 50 0 0 0 4 3 0 0 20 0 19 0 2558381 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731700853416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4975] ppid=4964 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/4967/task/4975/stat : 4975 (java) S 4964 4967 4289 0 -1 4202560 133 0 0 0 5 2 0 0 20 0 19 0 2558381 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731699800872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4976] ppid=4964 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/4967/task/4976/stat : 4976 (java) S 4964 4967 4289 0 -1 4202560 59 0 0 0 7 3 0 0 20 0 19 0 2558381 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731698748328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4977] ppid=4964 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/4967/task/4977/stat : 4977 (java) S 4964 4967 4289 0 -1 4202560 147 0 0 0 4 2 0 0 20 0 19 0 2558381 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731697695784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4978] ppid=4964 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/4967/task/4978/stat : 4978 (java) S 4964 4967 4289 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 19 0 2558382 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731685283944 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4967/tid=4979] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4979/stat : 4979 (java) S 4964 4967 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731684230264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4980] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4980/stat : 4980 (java) S 4964 4967 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2558382 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731683177608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4981] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4981/stat : 4981 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731682126352 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4982] ppid=4964 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/4967/task/4982/stat : 4982 (java) S 4964 4967 4289 0 -1 4202560 8267 0 0 0 38 2 0 0 20 0 19 0 2558385 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731681073720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4983] ppid=4964 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/4967/task/4983/stat : 4983 (java) S 4964 4967 4289 0 -1 4202560 4229 0 0 0 27 1 0 0 20 0 19 0 2558385 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731680021176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4984] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4984/stat : 4984 (java) S 4964 4967 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2558385 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731678968824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4967/tid=4985] ppid=4964 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/4967/task/4985/stat : 4985 (java) S 4964 4967 4289 0 -1 4202560 104 0 0 0 30 29 0 0 20 0 19 0 2558385 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731677916488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4967/tid=4986] ppid=4964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4967/task/4986/stat : 4986 (java) S 4964 4967 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2558397 9856040960 150263 33554432000 1073741824 1073778376 140735144554848 140731676861224 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4967 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1830.14
CPU time (s): 1800.83
CPU user time (s): 1799.76
CPU system time (s): 1.07084
CPU usage (%): 98.3982
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 1.07084
maximum resident set size= 607376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17644
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32827
involuntary context switches= 4202
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2124 second user time and 10.0855 second system time
The end