runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1105576-1215244566/watcher-1105576-1215244566 -o /tmp/evaluation-result-1105576-1215244566/solver-1105576-1215244566 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solve.sh HOME/instance-1105576-1215244566.xml
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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 5/80 25062
/proc/meminfo: memFree=1130048/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=18572 CPUtime=0
/proc/25062/stat : 25062 (runsolver) R 25060 25062 22268 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 708423057 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 226238197031 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25062/statm: 4643 292 257 25 0 2626 0
[startup+0.0816969 s]
/proc/loadavg: 2.00 2.02 2.00 5/80 25062
/proc/meminfo: memFree=1130048/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=5356 CPUtime=0
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 708423057 5484544 235 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1339 235 195 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101666 s]
/proc/loadavg: 2.00 2.02 2.00 5/80 25062
/proc/meminfo: memFree=1130048/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=5356 CPUtime=0
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 708423057 5484544 235 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1339 235 195 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301694 s]
/proc/loadavg: 2.00 2.02 2.00 5/80 25062
/proc/meminfo: memFree=1130048/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=5356 CPUtime=0
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 708423057 5484544 235 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1339 235 195 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701765 s]
/proc/loadavg: 2.00 2.02 2.00 5/80 25062
/proc/meminfo: memFree=1130048/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=5356 CPUtime=0
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 708423057 5484544 235 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1339 235 195 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5029 s]
/proc/loadavg: 2.08 2.04 2.01 3/90 25072
/proc/meminfo: memFree=1090160/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=5356 CPUtime=0
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 708423057 5484544 235 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1339 235 195 169 0 50 0
[pid=25064] ppid=25062 vsize=864904 CPUtime=1.44
/proc/25064/stat : 25064 (java) S 25062 25062 22268 0 -1 0 18361 0 4 0 135 9 0 0 18 0 9 0 708423058 885661696 17783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25064/statm: 216226 17783 1844 9 0 210788 0
[pid=25064/tid=25065] ppid=25062 vsize=864904 CPUtime=1.05
/proc/25064/task/25065/stat : 25065 (java) R 25062 25062 22268 0 -1 64 4836 0 4 0 102 3 0 0 25 0 9 0 708423059 885661696 17783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25066] ppid=25062 vsize=864904 CPUtime=0.25
/proc/25064/task/25066/stat : 25066 (java) S 25062 25062 22268 0 -1 64 12302 0 0 0 20 5 0 0 16 0 9 0 708423061 885661696 17783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25067] ppid=25062 vsize=864904 CPUtime=0
/proc/25064/task/25067/stat : 25067 (java) S 25062 25062 22268 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 708423061 885661696 17783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25068] ppid=25062 vsize=864904 CPUtime=0
/proc/25064/task/25068/stat : 25068 (java) S 25062 25062 22268 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 708423061 885661696 17783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25069] ppid=25062 vsize=864904 CPUtime=0
/proc/25064/task/25069/stat : 25069 (java) S 25062 25062 22268 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 708423063 885661696 17783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25070] ppid=25062 vsize=864904 CPUtime=0.12
/proc/25064/task/25070/stat : 25070 (java) R 25062 25062 22268 0 -1 64 488 0 0 0 12 0 0 0 16 0 9 0 708423063 885661696 17783 996147200 134512640 134550740 4294956032 18446744073709551615 104075969 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25071] ppid=25062 vsize=864904 CPUtime=0
/proc/25064/task/25071/stat : 25071 (java) S 25062 25062 22268 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 708423063 885661696 17783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25072] ppid=25062 vsize=864904 CPUtime=0
/proc/25064/task/25072/stat : 25072 (java) S 25062 25062 22268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 708423063 885661696 17783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 870260
[startup+3.10217 s]
/proc/loadavg: 2.08 2.04 2.01 3/90 25072
/proc/meminfo: memFree=1032368/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=5356 CPUtime=0
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 708423057 5484544 235 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1339 235 195 169 0 50 0
[pid=25064] ppid=25062 vsize=865076 CPUtime=3.04
/proc/25064/stat : 25064 (java) S 25062 25062 22268 0 -1 0 29124 0 4 0 289 15 0 0 18 0 9 0 708423058 885837824 28538 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25064/statm: 216269 28538 1862 9 0 210831 0
[pid=25064/tid=25065] ppid=25062 vsize=865076 CPUtime=2.12
/proc/25064/task/25065/stat : 25065 (java) R 25062 25062 22268 0 -1 64 4963 0 4 0 208 4 0 0 25 0 9 0 708423059 885837824 28538 996147200 134512640 134550740 4294956032 18446744073709551615 4125959159 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25066] ppid=25062 vsize=865076 CPUtime=0.71
/proc/25064/task/25066/stat : 25066 (java) S 25062 25062 22268 0 -1 64 22902 0 0 0 62 9 0 0 16 0 9 0 708423061 885837824 28538 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25067] ppid=25062 vsize=865076 CPUtime=0
/proc/25064/task/25067/stat : 25067 (java) S 25062 25062 22268 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 708423061 885837824 28538 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25068] ppid=25062 vsize=865076 CPUtime=0
/proc/25064/task/25068/stat : 25068 (java) S 25062 25062 22268 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 708423061 885837824 28538 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25069] ppid=25062 vsize=865076 CPUtime=0
/proc/25064/task/25069/stat : 25069 (java) S 25062 25062 22268 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 708423063 885837824 28538 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25070] ppid=25062 vsize=865076 CPUtime=0.17
/proc/25064/task/25070/stat : 25070 (java) S 25062 25062 22268 0 -1 64 524 0 0 0 17 0 0 0 16 0 9 0 708423063 885837824 28538 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25071] ppid=25062 vsize=865076 CPUtime=0
/proc/25064/task/25071/stat : 25071 (java) S 25062 25062 22268 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 708423063 885837824 28538 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25072] ppid=25062 vsize=865076 CPUtime=0
/proc/25064/task/25072/stat : 25072 (java) S 25062 25062 22268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 708423063 885837824 28538 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 870432
[startup+6.30271 s]
/proc/loadavg: 2.08 2.04 2.01 3/90 25072
/proc/meminfo: memFree=999472/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=5356 CPUtime=0
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 708423057 5484544 235 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1339 235 195 169 0 50 0
[pid=25064] ppid=25062 vsize=868776 CPUtime=6.19
/proc/25064/stat : 25064 (java) S 25062 25062 22268 0 -1 0 37406 0 4 0 599 20 0 0 18 0 9 0 708423058 889626624 36634 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25064/statm: 217194 36634 1862 9 0 211756 0
[pid=25064/tid=25065] ppid=25062 vsize=868776 CPUtime=4.48
/proc/25064/task/25065/stat : 25065 (java) R 25062 25062 22268 0 -1 64 5119 0 4 0 444 4 0 0 25 0 9 0 708423059 889626624 36634 996147200 134512640 134550740 4294956032 18446744073709551615 4126377857 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25066] ppid=25062 vsize=868776 CPUtime=1.42
/proc/25064/task/25066/stat : 25066 (java) S 25062 25062 22268 0 -1 64 30014 0 0 0 128 14 0 0 16 0 9 0 708423061 889626624 36634 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25067] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25067/stat : 25067 (java) S 25062 25062 22268 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 708423061 889626624 36634 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25068] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25068/stat : 25068 (java) S 25062 25062 22268 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 708423061 889626624 36634 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25069] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25069/stat : 25069 (java) S 25062 25062 22268 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 708423063 889626624 36634 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25070] ppid=25062 vsize=868776 CPUtime=0.26
/proc/25064/task/25070/stat : 25070 (java) S 25062 25062 22268 0 -1 64 1538 0 0 0 26 0 0 0 16 0 9 0 708423063 889626624 36634 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25071] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25071/stat : 25071 (java) S 25062 25062 22268 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 708423063 889626624 36634 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25072] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25072/stat : 25072 (java) S 25062 25062 22268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 708423063 889626624 36634 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 874132
[startup+12.7028 s]
/proc/loadavg: 2.07 2.03 2.00 3/90 25072
/proc/meminfo: memFree=954416/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=5356 CPUtime=0
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 708423057 5484544 235 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1339 235 195 169 0 50 0
[pid=25064] ppid=25062 vsize=868776 CPUtime=12.52
/proc/25064/stat : 25064 (java) S 25062 25062 22268 0 -1 0 56952 0 4 0 1222 30 0 0 18 0 9 0 708423058 889626624 46672 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25064/statm: 217194 46672 2560 9 0 211756 0
[pid=25064/tid=25065] ppid=25062 vsize=868776 CPUtime=9.1
/proc/25064/task/25065/stat : 25065 (java) R 25062 25062 22268 0 -1 64 6093 0 4 0 905 5 0 0 25 0 9 0 708423059 889626624 46672 996147200 134512640 134550740 4294956032 18446744073709551615 102064907 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25066] ppid=25062 vsize=868776 CPUtime=3.09
/proc/25064/task/25066/stat : 25066 (java) S 25062 25062 22268 0 -1 64 48560 0 0 0 286 23 0 0 16 0 9 0 708423061 889626624 46672 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25067] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25067/stat : 25067 (java) S 25062 25062 22268 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 708423061 889626624 46672 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25068] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25068/stat : 25068 (java) S 25062 25062 22268 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 708423061 889626624 46672 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25069] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25069/stat : 25069 (java) S 25062 25062 22268 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 708423063 889626624 46672 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25070] ppid=25062 vsize=868776 CPUtime=0.3
/proc/25064/task/25070/stat : 25070 (java) S 25062 25062 22268 0 -1 64 1564 0 0 0 30 0 0 0 15 0 9 0 708423063 889626624 46672 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25071] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25071/stat : 25071 (java) S 25062 25062 22268 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 708423063 889626624 46672 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25072] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25072/stat : 25072 (java) S 25062 25062 22268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 708423063 889626624 46672 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 874132
[startup+25.5019 s]
/proc/loadavg: 2.14 2.05 2.01 4/90 25072
/proc/meminfo: memFree=713968/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=5356 CPUtime=0
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 708423057 5484544 235 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1339 235 195 169 0 50 0
[pid=25064] ppid=25062 vsize=868776 CPUtime=25.2
/proc/25064/stat : 25064 (java) S 25062 25062 22268 0 -1 0 121716 0 4 0 2463 57 0 0 18 0 9 0 708423058 889626624 109572 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25064/statm: 217194 109572 2563 9 0 211756 0
[pid=25064/tid=25065] ppid=25062 vsize=868776 CPUtime=16.5
/proc/25064/task/25065/stat : 25065 (java) R 25062 25062 22268 0 -1 64 9283 0 4 0 1643 7 0 0 25 0 9 0 708423059 889626624 109572 996147200 134512640 134550740 4294956032 18446744073709551615 4126778110 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25066] ppid=25062 vsize=868776 CPUtime=8.2
/proc/25064/task/25066/stat : 25066 (java) S 25062 25062 22268 0 -1 64 110006 0 0 0 772 48 0 0 16 0 9 0 708423061 889626624 109572 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25067] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25067/stat : 25067 (java) S 25062 25062 22268 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 708423061 889626624 109572 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25068] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25068/stat : 25068 (java) S 25062 25062 22268 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 708423061 889626624 109572 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25069] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25069/stat : 25069 (java) S 25062 25062 22268 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 708423063 889626624 109572 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25070] ppid=25062 vsize=868776 CPUtime=0.47
/proc/25064/task/25070/stat : 25070 (java) S 25062 25062 22268 0 -1 64 1692 0 0 0 46 1 0 0 16 0 9 0 708423063 889626624 109572 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25071] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25071/stat : 25071 (java) S 25062 25062 22268 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 708423063 889626624 109572 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25064/tid=25072] ppid=25062 vsize=868776 CPUtime=0
/proc/25064/task/25072/stat : 25072 (java) S 25062 25062 22268 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 708423063 889626624 109572 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 874132
[startup+51.1012 s]
/proc/loadavg: 2.21 2.08 2.02 3/82 25073
/proc/meminfo: memFree=985072/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=5360 CPUtime=34.26
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 310 166706 0 4 0 0 3330 96 19 0 1 0 708423057 5488640 236 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1340 236 195 169 0 51 0
[pid=25073] ppid=25062 vsize=143828 CPUtime=16.38
/proc/25073/stat : 25073 (ld-linux.so.2) R 25062 25062 22268 0 -1 4194304 33075 0 4 0 1620 18 0 0 25 0 1 0 708426525 147279872 29243 996147200 1448431616 1448550632 4294956176 18446744073709551615 134752353 0 0 4096 0 0 0 0 17 0 0 0
/proc/25073/statm: 35957 29243 318 29 0 30011 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 149188
[startup+102.307 s]
/proc/loadavg: 2.08 2.06 2.01 3/82 25073
/proc/meminfo: memFree=742384/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=5360 CPUtime=34.26
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 310 166706 0 4 0 0 3330 96 19 0 1 0 708423057 5488640 236 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1340 236 195 169 0 51 0
[pid=25073] ppid=25062 vsize=378124 CPUtime=67.55
/proc/25073/stat : 25073 (ld-linux.so.2) R 25062 25062 22268 0 -1 4194304 109434 0 4 0 6707 48 0 0 25 0 1 100 708426525 387198976 88915 996147200 1448431616 1448550632 4294956176 18446744073709551615 135316417 0 0 4096 8194 0 0 0 17 0 0 0
/proc/25073/statm: 94531 88915 524 29 0 88585 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 383484
[startup+162.302 s]
/proc/loadavg: 2.03 2.05 2.01 3/82 25073
/proc/meminfo: memFree=742448/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=5360 CPUtime=34.26
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 310 166706 0 4 0 0 3330 96 19 0 1 0 708423057 5488640 236 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1340 236 195 169 0 51 0
[pid=25073] ppid=25062 vsize=378124 CPUtime=127.51
/proc/25073/stat : 25073 (ld-linux.so.2) R 25062 25062 22268 0 -1 4194304 109434 0 4 0 12703 48 0 0 25 0 1 100 708426525 387198976 88915 996147200 1448431616 1448550632 4294956176 18446744073709551615 4158657420 0 0 4096 8194 0 0 0 17 0 0 0
/proc/25073/statm: 94531 88915 524 29 0 88585 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 383484
[startup+222.302 s]
/proc/loadavg: 2.01 2.04 2.00 3/82 25073
/proc/meminfo: memFree=742448/2055920 swapFree=4156368/4192956
[pid=25062] ppid=25060 vsize=5360 CPUtime=34.26
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 310 166706 0 4 0 0 3330 96 19 0 1 0 708423057 5488640 236 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1340 236 195 169 0 51 0
[pid=25073] ppid=25062 vsize=378124 CPUtime=187.47
/proc/25073/stat : 25073 (ld-linux.so.2) R 25062 25062 22268 0 -1 4194304 109435 0 4 0 18699 48 0 0 25 0 1 100 708426525 387198976 88916 996147200 1448431616 1448550632 4294956176 18446744073709551615 4158657420 0 0 4096 8194 0 0 0 17 0 0 0
/proc/25073/statm: 94531 88916 525 29 0 88585 0
Current children cumulated CPU time (s) 221.73
Current children cumulated vsize (KiB) 383484
[startup+282.301 s]
/proc/loadavg: 1.72 1.96 1.98 2/66 25097
/proc/meminfo: memFree=1434432/2055920 swapFree=4156372/4192956
[pid=25062] ppid=25060 vsize=5360 CPUtime=34.26
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 310 166706 0 4 0 0 3330 96 19 0 1 0 708423057 5488640 236 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1340 236 195 169 0 51 0
[pid=25073] ppid=25062 vsize=378124 CPUtime=247.44
/proc/25073/stat : 25073 (ld-linux.so.2) R 25062 25062 22268 0 -1 4194304 109435 0 4 0 24695 49 0 0 25 0 1 100 708426525 387198976 88916 996147200 1448431616 1448550632 4294956176 18446744073709551615 4158657420 0 0 4096 8194 0 0 0 17 0 0 0
/proc/25073/statm: 94531 88916 525 29 0 88585 0
Current children cumulated CPU time (s) 281.7
Current children cumulated vsize (KiB) 383484
Solver just ended. Dumping a history of the last processes samples
[startup+283.102 s]
/proc/loadavg: 1.72 1.96 1.98 2/66 25097
/proc/meminfo: memFree=1434432/2055920 swapFree=4156372/4192956
[pid=25062] ppid=25060 vsize=5360 CPUtime=34.26
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 310 166706 0 4 0 0 3330 96 19 0 1 0 708423057 5488640 236 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1340 236 195 169 0 51 0
[pid=25073] ppid=25062 vsize=378124 CPUtime=248.24
/proc/25073/stat : 25073 (ld-linux.so.2) R 25062 25062 22268 0 -1 4194304 109435 0 4 0 24775 49 0 0 25 0 1 100 708426525 387198976 88916 996147200 1448431616 1448550632 4294956176 18446744073709551615 135242979 0 0 4096 8194 0 0 0 17 0 0 0
/proc/25073/statm: 94531 88916 525 29 0 88585 0
Current children cumulated CPU time (s) 282.5
Current children cumulated vsize (KiB) 383484
[startup+284.702 s]
/proc/loadavg: 1.72 1.96 1.98 2/66 25097
/proc/meminfo: memFree=1434432/2055920 swapFree=4156372/4192956
[pid=25062] ppid=25060 vsize=5360 CPUtime=34.26
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 310 166706 0 4 0 0 3330 96 19 0 1 0 708423057 5488640 236 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1340 236 195 169 0 51 0
[pid=25073] ppid=25062 vsize=357324 CPUtime=249.85
/proc/25073/stat : 25073 (ld-linux.so.2) R 25062 25062 22268 0 -1 4194304 109458 0 4 0 24935 50 0 0 25 0 1 100 708426525 365899776 83738 996147200 1448431616 1448550632 4294956176 18446744073709551615 134538792 0 0 4096 8194 0 0 0 17 0 0 0
/proc/25073/statm: 89331 83738 546 29 0 83385 0
Current children cumulated CPU time (s) 284.11
Current children cumulated vsize (KiB) 362684
[startup+285.502 s]
/proc/loadavg: 1.72 1.96 1.98 2/66 25097
/proc/meminfo: memFree=1455232/2055920 swapFree=4156372/4192956
[pid=25062] ppid=25060 vsize=5360 CPUtime=34.26
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 310 166706 0 4 0 0 3330 96 19 0 1 0 708423057 5488640 236 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1340 236 195 169 0 51 0
[pid=25073] ppid=25062 vsize=357324 CPUtime=250.65
/proc/25073/stat : 25073 (ld-linux.so.2) R 25062 25062 22268 0 -1 4194304 109460 0 4 0 25015 50 0 0 25 0 1 100 708426525 365899776 83740 996147200 1448431616 1448550632 4294956176 18446744073709551615 4158619328 0 0 4096 8194 0 0 0 17 0 0 0
/proc/25073/statm: 89331 83740 548 29 0 83385 0
Current children cumulated CPU time (s) 284.91
Current children cumulated vsize (KiB) 362684
[startup+285.702 s]
/proc/loadavg: 1.72 1.96 1.98 2/66 25097
/proc/meminfo: memFree=1455232/2055920 swapFree=4156372/4192956
[pid=25062] ppid=25060 vsize=5360 CPUtime=34.26
/proc/25062/stat : 25062 (solve.sh) S 25060 25062 22268 0 -1 4194304 310 166706 0 4 0 0 3330 96 19 0 1 0 708423057 5488640 236 996147200 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25062/statm: 1340 236 195 169 0 51 0
[pid=25073] ppid=25062 vsize=330876 CPUtime=250.84
/proc/25073/stat : 25073 (ld-linux.so.2) R 25062 25062 22268 0 -1 4194304 109460 0 4 0 25034 50 0 0 25 0 1 100 708426525 338817024 77313 996147200 1448431616 1448550632 4294956176 18446744073709551615 135010343 0 0 4096 8194 0 0 0 17 0 0 0
/proc/25073/statm: 82719 77313 548 29 0 76773 0
Current children cumulated CPU time (s) 285.1
Current children cumulated vsize (KiB) 336236
[startup+285.802 s]
/proc/loadavg: 1.72 1.96 1.98 2/66 25097
/proc/meminfo: memFree=1455232/2055920 swapFree=4156372/4192956
[pid=25062] ppid=25060 vsize=5360 CPUtime=285.22
/proc/25062/stat : 25062 (solve.sh) R 25060 25062 22268 0 -1 4194304 313 276167 0 8 0 0 28370 152 16 0 1 0 708423057 5488640 236 996147200 4194304 4889804 548682068832 18446744073709551615 226238365778 0 0 4100 65536 0 0 0 17 0 0 0
/proc/25062/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 285.22
Current children cumulated vsize (KiB) 5360
Child status: 0
Real time (s): 285.802
CPU time (s): 285.232
CPU user time (s): 283.709
CPU system time (s): 1.52277
CPU usage (%): 99.8004
Max. virtual memory (cumulated for all children) (KiB): 895624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.709
system time used= 1.52277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276487
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4836
involuntary context switches= 6137
runsolver used 0.333949 second user time and 0.959854 second system time
The end
Begin job on node58 at 2008-07-05 09:56:06
IDJOB=1105576
IDBENCH=58004
IDSOLVER=369
FILE ID=node58/1105576-1215244566
PBS_JOBID= 7881856
Free space on /tmp= 66540 MiB
SOLVER NAME= Minion/Tailor 2008-07-04
BENCH NAME= CPAI08/csp/fapp/fapp29/normalized-fapp29-2900-6.xml
COMMAND LINE= DIR/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1105576-1215244566/watcher-1105576-1215244566 -o /tmp/evaluation-result-1105576-1215244566/solver-1105576-1215244566 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solve.sh HOME/instance-1105576-1215244566.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 018623c1ff10137e5e9ced11ba7df20e
RANDOM SEED=1588524012
node58.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1130528 kB
Buffers: 6072 kB
Cached: 135560 kB
SwapCached: 30884 kB
Active: 811008 kB
Inactive: 56272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1130528 kB
SwapTotal: 4192956 kB
SwapFree: 4156368 kB
Dirty: 39052 kB
Writeback: 0 kB
Mapped: 738912 kB
Slab: 42064 kB
Committed_AS: 1947224 kB
PageTables: 3120 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66492 MiB
End job on node58 at 2008-07-05 10:00:52