0.05 c # Sugar v0-40 (/tmp/evaluation/229919-1170106278/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/229919-1170106278/unknown.xml [Mon Jan 29 22:31:19 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/229919-1170106278/unknown.xml /tmp/evaluation/229919-1170106278/sugar22867.csp [Mon Jan 29 22:31:19 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229919-1170106278/sugar-v0-40.jar -convert /tmp/evaluation/229919-1170106278/unknown.xml /tmp/evaluation/229919-1170106278/sugar22867.csp
0.18 c BEGIN convert /tmp/evaluation/229919-1170106278/unknown.xml
0.89 c END convert (0.706283 seconds)
0.93 c # CONVERT_XML END : /tmp/evaluation/229919-1170106278/sugar22867.csp 2167906 bytes (1 seconds) [Mon Jan 29 22:31:20 2007]
0.93 c # CONVERT_XML CPU : 0.82 = 0 + 0 + 0.73 + 0.09
0.93
0.93 c # GENERATE_SAT BEGIN : /tmp/evaluation/229919-1170106278/sugar22867.bcnf [Mon Jan 29 22:31:20 2007]
0.93 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229919-1170106278/sugar-v0-40.jar -bcnf -map /tmp/evaluation/229919-1170106278/sugar22867.map /tmp/evaluation/229919-1170106278/sugar22867.csp /tmp/evaluation/229919-1170106278/sugar22867.bcnf
1.05 c BEGIN parse /tmp/evaluation/229919-1170106278/sugar22867.csp
38.39 c END parse (37.343034 seconds)
38.39 c BEGIN simplify
38.54 c END simplify (0.154141 seconds)
38.54 c BEGIN encode /tmp/evaluation/229919-1170106278/sugar22867.bcnf
39.80 c END encode (1.254951 seconds)
39.92 c # GENERATE_SAT END : 8688 variables 82077 clauses 10174180 bytes (39 seconds) [Mon Jan 29 22:31:59 2007]
39.92 c # GENERATE_SAT CPU : 38.94 = 0.07 + 0.01 + 38.33 + 0.53
39.92
39.92 c # SOLVE_SAT BEGIN : /tmp/evaluation/229919-1170106278/sugar22867.bcnf [Mon Jan 29 22:31:59 2007]
39.92 c # CMD : /tmp/evaluation/229919-1170106278/minisat /tmp/evaluation/229919-1170106278/sugar22867.bcnf /tmp/evaluation/229919-1170106278/sugar22867.out
40.16 c ==================================[MINISAT]===================================
40.16 c | Conflicts | ORIGINAL | LEARNT | Progress |
40.16 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
40.16 c ==============================================================================
40.16 c | 0 | 82077 2461458 | 27359 0 0 nan | 0.000 % |
40.22 c | 100 | 82078 2461458 | 30094 99 4354 44.0 | 0.000 % |
40.30 c | 250 | 82079 2461458 | 33104 248 6598 26.6 | 0.000 % |
40.40 c | 475 | 82081 2461458 | 36414 471 10396 22.1 | 0.000 % |
40.58 c | 812 | 82082 2461458 | 40056 807 16765 20.8 | 0.000 % |
40.79 c | 1318 | 82082 2461458 | 44061 1313 26025 19.8 | 0.000 % |
41.15 c | 2077 | 82083 2461458 | 48468 2071 38743 18.7 | 0.000 % |
41.74 c | 3216 | 82083 2461458 | 53314 3210 57997 18.1 | 0.000 % |
42.56 c | 4924 | 82084 2461458 | 58646 4917 85427 17.4 | 0.000 % |
43.98 c | 7486 | 82084 2461458 | 64511 7479 150843 20.2 | 0.000 % |
46.35 c | 11330 | 82084 2461458 | 70962 11323 225176 19.9 | 0.000 % |
50.42 c | 17097 | 82084 2461458 | 78058 17090 359279 21.0 | 0.000 % |
56.21 c | 25747 | 82085 2461458 | 85864 25739 550905 21.4 | 0.000 % |
68.64 c | 38723 | 82086 2461458 | 94450 38714 1149052 29.7 | 0.000 % |
88.73 c | 58186 | 82086 2461458 | 103895 58177 1752137 30.1 | 0.000 % |
125.09 c | 87378 | 82095 2461458 | 114285 87360 2621801 30.0 | 0.000 % |
182.28 c | 131167 | 82102 2461458 | 125713 32591 925573 28.4 | 0.000 % |
258.12 c | 196851 | 82114 2461458 | 138285 98263 2839862 28.9 | 0.000 % |
386.59 c | 295378 | 82119 2461458 | 152113 77411 2520832 32.6 | 0.000 % |
601.34 c | 443167 | 82141 2461458 | 167325 97538 2564147 26.3 | 0.000 % |
967.27 c | 664850 | 82156 2461458 | 184057 26772 670784 25.1 | 0.000 % |
1534.83 c | 997375 | 82170 2461458 | 202463 38239 1239129 32.4 | 0.000 % |
1801.46
1801.46 s UNKNOWN
1801.46 c # INTERRUPTED
1801.46 c # MAIN END : (1801 seconds) [Mon Jan 29 23:01:20 2007]
1801.46 c # MAIN CPU : 39.76 = 0.07 + 0.01 + 39.06 + 0.62
1801.46
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-229919-1170106278 -o ROOT/results/node20/solver-229919-1170106278 -C 1800 -M 900 /tmp/evaluation/229919-1170106278/solver /tmp/evaluation/229919-1170106278 /tmp/evaluation/229919-1170106278/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: 2.02 2.48 2.75 5/88 22868
/proc/meminfo: memFree=1798792/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=12268 CPUtime=0
/proc/22867/stat : 22867 (sugar) R 22865 22867 21815 0 -1 4194304 597 0 0 0 0 0 0 0 20 0 1 0 30581836 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273952766565 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/22867/statm: 3067 316 241 3 0 167 0
[startup+0.106213 s]
/proc/loadavg: 2.02 2.48 2.75 5/88 22868
/proc/meminfo: memFree=1798792/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=13724 CPUtime=0.03
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30581836 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.514264 s]
/proc/loadavg: 2.02 2.48 2.75 5/88 22868
/proc/meminfo: memFree=1798792/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=13724 CPUtime=0.03
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30581836 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33737 s]
/proc/loadavg: 2.02 2.48 2.75 4/96 22884
/proc/meminfo: memFree=1788872/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=13724 CPUtime=0.85
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 1190 7919 0 1 3 0 73 9 16 0 1 0 30581836 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 3431 809 371 3 0 531 0
[pid=22877] ppid=22867 vsize=807064 CPUtime=0.38
/proc/22877/stat : 22877 (java) R 22867 22867 21815 0 -1 0 6514 0 1 0 35 3 0 0 17 0 8 0 30581929 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073481888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22877/statm: 201766 6264 1494 14 0 189044 0
[pid=22877/tid=22878] ppid=22867 vsize=807064 CPUtime=0.02
/proc/22877/task/22878/stat : 22878 (java) S 22867 22867 21815 0 -1 64 462 0 0 0 2 0 0 0 16 0 8 0 30581932 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22879] ppid=22867 vsize=807064 CPUtime=0
/proc/22877/task/22879/stat : 22879 (java) S 22867 22867 21815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30581933 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22880] ppid=22867 vsize=807064 CPUtime=0
/proc/22877/task/22880/stat : 22880 (java) S 22867 22867 21815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30581933 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22881] ppid=22867 vsize=807064 CPUtime=0
/proc/22877/task/22881/stat : 22881 (java) S 22867 22867 21815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30581936 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22882] ppid=22867 vsize=807064 CPUtime=0.05
/proc/22877/task/22882/stat : 22882 (java) R 22867 22867 21815 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30581936 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22883] ppid=22867 vsize=807064 CPUtime=0
/proc/22877/task/22883/stat : 22883 (java) S 22867 22867 21815 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30581936 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22884] ppid=22867 vsize=807064 CPUtime=0
/proc/22877/task/22884/stat : 22884 (java) S 22867 22867 21815 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30581936 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 820788
[startup+2.99056 s]
/proc/loadavg: 2.02 2.47 2.74 4/96 22884
/proc/meminfo: memFree=1760008/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=13724 CPUtime=0.85
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 1190 7919 0 1 3 0 73 9 16 0 1 0 30581836 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 3431 809 371 3 0 531 0
[pid=22877] ppid=22867 vsize=807064 CPUtime=2.04
/proc/22877/stat : 22877 (java) R 22867 22867 21815 0 -1 0 13351 0 1 0 196 8 0 0 25 0 8 0 30581929 826433536 13086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073507715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22877/statm: 201766 13086 1494 14 0 189044 0
[pid=22877/tid=22878] ppid=22867 vsize=807064 CPUtime=0.56
/proc/22877/task/22878/stat : 22878 (java) S 22867 22867 21815 0 -1 64 7284 0 0 0 52 4 0 0 16 0 8 0 30581932 826433536 13086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22879] ppid=22867 vsize=807064 CPUtime=0
/proc/22877/task/22879/stat : 22879 (java) S 22867 22867 21815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30581933 826433536 13086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22880] ppid=22867 vsize=807064 CPUtime=0
/proc/22877/task/22880/stat : 22880 (java) S 22867 22867 21815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30581933 826433536 13086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22881] ppid=22867 vsize=807064 CPUtime=0
/proc/22877/task/22881/stat : 22881 (java) S 22867 22867 21815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30581936 826433536 13086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22882] ppid=22867 vsize=807064 CPUtime=0.05
/proc/22877/task/22882/stat : 22882 (java) S 22867 22867 21815 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30581936 826433536 13086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22883] ppid=22867 vsize=807064 CPUtime=0
/proc/22877/task/22883/stat : 22883 (java) S 22867 22867 21815 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30581936 826433536 13086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22884] ppid=22867 vsize=807064 CPUtime=0
/proc/22877/task/22884/stat : 22884 (java) S 22867 22867 21815 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30581936 826433536 13086 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) 820788
[startup+6.20995 s]
/proc/loadavg: 2.02 2.47 2.74 3/96 22884
/proc/meminfo: memFree=1684168/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=13724 CPUtime=0.85
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 1190 7919 0 1 3 0 73 9 16 0 1 0 30581836 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 3431 809 371 3 0 531 0
[pid=22877] ppid=22867 vsize=807328 CPUtime=5.24
/proc/22877/stat : 22877 (java) R 22867 22867 21815 0 -1 0 31482 0 1 0 505 19 0 0 25 0 8 0 30581929 826703872 31143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22877/statm: 201832 31143 1506 14 0 189110 0
[pid=22877/tid=22878] ppid=22867 vsize=807328 CPUtime=1.5
/proc/22877/task/22878/stat : 22878 (java) R 22867 22867 21815 0 -1 64 25190 0 0 0 137 13 0 0 15 0 8 0 30581932 826703872 31143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153823095 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22879] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22879/stat : 22879 (java) S 22867 22867 21815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30581933 826703872 31143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22880] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22880/stat : 22880 (java) S 22867 22867 21815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30581933 826703872 31143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22881] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22881/stat : 22881 (java) S 22867 22867 21815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30581936 826703872 31143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22882] ppid=22867 vsize=807328 CPUtime=0.13
/proc/22877/task/22882/stat : 22882 (java) S 22867 22867 21815 0 -1 64 400 0 0 0 13 0 0 0 15 0 8 0 30581936 826703872 31143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22883] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22883/stat : 22883 (java) S 22867 22867 21815 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30581936 826703872 31143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22884] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22884/stat : 22884 (java) S 22867 22867 21815 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30581936 826703872 31143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 821052
[startup+12.6955 s]
/proc/loadavg: 2.02 2.46 2.73 3/96 22884
/proc/meminfo: memFree=1582024/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=13724 CPUtime=0.85
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 1190 7919 0 1 3 0 73 9 16 0 1 0 30581836 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 3431 809 371 3 0 531 0
[pid=22877] ppid=22867 vsize=807328 CPUtime=11.72
/proc/22877/stat : 22877 (java) R 22867 22867 21815 0 -1 0 55029 0 1 0 1140 32 0 0 25 0 8 0 30581929 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22877/statm: 201832 54113 1507 14 0 189110 0
[pid=22877/tid=22878] ppid=22867 vsize=807328 CPUtime=3.86
/proc/22877/task/22878/stat : 22878 (java) S 22867 22867 21815 0 -1 64 48530 0 0 0 360 26 0 0 16 0 8 0 30581932 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22879] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22879/stat : 22879 (java) S 22867 22867 21815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30581933 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22880] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22880/stat : 22880 (java) S 22867 22867 21815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30581933 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22881] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22881/stat : 22881 (java) S 22867 22867 21815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30581936 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22882] ppid=22867 vsize=807328 CPUtime=0.14
/proc/22877/task/22882/stat : 22882 (java) S 22867 22867 21815 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 30581936 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22883] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22883/stat : 22883 (java) S 22867 22867 21815 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30581936 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22884] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22884/stat : 22884 (java) S 22867 22867 21815 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30581936 826703872 54113 18446744073709551615 134512640 134570532 4294956480 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) 821052
[startup+25.5871 s]
/proc/loadavg: 2.09 2.46 2.73 3/96 22884
/proc/meminfo: memFree=1580040/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=13724 CPUtime=0.85
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 1190 7919 0 1 3 0 73 9 16 0 1 0 30581836 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 3431 809 371 3 0 531 0
[pid=22877] ppid=22867 vsize=807328 CPUtime=24.61
/proc/22877/stat : 22877 (java) R 22867 22867 21815 0 -1 0 56055 0 1 0 2424 37 0 0 25 0 8 0 30581929 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22877/statm: 201832 54113 1507 14 0 189110 0
[pid=22877/tid=22878] ppid=22867 vsize=807328 CPUtime=8.56
/proc/22877/task/22878/stat : 22878 (java) S 22867 22867 21815 0 -1 64 49200 0 0 0 827 29 0 0 16 0 8 0 30581932 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22879] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22879/stat : 22879 (java) S 22867 22867 21815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30581933 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22880] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22880/stat : 22880 (java) S 22867 22867 21815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30581933 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22881] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22881/stat : 22881 (java) S 22867 22867 21815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30581936 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22882] ppid=22867 vsize=807328 CPUtime=0.14
/proc/22877/task/22882/stat : 22882 (java) S 22867 22867 21815 0 -1 64 403 0 0 0 14 0 0 0 17 0 8 0 30581936 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22883] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22883/stat : 22883 (java) S 22867 22867 21815 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30581936 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22877/tid=22884] ppid=22867 vsize=807328 CPUtime=0
/proc/22877/task/22884/stat : 22884 (java) S 22867 22867 21815 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30581936 826703872 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 821052
[startup+51.2022 s]
/proc/loadavg: 2.12 2.44 2.72 3/89 22885
/proc/meminfo: memFree=1760256/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=16432 CPUtime=11.26
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 4762 0 0 0 1122 4 0 0 25 0 1 0 30585828 16826368 3723 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22885/statm: 4108 3723 52 112 0 3992 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 34204
[startup+102.433 s]
/proc/loadavg: 2.05 2.37 2.68 3/89 22885
/proc/meminfo: memFree=1751808/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=24780 CPUtime=62.48
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 6860 0 0 0 6240 8 0 0 25 0 1 0 30585828 25374720 5821 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22885/statm: 6195 5821 52 112 0 6079 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42552
[startup+162.5 s]
/proc/loadavg: 2.02 2.30 2.63 3/89 22885
/proc/meminfo: memFree=1744072/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=31560 CPUtime=122.52
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 8550 0 0 0 12241 11 0 0 25 0 1 0 30585828 32317440 7511 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22885/statm: 7890 7511 52 112 0 7774 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 49332
################
# More data... #
################
/proc/loadavg: 2.02 2.01 2.20 3/89 22887
/proc/meminfo: memFree=1710152/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=44092 CPUtime=1083.19
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 11554 0 0 0 108299 20 0 0 25 0 1 0 30585828 45150208 10515 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528506 0 0 4096 3 0 0 0 17 1 0 0
/proc/22885/statm: 11023 10515 52 112 0 10907 0
Current children cumulated CPU time (s) 1122.98
Current children cumulated vsize (KiB) 61864
[startup+1183.55 s]
/proc/loadavg: 2.01 2.00 2.18 3/89 22887
/proc/meminfo: memFree=1708680/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=45304 CPUtime=1143.27
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 11863 0 0 0 114306 21 0 0 25 0 1 0 30585828 46391296 10824 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22885/statm: 11326 10824 52 112 0 11210 0
Current children cumulated CPU time (s) 1183.06
Current children cumulated vsize (KiB) 63076
[startup+1243.56 s]
/proc/loadavg: 2.00 2.00 2.17 3/89 22887
/proc/meminfo: memFree=1704584/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=49208 CPUtime=1203.25
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 12845 0 0 0 120303 22 0 0 25 0 1 0 30585828 50388992 11806 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22885/statm: 12302 11806 52 112 0 12186 0
Current children cumulated CPU time (s) 1243.04
Current children cumulated vsize (KiB) 66980
[startup+1303.65 s]
/proc/loadavg: 2.00 2.00 2.16 3/89 22887
/proc/meminfo: memFree=1704136/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=49496 CPUtime=1263.33
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 12935 0 0 0 126310 23 0 0 25 0 1 0 30585828 50683904 11896 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22885/statm: 12374 11896 52 112 0 12258 0
Current children cumulated CPU time (s) 1303.12
Current children cumulated vsize (KiB) 67268
[startup+1363.71 s]
/proc/loadavg: 2.03 2.01 2.15 3/89 22887
/proc/meminfo: memFree=1703816/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=49648 CPUtime=1323.37
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 12943 0 0 0 132314 23 0 0 25 0 1 0 30585828 50839552 11904 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22885/statm: 12412 11904 52 112 0 12296 0
Current children cumulated CPU time (s) 1363.16
Current children cumulated vsize (KiB) 67420
[startup+1423.78 s]
/proc/loadavg: 2.01 2.01 2.14 3/89 22887
/proc/meminfo: memFree=1703304/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=50100 CPUtime=1383.43
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 13045 0 0 0 138319 24 0 0 25 0 1 0 30585828 51302400 12006 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22885/statm: 12525 12006 52 112 0 12409 0
Current children cumulated CPU time (s) 1423.22
Current children cumulated vsize (KiB) 67872
[startup+1483.87 s]
/proc/loadavg: 2.00 2.00 2.13 3/89 22887
/proc/meminfo: memFree=1703112/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=50100 CPUtime=1443.49
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 13052 0 0 0 144325 24 0 0 25 0 1 0 30585828 51302400 12013 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22885/statm: 12525 12013 52 112 0 12409 0
Current children cumulated CPU time (s) 1483.28
Current children cumulated vsize (KiB) 67872
[startup+1543.94 s]
/proc/loadavg: 2.00 2.00 2.12 3/89 22887
/proc/meminfo: memFree=1700936/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=52188 CPUtime=1503.55
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 13590 0 0 0 150329 26 0 0 25 0 1 0 30585828 53440512 12551 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22885/statm: 13047 12551 52 112 0 12931 0
Current children cumulated CPU time (s) 1543.34
Current children cumulated vsize (KiB) 69960
[startup+1604 s]
/proc/loadavg: 2.04 2.01 2.11 3/89 22887
/proc/meminfo: memFree=1700232/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=52496 CPUtime=1563.59
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 13660 0 0 0 156333 26 0 0 25 0 1 0 30585828 53755904 12621 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22885/statm: 13124 12621 52 112 0 13008 0
Current children cumulated CPU time (s) 1603.38
Current children cumulated vsize (KiB) 70268
[startup+1664.07 s]
/proc/loadavg: 2.01 2.01 2.10 3/89 22887
/proc/meminfo: memFree=1699464/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=52496 CPUtime=1623.64
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 13667 0 0 0 162337 27 0 0 25 0 1 0 30585828 53755904 12628 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22885/statm: 13124 12628 52 112 0 13008 0
Current children cumulated CPU time (s) 1663.43
Current children cumulated vsize (KiB) 70268
[startup+1724.15 s]
/proc/loadavg: 2.10 2.02 2.10 3/95 22956
/proc/meminfo: memFree=1072536/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=52636 CPUtime=1683.52
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 13692 0 0 0 168314 38 0 0 25 0 1 0 30585828 53899264 12653 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22885/statm: 13159 12653 52 112 0 13043 0
Current children cumulated CPU time (s) 1723.31
Current children cumulated vsize (KiB) 70408
[startup+1784.2 s]
/proc/loadavg: 2.93 2.25 2.16 3/101 23000
/proc/meminfo: memFree=14880/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=54140 CPUtime=1743.14
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 14023 0 0 0 174245 69 0 0 25 0 1 0 30585828 55439360 12984 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22885/statm: 13535 12984 52 112 0 13419 0
Current children cumulated CPU time (s) 1782.93
Current children cumulated vsize (KiB) 71912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.45 s]
/proc/loadavg: 2.81 2.25 2.17 3/103 23062
/proc/meminfo: memFree=15744/2055920 swapFree=4192812/4192956
[pid=22867] ppid=22865 vsize=17772 CPUtime=39.79
/proc/22867/stat : 22867 (sugar) S 22865 22867 21815 0 -1 4194304 2308 71011 0 2 10 1 3906 62 16 0 1 0 30581836 18198528 1820 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22867/statm: 4443 1820 373 3 0 1543 0
[pid=22885] ppid=22867 vsize=55300 CPUtime=1760.25
/proc/22885/stat : 22885 (minisat) R 22867 22867 21815 0 -1 0 14326 0 0 0 175944 81 0 0 25 0 1 0 30585828 56627200 13287 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/22885/statm: 13825 13287 52 112 0 13709 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 73072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22867 and gives childrusage.ru_utime.tv_sec=39 childrusage.ru_utime.tv_usec=176044 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=643902
CPU time returned by wait4() is 39.8199
while last known CPU time is 1800.05
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1802.51
CPU time (s): 1800.05
CPU user time (s): 1798.6
CPU system time (s): 1.45
CPU usage (%): 99.8636
Max. virtual memory (cumulated for all children) (KiB): 822056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.176
system time used= 0.643902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73404
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= 8824
involuntary context switches= 8658
runsolver used 2.36564 s user time and 5.2532 s system time
The end
Begin job on node20 on Mon Jan 29 21:31:19 UTC 2007
IDJOB= 229919
IDBENCH= 6376
IDSOLVER= 86
FILE ID= node20/229919-1170106278
PBS_JOBID= 3689762
Free space on /tmp= 66550 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-45_ext.xml
COMMAND LINE= /tmp/evaluation/229919-1170106278/solver /tmp/evaluation/229919-1170106278 /tmp/evaluation/229919-1170106278/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-229919-1170106278 -o ROOT/results/node20/solver-229919-1170106278 -C 1800 -M 900 /tmp/evaluation/229919-1170106278/solver /tmp/evaluation/229919-1170106278 /tmp/evaluation/229919-1170106278/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 677c8b2fc95fbc432e1737c709f72654
RANDOM SEED= 925759698
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.234
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.234
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: 1799272 kB
Buffers: 40028 kB
Cached: 73124 kB
SwapCached: 0 kB
Active: 150604 kB
Inactive: 60124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1799272 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1260 kB
Writeback: 0 kB
Mapped: 117220 kB
Slab: 30716 kB
Committed_AS: 383920 kB
PageTables: 2132 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= 64058 MiB
End job on node20 on Mon Jan 29 22:01:21 UTC 2007