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-3456241-1307226691/watcher-3456241-1307226691 -o /tmp/evaluation-result-3456241-1307226691/solver-3456241-1307226691 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456241-1307226691.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: 2.00 2.04 2.01 2/476 23805
/proc/meminfo: memFree=22350212/32951124 swapFree=60688864/67111528
[pid=23805] ppid=23803 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/23805/stat : 23805 (java) S 23803 23805 22575 0 -1 4202496 2163 0 1 0 0 0 0 0 25 0 2 0 834267273 10681323520 1864 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/23805/statm: 2607745 1877 906 9 0 2598901 0
[pid=23805/tid=23806] ppid=23803 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23806/stat : 23806 (java) R 23803 23805 22575 0 -1 4202560 4105 0 1 0 0 0 0 0 25 0 2 0 834267274 10694979584 4920 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.057892 s]
/proc/loadavg: 2.00 2.04 2.01 2/476 23805
/proc/meminfo: memFree=22350212/32951124 swapFree=60688864/67111528
[pid=23805] ppid=23803 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/23805/stat : 23805 (java) S 23803 23805 22575 0 -1 4202496 11512 0 1 0 4 0 0 0 25 0 13 0 834267273 10718838784 11208 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347695077 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/23805/statm: 2616904 11209 1685 9 0 2607652 0
[pid=23805/tid=23806] ppid=23803 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/23805/task/23806/stat : 23806 (java) R 23803 23805 22575 0 -1 4202560 10366 0 1 0 4 0 0 0 25 0 13 0 834267274 10718838784 11209 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 47006463113235 0 4 0 16800971 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100882 s]
/proc/loadavg: 2.00 2.04 2.01 2/476 23805
/proc/meminfo: memFree=22350212/32951124 swapFree=60688864/67111528
[pid=23805] ppid=23803 vsize=10540164 CPUtime=0.1 cores=1,3,5,7
/proc/23805/stat : 23805 (java) S 23803 23805 22575 0 -1 4202496 13074 0 1 0 9 1 0 0 25 0 18 0 834267273 10793127936 12729 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23805/statm: 2635041 12731 2092 9 0 2625775 0
[pid=23805/tid=23806] ppid=23803 vsize=10540164 CPUtime=0.08 cores=1,3,5,7
/proc/23805/task/23806/stat : 23806 (java) R 23803 23805 22575 0 -1 4202560 11116 0 1 0 8 0 0 0 18 0 18 0 834267274 10793127936 12731 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 46912496197392 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540164
[startup+0.300803 s]
/proc/loadavg: 2.00 2.04 2.01 2/476 23805
/proc/meminfo: memFree=22350212/32951124 swapFree=60688864/67111528
[pid=23805] ppid=23803 vsize=10543268 CPUtime=0.47 cores=1,3,5,7
/proc/23805/stat : 23805 (java) S 23803 23805 22575 0 -1 4202496 16203 0 1 0 46 1 0 0 25 0 18 0 834267273 10796306432 15492 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23805/statm: 2635817 15492 2211 9 0 2626551 0
[pid=23805/tid=23806] ppid=23803 vsize=10543268 CPUtime=0.28 cores=1,3,5,7
/proc/23805/task/23806/stat : 23806 (java) R 23803 23805 22575 0 -1 4202560 12681 0 1 0 27 1 0 0 18 0 18 0 834267274 10796306432 15493 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 47006465211188 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10543268
[startup+0.700734 s]
/proc/loadavg: 2.00 2.04 2.01 2/476 23805
/proc/meminfo: memFree=22350212/32951124 swapFree=60688864/67111528
[pid=23805] ppid=23803 vsize=10552872 CPUtime=1.5 cores=1,3,5,7
/proc/23805/stat : 23805 (java) S 23803 23805 22575 0 -1 4202496 31925 0 1 0 146 4 0 0 25 0 19 0 834267273 10806140928 29200 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23805/statm: 2638218 29204 2233 9 0 2628952 0
[pid=23805/tid=23806] ppid=23803 vsize=10552872 CPUtime=0.68 cores=1,3,5,7
/proc/23805/task/23806/stat : 23806 (java) R 23803 23805 22575 0 -1 4202560 23033 0 1 0 66 2 0 0 19 0 19 0 834267274 10806140928 29207 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 46912505607537 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10552872
[startup+1.50159 s]
/proc/loadavg: 2.00 2.04 2.01 3/495 23824
/proc/meminfo: memFree=22145284/32951124 swapFree=60688864/67111528
[pid=23805] ppid=23803 vsize=10552872 CPUtime=2.89 cores=1,3,5,7
/proc/23805/stat : 23805 (java) S 23803 23805 22575 0 -1 4202496 98432 0 1 0 278 11 0 0 25 0 19 0 834267273 10806140928 93475 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23805/statm: 2638218 93477 2238 9 0 2628952 0
[pid=23805/tid=23806] ppid=23803 vsize=10552872 CPUtime=1.48 cores=1,3,5,7
/proc/23805/task/23806/stat : 23806 (java) R 23803 23805 22575 0 -1 4202560 85849 0 1 0 139 9 0 0 20 0 19 0 834267274 10806140928 93478 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 46912505607551 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23805/tid=23808] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23808/stat : 23808 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 93479 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23809] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23809/stat : 23809 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 93479 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23810] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23810/stat : 23810 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 93480 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23811] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23811/stat : 23811 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 93481 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23812] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23812/stat : 23812 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 93483 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23813] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23813/stat : 23813 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 93484 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23814] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23814/stat : 23814 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 93486 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23815] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23815/stat : 23815 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 93487 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23816] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23816/stat : 23816 (java) S 23803 23805 22575 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834267276 10806140928 93488 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 0 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23817] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23817/stat : 23817 (java) S 23803 23805 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834267277 10806140928 93488 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23818] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23818/stat : 23818 (java) S 23803 23805 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834267277 10806140928 93489 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23819] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23819/stat : 23819 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267279 10806140928 93490 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347716017 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23820] ppid=23803 vsize=10552872 CPUtime=0.63 cores=1,3,5,7
/proc/23805/task/23820/stat : 23820 (java) R 23803 23805 22575 0 -1 4202560 4626 0 0 0 63 0 0 0 21 0 19 0 834267279 10806140928 93492 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 47006461564285 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23805/tid=23821] ppid=23803 vsize=10552872 CPUtime=0.74 cores=1,3,5,7
/proc/23805/task/23821/stat : 23821 (java) R 23803 23805 22575 0 -1 4202560 6800 0 0 0 74 0 0 0 22 0 19 0 834267279 10806140928 93493 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 47006464421119 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23805/tid=23822] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23822/stat : 23822 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267279 10806140928 93495 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23823] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23823/stat : 23823 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834267279 10806140928 93496 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 4 0 16800975 18446604466853291904 0 0 -1 7 0 0 0
[pid=23805/tid=23824] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23824/stat : 23824 (java) S 23803 23805 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834267325 10806140928 93497 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 10552872
[startup+3.10135 s]
/proc/loadavg: 2.00 2.04 2.01 3/495 23824
/proc/meminfo: memFree=21860948/32951124 swapFree=60688864/67111528
[pid=23805] ppid=23803 vsize=10552872 CPUtime=4.58 cores=1,3,5,7
/proc/23805/stat : 23805 (java) S 23803 23805 22575 0 -1 4202496 174744 0 1 0 438 20 0 0 25 0 19 0 834267273 10806140928 169785 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23805/statm: 2638218 169787 2238 9 0 2628952 0
[pid=23805/tid=23806] ppid=23803 vsize=10552872 CPUtime=3.08 cores=1,3,5,7
/proc/23805/task/23806/stat : 23806 (java) R 23803 23805 22575 0 -1 4202560 162145 0 1 0 290 18 0 0 25 0 19 0 834267274 10806140928 169787 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 46912505607594 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23805/tid=23808] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23808/stat : 23808 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 169789 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23809] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23809/stat : 23809 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 169790 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23810] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23810/stat : 23810 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 169791 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23811] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23811/stat : 23811 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 169792 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23812] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23812/stat : 23812 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 169793 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23813] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23813/stat : 23813 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 169794 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23814] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23814/stat : 23814 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 169795 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23815] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23815/stat : 23815 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 169796 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23816] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23816/stat : 23816 (java) S 23803 23805 22575 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834267276 10806140928 169798 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 0 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23817] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23817/stat : 23817 (java) S 23803 23805 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834267277 10806140928 169799 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23818] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23818/stat : 23818 (java) S 23803 23805 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834267277 10806140928 169800 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23819] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23819/stat : 23819 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267279 10806140928 169802 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347716017 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23820] ppid=23803 vsize=10552872 CPUtime=0.65 cores=1,3,5,7
/proc/23805/task/23820/stat : 23820 (java) S 23803 23805 22575 0 -1 4202560 4627 0 0 0 65 0 0 0 18 0 19 0 834267279 10806140928 169803 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23821] ppid=23803 vsize=10552872 CPUtime=0.82 cores=1,3,5,7
/proc/23805/task/23821/stat : 23821 (java) S 23803 23805 22575 0 -1 4202560 6814 0 0 0 82 0 0 0 15 0 19 0 834267279 10806140928 169804 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 7 0 0 0
[pid=23805/tid=23822] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23822/stat : 23822 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267279 10806140928 169805 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23823] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23823/stat : 23823 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834267279 10806140928 169806 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23824] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23824/stat : 23824 (java) S 23803 23805 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834267325 10806140928 169807 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 10552872
[startup+6.30079 s]
/proc/loadavg: 2.00 2.04 2.01 3/495 23824
/proc/meminfo: memFree=21273684/32951124 swapFree=60688864/67111528
[pid=23805] ppid=23803 vsize=10552872 CPUtime=7.88 cores=1,3,5,7
/proc/23805/stat : 23805 (java) S 23803 23805 22575 0 -1 4202496 309680 0 1 0 752 36 0 0 25 0 19 0 834267273 10806140928 304246 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23805/statm: 2638218 304247 2239 9 0 2628952 0
[pid=23805/tid=23806] ppid=23803 vsize=10552872 CPUtime=6.29 cores=1,3,5,7
/proc/23805/task/23806/stat : 23806 (java) R 23803 23805 22575 0 -1 4202560 297066 0 1 0 594 35 0 0 20 0 19 0 834267274 10806140928 304248 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 46912505607594 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23805/tid=23808] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23808/stat : 23808 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 304249 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23809] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23809/stat : 23809 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 304250 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23810] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23810/stat : 23810 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 304250 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23811] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23811/stat : 23811 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 304251 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23812] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23812/stat : 23812 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 304252 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23813] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23813/stat : 23813 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 304253 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23814] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23814/stat : 23814 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 304253 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23815] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23815/stat : 23815 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267275 10806140928 304254 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23816] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23816/stat : 23816 (java) S 23803 23805 22575 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834267276 10806140928 304255 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 0 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23817] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23817/stat : 23817 (java) S 23803 23805 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834267277 10806140928 304255 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23818] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23818/stat : 23818 (java) S 23803 23805 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834267277 10806140928 304256 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23819] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23819/stat : 23819 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267279 10806140928 304256 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347716017 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23820] ppid=23803 vsize=10552872 CPUtime=0.7 cores=1,3,5,7
/proc/23805/task/23820/stat : 23820 (java) S 23803 23805 22575 0 -1 4202560 4634 0 0 0 70 0 0 0 18 0 19 0 834267279 10806140928 304257 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23821] ppid=23803 vsize=10552872 CPUtime=0.88 cores=1,3,5,7
/proc/23805/task/23821/stat : 23821 (java) S 23803 23805 22575 0 -1 4202560 6821 0 0 0 88 0 0 0 16 0 19 0 834267279 10806140928 304258 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/23805/task/23818/stat : 23818 (java) S 23803 23805 22575 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834267277 10806140928 921948 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23819] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23819/stat : 23819 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267279 10806140928 921948 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347716017 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23820] ppid=23803 vsize=10552872 CPUtime=0.85 cores=1,3,5,7
/proc/23805/task/23820/stat : 23820 (java) S 23803 23805 22575 0 -1 4202560 4675 0 0 0 85 0 0 0 15 0 19 0 834267279 10806140928 921948 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23821] ppid=23803 vsize=10552872 CPUtime=1.07 cores=1,3,5,7
/proc/23805/task/23821/stat : 23821 (java) S 23803 23805 22575 0 -1 4202560 7539 0 0 0 107 0 0 0 15 0 19 0 834267279 10806140928 921948 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 7 0 0 0
[pid=23805/tid=23822] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23822/stat : 23822 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267279 10806140928 921948 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23823] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23823/stat : 23823 (java) S 23803 23805 22575 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834267279 10806140928 921948 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23824] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23824/stat : 23824 (java) S 23803 23805 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834267325 10806140928 921948 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1666.34
Current children cumulated vsize (KiB) 10552872
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/495 24102
/proc/meminfo: memFree=18512812/32951124 swapFree=60688864/67111528
[pid=23805] ppid=23803 vsize=10552872 CPUtime=1726.43 cores=1,3,5,7
/proc/23805/stat : 23805 (java) S 23803 23805 22575 0 -1 4202496 931999 0 1 0 172535 108 0 0 25 0 19 0 834267273 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23805/statm: 2638218 923329 2268 9 0 2628952 0
[pid=23805/tid=23806] ppid=23803 vsize=10552872 CPUtime=1720.73 cores=1,3,5,7
/proc/23805/task/23806/stat : 23806 (java) R 23803 23805 22575 0 -1 4202560 819362 0 1 0 171981 92 0 0 25 0 19 0 834267274 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 46912505878642 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23805/tid=23808] ppid=23803 vsize=10552872 CPUtime=0.45 cores=1,3,5,7
/proc/23805/task/23808/stat : 23808 (java) S 23803 23805 22575 0 -1 4202560 13196 0 0 0 43 2 0 0 16 0 19 0 834267275 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 7 0 0 0
[pid=23805/tid=23809] ppid=23803 vsize=10552872 CPUtime=0.36 cores=1,3,5,7
/proc/23805/task/23809/stat : 23809 (java) S 23803 23805 22575 0 -1 4202560 9574 0 0 0 36 0 0 0 15 0 19 0 834267275 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 5 0 0 0
[pid=23805/tid=23810] ppid=23803 vsize=10552872 CPUtime=0.42 cores=1,3,5,7
/proc/23805/task/23810/stat : 23810 (java) S 23803 23805 22575 0 -1 4202560 15686 0 0 0 41 1 0 0 16 0 19 0 834267275 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23811] ppid=23803 vsize=10552872 CPUtime=0.36 cores=1,3,5,7
/proc/23805/task/23811/stat : 23811 (java) S 23803 23805 22575 0 -1 4202560 10520 0 0 0 34 2 0 0 16 0 19 0 834267275 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23812] ppid=23803 vsize=10552872 CPUtime=0.43 cores=1,3,5,7
/proc/23805/task/23812/stat : 23812 (java) S 23803 23805 22575 0 -1 4202560 11138 0 0 0 42 1 0 0 16 0 19 0 834267275 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 7 0 0 0
[pid=23805/tid=23813] ppid=23803 vsize=10552872 CPUtime=0.36 cores=1,3,5,7
/proc/23805/task/23813/stat : 23813 (java) S 23803 23805 22575 0 -1 4202560 10799 0 0 0 35 1 0 0 15 0 19 0 834267275 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23814] ppid=23803 vsize=10552872 CPUtime=0.38 cores=1,3,5,7
/proc/23805/task/23814/stat : 23814 (java) S 23803 23805 22575 0 -1 4202560 12506 0 0 0 37 1 0 0 16 0 19 0 834267275 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 5 0 0 0
[pid=23805/tid=23815] ppid=23803 vsize=10552872 CPUtime=0.42 cores=1,3,5,7
/proc/23805/task/23815/stat : 23815 (java) S 23803 23805 22575 0 -1 4202560 14224 0 0 0 41 1 0 0 16 0 19 0 834267275 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23816] ppid=23803 vsize=10552872 CPUtime=0.46 cores=1,3,5,7
/proc/23805/task/23816/stat : 23816 (java) S 23803 23805 22575 0 -1 4202560 1531 0 0 0 46 0 0 0 15 0 19 0 834267276 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 0 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23817] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23817/stat : 23817 (java) S 23803 23805 22575 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834267277 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23818] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23818/stat : 23818 (java) S 23803 23805 22575 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834267277 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23819] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23819/stat : 23819 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267279 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347716017 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23820] ppid=23803 vsize=10552872 CPUtime=0.85 cores=1,3,5,7
/proc/23805/task/23820/stat : 23820 (java) S 23803 23805 22575 0 -1 4202560 4675 0 0 0 85 0 0 0 15 0 19 0 834267279 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23821] ppid=23803 vsize=10552872 CPUtime=1.07 cores=1,3,5,7
/proc/23805/task/23821/stat : 23821 (java) S 23803 23805 22575 0 -1 4202560 7539 0 0 0 107 0 0 0 15 0 19 0 834267279 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 7 0 0 0
[pid=23805/tid=23822] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23822/stat : 23822 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267279 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23823] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23823/stat : 23823 (java) S 23803 23805 22575 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834267279 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23824] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23824/stat : 23824 (java) S 23803 23805 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834267325 10806140928 923329 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1726.43
Current children cumulated vsize (KiB) 10552872
[startup+1782.3 s]
/proc/loadavg: 2.22 2.10 2.02 3/495 24113
/proc/meminfo: memFree=18505332/32951124 swapFree=60688864/67111528
[pid=23805] ppid=23803 vsize=10552872 CPUtime=1786.5 cores=1,3,5,7
/proc/23805/stat : 23805 (java) S 23803 23805 22575 0 -1 4202496 933310 0 1 0 178542 108 0 0 25 0 19 0 834267273 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23805/statm: 2638218 924607 2268 9 0 2628952 0
[pid=23805/tid=23806] ppid=23803 vsize=10552872 CPUtime=1780.7 cores=1,3,5,7
/proc/23805/task/23806/stat : 23806 (java) R 23803 23805 22575 0 -1 4202560 819364 0 1 0 177978 92 0 0 25 0 19 0 834267274 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 46912505834300 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23805/tid=23808] ppid=23803 vsize=10552872 CPUtime=0.47 cores=1,3,5,7
/proc/23805/task/23808/stat : 23808 (java) S 23803 23805 22575 0 -1 4202560 13386 0 0 0 45 2 0 0 15 0 19 0 834267275 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 7 0 0 0
[pid=23805/tid=23809] ppid=23803 vsize=10552872 CPUtime=0.38 cores=1,3,5,7
/proc/23805/task/23809/stat : 23809 (java) S 23803 23805 22575 0 -1 4202560 9824 0 0 0 38 0 0 0 16 0 19 0 834267275 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 5 0 0 0
[pid=23805/tid=23810] ppid=23803 vsize=10552872 CPUtime=0.42 cores=1,3,5,7
/proc/23805/task/23810/stat : 23810 (java) S 23803 23805 22575 0 -1 4202560 15686 0 0 0 41 1 0 0 15 0 19 0 834267275 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23811] ppid=23803 vsize=10552872 CPUtime=0.37 cores=1,3,5,7
/proc/23805/task/23811/stat : 23811 (java) S 23803 23805 22575 0 -1 4202560 10878 0 0 0 35 2 0 0 15 0 19 0 834267275 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23812] ppid=23803 vsize=10552872 CPUtime=0.45 cores=1,3,5,7
/proc/23805/task/23812/stat : 23812 (java) S 23803 23805 22575 0 -1 4202560 11237 0 0 0 44 1 0 0 16 0 19 0 834267275 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 7 0 0 0
[pid=23805/tid=23813] ppid=23803 vsize=10552872 CPUtime=0.37 cores=1,3,5,7
/proc/23805/task/23813/stat : 23813 (java) S 23803 23805 22575 0 -1 4202560 10928 0 0 0 36 1 0 0 16 0 19 0 834267275 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23814] ppid=23803 vsize=10552872 CPUtime=0.38 cores=1,3,5,7
/proc/23805/task/23814/stat : 23814 (java) S 23803 23805 22575 0 -1 4202560 12517 0 0 0 37 1 0 0 16 0 19 0 834267275 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 5 0 0 0
[pid=23805/tid=23815] ppid=23803 vsize=10552872 CPUtime=0.44 cores=1,3,5,7
/proc/23805/task/23815/stat : 23815 (java) S 23803 23805 22575 0 -1 4202560 14488 0 0 0 43 1 0 0 15 0 19 0 834267275 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23816] ppid=23803 vsize=10552872 CPUtime=0.46 cores=1,3,5,7
/proc/23805/task/23816/stat : 23816 (java) S 23803 23805 22575 0 -1 4202560 1535 0 0 0 46 0 0 0 15 0 19 0 834267276 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 0 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23817] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23817/stat : 23817 (java) S 23803 23805 22575 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834267277 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23818] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23818/stat : 23818 (java) S 23803 23805 22575 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834267277 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23819] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23819/stat : 23819 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267279 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347716017 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23820] ppid=23803 vsize=10552872 CPUtime=0.85 cores=1,3,5,7
/proc/23805/task/23820/stat : 23820 (java) S 23803 23805 22575 0 -1 4202560 4675 0 0 0 85 0 0 0 15 0 19 0 834267279 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23821] ppid=23803 vsize=10552872 CPUtime=1.07 cores=1,3,5,7
/proc/23805/task/23821/stat : 23821 (java) S 23803 23805 22575 0 -1 4202560 7539 0 0 0 107 0 0 0 15 0 19 0 834267279 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 7 0 0 0
[pid=23805/tid=23822] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23822/stat : 23822 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267279 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23823] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23823/stat : 23823 (java) S 23803 23805 22575 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834267279 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23824] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23824/stat : 23824 (java) S 23803 23805 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834267325 10806140928 924607 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1786.5
Current children cumulated vsize (KiB) 10552872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.8 s]
/proc/loadavg: 2.24 2.11 2.03 3/495 24113
/proc/meminfo: memFree=18503224/32951124 swapFree=60688864/67111528
[pid=23805] ppid=23803 vsize=10552872 CPUtime=1800.05 cores=1,3,5,7
/proc/23805/stat : 23805 (java) S 23803 23805 22575 0 -1 4202496 934190 0 1 0 179897 108 0 0 25 0 19 0 834267273 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23805/statm: 2638218 925473 2268 9 0 2628952 0
[pid=23805/tid=23806] ppid=23803 vsize=10552872 CPUtime=1794.21 cores=1,3,5,7
/proc/23805/task/23806/stat : 23806 (java) R 23803 23805 22575 0 -1 4202560 819365 0 1 0 179329 92 0 0 25 0 19 0 834267274 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 46912505834309 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23805/tid=23808] ppid=23803 vsize=10552872 CPUtime=0.48 cores=1,3,5,7
/proc/23805/task/23808/stat : 23808 (java) S 23803 23805 22575 0 -1 4202560 13516 0 0 0 46 2 0 0 16 0 19 0 834267275 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23809] ppid=23803 vsize=10552872 CPUtime=0.38 cores=1,3,5,7
/proc/23805/task/23809/stat : 23809 (java) S 23803 23805 22575 0 -1 4202560 9824 0 0 0 38 0 0 0 15 0 19 0 834267275 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 5 0 0 0
[pid=23805/tid=23810] ppid=23803 vsize=10552872 CPUtime=0.42 cores=1,3,5,7
/proc/23805/task/23810/stat : 23810 (java) S 23803 23805 22575 0 -1 4202560 15686 0 0 0 41 1 0 0 15 0 19 0 834267275 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23811] ppid=23803 vsize=10552872 CPUtime=0.38 cores=1,3,5,7
/proc/23805/task/23811/stat : 23811 (java) S 23803 23805 22575 0 -1 4202560 11236 0 0 0 36 2 0 0 16 0 19 0 834267275 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23812] ppid=23803 vsize=10552872 CPUtime=0.46 cores=1,3,5,7
/proc/23805/task/23812/stat : 23812 (java) S 23803 23805 22575 0 -1 4202560 11478 0 0 0 45 1 0 0 16 0 19 0 834267275 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 7 0 0 0
[pid=23805/tid=23813] ppid=23803 vsize=10552872 CPUtime=0.37 cores=1,3,5,7
/proc/23805/task/23813/stat : 23813 (java) S 23803 23805 22575 0 -1 4202560 10928 0 0 0 36 1 0 0 15 0 19 0 834267275 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23814] ppid=23803 vsize=10552872 CPUtime=0.4 cores=1,3,5,7
/proc/23805/task/23814/stat : 23814 (java) S 23803 23805 22575 0 -1 4202560 12665 0 0 0 39 1 0 0 16 0 19 0 834267275 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 5 0 0 0
[pid=23805/tid=23815] ppid=23803 vsize=10552872 CPUtime=0.44 cores=1,3,5,7
/proc/23805/task/23815/stat : 23815 (java) S 23803 23805 22575 0 -1 4202560 14488 0 0 0 43 1 0 0 15 0 19 0 834267275 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23816] ppid=23803 vsize=10552872 CPUtime=0.46 cores=1,3,5,7
/proc/23805/task/23816/stat : 23816 (java) S 23803 23805 22575 0 -1 4202560 1537 0 0 0 46 0 0 0 15 0 19 0 834267276 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 0 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23817] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23817/stat : 23817 (java) S 23803 23805 22575 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834267277 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23818] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23818/stat : 23818 (java) S 23803 23805 22575 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834267277 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23819] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23819/stat : 23819 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267279 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347716017 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23820] ppid=23803 vsize=10552872 CPUtime=0.85 cores=1,3,5,7
/proc/23805/task/23820/stat : 23820 (java) S 23803 23805 22575 0 -1 4202560 4675 0 0 0 85 0 0 0 15 0 19 0 834267279 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23821] ppid=23803 vsize=10552872 CPUtime=1.07 cores=1,3,5,7
/proc/23805/task/23821/stat : 23821 (java) S 23803 23805 22575 0 -1 4202560 7539 0 0 0 107 0 0 0 15 0 19 0 834267279 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 7 0 0 0
[pid=23805/tid=23822] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23822/stat : 23822 (java) S 23803 23805 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834267279 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708313 0 4 0 16800975 18446604466853291904 0 0 -1 1 0 0 0
[pid=23805/tid=23823] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23823/stat : 23823 (java) S 23803 23805 22575 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834267279 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
[pid=23805/tid=23824] ppid=23803 vsize=10552872 CPUtime=0 cores=1,3,5,7
/proc/23805/task/23824/stat : 23824 (java) S 23803 23805 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834267325 10806140928 925473 33554432000 1073741824 1073778376 140735749697680 18446744073709551615 232347708928 0 4 0 16800975 18446604466853291904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10552872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.92 s]
/proc/loadavg: 2.24 2.11 2.03 3/495 24113
/proc/meminfo: memFree=18503224/32951124 swapFree=60688864/67111528
[pid=23805] ppid=23803 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/23805/stat : 23805 (java) Z 23803 23805 22575 0 -1 4203548 934220 0 1 0 179900 117 0 0 17 0 2 0 834267273 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23805/statm: 0 0 0 0 0 0 0
[pid=23805/tid=23824] ppid=23803 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/23805/task/23824/stat : 23824 (java) R 23803 23805 22575 0 -1 4203588 7 0 0 0 0 8 0 0 18 0 2 0 834267325 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.97
CPU time (s): 1800.22
CPU user time (s): 1799
CPU system time (s): 1.21881
CPU usage (%): 100.237
Max. virtual memory (cumulated for all children) (KiB): 10552872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.21881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 934220
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= 38597
involuntary context switches= 17553
runsolver used 8.59369 second user time and 19.1341 second system time
The end