0.04 c # Sugar v0-40 (/tmp/evaluation/231192-1170106428/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/231192-1170106428/unknown.xml [Mon Jan 29 22:33:49 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/231192-1170106428/unknown.xml /tmp/evaluation/231192-1170106428/sugar23399.csp [Mon Jan 29 22:33:49 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/231192-1170106428/sugar-v0-40.jar -convert /tmp/evaluation/231192-1170106428/unknown.xml /tmp/evaluation/231192-1170106428/sugar23399.csp
0.16 c BEGIN convert /tmp/evaluation/231192-1170106428/unknown.xml
0.76 c END convert (0.599815 seconds)
0.80 c # CONVERT_XML END : /tmp/evaluation/231192-1170106428/sugar23399.csp 1538679 bytes (1 seconds) [Mon Jan 29 22:33:50 2007]
0.80 c # CONVERT_XML CPU : 0.71 = 0 + 0 + 0.65 + 0.06
0.80
0.80 c # GENERATE_SAT BEGIN : /tmp/evaluation/231192-1170106428/sugar23399.bcnf [Mon Jan 29 22:33:50 2007]
0.80 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/231192-1170106428/sugar-v0-40.jar -bcnf -map /tmp/evaluation/231192-1170106428/sugar23399.map /tmp/evaluation/231192-1170106428/sugar23399.csp /tmp/evaluation/231192-1170106428/sugar23399.bcnf
0.92 c BEGIN parse /tmp/evaluation/231192-1170106428/sugar23399.csp
6.68 c END parse (5.754204 seconds)
6.68 c BEGIN simplify
6.71 c END simplify (0.025161 seconds)
6.71 c BEGIN encode /tmp/evaluation/231192-1170106428/sugar23399.bcnf
6.97 c END encode (0.267197 seconds)
7.00 c # GENERATE_SAT END : 950 variables 47896 clauses 913192 bytes (6 seconds) [Mon Jan 29 22:33:56 2007]
7.00 c # GENERATE_SAT CPU : 6.18 = 0 + 0 + 6.04 + 0.14
7.00
7.00 c # SOLVE_SAT BEGIN : /tmp/evaluation/231192-1170106428/sugar23399.bcnf [Mon Jan 29 22:33:56 2007]
7.00 c # CMD : /tmp/evaluation/231192-1170106428/minisat /tmp/evaluation/231192-1170106428/sugar23399.bcnf /tmp/evaluation/231192-1170106428/sugar23399.out
7.03 c ==================================[MINISAT]===================================
7.03 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.03 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
7.03 c ==============================================================================
7.03 c | 0 | 47896 180396 | 15965 0 0 nan | 0.000 % |
7.05 c | 100 | 47896 180396 | 17561 100 1001 10.0 | 0.000 % |
7.07 c | 251 | 47896 180396 | 19317 251 2123 8.5 | 0.002 % |
7.10 c | 476 | 47896 180396 | 21249 476 3947 8.3 | 0.004 % |
7.15 c | 813 | 47896 180396 | 23374 813 7010 8.6 | 0.004 % |
7.21 c | 1320 | 47896 180396 | 25711 1320 11934 9.0 | 0.002 % |
7.32 c | 2081 | 47896 180396 | 28282 2081 18683 9.0 | 0.004 % |
7.49 c | 3220 | 47897 180396 | 31111 3219 29583 9.2 | 0.004 % |
7.74 c | 4928 | 47897 180396 | 34222 4927 46472 9.4 | 0.004 % |
8.14 c | 7490 | 47897 180396 | 37644 7489 72981 9.7 | 0.004 % |
8.74 c | 11334 | 47903 180396 | 41409 11327 116237 10.3 | 0.004 % |
9.86 c | 17101 | 47904 180396 | 45550 17093 186846 10.9 | 0.002 % |
11.69 c | 25750 | 47908 180396 | 50105 25738 295405 11.5 | 0.002 % |
15.50 c | 38726 | 47913 180396 | 55115 38709 453426 11.7 | 0.004 % |
23.10 c | 58187 | 47919 180396 | 60627 16583 209935 12.7 | 0.002 % |
32.87 c | 87379 | 47924 180396 | 66689 45770 583058 12.7 | 0.005 % |
47.98 c | 131168 | 47789 180027 | 73358 36785 478737 13.0 | 0.105 % |
77.91 c | 196852 | 47795 180027 | 80694 44200 565763 12.8 | 0.111 % |
123.00 c | 295381 | 47642 179613 | 88764 77285 1076070 13.9 | 0.211 % |
198.11 c | 443170 | 47657 179613 | 97640 81130 1116135 13.8 | 0.212 % |
322.14 c | 664856 | 47281 178267 | 107404 15976 190631 11.9 | 0.526 % |
522.79 c | 997381 | 47144 177874 | 118144 102572 1516271 14.8 | 0.632 % |
839.91 c | 1496170 | 46317 174725 | 129959 71522 1086572 15.2 | 1.369 % |
1382.35 c | 2244352 | 45334 170785 | 142955 20709 232611 11.2 | 2.105 % |
1435.11 c ==============================================================================
1435.12 c restarts : 24
1435.12 c conflicts : 2346095 (1658 /sec)
1435.12 c decisions : 2802532 (1980 /sec)
1435.12 c propagations : 235596943 (166466 /sec)
1435.12 c conflict literals : 34343134 (26.17 % deleted)
1435.12 c Memory used : 24.66 MB
1435.12 c CPU time : 1415.29 s
1435.12 c
1435.12 c UNSATISFIABLE
1435.15 c # SOLVE_SAT END : UNSATISFIABLE (1428 seconds) [Mon Jan 29 22:57:44 2007]
1435.15 c # SOLVE_SAT CPU : 1417.18 = 0.01 + 0 + 1415.29 + 1.88
1435.15
1435.15 c # RESULT : UNSATISFIABLE
1435.15
1435.15 c # OUTPUT_SOL BEGIN : UNSAT [Mon Jan 29 22:57:44 2007]
1435.15 s UNSATISFIABLE
1435.15 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 22:57:44 2007]
1435.15 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
1435.15
1435.15 c # MAIN END : (1435 seconds) [Mon Jan 29 22:57:44 2007]
1435.15 c # MAIN CPU : 1424.07 = 0.01 + 0 + 1421.98 + 2.08
1435.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-231192-1170106428 -o ROOT/results/node60/solver-231192-1170106428 -C 1800 -M 900 /tmp/evaluation/231192-1170106428/solver /tmp/evaluation/231192-1170106428 /tmp/evaluation/231192-1170106428/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: 1.93 2.23 2.64 5/76 23400
/proc/meminfo: memFree=1892168/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=12268 CPUtime=0
/proc/23399/stat : 23399 (sugar) R 23397 23399 22417 0 -1 4194304 586 0 0 0 0 0 0 0 18 0 1 0 30599715 12562432 306 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271911934192 0 0 4224 0 0 0 0 17 1 0 0
/proc/23399/statm: 3067 315 241 3 0 167 0
[startup+0.103083 s]
/proc/loadavg: 1.93 2.23 2.64 5/76 23400
/proc/meminfo: memFree=1892168/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=0.03
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30599715 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23399/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.511138 s]
/proc/loadavg: 1.93 2.23 2.64 5/76 23400
/proc/meminfo: memFree=1892168/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=0.03
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30599715 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23399/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33229 s]
/proc/loadavg: 1.93 2.23 2.64 4/84 23416
/proc/meminfo: memFree=1871240/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=0.74
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1190 7716 0 1 3 0 65 6 15 0 1 0 30599715 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23399/statm: 3431 809 371 3 0 531 0
[pid=23409] ppid=23399 vsize=807064 CPUtime=0.51
/proc/23409/stat : 23409 (java) R 23399 23399 22417 0 -1 0 7314 0 1 0 48 3 0 0 22 0 8 0 30599796 826433536 7063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23409/statm: 201766 7063 1494 14 0 189044 0
[pid=23409/tid=23410] ppid=23399 vsize=807064 CPUtime=0.06
/proc/23409/task/23410/stat : 23410 (java) S 23399 23399 22417 0 -1 64 1262 0 0 0 6 0 0 0 16 0 8 0 30599799 826433536 7063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23411] ppid=23399 vsize=807064 CPUtime=0
/proc/23409/task/23411/stat : 23411 (java) S 23399 23399 22417 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30599800 826433536 7063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23412] ppid=23399 vsize=807064 CPUtime=0
/proc/23409/task/23412/stat : 23412 (java) S 23399 23399 22417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30599800 826433536 7063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23413] ppid=23399 vsize=807064 CPUtime=0
/proc/23409/task/23413/stat : 23413 (java) S 23399 23399 22417 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30599803 826433536 7063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23414] ppid=23399 vsize=807064 CPUtime=0.05
/proc/23409/task/23414/stat : 23414 (java) S 23399 23399 22417 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30599803 826433536 7063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23415] ppid=23399 vsize=807064 CPUtime=0
/proc/23409/task/23415/stat : 23415 (java) S 23399 23399 22417 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30599803 826433536 7063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23416] ppid=23399 vsize=807064 CPUtime=0
/proc/23409/task/23416/stat : 23416 (java) S 23399 23399 22417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30599803 826433536 7063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788
[startup+2.97658 s]
/proc/loadavg: 1.93 2.23 2.64 3/84 23416
/proc/meminfo: memFree=1850696/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=0.74
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1190 7716 0 1 3 0 65 6 15 0 1 0 30599715 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23399/statm: 3431 809 371 3 0 531 0
[pid=23409] ppid=23399 vsize=807336 CPUtime=2.15
/proc/23409/stat : 23409 (java) R 23399 23399 22417 0 -1 0 13427 0 1 0 208 7 0 0 25 0 8 0 30599796 826712064 13162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073489627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23409/statm: 201834 13162 1506 14 0 189112 0
[pid=23409/tid=23410] ppid=23399 vsize=807336 CPUtime=0.53
/proc/23409/task/23410/stat : 23410 (java) S 23399 23399 22417 0 -1 64 7236 0 0 0 50 3 0 0 16 0 8 0 30599799 826712064 13162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23411] ppid=23399 vsize=807336 CPUtime=0
/proc/23409/task/23411/stat : 23411 (java) S 23399 23399 22417 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30599800 826712064 13162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23412] ppid=23399 vsize=807336 CPUtime=0
/proc/23409/task/23412/stat : 23412 (java) S 23399 23399 22417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30599800 826712064 13162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23413] ppid=23399 vsize=807336 CPUtime=0
/proc/23409/task/23413/stat : 23413 (java) S 23399 23399 22417 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30599803 826712064 13162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23414] ppid=23399 vsize=807336 CPUtime=0.12
/proc/23409/task/23414/stat : 23414 (java) R 23399 23399 22417 0 -1 64 393 0 0 0 12 0 0 0 16 0 8 0 30599803 826712064 13162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155084247 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23415] ppid=23399 vsize=807336 CPUtime=0
/proc/23409/task/23415/stat : 23415 (java) S 23399 23399 22417 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30599803 826712064 13162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23416] ppid=23399 vsize=807336 CPUtime=0
/proc/23409/task/23416/stat : 23416 (java) S 23399 23399 22417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30599803 826712064 13162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 821060
[startup+6.27517 s]
/proc/loadavg: 1.94 2.23 2.64 3/84 23416
/proc/meminfo: memFree=1817672/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=0.74
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1190 7716 0 1 3 0 65 6 15 0 1 0 30599715 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23399/statm: 3431 809 371 3 0 531 0
[pid=23409] ppid=23399 vsize=807336 CPUtime=5.46
/proc/23409/stat : 23409 (java) R 23399 23399 22417 0 -1 0 20813 0 1 0 535 11 0 0 25 0 8 0 30599796 826712064 20516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073579659 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23409/statm: 201834 20516 1507 14 0 189112 0
[pid=23409/tid=23410] ppid=23399 vsize=807336 CPUtime=0.93
/proc/23409/task/23410/stat : 23410 (java) S 23399 23399 22417 0 -1 64 14582 0 0 0 87 6 0 0 16 0 8 0 30599799 826712064 20516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23411] ppid=23399 vsize=807336 CPUtime=0
/proc/23409/task/23411/stat : 23411 (java) S 23399 23399 22417 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30599800 826712064 20516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23412] ppid=23399 vsize=807336 CPUtime=0
/proc/23409/task/23412/stat : 23412 (java) S 23399 23399 22417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30599800 826712064 20516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23413] ppid=23399 vsize=807336 CPUtime=0
/proc/23409/task/23413/stat : 23413 (java) S 23399 23399 22417 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30599803 826712064 20516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23414] ppid=23399 vsize=807336 CPUtime=0.13
/proc/23409/task/23414/stat : 23414 (java) S 23399 23399 22417 0 -1 64 400 0 0 0 13 0 0 0 17 0 8 0 30599803 826712064 20516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23415] ppid=23399 vsize=807336 CPUtime=0
/proc/23409/task/23415/stat : 23415 (java) S 23399 23399 22417 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30599803 826712064 20516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23409/tid=23416] ppid=23399 vsize=807336 CPUtime=0
/proc/23409/task/23416/stat : 23416 (java) S 23399 23399 22417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30599803 826712064 20516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 821060
[startup+12.7423 s]
/proc/loadavg: 1.87 2.20 2.63 2/69 23437
/proc/meminfo: memFree=1895288/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=6132 CPUtime=5.71
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 1405 0 0 0 570 1 0 0 25 0 1 0 30600415 6279168 1168 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 1533 1168 51 112 0 1417 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 19856
[startup+25.5686 s]
/proc/loadavg: 1.81 2.18 2.61 2/69 23509
/proc/meminfo: memFree=1892592/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=8340 CPUtime=18.46
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 1963 0 0 0 1842 4 0 0 25 0 1 0 30600415 8540160 1726 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 2085 1726 51 112 0 1969 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 22064
[startup+51.2072 s]
/proc/loadavg: 1.59 2.10 2.58 3/83 23666
/proc/meminfo: memFree=1861752/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=9532 CPUtime=44.02
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 2253 0 0 0 4396 6 0 0 25 0 1 0 30600415 9760768 2016 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 2383 2016 51 112 0 2267 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 23256
[startup+102.429 s]
/proc/loadavg: 1.82 2.08 2.54 3/76 23669
/proc/meminfo: memFree=1874032/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=11816 CPUtime=94.81
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 2788 0 0 0 9474 7 0 0 25 0 1 0 30600415 12099584 2551 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528426 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 2954 2551 51 112 0 2838 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 25540
[startup+162.489 s]
/proc/loadavg: 1.93 2.06 2.51 3/76 23669
/proc/meminfo: memFree=1870192/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=14156 CPUtime=154.36
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 3388 0 0 0 15429 7 0 0 25 0 1 0 30600415 14495744 3151 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 3539 3151 51 112 0 3423 0
Current children cumulated CPU time (s) 161.28
Current children cumulated vsize (KiB) 27880
[startup+222.551 s]
/proc/loadavg: 1.98 2.05 2.47 3/76 23669
/proc/meminfo: memFree=1867376/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=15344 CPUtime=213.92
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 3655 0 0 0 21384 8 0 0 25 0 1 0 30600415 15712256 3418 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 3836 3418 51 112 0 3720 0
Current children cumulated CPU time (s) 220.84
Current children cumulated vsize (KiB) 29068
[startup+282.607 s]
/proc/loadavg: 1.99 2.04 2.44 3/76 23669
/proc/meminfo: memFree=1865648/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=16040 CPUtime=273.5
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 3817 0 0 0 27342 8 0 0 25 0 1 0 30600415 16424960 3580 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 4010 3580 51 112 0 3894 0
Current children cumulated CPU time (s) 280.42
Current children cumulated vsize (KiB) 29764
[startup+342.663 s]
/proc/loadavg: 1.99 2.03 2.41 3/76 23669
/proc/meminfo: memFree=1863408/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
################
# More data... #
################
Current children cumulated CPU time (s) 578.21
Current children cumulated vsize (KiB) 33984
[startup+642.976 s]
/proc/loadavg: 1.99 2.00 2.28 3/76 23669
/proc/meminfo: memFree=1855472/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=20812 CPUtime=630.88
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 5022 0 0 0 63078 10 0 0 25 0 1 0 30600415 21311488 4749 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 5203 4749 51 112 0 5087 0
Current children cumulated CPU time (s) 637.8
Current children cumulated vsize (KiB) 34536
[startup+703.04 s]
/proc/loadavg: 2.06 2.02 2.27 3/76 23669
/proc/meminfo: memFree=1854320/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=20948 CPUtime=690.42
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 5098 0 0 0 69032 10 0 0 25 0 1 0 30600415 21450752 4797 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 5237 4797 51 112 0 5121 0
Current children cumulated CPU time (s) 697.34
Current children cumulated vsize (KiB) 34672
[startup+763.096 s]
/proc/loadavg: 2.02 2.01 2.25 3/76 23669
/proc/meminfo: memFree=1854000/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=20948 CPUtime=749.99
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 5107 0 0 0 74989 10 0 0 25 0 1 0 30600415 21450752 4806 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 5237 4806 51 112 0 5121 0
Current children cumulated CPU time (s) 756.91
Current children cumulated vsize (KiB) 34672
[startup+823.192 s]
/proc/loadavg: 2.01 2.00 2.23 3/76 23669
/proc/meminfo: memFree=1853680/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=21080 CPUtime=809.58
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 5135 0 0 0 80948 10 0 0 25 0 1 0 30600415 21585920 4834 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 5270 4834 51 112 0 5154 0
Current children cumulated CPU time (s) 816.5
Current children cumulated vsize (KiB) 34804
[startup+883.287 s]
/proc/loadavg: 2.00 2.00 2.21 3/76 23669
/proc/meminfo: memFree=1853104/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=21504 CPUtime=869.14
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 5240 0 0 0 86903 11 0 0 25 0 1 0 30600415 22020096 4939 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 5376 4939 51 112 0 5260 0
Current children cumulated CPU time (s) 876.06
Current children cumulated vsize (KiB) 35228
[startup+943.375 s]
/proc/loadavg: 2.00 2.00 2.20 3/76 23669
/proc/meminfo: memFree=1851824/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=22512 CPUtime=928.7
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 5493 0 0 0 92859 11 0 0 25 0 1 0 30600415 23052288 5192 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 5628 5192 51 112 0 5512 0
Current children cumulated CPU time (s) 935.62
Current children cumulated vsize (KiB) 36236
[startup+1003.46 s]
/proc/loadavg: 2.16 2.03 2.19 3/82 23740
/proc/meminfo: memFree=1585472/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=22592 CPUtime=988.32
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 5584 0 0 0 98816 16 0 0 25 0 1 0 30600415 23134208 5236 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 5648 5236 51 112 0 5532 0
Current children cumulated CPU time (s) 995.24
Current children cumulated vsize (KiB) 36316
[startup+1063.51 s]
/proc/loadavg: 3.96 2.57 2.36 3/82 23759
/proc/meminfo: memFree=35520/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=22892 CPUtime=1047.96
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 5651 0 0 0 104750 46 0 0 25 0 1 0 30600415 23441408 5303 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528506 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 5723 5303 51 112 0 5607 0
Current children cumulated CPU time (s) 1054.88
Current children cumulated vsize (KiB) 36616
[startup+1123.56 s]
/proc/loadavg: 4.00 2.87 2.48 4/82 23774
/proc/meminfo: memFree=14784/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=23340 CPUtime=1107.59
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 5755 0 0 0 110681 78 0 0 25 0 1 0 30600415 23900160 5407 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 5835 5407 51 112 0 5719 0
Current children cumulated CPU time (s) 1114.51
Current children cumulated vsize (KiB) 37064
[startup+1183.61 s]
/proc/loadavg: 3.07 2.81 2.48 3/82 23790
/proc/meminfo: memFree=15744/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=23488 CPUtime=1167.24
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 5770 0 0 0 116615 109 0 0 25 0 1 0 30600415 24051712 5422 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 5872 5422 51 112 0 5756 0
Current children cumulated CPU time (s) 1174.16
Current children cumulated vsize (KiB) 37212
[startup+1243.67 s]
/proc/loadavg: 2.70 2.76 2.48 3/82 23800
/proc/meminfo: memFree=16064/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=23636 CPUtime=1226.86
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 5816 0 0 0 122554 132 0 0 25 0 1 0 30600415 24203264 5468 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 5909 5468 51 112 0 5793 0
Current children cumulated CPU time (s) 1233.78
Current children cumulated vsize (KiB) 37360
[startup+1303.76 s]
/proc/loadavg: 2.38 2.66 2.46 3/82 23800
/proc/meminfo: memFree=15488/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=24572 CPUtime=1286.6
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 6026 0 0 0 128512 148 0 0 25 0 1 0 30600415 25161728 5678 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528435 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 6143 5678 51 112 0 6027 0
Current children cumulated CPU time (s) 1293.52
Current children cumulated vsize (KiB) 38296
[startup+1363.82 s]
/proc/loadavg: 2.50 2.63 2.46 3/82 23800
/proc/meminfo: memFree=16192/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=25024 CPUtime=1346.29
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 6150 0 0 0 134461 168 0 0 25 0 1 0 30600415 25624576 5802 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 6256 5802 51 112 0 6140 0
Current children cumulated CPU time (s) 1353.21
Current children cumulated vsize (KiB) 38748
[startup+1423.87 s]
/proc/loadavg: 2.89 2.71 2.50 3/82 23800
/proc/meminfo: memFree=16192/2055920 swapFree=4184188/4192956
[pid=23399] ppid=23397 vsize=13724 CPUtime=6.92
/proc/23399/stat : 23399 (sugar) S 23397 23399 22417 0 -1 4194304 1282 30912 0 2 3 0 669 20 16 0 1 0 30599715 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23399/statm: 3431 821 373 3 0 531 0
[pid=23417] ppid=23399 vsize=25348 CPUtime=1405.97
/proc/23417/stat : 23417 (minisat) R 23399 23399 22417 0 -1 0 6214 0 0 0 140413 184 0 0 25 0 1 0 30600415 25956352 5866 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23417/statm: 6337 5866 51 112 0 6221 0
Current children cumulated CPU time (s) 1412.89
Current children cumulated vsize (KiB) 39072
Child status: 0
Real time (s): 1435.17
CPU time (s): 1424.12
CPU user time (s): 1422.02
CPU system time (s): 2.09268
CPU usage (%): 99.2296
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1422.02
system time used= 2.09268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38504
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1701
involuntary context switches= 35774
runsolver used 1.3138 s user time and 4.01039 s system time
The end
Begin job on node60 on Mon Jan 29 21:33:48 UTC 2007
IDJOB= 231192
IDBENCH= 6453
IDSOLVER= 86
FILE ID= node60/231192-1170106428
PBS_JOBID= 3689848
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-41_ext.xml
COMMAND LINE= /tmp/evaluation/231192-1170106428/solver /tmp/evaluation/231192-1170106428 /tmp/evaluation/231192-1170106428/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-231192-1170106428 -o ROOT/results/node60/solver-231192-1170106428 -C 1800 -M 900 /tmp/evaluation/231192-1170106428/solver /tmp/evaluation/231192-1170106428 /tmp/evaluation/231192-1170106428/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f722cd49396bceac77d040b8ed1bfc74
RANDOM SEED= 205682292
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.283
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.283
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: 1892904 kB
Buffers: 34876 kB
Cached: 63484 kB
SwapCached: 3028 kB
Active: 56752 kB
Inactive: 64412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1892904 kB
SwapTotal: 4192956 kB
SwapFree: 4184188 kB
Dirty: 4428 kB
Writeback: 0 kB
Mapped: 29248 kB
Slab: 27124 kB
Committed_AS: 420468 kB
PageTables: 1876 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= 58083 MiB
End job on node60 on Mon Jan 29 21:57:44 UTC 2007