0.05 c # Sugar v0-40 (/tmp/evaluation/232430-1170106519/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/232430-1170106519/unknown.xml [Mon Jan 29 22:35:19 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/232430-1170106519/unknown.xml /tmp/evaluation/232430-1170106519/sugar21337.csp [Mon Jan 29 22:35:19 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232430-1170106519/sugar-v0-40.jar -convert /tmp/evaluation/232430-1170106519/unknown.xml /tmp/evaluation/232430-1170106519/sugar21337.csp
0.17 c BEGIN convert /tmp/evaluation/232430-1170106519/unknown.xml
0.91 c END convert (0.738586 seconds)
0.97 c # CONVERT_XML END : /tmp/evaluation/232430-1170106519/sugar21337.csp 201522 bytes (1 seconds) [Mon Jan 29 22:35:20 2007]
0.97 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.97
0.97 c # GENERATE_SAT BEGIN : /tmp/evaluation/232430-1170106519/sugar21337.bcnf [Mon Jan 29 22:35:20 2007]
0.97 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232430-1170106519/sugar-v0-40.jar -bcnf -map /tmp/evaluation/232430-1170106519/sugar21337.map /tmp/evaluation/232430-1170106519/sugar21337.csp /tmp/evaluation/232430-1170106519/sugar21337.bcnf
1.09 c BEGIN parse /tmp/evaluation/232430-1170106519/sugar21337.csp
1.79 c END parse (0.707904 seconds)
1.79 c BEGIN simplify
1.83 c END simplify (0.034751 seconds)
1.83 c BEGIN encode /tmp/evaluation/232430-1170106519/sugar21337.bcnf
13.08 c END encode (11.249383 seconds)
13.21 c # GENERATE_SAT END : 605457 variables 12142645 clauses 189615348 bytes (12 seconds) [Mon Jan 29 22:35:32 2007]
13.21 c # GENERATE_SAT CPU : 12.07 = 0.08 + 0 + 11.25 + 0.74
13.21
13.21 c # SOLVE_SAT BEGIN : /tmp/evaluation/232430-1170106519/sugar21337.bcnf [Mon Jan 29 22:35:32 2007]
13.21 c # CMD : /tmp/evaluation/232430-1170106519/minisat /tmp/evaluation/232430-1170106519/sugar21337.bcnf /tmp/evaluation/232430-1170106519/sugar21337.out
26.32 c ==================================[MINISAT]===================================
26.32 c | Conflicts | ORIGINAL | LEARNT | Progress |
26.32 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
26.32 c ==============================================================================
26.32 c | 0 | 4400946 12247040 | 1466982 0 0 nan | 0.000 % |
28.02 c | 100 | 4400946 12247040 | 1613680 100 1528 15.3 | 63.563 % |
30.28 c | 250 | 4400947 12247040 | 1775048 249 3943 15.8 | 63.563 % |
33.73 c | 476 | 4400949 12247040 | 1952553 473 6763 14.3 | 63.563 % |
35.45 c | 813 | 4400950 12247040 | 2147808 809 13658 16.9 | 63.563 % |
44.03 c | 1319 | 4400957 12247040 | 2362589 1308 20876 16.0 | 63.563 % |
55.87 c | 2079 | 4400959 12247040 | 2598848 2066 36744 17.8 | 63.563 % |
71.80 c | 3219 | 4400961 12247040 | 2858732 3204 51711 16.1 | 63.563 % |
94.63 c | 4927 | 4400969 12247040 | 3144606 4904 86660 17.7 | 63.563 % |
139.93 c | 7489 | 4400973 12247040 | 3459066 7462 145535 19.5 | 63.563 % |
192.14 c | 11335 | 4400980 12247040 | 3804973 11301 209668 18.6 | 63.563 % |
284.71 c | 17101 | 4400987 12247040 | 4185470 17060 369527 21.7 | 63.563 % |
418.68 c | 25750 | 4401000 12247040 | 4604017 25696 584227 22.7 | 63.563 % |
639.28 c | 38724 | 4401012 12247040 | 5064419 38658 899735 23.3 | 63.563 % |
958.94 c | 58185 | 4401034 12247040 | 5570861 58097 1328797 22.9 | 63.563 % |
1443.08 c | 87380 | 4401043 12247040 | 6127947 87283 2368592 27.1 | 63.563 % |
1808.37
1808.37 s UNKNOWN
1808.37 c # INTERRUPTED
1808.37 c # MAIN END : (1809 seconds) [Mon Jan 29 23:05:28 2007]
1808.37 c # MAIN CPU : 12.07 = 0.08 + 0 + 11.25 + 0.74
1808.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-232430-1170106519 -o ROOT/results/node61/solver-232430-1170106519 -C 1800 -M 900 /tmp/evaluation/232430-1170106519/solver /tmp/evaluation/232430-1170106519 /tmp/evaluation/232430-1170106519/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.78 2.01 2.47 5/75 21338
/proc/meminfo: memFree=1853288/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=12128 CPUtime=0
/proc/21337/stat : 21337 (sugar) R 21335 21337 20856 0 -1 4194304 499 0 0 0 0 0 0 0 20 0 1 0 30608835 12419072 218 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246406378921 0 0 4224 0 0 0 0 17 1 0 0
/proc/21337/statm: 3032 218 164 3 0 132 0
[startup+0.105725 s]
/proc/loadavg: 1.78 2.01 2.47 5/75 21338
/proc/meminfo: memFree=1853288/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=13724 CPUtime=0.04
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30608835 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.513769 s]
/proc/loadavg: 1.78 2.01 2.47 5/75 21338
/proc/meminfo: memFree=1853288/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=13724 CPUtime=0.04
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30608835 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33785 s]
/proc/loadavg: 1.80 2.01 2.47 3/84 21354
/proc/meminfo: memFree=1845912/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=13724 CPUtime=0.04
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30608835 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 3431 808 370 3 0 531 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21347] ppid=21337 vsize=807064 CPUtime=0.35
/proc/21347/stat : 21347 (java) R 21337 21337 20856 0 -1 0 6544 0 1 0 31 4 0 0 17 0 8 0 30608932 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21347/statm: 201766 6294 1494 14 0 189044 0
[pid=21347/tid=21348] ppid=21337 vsize=807064 CPUtime=0.02
/proc/21347/task/21348/stat : 21348 (java) S 21337 21337 20856 0 -1 64 492 0 0 0 2 0 0 0 16 0 8 0 30608935 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21349] ppid=21337 vsize=807064 CPUtime=0
/proc/21347/task/21349/stat : 21349 (java) S 21337 21337 20856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30608936 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21350] ppid=21337 vsize=807064 CPUtime=0
/proc/21347/task/21350/stat : 21350 (java) S 21337 21337 20856 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30608936 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21351] ppid=21337 vsize=807064 CPUtime=0
/proc/21347/task/21351/stat : 21351 (java) S 21337 21337 20856 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30608939 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21352] ppid=21337 vsize=807064 CPUtime=0.05
/proc/21347/task/21352/stat : 21352 (java) R 21337 21337 20856 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30608939 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21353] ppid=21337 vsize=807064 CPUtime=0
/proc/21347/task/21353/stat : 21353 (java) S 21337 21337 20856 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30608939 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21354] ppid=21337 vsize=807064 CPUtime=0
/proc/21347/task/21354/stat : 21354 (java) S 21337 21337 20856 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30608939 826433536 6294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 820788
[startup+2.989 s]
/proc/loadavg: 1.80 2.01 2.47 3/84 21354
/proc/meminfo: memFree=1814424/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=13724 CPUtime=0.04
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30608835 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 3431 808 370 3 0 531 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21347] ppid=21337 vsize=807332 CPUtime=2
/proc/21347/stat : 21347 (java) R 21337 21337 20856 0 -1 0 8784 0 1 0 187 13 0 0 25 0 8 0 30608932 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21347/statm: 201833 8530 1510 14 0 189111 0
[pid=21347/tid=21348] ppid=21337 vsize=807332 CPUtime=0.13
/proc/21347/task/21348/stat : 21348 (java) S 21337 21337 20856 0 -1 64 2552 0 0 0 12 1 0 0 16 0 8 0 30608935 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21349] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21349/stat : 21349 (java) S 21337 21337 20856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30608936 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21350] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21350/stat : 21350 (java) S 21337 21337 20856 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30608936 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21351] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21351/stat : 21351 (java) S 21337 21337 20856 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30608939 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21352] ppid=21337 vsize=807332 CPUtime=0.16
/proc/21347/task/21352/stat : 21352 (java) S 21337 21337 20856 0 -1 64 420 0 0 0 15 1 0 0 16 0 8 0 30608939 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21353] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21353/stat : 21353 (java) S 21337 21337 20856 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30608939 826707968 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21354] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21354/stat : 21354 (java) S 21337 21337 20856 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30608939 826707968 8530 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) 821056
[startup+6.27332 s]
/proc/loadavg: 1.89 2.03 2.47 3/84 21354
/proc/meminfo: memFree=1759064/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=13724 CPUtime=0.04
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30608835 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 3431 808 370 3 0 531 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21347] ppid=21337 vsize=807332 CPUtime=5.24
/proc/21347/stat : 21347 (java) R 21337 21337 20856 0 -1 0 8785 0 1 0 487 37 0 0 25 0 8 0 30608932 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21347/statm: 201833 8531 1510 14 0 189111 0
[pid=21347/tid=21348] ppid=21337 vsize=807332 CPUtime=0.13
/proc/21347/task/21348/stat : 21348 (java) S 21337 21337 20856 0 -1 64 2552 0 0 0 12 1 0 0 16 0 8 0 30608935 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21349] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21349/stat : 21349 (java) S 21337 21337 20856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30608936 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21350] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21350/stat : 21350 (java) S 21337 21337 20856 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30608936 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21351] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21351/stat : 21351 (java) S 21337 21337 20856 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30608939 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21352] ppid=21337 vsize=807332 CPUtime=0.16
/proc/21347/task/21352/stat : 21352 (java) S 21337 21337 20856 0 -1 64 421 0 0 0 15 1 0 0 16 0 8 0 30608939 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21353] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21353/stat : 21353 (java) S 21337 21337 20856 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30608939 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21354] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21354/stat : 21354 (java) S 21337 21337 20856 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30608939 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 821056
[startup+12.6769 s]
/proc/loadavg: 1.98 2.04 2.47 3/84 21356
/proc/meminfo: memFree=1644176/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=13724 CPUtime=0.04
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30608835 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 3431 808 370 3 0 531 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21347] ppid=21337 vsize=807332 CPUtime=11.58
/proc/21347/stat : 21347 (java) R 21337 21337 20856 0 -1 0 8785 0 1 0 1087 71 0 0 25 0 8 0 30608932 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21347/statm: 201833 8531 1510 14 0 189111 0
[pid=21347/tid=21348] ppid=21337 vsize=807332 CPUtime=0.13
/proc/21347/task/21348/stat : 21348 (java) S 21337 21337 20856 0 -1 64 2552 0 0 0 12 1 0 0 16 0 8 0 30608935 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21349] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21349/stat : 21349 (java) S 21337 21337 20856 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30608936 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21350] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21350/stat : 21350 (java) S 21337 21337 20856 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30608936 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21351] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21351/stat : 21351 (java) S 21337 21337 20856 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30608939 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21352] ppid=21337 vsize=807332 CPUtime=0.16
/proc/21347/task/21352/stat : 21352 (java) S 21337 21337 20856 0 -1 64 421 0 0 0 15 1 0 0 16 0 8 0 30608939 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21353] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21353/stat : 21353 (java) S 21337 21337 20856 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30608939 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21347/tid=21354] ppid=21337 vsize=807332 CPUtime=0
/proc/21347/task/21354/stat : 21354 (java) S 21337 21337 20856 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30608939 826707968 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 821056
[startup+25.5152 s]
/proc/loadavg: 2.06 2.06 2.47 3/77 21357
/proc/meminfo: memFree=1156368/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2414 8801 0 1 11 1 1125 74 18 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 4593 1934 373 3 0 1693 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21357] ppid=21337 vsize=512604 CPUtime=12.2
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126300 0 0 0 1127 93 0 0 25 0 1 0 30610156 524906496 125069 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134522283 0 0 4096 0 0 0 0 17 1 0 0
/proc/21357/statm: 128151 125069 36 112 0 128035 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 530976
[startup+51.2117 s]
/proc/loadavg: 2.16 2.08 2.46 3/77 21357
/proc/meminfo: memFree=1155984/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2424 8801 0 1 11 1 1125 74 16 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 4593 1934 373 3 0 1693 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21357] ppid=21337 vsize=513524 CPUtime=37.77
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126478 0 0 0 3684 93 0 0 25 0 1 0 30610156 525848576 125247 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/21357/statm: 128381 125247 51 112 0 128265 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 531896
[startup+102.5 s]
/proc/loadavg: 2.07 2.07 2.44 3/77 21357
/proc/meminfo: memFree=1155728/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2424 8801 0 1 11 1 1125 74 16 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 4593 1934 373 3 0 1693 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21357] ppid=21337 vsize=513524 CPUtime=88.68
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126478 0 0 0 8775 93 0 0 25 0 1 0 30610156 525848576 125247 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21357/statm: 128381 125247 51 112 0 128265 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 531896
[startup+162.522 s]
/proc/loadavg: 2.02 2.05 2.41 3/77 21357
/proc/meminfo: memFree=1153680/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2424 8801 0 1 11 1 1125 74 16 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
################
# More data... #
################
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126560 0 0 0 122284 94 0 0 25 0 1 0 30610156 526221312 125329 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 1 0 0
/proc/21357/statm: 128472 125329 51 112 0 128356 0
Current children cumulated CPU time (s) 1236.74
Current children cumulated vsize (KiB) 532260
[startup+1302.97 s]
/proc/loadavg: 2.02 2.01 2.10 3/77 21357
/proc/meminfo: memFree=1144272/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2424 8801 0 1 11 1 1125 74 16 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 4593 1934 373 3 0 1693 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21357] ppid=21337 vsize=513888 CPUtime=1283.52
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126563 0 0 0 128258 94 0 0 25 0 1 0 30610156 526221312 125332 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 1 0 0
/proc/21357/statm: 128472 125332 51 112 0 128356 0
Current children cumulated CPU time (s) 1296.48
Current children cumulated vsize (KiB) 532260
[startup+1363 s]
/proc/loadavg: 2.01 2.00 2.09 3/77 21357
/proc/meminfo: memFree=1144208/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2424 8801 0 1 11 1 1125 74 16 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 4593 1934 373 3 0 1693 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21357] ppid=21337 vsize=513888 CPUtime=1343.26
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126567 0 0 0 134232 94 0 0 25 0 1 0 30610156 526221312 125336 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21357/statm: 128472 125336 51 112 0 128356 0
Current children cumulated CPU time (s) 1356.22
Current children cumulated vsize (KiB) 532260
[startup+1423.02 s]
/proc/loadavg: 2.00 2.00 2.08 3/77 21357
/proc/meminfo: memFree=1142736/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2424 8801 0 1 11 1 1125 74 16 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 4593 1934 373 3 0 1693 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21357] ppid=21337 vsize=513888 CPUtime=1403
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126571 0 0 0 140206 94 0 0 25 0 1 0 30610156 526221312 125340 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21357/statm: 128472 125340 51 112 0 128356 0
Current children cumulated CPU time (s) 1415.96
Current children cumulated vsize (KiB) 532260
[startup+1483.02 s]
/proc/loadavg: 2.68 2.15 2.13 3/83 21458
/proc/meminfo: memFree=484688/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2424 8801 0 1 11 1 1125 74 16 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 4593 1934 373 3 0 1693 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21357] ppid=21337 vsize=513888 CPUtime=1462.83
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126574 0 0 0 146175 108 0 0 25 0 1 0 30610156 526221312 125343 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21357/statm: 128472 125343 51 112 0 128356 0
Current children cumulated CPU time (s) 1475.79
Current children cumulated vsize (KiB) 532260
[startup+1543.06 s]
/proc/loadavg: 4.15 2.66 2.30 3/87 21476
/proc/meminfo: memFree=15536/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2424 8801 0 1 11 1 1125 74 16 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 4593 1934 373 3 0 1693 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21357] ppid=21337 vsize=514068 CPUtime=1522.66
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126578 0 0 0 152126 140 0 0 25 0 1 0 30610156 526405632 125347 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 0 0 0
/proc/21357/statm: 128517 125347 51 112 0 128401 0
Current children cumulated CPU time (s) 1535.62
Current children cumulated vsize (KiB) 532440
[startup+1603.09 s]
/proc/loadavg: 4.06 2.94 2.42 3/90 21632
/proc/meminfo: memFree=15752/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2424 8801 0 1 11 1 1125 74 16 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 4593 1934 373 3 0 1693 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21357] ppid=21337 vsize=514068 CPUtime=1582.48
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126582 0 0 0 158060 188 0 0 25 0 1 0 30610156 526405632 125351 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21357/statm: 128517 125351 51 112 0 128401 0
Current children cumulated CPU time (s) 1595.44
Current children cumulated vsize (KiB) 532440
[startup+1663.19 s]
/proc/loadavg: 3.15 2.89 2.43 3/83 21708
/proc/meminfo: memFree=15952/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2424 8801 0 1 11 1 1125 74 16 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 4593 1934 373 3 0 1693 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21357] ppid=21337 vsize=514068 CPUtime=1642.34
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126586 0 0 0 164011 223 0 0 25 0 1 0 30610156 526405632 125355 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/21357/statm: 128517 125355 51 112 0 128401 0
Current children cumulated CPU time (s) 1655.3
Current children cumulated vsize (KiB) 532440
[startup+1723.25 s]
/proc/loadavg: 2.86 2.86 2.45 3/83 21726
/proc/meminfo: memFree=15192/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2424 8801 0 1 11 1 1125 74 16 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 4593 1934 373 3 0 1693 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21357] ppid=21337 vsize=514068 CPUtime=1702.22
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126589 0 0 0 169967 255 0 0 25 0 1 0 30610156 526405632 125358 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/21357/statm: 128517 125358 51 112 0 128401 0
Current children cumulated CPU time (s) 1715.18
Current children cumulated vsize (KiB) 532440
[startup+1783.3 s]
/proc/loadavg: 2.47 2.74 2.44 3/83 21726
/proc/meminfo: memFree=16024/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2424 8801 0 1 11 1 1125 74 16 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 4593 1934 373 3 0 1693 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21357] ppid=21337 vsize=514068 CPUtime=1762.13
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126593 0 0 0 175937 276 0 0 25 0 1 0 30610156 526405632 125362 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/21357/statm: 128517 125362 51 112 0 128401 0
Current children cumulated CPU time (s) 1775.09
Current children cumulated vsize (KiB) 532440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.36 s]
/proc/loadavg: 2.51 2.73 2.44 3/83 21726
/proc/meminfo: memFree=15448/2055920 swapFree=4192812/4192956
[pid=21337] ppid=21335 vsize=18372 CPUtime=12.11
/proc/21337/stat : 21337 (sugar) S 21335 21337 20856 0 -1 4194304 2424 8801 0 1 11 1 1125 74 16 0 1 0 30608835 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21337/statm: 4593 1934 373 3 0 1693 0
[pid=21339] ppid=21337 vsize=0 CPUtime=0.85
/proc/21339/stat : 21339 (java) Z 21337 21337 20856 0 -1 1036 9530 0 1 0 78 7 0 0 16 0 1 0 30608840 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21339/statm: 0 0 0 0 0 0 0
[pid=21357] ppid=21337 vsize=514068 CPUtime=1787.14
/proc/21357/stat : 21357 (minisat) R 21337 21337 20856 0 -1 0 126595 0 0 0 178431 283 0 0 25 0 1 0 30610156 526405632 125364 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 0 0 0
/proc/21357/statm: 128517 125364 51 112 0 128401 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 532440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 21337 and gives childrusage.ru_utime.tv_sec=11 childrusage.ru_utime.tv_usec=370271 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=776881
CPU time returned by wait4() is 12.1472
while last known CPU time is 1800.19
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.05
CPU time (s): 1800.19
CPU user time (s): 1796.45
CPU system time (s): 3.74
CPU usage (%): 99.455
Max. virtual memory (cumulated for all children) (KiB): 821056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3703
system time used= 0.776881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11310
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 851
involuntary context switches= 862
runsolver used 1.93971 s user time and 6.12407 s system time
The end
Begin job on node61 on Mon Jan 29 21:35:19 UTC 2007
IDJOB= 232430
IDBENCH= 6518
IDSOLVER= 86
FILE ID= node61/232430-1170106519
PBS_JOBID= 3689849
Free space on /tmp= 66551 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20/js-taillard-20-95-1.xml
COMMAND LINE= /tmp/evaluation/232430-1170106519/solver /tmp/evaluation/232430-1170106519 /tmp/evaluation/232430-1170106519/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-232430-1170106519 -o ROOT/results/node61/solver-232430-1170106519 -C 1800 -M 900 /tmp/evaluation/232430-1170106519/solver /tmp/evaluation/232430-1170106519 /tmp/evaluation/232430-1170106519/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f240dec7122bf59a4eab757b8046c3d9
RANDOM SEED= 192766727
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.216
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.216
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: 1853704 kB
Buffers: 37816 kB
Cached: 59084 kB
SwapCached: 0 kB
Active: 102760 kB
Inactive: 52124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1853704 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1480 kB
Writeback: 0 kB
Mapped: 68984 kB
Slab: 32744 kB
Committed_AS: 439616 kB
PageTables: 1832 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= 59164 MiB
End job on node61 on Mon Jan 29 22:05:29 UTC 2007