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-3454752-1307186774/watcher-3454752-1307186774 -o /tmp/evaluation-result-3454752-1307186774/solver-3454752-1307186774 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454752-1307186774.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: 3.89 2.56 2.07 3/509 21160
/proc/meminfo: memFree=20749828/32951124 swapFree=46575304/67111528
[pid=21160] ppid=21158 vsize=28436 CPUtime=0 cores=1,3,5,7
/proc/21160/stat : 21160 (java) S 21158 21160 17058 0 -1 4202496 1190 0 0 0 0 0 0 0 25 0 2 0 562868654 29118464 916 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672464869 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/21160/statm: 7645 916 696 9 0 381 0
[pid=21160/tid=21161] ppid=21158 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21161/stat : 21161 (java) R 21158 21160 17058 0 -1 4202560 4971 0 1 0 0 0 0 0 25 0 2 0 562868655 10694979584 5787 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0406461 s]
/proc/loadavg: 3.89 2.56 2.07 3/509 21160
/proc/meminfo: memFree=20749828/32951124 swapFree=46575304/67111528
[pid=21160] ppid=21158 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/21160/stat : 21160 (java) S 21158 21160 17058 0 -1 4202496 11139 0 1 0 1 1 0 0 25 0 13 0 562868654 10718699520 10835 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/21160/statm: 2616870 10836 1653 9 0 2607618 0
[pid=21160/tid=21161] ppid=21158 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/21160/task/21161/stat : 21161 (java) R 21158 21160 17058 0 -1 4202560 9991 0 1 0 1 1 0 0 25 0 13 0 562868655 10718699520 10836 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 47724165127077 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.100599 s]
/proc/loadavg: 3.89 2.56 2.07 3/509 21160
/proc/meminfo: memFree=20749828/32951124 swapFree=46575304/67111528
[pid=21160] ppid=21158 vsize=10540124 CPUtime=0.1 cores=1,3,5,7
/proc/21160/stat : 21160 (java) S 21158 21160 17058 0 -1 4202496 13069 0 1 0 8 2 0 0 25 0 18 0 562868654 10793086976 12731 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21160/statm: 2635031 12732 2092 9 0 2625765 0
[pid=21160/tid=21161] ppid=21158 vsize=10540124 CPUtime=0.08 cores=1,3,5,7
/proc/21160/task/21161/stat : 21161 (java) R 21158 21160 17058 0 -1 4202560 11116 0 1 0 7 1 0 0 25 0 18 0 562868655 10793086976 12732 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 47724164296611 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540124
[startup+0.300567 s]
/proc/loadavg: 3.89 2.56 2.07 3/509 21160
/proc/meminfo: memFree=20749828/32951124 swapFree=46575304/67111528
[pid=21160] ppid=21158 vsize=10548544 CPUtime=0.65 cores=1,3,5,7
/proc/21160/stat : 21160 (java) S 21158 21160 17058 0 -1 4202496 18583 0 1 0 62 3 0 0 25 0 22 0 562868654 10801709056 16673 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21160/statm: 2637136 16673 2211 9 0 2627870 0
[pid=21160/tid=21161] ppid=21158 vsize=10548544 CPUtime=0.15 cores=1,3,5,7
/proc/21160/task/21161/stat : 21161 (java) S 21158 21160 17058 0 -1 4202560 11777 0 1 0 14 1 0 0 25 0 22 0 562868655 10801709056 16673 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 10548544
[startup+0.700534 s]
/proc/loadavg: 3.89 2.56 2.07 3/509 21160
/proc/meminfo: memFree=20749828/32951124 swapFree=46575304/67111528
[pid=21160] ppid=21158 vsize=10560236 CPUtime=2.22 cores=1,3,5,7
/proc/21160/stat : 21160 (java) S 21158 21160 17058 0 -1 4202496 44228 0 1 0 215 7 0 0 25 0 22 0 562868654 10813681664 39894 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21160/statm: 2640059 39894 2250 9 0 2630793 0
[pid=21160/tid=21161] ppid=21158 vsize=10560236 CPUtime=0.15 cores=1,3,5,7
/proc/21160/task/21161/stat : 21161 (java) S 21158 21160 17058 0 -1 4202560 11777 0 1 0 14 1 0 0 20 0 22 0 562868655 10813681664 39894 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 10560236
[startup+1.50136 s]
/proc/loadavg: 3.89 2.56 2.07 7/531 21182
/proc/meminfo: memFree=20539676/32951124 swapFree=46575304/67111528
[pid=21160] ppid=21158 vsize=10560236 CPUtime=4.33 cores=1,3,5,7
/proc/21160/stat : 21160 (java) S 21158 21160 17058 0 -1 4202496 74768 0 1 0 422 11 0 0 25 0 22 0 562868654 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21160/statm: 2640059 66951 2256 9 0 2630793 0
[pid=21160/tid=21161] ppid=21158 vsize=10560236 CPUtime=0.15 cores=1,3,5,7
/proc/21160/task/21161/stat : 21161 (java) S 21158 21160 17058 0 -1 4202560 11777 0 1 0 14 1 0 0 15 0 22 0 562868655 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 5 0 0 0
[pid=21160/tid=21163] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21163/stat : 21163 (java) S 21158 21160 17058 0 -1 4202560 237 0 0 0 0 0 0 0 16 0 22 0 562868656 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21164] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21164/stat : 21164 (java) S 21158 21160 17058 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 562868656 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21165] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21165/stat : 21165 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562868656 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21166] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21166/stat : 21166 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562868656 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21167] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21167/stat : 21167 (java) S 21158 21160 17058 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 22 0 562868656 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21168] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21168/stat : 21168 (java) S 21158 21160 17058 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 22 0 562868656 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21169] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21169/stat : 21169 (java) S 21158 21160 17058 0 -1 4202560 181 0 0 0 0 0 0 0 16 0 22 0 562868656 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21170] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21170/stat : 21170 (java) S 21158 21160 17058 0 -1 4202560 220 0 0 0 0 0 0 0 15 0 22 0 562868656 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21171] ppid=21158 vsize=10560236 CPUtime=0.04 cores=1,3,5,7
/proc/21160/task/21171/stat : 21171 (java) S 21158 21160 17058 0 -1 4202560 1200 0 0 0 4 0 0 0 16 0 22 0 562868657 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 0 0 16800975 18446604468159831040 0 0 -1 5 0 0 0
[pid=21160/tid=21172] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21172/stat : 21172 (java) S 21158 21160 17058 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 22 0 562868658 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21173] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21173/stat : 21173 (java) S 21158 21160 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 562868658 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21174] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21174/stat : 21174 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562868660 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672485809 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21175] ppid=21158 vsize=10560236 CPUtime=0.79 cores=1,3,5,7
/proc/21160/task/21175/stat : 21175 (java) S 21158 21160 17058 0 -1 4202560 10984 0 0 0 78 1 0 0 15 0 22 0 562868660 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21176] ppid=21158 vsize=10560236 CPUtime=0.78 cores=1,3,5,7
/proc/21160/task/21176/stat : 21176 (java) S 21158 21160 17058 0 -1 4202560 4980 0 0 0 77 1 0 0 24 0 22 0 562868660 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 3 0 0 0
[pid=21160/tid=21177] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21177/stat : 21177 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562868660 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21178] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21178/stat : 21178 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562868660 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 3 0 0 0
[pid=21160/tid=21179] ppid=21158 vsize=10560236 CPUtime=1.25 cores=1,3,5,7
/proc/21160/task/21179/stat : 21179 (java) R 21158 21160 17058 0 -1 4202560 339 0 0 0 125 0 0 0 25 0 22 0 562868672 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 46912505573182 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21160/tid=21180] ppid=21158 vsize=10560236 CPUtime=1.25 cores=1,3,5,7
/proc/21160/task/21180/stat : 21180 (java) R 21158 21160 17058 0 -1 4202560 43353 0 0 0 120 5 0 0 18 0 22 0 562868672 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 46912505722046 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21160/tid=21181] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21181/stat : 21181 (java) S 21158 21160 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562868672 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21182] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21182/stat : 21182 (java) S 21158 21160 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562868672 10813681664 66951 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 10560236
[startup+3.10107 s]
/proc/loadavg: 3.98 2.60 2.09 4/531 21182
/proc/meminfo: memFree=20484128/32951124 swapFree=46575304/67111528
[pid=21160] ppid=21158 vsize=10560236 CPUtime=7.45 cores=1,3,5,7
/proc/21160/stat : 21160 (java) S 21158 21160 17058 0 -1 4202496 76238 0 1 0 734 11 0 0 25 0 22 0 562868654 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21160/statm: 2640059 68416 2257 9 0 2630793 0
[pid=21160/tid=21161] ppid=21158 vsize=10560236 CPUtime=0.15 cores=1,3,5,7
/proc/21160/task/21161/stat : 21161 (java) S 21158 21160 17058 0 -1 4202560 11777 0 1 0 14 1 0 0 15 0 22 0 562868655 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 5 0 0 0
[pid=21160/tid=21163] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21163/stat : 21163 (java) S 21158 21160 17058 0 -1 4202560 269 0 0 0 0 0 0 0 15 0 22 0 562868656 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21164] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21164/stat : 21164 (java) S 21158 21160 17058 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 562868656 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21165] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21165/stat : 21165 (java) S 21158 21160 17058 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 562868656 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21166] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21166/stat : 21166 (java) S 21158 21160 17058 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 562868656 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21167] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21167/stat : 21167 (java) S 21158 21160 17058 0 -1 4202560 163 0 0 0 0 0 0 0 16 0 22 0 562868656 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21168] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21168/stat : 21168 (java) S 21158 21160 17058 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 22 0 562868656 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21169] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21169/stat : 21169 (java) S 21158 21160 17058 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 22 0 562868656 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21170] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21170/stat : 21170 (java) S 21158 21160 17058 0 -1 4202560 230 0 0 0 0 0 0 0 15 0 22 0 562868656 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21171] ppid=21158 vsize=10560236 CPUtime=0.15 cores=1,3,5,7
/proc/21160/task/21171/stat : 21171 (java) S 21158 21160 17058 0 -1 4202560 2372 0 0 0 15 0 0 0 16 0 22 0 562868657 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 0 0 16800975 18446604468159831040 0 0 -1 5 0 0 0
[pid=21160/tid=21172] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21172/stat : 21172 (java) S 21158 21160 17058 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 22 0 562868658 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21173] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21173/stat : 21173 (java) S 21158 21160 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 562868658 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21174] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21174/stat : 21174 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562868660 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672485809 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21175] ppid=21158 vsize=10560236 CPUtime=0.81 cores=1,3,5,7
/proc/21160/task/21175/stat : 21175 (java) S 21158 21160 17058 0 -1 4202560 10991 0 0 0 80 1 0 0 15 0 22 0 562868660 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21176] ppid=21158 vsize=10560236 CPUtime=0.78 cores=1,3,5,7
/proc/21160/task/21176/stat : 21176 (java) S 21158 21160 17058 0 -1 4202560 4980 0 0 0 77 1 0 0 15 0 22 0 562868660 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 3 0 0 0
[pid=21160/tid=21177] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21177/stat : 21177 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562868660 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21178] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21178/stat : 21178 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562868660 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 3 0 0 0
[pid=21160/tid=21179] ppid=21158 vsize=10560236 CPUtime=2.73 cores=1,3,5,7
/proc/21160/task/21179/stat : 21179 (java) R 21158 21160 17058 0 -1 4202560 344 0 0 0 273 0 0 0 18 0 22 0 562868672 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 46912505329457 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21160/tid=21180] ppid=21158 vsize=10560236 CPUtime=2.73 cores=1,3,5,7
/proc/21160/task/21180/stat : 21180 (java) R 21158 21160 17058 0 -1 4202560 43353 0 0 0 268 5 0 0 19 0 22 0 562868672 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 46912505722001 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21160/tid=21181] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21181/stat : 21181 (java) S 21158 21160 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562868672 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21182] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21182/stat : 21182 (java) S 21158 21160 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562868672 10813681664 68416 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 10560236
Solver just ended. Dumping a history of the last processes samples
[startup+3.50104 s]
/proc/loadavg: 3.98 2.60 2.09 5/531 21182
/proc/meminfo: memFree=20480904/32951124 swapFree=46575304/67111528
[pid=21160] ppid=21158 vsize=10560236 CPUtime=7.7 cores=1,3,5,7
/proc/21160/stat : 21160 (java) S 21158 21160 17058 0 -1 4202496 76239 0 1 0 759 11 0 0 25 0 19 0 562868654 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21160/statm: 2640059 68417 2258 9 0 2630793 0
[pid=21160/tid=21161] ppid=21158 vsize=10560236 CPUtime=0.15 cores=1,3,5,7
/proc/21160/task/21161/stat : 21161 (java) S 21158 21160 17058 0 -1 4202560 11777 0 1 0 14 1 0 0 15 0 19 0 562868655 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 5 0 0 0
[pid=21160/tid=21163] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21163/stat : 21163 (java) S 21158 21160 17058 0 -1 4202560 269 0 0 0 0 0 0 0 15 0 19 0 562868656 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21164] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21164/stat : 21164 (java) S 21158 21160 17058 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 562868656 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21165] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21165/stat : 21165 (java) S 21158 21160 17058 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 562868656 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21166] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21166/stat : 21166 (java) S 21158 21160 17058 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 562868656 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21167] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21167/stat : 21167 (java) S 21158 21160 17058 0 -1 4202560 163 0 0 0 0 0 0 0 16 0 19 0 562868656 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21168] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21168/stat : 21168 (java) S 21158 21160 17058 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 19 0 562868656 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21169] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21169/stat : 21169 (java) S 21158 21160 17058 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 562868656 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21170] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21170/stat : 21170 (java) S 21158 21160 17058 0 -1 4202560 230 0 0 0 0 0 0 0 15 0 19 0 562868656 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21171] ppid=21158 vsize=10560236 CPUtime=0.15 cores=1,3,5,7
/proc/21160/task/21171/stat : 21171 (java) S 21158 21160 17058 0 -1 4202560 2372 0 0 0 15 0 0 0 16 0 19 0 562868657 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 0 0 16800975 18446604468159831040 0 0 -1 5 0 0 0
[pid=21160/tid=21172] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21172/stat : 21172 (java) S 21158 21160 17058 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 562868658 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21173] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21173/stat : 21173 (java) S 21158 21160 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 562868658 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21174] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21174/stat : 21174 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 562868660 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672485809 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21175] ppid=21158 vsize=10560236 CPUtime=0.81 cores=1,3,5,7
/proc/21160/task/21175/stat : 21175 (java) S 21158 21160 17058 0 -1 4202560 10991 0 0 0 80 1 0 0 15 0 19 0 562868660 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21176] ppid=21158 vsize=10560236 CPUtime=0.78 cores=1,3,5,7
/proc/21160/task/21176/stat : 21176 (java) S 21158 21160 17058 0 -1 4202560 4980 0 0 0 77 1 0 0 15 0 19 0 562868660 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 3 0 0 0
[pid=21160/tid=21177] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21177/stat : 21177 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 562868660 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21178] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21178/stat : 21178 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 562868660 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 3 0 0 0
[pid=21160/tid=21181] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21181/stat : 21181 (java) S 21158 21160 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 562868672 10813681664 68417 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 10560236
[startup+3.701 s]
/proc/loadavg: 3.98 2.60 2.09 5/531 21182
/proc/meminfo: memFree=20480904/32951124 swapFree=46575304/67111528
[pid=21160] ppid=21158 vsize=10560236 CPUtime=7.7 cores=1,3,5,7
/proc/21160/stat : 21160 (java) S 21158 21160 17058 0 -1 4202496 76242 0 1 0 759 11 0 0 25 0 20 0 562868654 10813681664 68420 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21160/statm: 2640059 68420 2258 9 0 2630793 0
[pid=21160/tid=21161] ppid=21158 vsize=10560236 CPUtime=0.15 cores=1,3,5,7
/proc/21160/task/21161/stat : 21161 (java) S 21158 21160 17058 0 -1 4202560 11780 0 1 0 14 1 0 0 16 0 20 0 562868655 10813681664 68420 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 5 0 0 0
[pid=21160/tid=21163] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21163/stat : 21163 (java) S 21158 21160 17058 0 -1 4202560 269 0 0 0 0 0 0 0 15 0 20 0 562868656 10813681664 68420 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21164] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21164/stat : 21164 (java) S 21158 21160 17058 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 20 0 562868656 10813681664 68420 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21165] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21165/stat : 21165 (java) S 21158 21160 17058 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 20 0 562868656 10813681664 68420 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21166] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21166/stat : 21166 (java) S 21158 21160 17058 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 20 0 562868656 10813681664 68420 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21167] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21167/stat : 21167 (java) S 21158 21160 17058 0 -1 4202560 163 0 0 0 0 0 0 0 16 0 20 0 562868656 10813681664 68420 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21168] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21168/stat : 21168 (java) S 21158 21160 17058 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 20 0 562868656 10813681664 68420 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21169] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21169/stat : 21169 (java) S 21158 21160 17058 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 20 0 562868656 10813681664 68420 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21170] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21170/stat : 21170 (java) S 21158 21160 17058 0 -1 4202560 230 0 0 0 0 0 0 0 15 0 20 0 562868656 10813681664 68420 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 7 0 0 0
[pid=21160/tid=21171] ppid=21158 vsize=10560236 CPUtime=0.15 cores=1,3,5,7
/proc/21160/task/21171/stat : 21171 (java) S 21158 21160 17058 0 -1 4202560 2372 0 0 0 15 0 0 0 16 0 20 0 562868657 10813681664 68420 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 0 0 16800975 18446604468159831040 0 0 -1 5 0 0 0
[pid=21160/tid=21172] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21172/stat : 21172 (java) S 21158 21160 17058 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 20 0 562868658 10813681664 68421 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21173] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21173/stat : 21173 (java) S 21158 21160 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 562868658 10813681664 68421 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21174] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21174/stat : 21174 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 562868660 10813681664 68421 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672485809 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21175] ppid=21158 vsize=10560236 CPUtime=0.81 cores=1,3,5,7
/proc/21160/task/21175/stat : 21175 (java) S 21158 21160 17058 0 -1 4202560 10991 0 0 0 80 1 0 0 15 0 20 0 562868660 10813681664 68421 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21176] ppid=21158 vsize=10560236 CPUtime=0.78 cores=1,3,5,7
/proc/21160/task/21176/stat : 21176 (java) S 21158 21160 17058 0 -1 4202560 4980 0 0 0 77 1 0 0 15 0 20 0 562868660 10813681664 68421 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 3 0 0 0
[pid=21160/tid=21177] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21177/stat : 21177 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 562868660 10813681664 68421 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478105 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
[pid=21160/tid=21178] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21178/stat : 21178 (java) S 21158 21160 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 562868660 10813681664 68421 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 3 0 0 0
[pid=21160/tid=21181] ppid=21158 vsize=10560236 CPUtime=0 cores=1,3,5,7
/proc/21160/task/21181/stat : 21181 (java) S 21158 21160 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 562868672 10813681664 68421 33554432000 1073741824 1073778376 140733521840480 18446744073709551615 268672478720 0 4 0 16800975 18446604468159831040 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 10560236
Child status: 10
Real time (s): 3.72114
CPU time (s): 7.73682
CPU user time (s): 7.60984
CPU system time (s): 0.12698
CPU usage (%): 207.915
Max. virtual memory (cumulated for all children) (KiB): 10560236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.60984
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76252
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= 661
involuntary context switches= 221
runsolver used 0.022996 second user time and 0.053991 second system time
The end