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-3457959-1307163164/watcher-3457959-1307163164 -o /tmp/evaluation-result-3457959-1307163164/solver-3457959-1307163164 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457959-1307163164.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.02 2.05 2.01 2/530 23580
/proc/meminfo: memFree=29025976/32951124 swapFree=58212616/67111528
[pid=23580] ppid=23578 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 19861 0 -1 4202496 1244 0 0 0 0 0 0 0 17 0 2 0 827914317 31268864 963 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/23580/statm: 7634 963 736 9 0 385 0
[pid=23580/tid=23581] ppid=23578 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23581/stat : 23581 (java) R 23578 23580 19861 0 -1 4202560 2614 0 1 0 0 0 0 0 18 0 2 0 827914318 13850947584 3430 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.062801 s]
/proc/loadavg: 2.02 2.05 2.01 2/530 23580
/proc/meminfo: memFree=29025976/32951124 swapFree=58212616/67111528
[pid=23580] ppid=23578 vsize=13549616 CPUtime=0.05 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 19861 0 -1 4202496 13931 0 1 0 3 2 0 0 17 0 13 0 827914317 13874806784 13628 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256151525 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/23580/statm: 3387404 13628 1684 9 0 3378152 0
[pid=23580/tid=23581] ppid=23578 vsize=13549616 CPUtime=0.03 cores=1,3,5,7
/proc/23580/task/23581/stat : 23581 (java) R 23578 23580 19861 0 -1 4202560 12784 0 1 0 2 1 0 0 23 0 13 0 827914318 13874806784 13628 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 47185103662913 0 4 0 16800971 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13549616
[startup+0.103662 s]
/proc/loadavg: 2.02 2.05 2.01 2/530 23580
/proc/meminfo: memFree=29025976/32951124 swapFree=58212616/67111528
[pid=23580] ppid=23578 vsize=13621664 CPUtime=0.11 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 19861 0 -1 4202496 15508 0 1 0 9 2 0 0 17 0 18 0 827914317 13948583936 15205 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23580/statm: 3405416 15205 2093 9 0 3396150 0
[pid=23580/tid=23581] ppid=23578 vsize=13621664 CPUtime=0.09 cores=1,3,5,7
/proc/23580/task/23581/stat : 23581 (java) R 23578 23580 19861 0 -1 4202560 13712 0 1 0 7 2 0 0 18 0 18 0 827914318 13948583936 15206 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 47185103663109 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621664
[startup+0.30076 s]
/proc/loadavg: 2.02 2.05 2.01 2/530 23580
/proc/meminfo: memFree=29025976/32951124 swapFree=58212616/67111528
[pid=23580] ppid=23578 vsize=13624836 CPUtime=0.42 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 19861 0 -1 4202496 18037 0 1 0 39 3 0 0 17 0 18 0 827914317 13951832064 17474 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23580/statm: 3406209 17474 2200 9 0 3396943 0
[pid=23580/tid=23581] ppid=23578 vsize=13624836 CPUtime=0.27 cores=1,3,5,7
/proc/23580/task/23581/stat : 23581 (java) R 23578 23580 19861 0 -1 4202560 15166 0 1 0 25 2 0 0 18 0 18 0 827914318 13951832064 17474 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 46912505217820 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13624836
[startup+0.700726 s]
/proc/loadavg: 2.02 2.05 2.01 2/530 23580
/proc/meminfo: memFree=29025976/32951124 swapFree=58212616/67111528
[pid=23580] ppid=23578 vsize=13625764 CPUtime=1.1 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 19861 0 -1 4202496 19533 0 1 0 107 3 0 0 17 0 19 0 827914317 13952782336 18670 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23580/statm: 3406441 18670 2234 9 0 3397175 0
[pid=23580/tid=23581] ppid=23578 vsize=13625764 CPUtime=0.67 cores=1,3,5,7
/proc/23580/task/23581/stat : 23581 (java) R 23578 23580 19861 0 -1 4202560 15777 0 1 0 65 2 0 0 19 0 19 0 827914318 13952782336 18670 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 46912505628927 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 13625764
[startup+1.50058 s]
/proc/loadavg: 2.26 2.10 2.03 6/572 23629
/proc/meminfo: memFree=28732144/32951124 swapFree=58212616/67111528
[pid=23580] ppid=23578 vsize=13625764 CPUtime=1.96 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 19861 0 -1 4202496 21092 0 1 0 193 3 0 0 17 0 19 0 827914317 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23580/statm: 3406441 20225 2263 9 0 3397175 0
[pid=23580/tid=23581] ppid=23578 vsize=13625764 CPUtime=1.45 cores=1,3,5,7
/proc/23580/task/23581/stat : 23581 (java) R 23578 23580 19861 0 -1 4202560 16045 0 1 0 143 2 0 0 20 0 19 0 827914318 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 46912505702789 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23580/tid=23583] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23583/stat : 23583 (java) S 23578 23580 19861 0 -1 4202560 250 0 0 0 0 0 0 0 17 0 19 0 827914320 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23584] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23584/stat : 23584 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827914320 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23585] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23585/stat : 23585 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827914320 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23586] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23586/stat : 23586 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827914320 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23587] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23587/stat : 23587 (java) S 23578 23580 19861 0 -1 4202560 212 0 0 0 0 0 0 0 17 0 19 0 827914320 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23588] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23588/stat : 23588 (java) S 23578 23580 19861 0 -1 4202560 91 0 0 0 0 0 0 0 18 0 19 0 827914320 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23589] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23589/stat : 23589 (java) S 23578 23580 19861 0 -1 4202560 89 0 0 0 0 0 0 0 17 0 19 0 827914320 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23590] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23590/stat : 23590 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827914321 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23592] ppid=23578 vsize=13625764 CPUtime=0.01 cores=1,3,5,7
/proc/23580/task/23592/stat : 23592 (java) S 23578 23580 19861 0 -1 4202560 639 0 0 0 1 0 0 0 18 0 19 0 827914322 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256165376 0 0 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23580/tid=23593] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23593/stat : 23593 (java) S 23578 23580 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827914322 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23594] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23594/stat : 23594 (java) S 23578 23580 19861 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827914322 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23595] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23595/stat : 23595 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827914324 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256172465 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23596] ppid=23578 vsize=13625764 CPUtime=0.19 cores=1,3,5,7
/proc/23580/task/23596/stat : 23596 (java) S 23578 23580 19861 0 -1 4202560 547 0 0 0 19 0 0 0 20 0 19 0 827914324 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23597] ppid=23578 vsize=13625764 CPUtime=0.27 cores=1,3,5,7
/proc/23580/task/23597/stat : 23597 (java) S 23578 23580 19861 0 -1 4202560 2065 0 0 0 27 0 0 0 16 0 19 0 827914324 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23598] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23598/stat : 23598 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827914324 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23599] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23599/stat : 23599 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827914324 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23628] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23628/stat : 23628 (java) S 23578 23580 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827914349 13952782336 20225 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 13625764
[startup+3.10131 s]
/proc/loadavg: 2.26 2.10 2.03 3/572 23629
/proc/meminfo: memFree=28720128/32951124 swapFree=58212616/67111528
[pid=23580] ppid=23578 vsize=13625764 CPUtime=3.6 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 19861 0 -1 4202496 22081 0 1 0 357 3 0 0 17 0 19 0 827914317 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23580/statm: 3406441 21212 2263 9 0 3397175 0
[pid=23580/tid=23581] ppid=23578 vsize=13625764 CPUtime=3.02 cores=1,3,5,7
/proc/23580/task/23581/stat : 23581 (java) R 23578 23580 19861 0 -1 4202560 16048 0 1 0 300 2 0 0 18 0 19 0 827914318 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 46912505646708 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23580/tid=23583] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23583/stat : 23583 (java) S 23578 23580 19861 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23584] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23584/stat : 23584 (java) S 23578 23580 19861 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23585] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23585/stat : 23585 (java) S 23578 23580 19861 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23586] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23586/stat : 23586 (java) S 23578 23580 19861 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23587] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23587/stat : 23587 (java) S 23578 23580 19861 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23588] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23588/stat : 23588 (java) S 23578 23580 19861 0 -1 4202560 230 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23589] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23589/stat : 23589 (java) S 23578 23580 19861 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23590] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23590/stat : 23590 (java) S 23578 23580 19861 0 -1 4202560 263 0 0 0 0 0 0 0 15 0 19 0 827914321 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23592] ppid=23578 vsize=13625764 CPUtime=0.04 cores=1,3,5,7
/proc/23580/task/23592/stat : 23592 (java) S 23578 23580 19861 0 -1 4202560 1089 0 0 0 4 0 0 0 16 0 19 0 827914322 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256165376 0 0 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23580/tid=23593] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23593/stat : 23593 (java) S 23578 23580 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827914322 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23594] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23594/stat : 23594 (java) S 23578 23580 19861 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827914322 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23595] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23595/stat : 23595 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256172465 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23596] ppid=23578 vsize=13625764 CPUtime=0.21 cores=1,3,5,7
/proc/23580/task/23596/stat : 23596 (java) S 23578 23580 19861 0 -1 4202560 551 0 0 0 21 0 0 0 15 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23597] ppid=23578 vsize=13625764 CPUtime=0.28 cores=1,3,5,7
/proc/23580/task/23597/stat : 23597 (java) S 23578 23580 19861 0 -1 4202560 2068 0 0 0 28 0 0 0 15 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23598] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23598/stat : 23598 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23599] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23599/stat : 23599 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23628] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23628/stat : 23628 (java) S 23578 23580 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827914349 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 13625764
Solver just ended. Dumping a history of the last processes samples
[startup+3.32027 s]
/proc/loadavg: 2.26 2.10 2.03 3/572 23629
/proc/meminfo: memFree=28716368/32951124 swapFree=58212616/67111528
[pid=23580] ppid=23578 vsize=13625764 CPUtime=3.82 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 19861 0 -1 4202496 22081 0 1 0 379 3 0 0 17 0 19 0 827914317 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23580/statm: 3406441 21212 2263 9 0 3397175 0
[pid=23580/tid=23581] ppid=23578 vsize=13625764 CPUtime=3.24 cores=1,3,5,7
/proc/23580/task/23581/stat : 23581 (java) R 23578 23580 19861 0 -1 4202560 16048 0 1 0 322 2 0 0 18 0 19 0 827914318 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 46912505647552 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23580/tid=23583] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23583/stat : 23583 (java) S 23578 23580 19861 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23584] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23584/stat : 23584 (java) S 23578 23580 19861 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23585] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23585/stat : 23585 (java) S 23578 23580 19861 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23586] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23586/stat : 23586 (java) S 23578 23580 19861 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23587] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23587/stat : 23587 (java) S 23578 23580 19861 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23588] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23588/stat : 23588 (java) S 23578 23580 19861 0 -1 4202560 230 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23589] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23589/stat : 23589 (java) S 23578 23580 19861 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23590] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23590/stat : 23590 (java) S 23578 23580 19861 0 -1 4202560 263 0 0 0 0 0 0 0 15 0 19 0 827914321 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23592] ppid=23578 vsize=13625764 CPUtime=0.04 cores=1,3,5,7
/proc/23580/task/23592/stat : 23592 (java) S 23578 23580 19861 0 -1 4202560 1089 0 0 0 4 0 0 0 16 0 19 0 827914322 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256165376 0 0 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23580/tid=23593] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23593/stat : 23593 (java) S 23578 23580 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827914322 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23594] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23594/stat : 23594 (java) S 23578 23580 19861 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827914322 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23595] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23595/stat : 23595 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256172465 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23596] ppid=23578 vsize=13625764 CPUtime=0.21 cores=1,3,5,7
/proc/23580/task/23596/stat : 23596 (java) S 23578 23580 19861 0 -1 4202560 551 0 0 0 21 0 0 0 15 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23597] ppid=23578 vsize=13625764 CPUtime=0.28 cores=1,3,5,7
/proc/23580/task/23597/stat : 23597 (java) S 23578 23580 19861 0 -1 4202560 2068 0 0 0 28 0 0 0 15 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23598] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23598/stat : 23598 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23599] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23599/stat : 23599 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23628] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23628/stat : 23628 (java) S 23578 23580 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827914349 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 13625764
[startup+3.40125 s]
/proc/loadavg: 2.26 2.10 2.03 3/572 23629
/proc/meminfo: memFree=28716368/32951124 swapFree=58212616/67111528
[pid=23580] ppid=23578 vsize=13625764 CPUtime=3.9 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 19861 0 -1 4202496 22081 0 1 0 387 3 0 0 17 0 19 0 827914317 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23580/statm: 3406441 21212 2263 9 0 3397175 0
[pid=23580/tid=23581] ppid=23578 vsize=13625764 CPUtime=3.32 cores=1,3,5,7
/proc/23580/task/23581/stat : 23581 (java) R 23578 23580 19861 0 -1 4202560 16048 0 1 0 330 2 0 0 18 0 19 0 827914318 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 46912505647069 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23580/tid=23583] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23583/stat : 23583 (java) S 23578 23580 19861 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23584] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23584/stat : 23584 (java) S 23578 23580 19861 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23585] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23585/stat : 23585 (java) S 23578 23580 19861 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23586] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23586/stat : 23586 (java) S 23578 23580 19861 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23587] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23587/stat : 23587 (java) S 23578 23580 19861 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23588] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23588/stat : 23588 (java) S 23578 23580 19861 0 -1 4202560 230 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23589] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23589/stat : 23589 (java) S 23578 23580 19861 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 827914320 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23590] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23590/stat : 23590 (java) S 23578 23580 19861 0 -1 4202560 263 0 0 0 0 0 0 0 15 0 19 0 827914321 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23592] ppid=23578 vsize=13625764 CPUtime=0.04 cores=1,3,5,7
/proc/23580/task/23592/stat : 23592 (java) S 23578 23580 19861 0 -1 4202560 1089 0 0 0 4 0 0 0 16 0 19 0 827914322 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256165376 0 0 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23580/tid=23593] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23593/stat : 23593 (java) S 23578 23580 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827914322 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23594] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23594/stat : 23594 (java) S 23578 23580 19861 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827914322 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23595] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23595/stat : 23595 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256172465 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23596] ppid=23578 vsize=13625764 CPUtime=0.21 cores=1,3,5,7
/proc/23580/task/23596/stat : 23596 (java) S 23578 23580 19861 0 -1 4202560 551 0 0 0 21 0 0 0 15 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23597] ppid=23578 vsize=13625764 CPUtime=0.28 cores=1,3,5,7
/proc/23580/task/23597/stat : 23597 (java) S 23578 23580 19861 0 -1 4202560 2068 0 0 0 28 0 0 0 15 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23598] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23598/stat : 23598 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23580/tid=23599] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23599/stat : 23599 (java) S 23578 23580 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827914324 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23580/tid=23628] ppid=23578 vsize=13625764 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23628/stat : 23628 (java) S 23578 23580 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827914349 13952782336 21212 33554432000 1073741824 1073778376 140736085375904 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 13625764
Child status: 10
Real time (s): 3.418
CPU time (s): 3.9244
CPU user time (s): 3.88341
CPU system time (s): 0.040993
CPU usage (%): 114.816
Max. virtual memory (cumulated for all children) (KiB): 13625900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.88341
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22108
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= 409
involuntary context switches= 106
runsolver used 0.018997 second user time and 0.06099 second system time
The end