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-3455278-1307192064/watcher-3455278-1307192064 -o /tmp/evaluation-result-3455278-1307192064/solver-3455278-1307192064 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455278-1307192064.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.10 3.18 3.55 3/504 13280
/proc/meminfo: memFree=30316460/32951124 swapFree=51712236/67111528
[pid=13280] ppid=13278 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13280/stat : 13280 (java) S 13278 13280 9506 0 -1 4202496 3279 0 1 0 0 0 0 0 18 0 2 0 830809043 10694979584 2982 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13280/statm: 2611079 2997 917 9 0 2602235 0
[pid=13280/tid=13282] ppid=13278 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13282/stat : 13282 (java) R 13278 13280 9506 0 -1 4202560 7676 0 1 0 0 0 0 0 18 0 2 0 830809044 10694979584 8492 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.102648 s]
/proc/loadavg: 2.10 3.18 3.55 3/504 13280
/proc/meminfo: memFree=30316460/32951124 swapFree=51712236/67111528
[pid=13280] ppid=13278 vsize=10540012 CPUtime=0.1 cores=1,3,5,7
/proc/13280/stat : 13280 (java) S 13278 13280 9506 0 -1 4202496 13126 0 1 0 9 1 0 0 18 0 18 0 830809043 10792972288 12787 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13280/statm: 2635003 12787 2092 9 0 2625737 0
[pid=13280/tid=13282] ppid=13278 vsize=10540012 CPUtime=0.09 cores=1,3,5,7
/proc/13280/task/13282/stat : 13282 (java) R 13278 13280 9506 0 -1 4202560 11179 0 1 0 8 1 0 0 18 0 18 0 830809044 10792972288 12787 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 47324939945496 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540012
[startup+0.20061 s]
/proc/loadavg: 2.10 3.18 3.55 3/504 13280
/proc/meminfo: memFree=30316460/32951124 swapFree=51712236/67111528
[pid=13280] ppid=13278 vsize=10542812 CPUtime=0.3 cores=1,3,5,7
/proc/13280/stat : 13280 (java) S 13278 13280 9506 0 -1 4202496 15934 0 1 0 29 1 0 0 18 0 18 0 830809043 10795839488 15018 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13280/statm: 2635703 15019 2186 9 0 2626437 0
[pid=13280/tid=13282] ppid=13278 vsize=10542812 CPUtime=0.18 cores=1,3,5,7
/proc/13280/task/13282/stat : 13282 (java) R 13278 13280 9506 0 -1 4202560 11819 0 1 0 17 1 0 0 18 0 18 0 830809044 10795839488 15019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10542812
[startup+0.300606 s]
/proc/loadavg: 2.10 3.18 3.55 3/504 13280
/proc/meminfo: memFree=30316460/32951124 swapFree=51712236/67111528
[pid=13280] ppid=13278 vsize=10547420 CPUtime=0.58 cores=1,3,5,7
/proc/13280/stat : 13280 (java) S 13278 13280 9506 0 -1 4202496 17917 0 1 0 56 2 0 0 18 0 19 0 830809043 10800558080 16797 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13280/statm: 2636855 16797 2213 9 0 2627589 0
[pid=13280/tid=13282] ppid=13278 vsize=10547420 CPUtime=0.26 cores=1,3,5,7
/proc/13280/task/13282/stat : 13282 (java) S 13278 13280 9506 0 -1 4202560 13182 0 1 0 25 1 0 0 19 0 19 0 830809044 10800558080 16797 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10547420
[startup+0.700536 s]
/proc/loadavg: 2.10 3.18 3.55 3/504 13280
/proc/meminfo: memFree=30316460/32951124 swapFree=51712236/67111528
[pid=13280] ppid=13278 vsize=10547420 CPUtime=0.58 cores=1,3,5,7
/proc/13280/stat : 13280 (java) S 13278 13280 9506 0 -1 4202496 17917 0 1 0 56 2 0 0 18 0 19 0 830809043 10800558080 16797 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13280/statm: 2636855 16797 2213 9 0 2627589 0
[pid=13280/tid=13282] ppid=13278 vsize=10547420 CPUtime=0.26 cores=1,3,5,7
/proc/13280/task/13282/stat : 13282 (java) S 13278 13280 9506 0 -1 4202560 13182 0 1 0 25 1 0 0 19 0 19 0 830809044 10800558080 16797 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10547420
[startup+1.5014 s]
/proc/loadavg: 2.10 3.18 3.55 2/542 13337
/proc/meminfo: memFree=30201236/32951124 swapFree=51712236/67111528
[pid=13280] ppid=13278 vsize=10546944 CPUtime=1.2 cores=1,3,5,7
/proc/13280/stat : 13280 (java) S 13278 13280 9506 0 -1 4202496 20820 0 1 0 118 2 0 0 18 0 19 0 830809043 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13280/statm: 2636736 19444 2225 9 0 2627470 0
[pid=13280/tid=13282] ppid=13278 vsize=10546944 CPUtime=0.27 cores=1,3,5,7
/proc/13280/task/13282/stat : 13282 (java) S 13278 13280 9506 0 -1 4202560 13271 0 1 0 26 1 0 0 16 0 19 0 830809044 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
[pid=13280/tid=13293] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13293/stat : 13293 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13294] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13294/stat : 13294 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13295] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13295/stat : 13295 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13296] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13296/stat : 13296 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13297] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13297/stat : 13297 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13298] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13298/stat : 13298 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13299] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13299/stat : 13299 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13300] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13300/stat : 13300 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13302] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13302/stat : 13302 (java) S 13278 13280 9506 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830809046 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=13280/tid=13305] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13305/stat : 13305 (java) S 13278 13280 9506 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 830809047 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13306] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13306/stat : 13306 (java) S 13278 13280 9506 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 830809047 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13308] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13308/stat : 13308 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830809049 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13310] ppid=13278 vsize=10546944 CPUtime=0.3 cores=1,3,5,7
/proc/13280/task/13310/stat : 13310 (java) S 13278 13280 9506 0 -1 4202560 1479 0 0 0 30 0 0 0 18 0 19 0 830809049 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13311] ppid=13278 vsize=10546944 CPUtime=0.28 cores=1,3,5,7
/proc/13280/task/13311/stat : 13311 (java) S 13278 13280 9506 0 -1 4202560 2391 0 0 0 28 0 0 0 16 0 19 0 830809049 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13314] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13314/stat : 13314 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830809049 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13317] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13317/stat : 13317 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830809049 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10546944
Solver just ended. Dumping a history of the last processes samples
[startup+1.60138 s]
/proc/loadavg: 2.10 3.18 3.55 2/542 13337
/proc/meminfo: memFree=30201236/32951124 swapFree=51712236/67111528
[pid=13280] ppid=13278 vsize=10546944 CPUtime=1.2 cores=1,3,5,7
/proc/13280/stat : 13280 (java) S 13278 13280 9506 0 -1 4202496 20820 0 1 0 118 2 0 0 18 0 19 0 830809043 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13280/statm: 2636736 19444 2225 9 0 2627470 0
[pid=13280/tid=13282] ppid=13278 vsize=10546944 CPUtime=0.27 cores=1,3,5,7
/proc/13280/task/13282/stat : 13282 (java) S 13278 13280 9506 0 -1 4202560 13271 0 1 0 26 1 0 0 16 0 19 0 830809044 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
[pid=13280/tid=13293] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13293/stat : 13293 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13294] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13294/stat : 13294 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13295] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13295/stat : 13295 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13296] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13296/stat : 13296 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13297] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13297/stat : 13297 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13298] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13298/stat : 13298 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13299] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13299/stat : 13299 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13300] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13300/stat : 13300 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830809045 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13302] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13302/stat : 13302 (java) S 13278 13280 9506 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830809046 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=13280/tid=13305] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13305/stat : 13305 (java) S 13278 13280 9506 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 830809047 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13306] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13306/stat : 13306 (java) S 13278 13280 9506 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 830809047 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13308] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13308/stat : 13308 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830809049 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13310] ppid=13278 vsize=10546944 CPUtime=0.3 cores=1,3,5,7
/proc/13280/task/13310/stat : 13310 (java) S 13278 13280 9506 0 -1 4202560 1479 0 0 0 30 0 0 0 18 0 19 0 830809049 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13311] ppid=13278 vsize=10546944 CPUtime=0.28 cores=1,3,5,7
/proc/13280/task/13311/stat : 13311 (java) S 13278 13280 9506 0 -1 4202560 2391 0 0 0 28 0 0 0 16 0 19 0 830809049 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13314] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13314/stat : 13314 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830809049 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13317] ppid=13278 vsize=10546944 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13317/stat : 13317 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830809049 10800070656 19444 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10546944
[startup+2.00127 s]
/proc/loadavg: 2.10 3.18 3.55 2/542 13337
/proc/meminfo: memFree=30201236/32951124 swapFree=51712236/67111528
[pid=13280] ppid=13278 vsize=10574068 CPUtime=1.76 cores=1,3,5,7
/proc/13280/stat : 13280 (java) S 13278 13280 9506 0 -1 4202496 35994 0 1 0 172 4 0 0 18 0 19 0 830809043 10827845632 31015 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13280/statm: 2643517 31016 2229 9 0 2634251 0
[pid=13280/tid=13282] ppid=13278 vsize=10574068 CPUtime=0.27 cores=1,3,5,7
/proc/13280/task/13282/stat : 13282 (java) S 13278 13280 9506 0 -1 4202560 13304 0 1 0 26 1 0 0 16 0 19 0 830809044 10827845632 31017 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
[pid=13280/tid=13293] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13293/stat : 13293 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830809045 10827845632 31018 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13294] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13294/stat : 13294 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13295] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13295/stat : 13295 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13296] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13296/stat : 13296 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13297] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13297/stat : 13297 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13298] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13298/stat : 13298 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13299] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13299/stat : 13299 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13300] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13300/stat : 13300 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830809045 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13302] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13302/stat : 13302 (java) S 13278 13280 9506 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830809046 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=13280/tid=13305] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13305/stat : 13305 (java) S 13278 13280 9506 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 830809047 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13306] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13306/stat : 13306 (java) S 13278 13280 9506 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 830809047 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13308] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13308/stat : 13308 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830809049 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13310] ppid=13278 vsize=10574068 CPUtime=0.49 cores=1,3,5,7
/proc/13280/task/13310/stat : 13310 (java) R 13278 13280 9506 0 -1 4202560 9867 0 0 0 49 0 0 0 16 0 19 0 830809049 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216634209241 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13280/tid=13311] ppid=13278 vsize=10574068 CPUtime=0.47 cores=1,3,5,7
/proc/13280/task/13311/stat : 13311 (java) R 13278 13280 9506 0 -1 4202560 7384 0 0 0 46 1 0 0 16 0 19 0 830809049 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 47324937733564 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13280/tid=13314] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13314/stat : 13314 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830809049 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13317] ppid=13278 vsize=10574068 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13317/stat : 13317 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830809049 10827845632 31019 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 10574068
[startup+2.20127 s]
/proc/loadavg: 2.10 3.18 3.55 7/545 13352
/proc/meminfo: memFree=30077208/32951124 swapFree=51712236/67111528
[pid=13280] ppid=13278 vsize=10583436 CPUtime=2.13 cores=1,3,5,7
/proc/13280/stat : 13280 (java) S 13278 13280 9506 0 -1 4202496 40642 0 1 0 208 5 0 0 18 0 19 0 830809043 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13280/statm: 2645859 33853 2231 9 0 2636593 0
[pid=13280/tid=13282] ppid=13278 vsize=10583436 CPUtime=0.27 cores=1,3,5,7
/proc/13280/task/13282/stat : 13282 (java) S 13278 13280 9506 0 -1 4202560 13304 0 1 0 26 1 0 0 16 0 19 0 830809044 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
[pid=13280/tid=13293] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13293/stat : 13293 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830809045 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13294] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13294/stat : 13294 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13295] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13295/stat : 13295 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13296] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13296/stat : 13296 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13297] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13297/stat : 13297 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13298] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13298/stat : 13298 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13299] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13299/stat : 13299 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830809045 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13300] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13300/stat : 13300 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830809045 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13302] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13302/stat : 13302 (java) S 13278 13280 9506 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830809046 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 0 0 16800975 18446604469923734656 0 0 -1 5 0 0 0
[pid=13280/tid=13305] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13305/stat : 13305 (java) S 13278 13280 9506 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 830809047 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13306] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13306/stat : 13306 (java) S 13278 13280 9506 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 830809047 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13308] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13308/stat : 13308 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830809049 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646338993 0 4 0 16800975 18446604469923734656 0 0 -1 3 0 0 0
[pid=13280/tid=13310] ppid=13278 vsize=10583436 CPUtime=0.71 cores=1,3,5,7
/proc/13280/task/13310/stat : 13310 (java) R 13278 13280 9506 0 -1 4202560 14126 0 0 0 70 1 0 0 16 0 19 0 830809049 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 47324937704557 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13280/tid=13311] ppid=13278 vsize=10583436 CPUtime=0.63 cores=1,3,5,7
/proc/13280/task/13311/stat : 13311 (java) S 13278 13280 9506 0 -1 4202560 7769 0 0 0 62 1 0 0 16 0 19 0 830809049 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13314] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13314/stat : 13314 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830809049 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331289 0 4 0 16800975 18446604469923734656 0 0 -1 7 0 0 0
[pid=13280/tid=13317] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13317/stat : 13317 (java) S 13278 13280 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830809049 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
[pid=13280/tid=13344] ppid=13278 vsize=10583436 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13344/stat : 13344 (java) S 13278 13280 9506 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 830809174 10837438464 33853 33554432000 1073741824 1073778376 140736746689728 18446744073709551615 216646331904 0 4 0 16800975 18446604469923734656 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 10583436
[startup+2.32023 s]
/proc/loadavg: 2.10 3.18 3.55 7/545 13352
/proc/meminfo: memFree=30077208/32951124 swapFree=51712236/67111528
[pid=13280] ppid=13278 vsize=0 CPUtime=2.18 cores=1,3,5,7
/proc/13280/stat : 13280 (java) Z 13278 13280 9506 0 -1 4203548 40690 0 1 0 213 5 0 0 18 0 2 0 830809043 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13280/statm: 0 0 0 0 0 0 0
[pid=13280/tid=13300] ppid=13278 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/13280/task/13300/stat : 13300 (java) R 13278 13280 9506 0 -1 4203588 1 0 0 0 0 0 0 0 18 0 2 0 830809045 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 2.32471
CPU time (s): 2.18967
CPU user time (s): 2.13068
CPU system time (s): 0.058991
CPU usage (%): 94.191
Max. virtual memory (cumulated for all children) (KiB): 10583436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.13068
system time used= 0.058991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40690
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= 362
involuntary context switches= 69
runsolver used 0.014997 second user time and 0.042993 second system time
The end