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-3454827-1307186991/watcher-3454827-1307186991 -o /tmp/evaluation-result-3454827-1307186991/solver-3454827-1307186991 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454827-1307186991.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.09 1.31 1.66 4/527 20994
/proc/meminfo: memFree=24909200/32951124 swapFree=56241860/67111528
[pid=20994] ppid=20992 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20994/stat : 20994 (java) S 20992 20994 18760 0 -1 4202496 7279 0 1 0 0 0 0 0 18 0 2 0 908929810 10694979584 6982 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20994/statm: 2611079 6994 917 9 0 2602235 0
[pid=20994/tid=20995] ppid=20992 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20994/task/20995/stat : 20995 (java) R 20992 20994 18760 0 -1 4202560 7895 0 1 0 0 0 0 0 19 0 2 0 908929811 10694979584 8711 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0720211 s]
/proc/loadavg: 1.09 1.31 1.66 4/527 20994
/proc/meminfo: memFree=24909200/32951124 swapFree=56241860/67111528
[pid=20994] ppid=20992 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/20994/stat : 20994 (java) S 20992 20994 18760 0 -1 4202496 11885 0 1 0 5 1 0 0 18 0 18 0 908929810 10724442112 11583 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20994/statm: 2618272 11584 1754 9 0 2609006 0
[pid=20994/tid=20995] ppid=20992 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/20994/task/20995/stat : 20995 (java) R 20992 20994 18760 0 -1 4202560 10712 0 1 0 4 1 0 0 22 0 18 0 908929811 10724442112 11584 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 47660543620602 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.160969 s]
/proc/loadavg: 1.09 1.31 1.66 4/527 20994
/proc/meminfo: memFree=24909200/32951124 swapFree=56241860/67111528
[pid=20994] ppid=20992 vsize=10540276 CPUtime=0.18 cores=1,3,5,7
/proc/20994/stat : 20994 (java) S 20992 20994 18760 0 -1 4202496 13625 0 1 0 16 2 0 0 18 0 18 0 908929810 10793242624 13323 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20994/statm: 2635069 13323 2161 9 0 2625803 0
[pid=20994/tid=20995] ppid=20992 vsize=10540276 CPUtime=0.15 cores=1,3,5,7
/proc/20994/task/20995/stat : 20995 (java) R 20992 20994 18760 0 -1 4202560 11612 0 1 0 13 2 0 0 22 0 18 0 908929811 10793242624 13323 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 46912505175157 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10540276
[startup+0.300945 s]
/proc/loadavg: 1.09 1.31 1.66 4/527 20994
/proc/meminfo: memFree=24909200/32951124 swapFree=56241860/67111528
[pid=20994] ppid=20992 vsize=10541308 CPUtime=0.47 cores=1,3,5,7
/proc/20994/stat : 20994 (java) S 20992 20994 18760 0 -1 4202496 15897 0 1 0 45 2 0 0 18 0 18 0 908929810 10794299392 15140 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20994/statm: 2635327 15140 2198 9 0 2626061 0
[pid=20994/tid=20995] ppid=20992 vsize=10541308 CPUtime=0.28 cores=1,3,5,7
/proc/20994/task/20995/stat : 20995 (java) R 20992 20994 18760 0 -1 4202560 12995 0 1 0 26 2 0 0 22 0 18 0 908929811 10794299392 15140 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 46912505213408 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541308
[startup+0.700879 s]
/proc/loadavg: 1.09 1.31 1.66 4/527 20994
/proc/meminfo: memFree=24909200/32951124 swapFree=56241860/67111528
[pid=20994] ppid=20992 vsize=10557316 CPUtime=2.01 cores=1,3,5,7
/proc/20994/stat : 20994 (java) S 20992 20994 18760 0 -1 4202496 39916 0 1 0 194 7 0 0 18 0 22 0 908929810 10810691584 35173 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20994/statm: 2639329 35175 2223 9 0 2630063 0
[pid=20994/tid=20995] ppid=20992 vsize=10557316 CPUtime=0.3 cores=1,3,5,7
/proc/20994/task/20995/stat : 20995 (java) S 20992 20994 18760 0 -1 4202560 13409 0 1 0 28 2 0 0 23 0 22 0 908929811 10810691584 35175 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 10557316
[startup+1.50074 s]
/proc/loadavg: 1.09 1.31 1.66 10/570 21037
/proc/meminfo: memFree=24497264/32951124 swapFree=56241860/67111528
[pid=20994] ppid=20992 vsize=10557544 CPUtime=4.25 cores=1,3,5,7
/proc/20994/stat : 20994 (java) S 20992 20994 18760 0 -1 4202496 74744 0 1 0 413 12 0 0 18 0 22 0 908929810 10810925056 64731 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20994/statm: 2639386 64734 2255 9 0 2630120 0
[pid=20994/tid=20995] ppid=20992 vsize=10557544 CPUtime=0.3 cores=1,3,5,7
/proc/20994/task/20995/stat : 20995 (java) S 20992 20994 18760 0 -1 4202560 13409 0 1 0 28 2 0 0 15 0 22 0 908929811 10810925056 64737 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=20994/tid=21006] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21006/stat : 21006 (java) S 20992 20994 18760 0 -1 4202560 280 0 0 0 0 0 0 0 15 0 22 0 908929812 10810925056 64740 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21007] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21007/stat : 21007 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 908929812 10810925056 64742 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21008] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21008/stat : 21008 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 908929812 10810925056 64744 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=20994/tid=21009] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21009/stat : 21009 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 908929812 10810925056 64747 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21010] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21010/stat : 21010 (java) S 20992 20994 18760 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 22 0 908929812 10810925056 64748 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21011] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21011/stat : 21011 (java) S 20992 20994 18760 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 22 0 908929812 10810925056 64750 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21012] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21012/stat : 21012 (java) S 20992 20994 18760 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 22 0 908929812 10810925056 64755 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21013] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21013/stat : 21013 (java) S 20992 20994 18760 0 -1 4202560 282 0 0 0 0 0 0 0 15 0 22 0 908929812 10810925056 64757 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21017] ppid=20992 vsize=10557544 CPUtime=0.03 cores=1,3,5,7
/proc/20994/task/21017/stat : 21017 (java) S 20992 20994 18760 0 -1 4202560 970 0 0 0 3 0 0 0 16 0 22 0 908929813 10810925056 64758 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 0 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=20994/tid=21018] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21018/stat : 21018 (java) S 20992 20994 18760 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 908929814 10810925056 64760 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21019] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21019/stat : 21019 (java) S 20992 20994 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 908929814 10810925056 64760 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21025] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21025/stat : 21025 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 908929816 10810925056 64760 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216747002289 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21026] ppid=20992 vsize=10557544 CPUtime=0.8 cores=1,3,5,7
/proc/20994/task/21026/stat : 21026 (java) S 20992 20994 18760 0 -1 4202560 12307 0 0 0 79 1 0 0 16 0 22 0 908929816 10810925056 64761 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21027] ppid=20992 vsize=10557544 CPUtime=0.83 cores=1,3,5,7
/proc/20994/task/21027/stat : 21027 (java) S 20992 20994 18760 0 -1 4202560 4444 0 0 0 82 1 0 0 19 0 22 0 908929816 10810925056 64763 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=20994/tid=21028] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21028/stat : 21028 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 908929816 10810925056 64765 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21029] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21029/stat : 21029 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 908929816 10810925056 64767 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21034] ppid=20992 vsize=10557544 CPUtime=1.11 cores=1,3,5,7
/proc/20994/task/21034/stat : 21034 (java) R 20992 20994 18760 0 -1 4202560 361 0 0 0 111 0 0 0 25 0 22 0 908929842 10810925056 64770 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 46912505670137 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20994/tid=21035] ppid=20992 vsize=10557544 CPUtime=1.12 cores=1,3,5,7
/proc/20994/task/21035/stat : 21035 (java) R 20992 20994 18760 0 -1 4202560 41013 0 0 0 106 6 0 0 25 0 22 0 908929842 10810925056 64772 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 46912505730536 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20994/tid=21036] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21036/stat : 21036 (java) S 20992 20994 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 908929843 10810925056 64773 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=20994/tid=21037] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21037/stat : 21037 (java) S 20992 20994 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 908929843 10810925056 64775 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 10557544
Solver just ended. Dumping a history of the last processes samples
[startup+1.70074 s]
/proc/loadavg: 1.09 1.31 1.66 10/570 21037
/proc/meminfo: memFree=24497264/32951124 swapFree=56241860/67111528
[pid=20994] ppid=20992 vsize=10557544 CPUtime=4.32 cores=1,3,5,7
/proc/20994/stat : 20994 (java) S 20992 20994 18760 0 -1 4202496 77015 0 1 0 420 12 0 0 18 0 19 0 908929810 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20994/statm: 2639386 67000 2256 9 0 2630120 0
[pid=20994/tid=20995] ppid=20992 vsize=10557544 CPUtime=0.3 cores=1,3,5,7
/proc/20994/task/20995/stat : 20995 (java) S 20992 20994 18760 0 -1 4202560 13409 0 1 0 28 2 0 0 15 0 19 0 908929811 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=20994/tid=21006] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21006/stat : 21006 (java) S 20992 20994 18760 0 -1 4202560 280 0 0 0 0 0 0 0 16 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21007] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21007/stat : 21007 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21008] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21008/stat : 21008 (java) S 20992 20994 18760 0 -1 4202560 37 0 0 0 0 0 0 0 16 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21009] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21009/stat : 21009 (java) S 20992 20994 18760 0 -1 4202560 34 0 0 0 0 0 0 0 16 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21010] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21010/stat : 21010 (java) S 20992 20994 18760 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21011] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21011/stat : 21011 (java) S 20992 20994 18760 0 -1 4202560 205 0 0 0 0 0 0 0 16 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21012] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21012/stat : 21012 (java) S 20992 20994 18760 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21013] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21013/stat : 21013 (java) S 20992 20994 18760 0 -1 4202560 302 0 0 0 0 0 0 0 16 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=20994/tid=21017] ppid=20992 vsize=10557544 CPUtime=0.05 cores=1,3,5,7
/proc/20994/task/21017/stat : 21017 (java) S 20992 20994 18760 0 -1 4202560 1465 0 0 0 5 0 0 0 16 0 19 0 908929813 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 0 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=20994/tid=21018] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21018/stat : 21018 (java) S 20992 20994 18760 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 908929814 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21019] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21019/stat : 21019 (java) S 20992 20994 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 908929814 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21025] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21025/stat : 21025 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 908929816 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216747002289 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21026] ppid=20992 vsize=10557544 CPUtime=0.8 cores=1,3,5,7
/proc/20994/task/21026/stat : 21026 (java) S 20992 20994 18760 0 -1 4202560 12307 0 0 0 79 1 0 0 16 0 19 0 908929816 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21027] ppid=20992 vsize=10557544 CPUtime=0.84 cores=1,3,5,7
/proc/20994/task/21027/stat : 21027 (java) S 20992 20994 18760 0 -1 4202560 4445 0 0 0 83 1 0 0 16 0 19 0 908929816 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=20994/tid=21028] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21028/stat : 21028 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 908929816 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21029] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21029/stat : 21029 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 908929816 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21037] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21037/stat : 21037 (java) S 20992 20994 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 908929843 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 10557544
[startup+1.80072 s]
/proc/loadavg: 1.09 1.31 1.66 10/570 21037
/proc/meminfo: memFree=24497264/32951124 swapFree=56241860/67111528
[pid=20994] ppid=20992 vsize=10557544 CPUtime=4.32 cores=1,3,5,7
/proc/20994/stat : 20994 (java) S 20992 20994 18760 0 -1 4202496 77015 0 1 0 420 12 0 0 18 0 19 0 908929810 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20994/statm: 2639386 67000 2256 9 0 2630120 0
[pid=20994/tid=20995] ppid=20992 vsize=10557544 CPUtime=0.3 cores=1,3,5,7
/proc/20994/task/20995/stat : 20995 (java) S 20992 20994 18760 0 -1 4202560 13409 0 1 0 28 2 0 0 15 0 19 0 908929811 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=20994/tid=21006] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21006/stat : 21006 (java) S 20992 20994 18760 0 -1 4202560 280 0 0 0 0 0 0 0 16 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21007] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21007/stat : 21007 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21008] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21008/stat : 21008 (java) S 20992 20994 18760 0 -1 4202560 37 0 0 0 0 0 0 0 16 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21009] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21009/stat : 21009 (java) S 20992 20994 18760 0 -1 4202560 34 0 0 0 0 0 0 0 16 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21010] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21010/stat : 21010 (java) S 20992 20994 18760 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21011] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21011/stat : 21011 (java) S 20992 20994 18760 0 -1 4202560 205 0 0 0 0 0 0 0 16 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21012] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21012/stat : 21012 (java) S 20992 20994 18760 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21013] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21013/stat : 21013 (java) S 20992 20994 18760 0 -1 4202560 302 0 0 0 0 0 0 0 16 0 19 0 908929812 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=20994/tid=21017] ppid=20992 vsize=10557544 CPUtime=0.05 cores=1,3,5,7
/proc/20994/task/21017/stat : 21017 (java) S 20992 20994 18760 0 -1 4202560 1465 0 0 0 5 0 0 0 16 0 19 0 908929813 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 0 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=20994/tid=21018] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21018/stat : 21018 (java) S 20992 20994 18760 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 908929814 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21019] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21019/stat : 21019 (java) S 20992 20994 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 908929814 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21025] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21025/stat : 21025 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 908929816 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216747002289 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21026] ppid=20992 vsize=10557544 CPUtime=0.8 cores=1,3,5,7
/proc/20994/task/21026/stat : 21026 (java) S 20992 20994 18760 0 -1 4202560 12307 0 0 0 79 1 0 0 16 0 19 0 908929816 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21027] ppid=20992 vsize=10557544 CPUtime=0.84 cores=1,3,5,7
/proc/20994/task/21027/stat : 21027 (java) S 20992 20994 18760 0 -1 4202560 4445 0 0 0 83 1 0 0 16 0 19 0 908929816 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=20994/tid=21028] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21028/stat : 21028 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 908929816 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=20994/tid=21029] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21029/stat : 21029 (java) S 20992 20994 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 908929816 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=20994/tid=21037] ppid=20992 vsize=10557544 CPUtime=0 cores=1,3,5,7
/proc/20994/task/21037/stat : 21037 (java) S 20992 20994 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 908929843 10810925056 67000 33554432000 1073741824 1073778376 140733974575984 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 10557544
Child status: 10
Real time (s): 1.85739
CPU time (s): 4.35034
CPU user time (s): 4.21136
CPU system time (s): 0.138978
CPU usage (%): 234.218
Max. virtual memory (cumulated for all children) (KiB): 10557544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.21136
system time used= 0.138978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77029
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= 395
involuntary context switches= 126
runsolver used 0.010998 second user time and 0.031995 second system time
The end