0.04 c # Sugar v0-40 (/tmp/evaluation/194654-1170090276/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/194654-1170090276/unknown.xml [Mon Jan 29 18:04:37 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/194654-1170090276/unknown.xml /tmp/evaluation/194654-1170090276/sugar23347.csp [Mon Jan 29 18:04:37 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194654-1170090276/sugar-v0-40.jar -convert /tmp/evaluation/194654-1170090276/unknown.xml /tmp/evaluation/194654-1170090276/sugar23347.csp
0.17 c BEGIN convert /tmp/evaluation/194654-1170090276/unknown.xml
0.85 c END convert (0.680298 seconds)
0.86 c # CONVERT_XML END : /tmp/evaluation/194654-1170090276/sugar23347.csp 2198691 bytes (1 seconds) [Mon Jan 29 18:04:38 2007]
0.86 c # CONVERT_XML CPU : 0.78 = 0 + 0.01 + 0.71 + 0.06
0.86
0.86 c # GENERATE_SAT BEGIN : /tmp/evaluation/194654-1170090276/sugar23347.bcnf [Mon Jan 29 18:04:38 2007]
0.86 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194654-1170090276/sugar-v0-40.jar -bcnf -map /tmp/evaluation/194654-1170090276/sugar23347.map /tmp/evaluation/194654-1170090276/sugar23347.csp /tmp/evaluation/194654-1170090276/sugar23347.bcnf
0.98 c BEGIN parse /tmp/evaluation/194654-1170090276/sugar23347.csp
26.04 c END parse (25.065465 seconds)
26.05 c BEGIN simplify
26.15 c END simplify (0.100542 seconds)
26.15 c BEGIN encode /tmp/evaluation/194654-1170090276/sugar23347.bcnf
27.00 c END encode (0.856634 seconds)
27.10 c # GENERATE_SAT END : 5332 variables 76408 clauses 6229748 bytes (26 seconds) [Mon Jan 29 18:05:04 2007]
27.10 c # GENERATE_SAT CPU : 26.15 = 0.04 + 0 + 25.71 + 0.4
27.10
27.10 c # SOLVE_SAT BEGIN : /tmp/evaluation/194654-1170090276/sugar23347.bcnf [Mon Jan 29 18:05:04 2007]
27.10 c # CMD : /tmp/evaluation/194654-1170090276/minisat /tmp/evaluation/194654-1170090276/sugar23347.bcnf /tmp/evaluation/194654-1170090276/sugar23347.out
27.25 c ==================================[MINISAT]===================================
27.25 c | Conflicts | ORIGINAL | LEARNT | Progress |
27.25 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
27.25 c ==============================================================================
27.25 c | 0 | 76408 1481021 | 25469 0 0 nan | 0.000 % |
27.30 c | 101 | 76408 1481021 | 28015 101 2107 20.9 | 0.000 % |
27.38 c | 251 | 76408 1481021 | 30817 251 4084 16.3 | 0.000 % |
27.48 c | 476 | 76408 1481021 | 33899 476 6624 13.9 | 0.000 % |
27.64 c | 813 | 76408 1481021 | 37289 813 12384 15.2 | 0.000 % |
27.92 c | 1319 | 76408 1481021 | 41018 1319 20133 15.3 | 0.000 % |
28.35 c | 2079 | 76408 1481021 | 45119 2079 30619 14.7 | 0.000 % |
29.07 c | 3218 | 76408 1481021 | 49631 3218 47636 14.8 | 0.000 % |
30.11 c | 4927 | 76409 1481021 | 54595 4926 73915 15.0 | 0.000 % |
31.75 c | 7489 | 76409 1481021 | 60054 7488 126239 16.9 | 0.000 % |
34.53 c | 11333 | 76409 1481021 | 66060 11332 219827 19.4 | 0.001 % |
38.44 c | 17099 | 76409 1481021 | 72666 17098 345634 20.2 | 0.001 % |
44.25 c | 25749 | 76413 1481021 | 79932 25744 571762 22.2 | 0.000 % |
53.93 c | 38723 | 76415 1481021 | 87925 38716 878228 22.7 | 0.000 % |
70.30 c | 58184 | 76416 1481021 | 96718 58176 1299205 22.3 | 0.000 % |
100.87 c | 87376 | 76416 1481021 | 106390 87368 1963038 22.5 | 0.000 % |
146.36 c | 131165 | 76420 1481021 | 117029 41442 1036017 25.0 | 0.000 % |
237.13 c | 196849 | 76425 1481021 | 128732 107121 3279601 30.6 | 0.000 % |
375.91 c | 295375 | 76432 1481021 | 141605 99864 2802060 28.1 | 0.000 % |
602.76 c | 443166 | 76435 1481021 | 155766 130865 3437640 26.3 | 0.000 % |
922.20 c | 664849 | 76446 1481021 | 171342 75925 2592115 34.1 | 0.000 % |
1453.45 c | 997374 | 76455 1481021 | 188476 106641 3051576 28.6 | 0.000 % |
1808.59
1808.59 s UNKNOWN
1808.59 c # INTERRUPTED
1808.59 c # MAIN END : (1808 seconds) [Mon Jan 29 18:34:45 2007]
1808.59 c # MAIN CPU : 26.93 = 0.04 + 0.01 + 26.42 + 0.46
1808.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-194654-1170090276 -o ROOT/results/node13/solver-194654-1170090276 -C 1800 -M 900 /tmp/evaluation/194654-1170090276/solver /tmp/evaluation/194654-1170090276 /tmp/evaluation/194654-1170090276/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.48 0.25 0.09 4/81 23348
/proc/meminfo: memFree=1773592/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=12268 CPUtime=0
/proc/23347/stat : 23347 (sugar) R 23345 23347 23250 0 -1 4194304 579 0 0 0 0 0 0 0 18 0 1 0 28982146 12562432 298 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269774917488 0 0 4224 0 0 0 0 17 1 0 0
/proc/23347/statm: 3067 307 233 3 0 167 0
[startup+0.107972 s]
/proc/loadavg: 0.48 0.25 0.09 4/81 23348
/proc/meminfo: memFree=1773592/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=13724 CPUtime=0.03
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 28982146 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23347/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.518026 s]
/proc/loadavg: 0.48 0.25 0.09 4/81 23348
/proc/meminfo: memFree=1773592/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=13724 CPUtime=0.03
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 28982146 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23347/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33913 s]
/proc/loadavg: 0.48 0.25 0.09 4/102 23407
/proc/meminfo: memFree=1728672/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=13724 CPUtime=0.81
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1190 7930 0 1 3 1 71 6 15 0 1 0 28982146 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23347/statm: 3431 809 371 3 0 531 0
[pid=23400] ppid=23347 vsize=808088 CPUtime=0.46
/proc/23400/stat : 23400 (java) R 23347 23347 23250 0 -1 0 7317 0 1 0 43 3 0 0 16 0 8 0 28982233 827482112 7066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073482407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23400/statm: 202022 7066 1494 14 0 189300 0
[pid=23400/tid=23401] ppid=23347 vsize=808088 CPUtime=0.05
/proc/23400/task/23401/stat : 23401 (java) S 23347 23347 23250 0 -1 64 1262 0 0 0 5 0 0 0 16 0 8 0 28982236 827482112 7066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23402] ppid=23347 vsize=808088 CPUtime=0
/proc/23400/task/23402/stat : 23402 (java) S 23347 23347 23250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28982237 827482112 7066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23403] ppid=23347 vsize=808088 CPUtime=0
/proc/23400/task/23403/stat : 23403 (java) S 23347 23347 23250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982237 827482112 7066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23404] ppid=23347 vsize=808088 CPUtime=0
/proc/23400/task/23404/stat : 23404 (java) S 23347 23347 23250 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28982240 827482112 7066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23405] ppid=23347 vsize=808088 CPUtime=0.05
/proc/23400/task/23405/stat : 23405 (java) S 23347 23347 23250 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 28982240 827482112 7066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23400/tid=23406] ppid=23347 vsize=808088 CPUtime=0
/proc/23400/task/23406/stat : 23406 (java) S 23347 23347 23250 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 28982240 827482112 7066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23407] ppid=23347 vsize=808088 CPUtime=0
/proc/23400/task/23407/stat : 23407 (java) S 23347 23347 23250 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28982240 827482112 7066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 821812
[startup+2.97635 s]
/proc/loadavg: 0.48 0.25 0.09 3/102 23415
/proc/meminfo: memFree=1697440/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=13724 CPUtime=0.81
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1190 7930 0 1 3 1 71 6 15 0 1 0 28982146 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23347/statm: 3431 809 371 3 0 531 0
[pid=23400] ppid=23347 vsize=808088 CPUtime=2.09
/proc/23400/stat : 23400 (java) R 23347 23347 23250 0 -1 0 13762 0 1 0 202 7 0 0 25 0 8 0 28982233 827482112 13496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073484461 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23400/statm: 202022 13496 1494 14 0 189300 0
[pid=23400/tid=23401] ppid=23347 vsize=808088 CPUtime=0.57
/proc/23400/task/23401/stat : 23401 (java) S 23347 23347 23250 0 -1 64 7692 0 0 0 53 4 0 0 16 0 8 0 28982236 827482112 13496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23402] ppid=23347 vsize=808088 CPUtime=0
/proc/23400/task/23402/stat : 23402 (java) S 23347 23347 23250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28982237 827482112 13496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23403] ppid=23347 vsize=808088 CPUtime=0
/proc/23400/task/23403/stat : 23403 (java) S 23347 23347 23250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982237 827482112 13496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23404] ppid=23347 vsize=808088 CPUtime=0
/proc/23400/task/23404/stat : 23404 (java) S 23347 23347 23250 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28982240 827482112 13496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23405] ppid=23347 vsize=808088 CPUtime=0.05
/proc/23400/task/23405/stat : 23405 (java) S 23347 23347 23250 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 28982240 827482112 13496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23406] ppid=23347 vsize=808088 CPUtime=0
/proc/23400/task/23406/stat : 23406 (java) S 23347 23347 23250 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 28982240 827482112 13496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23407] ppid=23347 vsize=808088 CPUtime=0
/proc/23400/task/23407/stat : 23407 (java) S 23347 23347 23250 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28982240 827482112 13496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821812
[startup+6.17879 s]
/proc/loadavg: 0.68 0.29 0.11 3/102 23415
/proc/meminfo: memFree=1563616/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=13724 CPUtime=0.81
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1190 7930 0 1 3 1 71 6 15 0 1 0 28982146 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23347/statm: 3431 809 371 3 0 531 0
[pid=23400] ppid=23347 vsize=808360 CPUtime=5.3
/proc/23400/stat : 23400 (java) R 23347 23347 23250 0 -1 0 32773 0 1 0 513 17 0 0 25 0 8 0 28982233 827760640 32432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380434 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23400/statm: 202090 32432 1507 14 0 189368 0
[pid=23400/tid=23401] ppid=23347 vsize=808360 CPUtime=1.52
/proc/23400/task/23401/stat : 23401 (java) S 23347 23347 23250 0 -1 64 26477 0 0 0 140 12 0 0 16 0 8 0 28982236 827760640 32432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23402] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23402/stat : 23402 (java) S 23347 23347 23250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28982237 827760640 32432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23403] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23403/stat : 23403 (java) S 23347 23347 23250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982237 827760640 32432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23404] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23404/stat : 23404 (java) S 23347 23347 23250 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28982240 827760640 32432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23405] ppid=23347 vsize=808360 CPUtime=0.13
/proc/23400/task/23405/stat : 23405 (java) S 23347 23347 23250 0 -1 64 400 0 0 0 13 0 0 0 16 0 8 0 28982240 827760640 32432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23406] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23406/stat : 23406 (java) S 23347 23347 23250 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 28982240 827760640 32432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23407] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23407/stat : 23407 (java) S 23347 23347 23250 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28982240 827760640 32432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 822084
[startup+12.6486 s]
/proc/loadavg: 0.87 0.34 0.12 3/102 23415
/proc/meminfo: memFree=1340704/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=13724 CPUtime=0.81
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1190 7930 0 1 3 1 71 6 15 0 1 0 28982146 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23347/statm: 3431 809 371 3 0 531 0
[pid=23400] ppid=23347 vsize=808360 CPUtime=11.76
/proc/23400/stat : 23400 (java) R 23347 23347 23250 0 -1 0 54966 0 1 0 1147 29 0 0 25 0 8 0 28982233 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073623121 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23400/statm: 202090 54114 1507 14 0 189368 0
[pid=23400/tid=23401] ppid=23347 vsize=808360 CPUtime=3.62
/proc/23400/task/23401/stat : 23401 (java) S 23347 23347 23250 0 -1 64 48501 0 0 0 339 23 0 0 16 0 8 0 28982236 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23402] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23402/stat : 23402 (java) S 23347 23347 23250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28982237 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23403] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23403/stat : 23403 (java) S 23347 23347 23250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982237 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23404] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23404/stat : 23404 (java) S 23347 23347 23250 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28982240 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23405] ppid=23347 vsize=808360 CPUtime=0.14
/proc/23400/task/23405/stat : 23405 (java) S 23347 23347 23250 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 28982240 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23406] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23406/stat : 23406 (java) S 23347 23347 23250 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 28982240 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23407] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23407/stat : 23407 (java) S 23347 23347 23250 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28982240 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 822084
[startup+25.4773 s]
/proc/loadavg: 1.26 0.45 0.16 3/102 23415
/proc/meminfo: memFree=1340832/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=13724 CPUtime=0.81
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1190 7930 0 1 3 1 71 6 15 0 1 0 28982146 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23347/statm: 3431 809 371 3 0 531 0
[pid=23400] ppid=23347 vsize=808360 CPUtime=24.56
/proc/23400/stat : 23400 (java) R 23347 23347 23250 0 -1 0 56438 0 1 0 2422 34 0 0 25 0 8 0 28982233 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23400/statm: 202090 54114 1507 14 0 189368 0
[pid=23400/tid=23401] ppid=23347 vsize=808360 CPUtime=8.34
/proc/23400/task/23401/stat : 23401 (java) R 23347 23347 23250 0 -1 64 49655 0 0 0 808 26 0 0 15 0 8 0 28982236 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153444379 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23402] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23402/stat : 23402 (java) S 23347 23347 23250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28982237 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23403] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23403/stat : 23403 (java) S 23347 23347 23250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982237 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23404] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23404/stat : 23404 (java) S 23347 23347 23250 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28982240 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23405] ppid=23347 vsize=808360 CPUtime=0.14
/proc/23400/task/23405/stat : 23405 (java) S 23347 23347 23250 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 28982240 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23406] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23406/stat : 23406 (java) S 23347 23347 23250 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 28982240 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23400/tid=23407] ppid=23347 vsize=808360 CPUtime=0
/proc/23400/task/23407/stat : 23407 (java) S 23347 23347 23250 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28982240 827760640 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 822084
[startup+51.1657 s]
/proc/loadavg: 1.58 0.59 0.21 3/88 23417
/proc/meminfo: memFree=1713488/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=14152 CPUtime=23.91
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 4210 0 0 0 2387 4 0 0 25 0 1 0 28984857 14491648 3171 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 3538 3171 52 112 0 3422 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 30340
[startup+102.404 s]
/proc/loadavg: 1.85 0.82 0.31 3/88 23417
/proc/meminfo: memFree=1700048/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=20844 CPUtime=74.9
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 5874 0 0 0 7484 6 0 0 25 0 1 0 28984857 21344256 4835 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 5211 4835 52 112 0 5095 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 37032
[startup+162.465 s]
/proc/loadavg: 1.99 1.05 0.42 3/88 23417
/proc/meminfo: memFree=1691600/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=23476 CPUtime=134.69
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 6517 0 0 0 13461 8 0 0 25 0 1 0 28984857 24039424 5478 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 5869 5478 52 112 0 5753 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 39664
################
# More data... #
################
/proc/loadavg: 2.00 1.95 1.41 3/88 23417
/proc/meminfo: memFree=1661904/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=41612 CPUtime=1091.16
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 10953 0 0 0 109100 16 0 0 25 0 1 0 28984857 42610688 9898 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527050 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 10403 9898 52 112 0 10287 0
Current children cumulated CPU time (s) 1118.12
Current children cumulated vsize (KiB) 57800
[startup+1183.52 s]
/proc/loadavg: 2.04 1.97 1.45 3/88 23417
/proc/meminfo: memFree=1657680/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=41768 CPUtime=1150.96
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 10980 0 0 0 115079 17 0 0 25 0 1 0 28984857 42770432 9925 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 10442 9925 52 112 0 10326 0
Current children cumulated CPU time (s) 1177.92
Current children cumulated vsize (KiB) 57956
[startup+1243.58 s]
/proc/loadavg: 2.09 1.99 1.49 3/88 23417
/proc/meminfo: memFree=1656400/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=42212 CPUtime=1210.74
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 11079 0 0 0 121057 17 0 0 25 0 1 0 28984857 43225088 10024 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 10553 10024 52 112 0 10437 0
Current children cumulated CPU time (s) 1237.7
Current children cumulated vsize (KiB) 58400
[startup+1303.63 s]
/proc/loadavg: 2.03 1.99 1.52 3/88 23417
/proc/meminfo: memFree=1655440/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=43040 CPUtime=1270.51
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 11276 0 0 0 127033 18 0 0 25 0 1 0 28984857 44072960 10221 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 10760 10221 52 112 0 10644 0
Current children cumulated CPU time (s) 1297.47
Current children cumulated vsize (KiB) 59228
[startup+1363.7 s]
/proc/loadavg: 2.01 1.99 1.55 3/88 23417
/proc/meminfo: memFree=1655312/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=43040 CPUtime=1330.3
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 11287 0 0 0 133012 18 0 0 25 0 1 0 28984857 44072960 10232 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527284 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 10760 10232 52 112 0 10644 0
Current children cumulated CPU time (s) 1357.26
Current children cumulated vsize (KiB) 59228
[startup+1423.76 s]
/proc/loadavg: 2.00 1.99 1.57 3/88 23417
/proc/meminfo: memFree=1655056/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=43040 CPUtime=1390.07
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 11287 0 0 0 138989 18 0 0 25 0 1 0 28984857 44072960 10232 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 10760 10232 52 112 0 10644 0
Current children cumulated CPU time (s) 1417.03
Current children cumulated vsize (KiB) 59228
[startup+1483.82 s]
/proc/loadavg: 2.00 1.99 1.59 3/88 23417
/proc/meminfo: memFree=1654480/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=43216 CPUtime=1449.84
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 11303 0 0 0 144966 18 0 0 25 0 1 0 28984857 44253184 10248 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 10804 10248 52 112 0 10688 0
Current children cumulated CPU time (s) 1476.8
Current children cumulated vsize (KiB) 59404
[startup+1543.88 s]
/proc/loadavg: 2.00 1.99 1.62 3/88 23417
/proc/meminfo: memFree=1654352/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=43216 CPUtime=1509.63
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 11324 0 0 0 150945 18 0 0 25 0 1 0 28984857 44253184 10269 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 10804 10269 52 112 0 10688 0
Current children cumulated CPU time (s) 1536.59
Current children cumulated vsize (KiB) 59404
[startup+1603.94 s]
/proc/loadavg: 2.00 1.99 1.64 3/88 23417
/proc/meminfo: memFree=1653840/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=43380 CPUtime=1569.41
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 11370 0 0 0 156923 18 0 0 25 0 1 0 28984857 44421120 10315 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 10845 10315 52 112 0 10729 0
Current children cumulated CPU time (s) 1596.37
Current children cumulated vsize (KiB) 59568
[startup+1664.02 s]
/proc/loadavg: 2.06 2.00 1.66 4/88 23417
/proc/meminfo: memFree=1653200/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=44024 CPUtime=1629.18
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 11521 0 0 0 162899 19 0 0 25 0 1 0 28984857 45080576 10466 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 11006 10466 52 112 0 10890 0
Current children cumulated CPU time (s) 1656.14
Current children cumulated vsize (KiB) 60212
[startup+1724.08 s]
/proc/loadavg: 2.02 2.00 1.68 3/88 23417
/proc/meminfo: memFree=1652176/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=44024 CPUtime=1688.96
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 11538 0 0 0 168877 19 0 0 25 0 1 0 28984857 45080576 10483 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 11006 10483 52 112 0 10890 0
Current children cumulated CPU time (s) 1715.92
Current children cumulated vsize (KiB) 60212
[startup+1784.14 s]
/proc/loadavg: 2.01 2.00 1.70 3/88 23417
/proc/meminfo: memFree=1649936/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=44492 CPUtime=1748.75
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 11623 0 0 0 174856 19 0 0 25 0 1 0 28984857 45559808 10568 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 11123 10568 52 112 0 11007 0
Current children cumulated CPU time (s) 1775.71
Current children cumulated vsize (KiB) 60680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.58 s]
/proc/loadavg: 2.00 2.00 1.70 3/88 23417
/proc/meminfo: memFree=1649616/2055920 swapFree=4192956/4192956
[pid=23347] ppid=23345 vsize=16188 CPUtime=26.96
/proc/23347/stat : 23347 (sugar) S 23345 23347 23250 0 -1 4194304 1902 64421 0 2 7 1 2642 46 16 0 1 0 28982146 16576512 1413 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23347/statm: 4047 1413 373 3 0 1147 0
[pid=23416] ppid=23347 vsize=44716 CPUtime=1773.06
/proc/23416/stat : 23416 (minisat) R 23347 23347 23250 0 -1 0 11695 0 0 0 177287 19 0 0 25 0 1 0 28984857 45789184 10640 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23416/statm: 11179 10640 52 112 0 11063 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 60904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23347 and gives childrusage.ru_utime.tv_sec=26 childrusage.ru_utime.tv_usec=493972 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=489925
CPU time returned by wait4() is 26.9839
while last known CPU time is 1800.03
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.6
CPU time (s): 1800.03
CPU user time (s): 1799.36
CPU system time (s): 0.67
CPU usage (%): 99.4713
Max. virtual memory (cumulated for all children) (KiB): 823088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.494
system time used= 0.489925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66408
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5814
involuntary context switches= 5782
runsolver used 1.63075 s user time and 5.01124 s system time
The end
Begin job on node13 on Mon Jan 29 17:04:37 UTC 2007
IDJOB= 194654
IDBENCH= 3225
IDSOLVER= 86
FILE ID= node13/194654-1170090276
PBS_JOBID= 3689407
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-44_ext.xml
COMMAND LINE= /tmp/evaluation/194654-1170090276/solver /tmp/evaluation/194654-1170090276 /tmp/evaluation/194654-1170090276/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-194654-1170090276 -o ROOT/results/node13/solver-194654-1170090276 -C 1800 -M 900 /tmp/evaluation/194654-1170090276/solver /tmp/evaluation/194654-1170090276 /tmp/evaluation/194654-1170090276/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 6820462ffd7efb91eb7255fd46b076c9
RANDOM SEED= 908484048
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.236
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.236
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: 1774136 kB
Buffers: 40808 kB
Cached: 136740 kB
SwapCached: 0 kB
Active: 185004 kB
Inactive: 51592 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1774136 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1492 kB
Writeback: 0 kB
Mapped: 77956 kB
Slab: 30516 kB
Committed_AS: 179772 kB
PageTables: 1964 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= 66548 MiB
End job on node13 on Mon Jan 29 17:34:47 UTC 2007