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-3454726-1307186730/watcher-3454726-1307186730 -o /tmp/evaluation-result-3454726-1307186730/solver-3454726-1307186730 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454726-1307186730.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.35 1.71 2/399 10260
/proc/meminfo: memFree=30060432/32950904 swapFree=56615552/67111528
[pid=10260] ppid=10256 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/10260/stat : 10260 (java) S 10256 10260 8078 0 -1 4202496 1245 0 0 0 0 0 0 0 18 0 2 0 830272760 31268864 963 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10260/statm: 7634 963 736 9 0 385 0
[pid=10260/tid=10262] ppid=10256 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10262/stat : 10262 (java) R 10256 10260 8078 0 -1 4202560 2330 0 1 0 0 0 0 0 19 0 2 0 830272761 10694979584 3146 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0261351 s]
/proc/loadavg: 1.00 1.35 1.71 2/399 10260
/proc/meminfo: memFree=30060432/32950904 swapFree=56615552/67111528
[pid=10260] ppid=10256 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/10260/stat : 10260 (java) S 10256 10260 8078 0 -1 4202496 9950 0 1 0 0 1 0 0 18 0 10 0 830272760 10703900672 9651 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10260/statm: 2613257 9652 952 9 0 2604413 0
[pid=10260/tid=10262] ppid=10256 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10262/stat : 10262 (java) R 10256 10260 8078 0 -1 4202560 8828 0 1 0 0 0 0 0 21 0 10 0 830272761 10703900672 9653 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 47894969111720 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.101122 s]
/proc/loadavg: 1.00 1.35 1.71 2/399 10260
/proc/meminfo: memFree=30060432/32950904 swapFree=56615552/67111528
[pid=10260] ppid=10256 vsize=10539752 CPUtime=0.1 cores=1,3,5,7
/proc/10260/stat : 10260 (java) S 10256 10260 8078 0 -1 4202496 12989 0 1 0 9 1 0 0 18 0 18 0 830272760 10792706048 12685 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10260/statm: 2634938 12686 2093 9 0 2625672 0
[pid=10260/tid=10262] ppid=10256 vsize=10539752 CPUtime=0.08 cores=1,3,5,7
/proc/10260/task/10262/stat : 10262 (java) R 10256 10260 8078 0 -1 4202560 11089 0 1 0 7 1 0 0 25 0 18 0 830272761 10792706048 12687 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 47894974581587 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539752
[startup+0.301089 s]
/proc/loadavg: 1.00 1.35 1.71 2/399 10260
/proc/meminfo: memFree=30060432/32950904 swapFree=56615552/67111528
[pid=10260] ppid=10256 vsize=10548316 CPUtime=0.68 cores=1,3,5,7
/proc/10260/stat : 10260 (java) S 10256 10260 8078 0 -1 4202496 17259 0 1 0 66 2 0 0 18 0 22 0 830272760 10801475584 15889 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10260/statm: 2637079 15889 2213 9 0 2627813 0
[pid=10260/tid=10262] ppid=10256 vsize=10548316 CPUtime=0.15 cores=1,3,5,7
/proc/10260/task/10262/stat : 10262 (java) S 10256 10260 8078 0 -1 4202560 11742 0 1 0 14 1 0 0 25 0 22 0 830272761 10801475584 15889 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10548316
[startup+0.701018 s]
/proc/loadavg: 1.00 1.35 1.71 2/399 10260
/proc/meminfo: memFree=30060432/32950904 swapFree=56615552/67111528
[pid=10260] ppid=10256 vsize=10556488 CPUtime=2.22 cores=1,3,5,7
/proc/10260/stat : 10260 (java) S 10256 10260 8078 0 -1 4202496 49897 0 1 0 216 6 0 0 18 0 22 0 830272760 10809843712 44962 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10260/statm: 2639122 44962 2252 9 0 2629856 0
[pid=10260/tid=10262] ppid=10256 vsize=10556488 CPUtime=0.15 cores=1,3,5,7
/proc/10260/task/10262/stat : 10262 (java) S 10256 10260 8078 0 -1 4202560 11742 0 1 0 14 1 0 0 20 0 22 0 830272761 10809843712 44962 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 10556488
[startup+1.50088 s]
/proc/loadavg: 1.00 1.35 1.71 6/443 10304
/proc/meminfo: memFree=29645440/32950904 swapFree=56615552/67111528
[pid=10260] ppid=10256 vsize=10556488 CPUtime=4.27 cores=1,3,5,7
/proc/10260/stat : 10260 (java) S 10256 10260 8078 0 -1 4202496 65745 0 1 0 419 8 0 0 18 0 22 0 830272760 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10260/statm: 2639122 58137 2258 9 0 2629856 0
[pid=10260/tid=10262] ppid=10256 vsize=10556488 CPUtime=0.15 cores=1,3,5,7
/proc/10260/task/10262/stat : 10262 (java) S 10256 10260 8078 0 -1 4202560 11742 0 1 0 14 1 0 0 15 0 22 0 830272761 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10265] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10265/stat : 10265 (java) S 10256 10260 8078 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 22 0 830272763 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10266] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10266/stat : 10266 (java) S 10256 10260 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830272763 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10267] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10267/stat : 10267 (java) S 10256 10260 8078 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 22 0 830272763 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
[pid=10260/tid=10268] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10268/stat : 10268 (java) S 10256 10260 8078 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 22 0 830272763 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10269] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10269/stat : 10269 (java) S 10256 10260 8078 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 22 0 830272763 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10270] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10270/stat : 10270 (java) S 10256 10260 8078 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 830272763 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10271] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10271/stat : 10271 (java) S 10256 10260 8078 0 -1 4202560 97 0 0 0 0 0 0 0 16 0 22 0 830272763 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10272] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10272/stat : 10272 (java) S 10256 10260 8078 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 22 0 830272763 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
[pid=10260/tid=10282] ppid=10256 vsize=10556488 CPUtime=0.06 cores=1,3,5,7
/proc/10260/task/10282/stat : 10282 (java) S 10256 10260 8078 0 -1 4202560 1515 0 0 0 6 0 0 0 16 0 22 0 830272764 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 0 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10283] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10283/stat : 10283 (java) S 10256 10260 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830272764 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10285] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10285/stat : 10285 (java) S 10256 10260 8078 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 830272764 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10289] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10289/stat : 10289 (java) S 10256 10260 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830272766 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290703281 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10290] ppid=10256 vsize=10556488 CPUtime=0.76 cores=1,3,5,7
/proc/10260/task/10290/stat : 10290 (java) S 10256 10260 8078 0 -1 4202560 3486 0 0 0 76 0 0 0 21 0 22 0 830272766 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 5 0 0 0
[pid=10260/tid=10293] ppid=10256 vsize=10556488 CPUtime=0.77 cores=1,3,5,7
/proc/10260/task/10293/stat : 10293 (java) S 10256 10260 8078 0 -1 4202560 10420 0 0 0 77 0 0 0 21 0 22 0 830272766 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10294] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10294/stat : 10294 (java) S 10256 10260 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830272766 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10296] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10296/stat : 10296 (java) S 10256 10260 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830272766 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 5 0 0 0
[pid=10260/tid=10297] ppid=10256 vsize=10556488 CPUtime=1.23 cores=1,3,5,7
/proc/10260/task/10297/stat : 10297 (java) R 10256 10260 8078 0 -1 4202560 389 0 0 0 123 0 0 0 25 0 22 0 830272778 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 46912505722456 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10260/tid=10298] ppid=10256 vsize=10556488 CPUtime=1.22 cores=1,3,5,7
/proc/10260/task/10298/stat : 10298 (java) R 10256 10260 8078 0 -1 4202560 35763 0 0 0 118 4 0 0 18 0 22 0 830272778 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 46912505683165 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10260/tid=10299] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10299/stat : 10299 (java) S 10256 10260 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830272778 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
[pid=10260/tid=10300] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10300/stat : 10300 (java) S 10256 10260 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830272778 10809843712 58137 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 10556488
[startup+3.10162 s]
/proc/loadavg: 1.00 1.35 1.71 7/443 10304
/proc/meminfo: memFree=29602312/32950904 swapFree=56615552/67111528
[pid=10260] ppid=10256 vsize=10556488 CPUtime=7.38 cores=1,3,5,7
/proc/10260/stat : 10260 (java) S 10256 10260 8078 0 -1 4202496 75797 0 1 0 728 10 0 0 18 0 22 0 830272760 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10260/statm: 2639122 68185 2258 9 0 2629856 0
[pid=10260/tid=10262] ppid=10256 vsize=10556488 CPUtime=0.15 cores=1,3,5,7
/proc/10260/task/10262/stat : 10262 (java) S 10256 10260 8078 0 -1 4202560 11742 0 1 0 14 1 0 0 15 0 22 0 830272761 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10265] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10265/stat : 10265 (java) S 10256 10260 8078 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 22 0 830272763 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10266] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10266/stat : 10266 (java) S 10256 10260 8078 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 830272763 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10267] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10267/stat : 10267 (java) S 10256 10260 8078 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 22 0 830272763 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10268] ppid=10256 vsize=10556488 CPUtime=0.01 cores=1,3,5,7
/proc/10260/task/10268/stat : 10268 (java) S 10256 10260 8078 0 -1 4202560 269 0 0 0 1 0 0 0 16 0 22 0 830272763 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10269] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10269/stat : 10269 (java) S 10256 10260 8078 0 -1 4202560 153 0 0 0 0 0 0 0 16 0 22 0 830272763 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10270] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10270/stat : 10270 (java) S 10256 10260 8078 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 22 0 830272763 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10271] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10271/stat : 10271 (java) S 10256 10260 8078 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 22 0 830272763 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
[pid=10260/tid=10272] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10272/stat : 10272 (java) S 10256 10260 8078 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 22 0 830272763 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10282] ppid=10256 vsize=10556488 CPUtime=0.17 cores=1,3,5,7
/proc/10260/task/10282/stat : 10282 (java) S 10256 10260 8078 0 -1 4202560 3083 0 0 0 17 0 0 0 15 0 22 0 830272764 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 0 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
[pid=10260/tid=10283] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10283/stat : 10283 (java) S 10256 10260 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830272764 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10285] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10285/stat : 10285 (java) S 10256 10260 8078 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 830272764 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10289] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10289/stat : 10289 (java) S 10256 10260 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830272766 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290703281 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10290] ppid=10256 vsize=10556488 CPUtime=0.77 cores=1,3,5,7
/proc/10260/task/10290/stat : 10290 (java) S 10256 10260 8078 0 -1 4202560 3486 0 0 0 77 0 0 0 15 0 22 0 830272766 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 5 0 0 0
[pid=10260/tid=10293] ppid=10256 vsize=10556488 CPUtime=0.77 cores=1,3,5,7
/proc/10260/task/10293/stat : 10293 (java) S 10256 10260 8078 0 -1 4202560 10420 0 0 0 77 0 0 0 21 0 22 0 830272766 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10294] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10294/stat : 10294 (java) S 10256 10260 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830272766 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10296] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10296/stat : 10296 (java) S 10256 10260 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830272766 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 5 0 0 0
[pid=10260/tid=10297] ppid=10256 vsize=10556488 CPUtime=2.71 cores=1,3,5,7
/proc/10260/task/10297/stat : 10297 (java) R 10256 10260 8078 0 -1 4202560 393 0 0 0 271 0 0 0 25 0 22 0 830272778 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 46912505582906 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10260/tid=10298] ppid=10256 vsize=10556488 CPUtime=2.71 cores=1,3,5,7
/proc/10260/task/10298/stat : 10298 (java) R 10256 10260 8078 0 -1 4202560 44186 0 0 0 265 6 0 0 19 0 22 0 830272778 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 46912505732430 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10260/tid=10299] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10299/stat : 10299 (java) S 10256 10260 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830272778 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
[pid=10260/tid=10300] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10300/stat : 10300 (java) S 10256 10260 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830272778 10809843712 68185 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (KiB) 10556488
Solver just ended. Dumping a history of the last processes samples
[startup+3.50152 s]
/proc/loadavg: 1.24 1.40 1.72 6/443 10304
/proc/meminfo: memFree=29467028/32950904 swapFree=56615552/67111528
[pid=10260] ppid=10256 vsize=10556488 CPUtime=7.69 cores=1,3,5,7
/proc/10260/stat : 10260 (java) S 10256 10260 8078 0 -1 4202496 75798 0 1 0 759 10 0 0 18 0 19 0 830272760 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10260/statm: 2639122 68186 2259 9 0 2629856 0
[pid=10260/tid=10262] ppid=10256 vsize=10556488 CPUtime=0.15 cores=1,3,5,7
/proc/10260/task/10262/stat : 10262 (java) S 10256 10260 8078 0 -1 4202560 11742 0 1 0 14 1 0 0 15 0 19 0 830272761 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10265] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10265/stat : 10265 (java) S 10256 10260 8078 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 19 0 830272763 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10266] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10266/stat : 10266 (java) S 10256 10260 8078 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 830272763 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10267] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10267/stat : 10267 (java) S 10256 10260 8078 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 830272763 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10268] ppid=10256 vsize=10556488 CPUtime=0.01 cores=1,3,5,7
/proc/10260/task/10268/stat : 10268 (java) S 10256 10260 8078 0 -1 4202560 269 0 0 0 1 0 0 0 16 0 19 0 830272763 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10269] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10269/stat : 10269 (java) S 10256 10260 8078 0 -1 4202560 153 0 0 0 0 0 0 0 16 0 19 0 830272763 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10270] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10270/stat : 10270 (java) S 10256 10260 8078 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 830272763 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10271] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10271/stat : 10271 (java) S 10256 10260 8078 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 830272763 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
[pid=10260/tid=10272] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10272/stat : 10272 (java) S 10256 10260 8078 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 830272763 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10282] ppid=10256 vsize=10556488 CPUtime=0.17 cores=1,3,5,7
/proc/10260/task/10282/stat : 10282 (java) S 10256 10260 8078 0 -1 4202560 3083 0 0 0 17 0 0 0 15 0 19 0 830272764 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 0 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
[pid=10260/tid=10283] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10283/stat : 10283 (java) S 10256 10260 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 830272764 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10285] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10285/stat : 10285 (java) S 10256 10260 8078 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 830272764 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10289] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10289/stat : 10289 (java) S 10256 10260 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830272766 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290703281 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10290] ppid=10256 vsize=10556488 CPUtime=0.77 cores=1,3,5,7
/proc/10260/task/10290/stat : 10290 (java) S 10256 10260 8078 0 -1 4202560 3486 0 0 0 77 0 0 0 15 0 19 0 830272766 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 5 0 0 0
[pid=10260/tid=10293] ppid=10256 vsize=10556488 CPUtime=0.77 cores=1,3,5,7
/proc/10260/task/10293/stat : 10293 (java) S 10256 10260 8078 0 -1 4202560 10420 0 0 0 77 0 0 0 21 0 19 0 830272766 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10294] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10294/stat : 10294 (java) S 10256 10260 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830272766 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10296] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10296/stat : 10296 (java) S 10256 10260 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830272766 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 5 0 0 0
[pid=10260/tid=10300] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10300/stat : 10300 (java) S 10256 10260 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830272778 10809843712 68186 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 10556488
[startup+3.70148 s]
/proc/loadavg: 1.24 1.40 1.72 6/443 10304
/proc/meminfo: memFree=29467028/32950904 swapFree=56615552/67111528
[pid=10260] ppid=10256 vsize=10556488 CPUtime=7.7 cores=1,3,5,7
/proc/10260/stat : 10260 (java) S 10256 10260 8078 0 -1 4202496 75805 0 1 0 760 10 0 0 18 0 20 0 830272760 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10260/statm: 2639122 68193 2262 9 0 2629856 0
[pid=10260/tid=10262] ppid=10256 vsize=10556488 CPUtime=0.15 cores=1,3,5,7
/proc/10260/task/10262/stat : 10262 (java) S 10256 10260 8078 0 -1 4202560 11744 0 1 0 14 1 0 0 16 0 20 0 830272761 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10265] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10265/stat : 10265 (java) S 10256 10260 8078 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 20 0 830272763 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10266] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10266/stat : 10266 (java) S 10256 10260 8078 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 20 0 830272763 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10267] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10267/stat : 10267 (java) S 10256 10260 8078 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 20 0 830272763 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10268] ppid=10256 vsize=10556488 CPUtime=0.01 cores=1,3,5,7
/proc/10260/task/10268/stat : 10268 (java) S 10256 10260 8078 0 -1 4202560 269 0 0 0 1 0 0 0 16 0 20 0 830272763 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10269] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10269/stat : 10269 (java) S 10256 10260 8078 0 -1 4202560 153 0 0 0 0 0 0 0 16 0 20 0 830272763 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10270] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10270/stat : 10270 (java) S 10256 10260 8078 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 20 0 830272763 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10271] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10271/stat : 10271 (java) S 10256 10260 8078 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 20 0 830272763 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
[pid=10260/tid=10272] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10272/stat : 10272 (java) S 10256 10260 8078 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 20 0 830272763 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 7 0 0 0
[pid=10260/tid=10282] ppid=10256 vsize=10556488 CPUtime=0.17 cores=1,3,5,7
/proc/10260/task/10282/stat : 10282 (java) S 10256 10260 8078 0 -1 4202560 3083 0 0 0 17 0 0 0 15 0 20 0 830272764 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 0 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
[pid=10260/tid=10283] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10283/stat : 10283 (java) S 10256 10260 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 20 0 830272764 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10285] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10285/stat : 10285 (java) S 10256 10260 8078 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 830272764 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10289] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10289/stat : 10289 (java) S 10256 10260 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830272766 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290703281 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10290] ppid=10256 vsize=10556488 CPUtime=0.77 cores=1,3,5,7
/proc/10260/task/10290/stat : 10290 (java) S 10256 10260 8078 0 -1 4202560 3489 0 0 0 77 0 0 0 15 0 20 0 830272766 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 5 0 0 0
[pid=10260/tid=10293] ppid=10256 vsize=10556488 CPUtime=0.77 cores=1,3,5,7
/proc/10260/task/10293/stat : 10293 (java) S 10256 10260 8078 0 -1 4202560 10421 0 0 0 77 0 0 0 18 0 20 0 830272766 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10294] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10294/stat : 10294 (java) S 10256 10260 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830272766 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290695577 0 4 0 16800975 18446604466030708032 0 0 -1 3 0 0 0
[pid=10260/tid=10296] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10296/stat : 10296 (java) S 10256 10260 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830272766 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 5 0 0 0
[pid=10260/tid=10300] ppid=10256 vsize=10556488 CPUtime=0 cores=1,3,5,7
/proc/10260/task/10300/stat : 10300 (java) S 10256 10260 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830272778 10809843712 68193 33554432000 1073741824 1073778376 140735988587536 18446744073709551615 237290696192 0 4 0 16800975 18446604466030708032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 10556488
Child status: 10
Real time (s): 3.72862
CPU time (s): 7.72982
CPU user time (s): 7.61184
CPU system time (s): 0.117982
CPU usage (%): 207.311
Max. virtual memory (cumulated for all children) (KiB): 10556488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.61184
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75816
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= 808
involuntary context switches= 215
runsolver used 0.012998 second user time and 0.051992 second system time
The end