0.04 c # Sugar v0-40 (/tmp/evaluation/194616-1170090277/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/194616-1170090277/unknown.xml [Mon Jan 29 18:04:37 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/194616-1170090277/unknown.xml /tmp/evaluation/194616-1170090277/sugar23731.csp [Mon Jan 29 18:04:37 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194616-1170090277/sugar-v0-40.jar -convert /tmp/evaluation/194616-1170090277/unknown.xml /tmp/evaluation/194616-1170090277/sugar23731.csp
0.17 c BEGIN convert /tmp/evaluation/194616-1170090277/unknown.xml
0.85 c END convert (0.68264 seconds)
0.89 c # CONVERT_XML END : /tmp/evaluation/194616-1170090277/sugar23731.csp 2175203 bytes (1 seconds) [Mon Jan 29 18:04:38 2007]
0.89 c # CONVERT_XML CPU : 0.8 = 0 + 0.01 + 0.72 + 0.07
0.89
0.89 c # GENERATE_SAT BEGIN : /tmp/evaluation/194616-1170090277/sugar23731.bcnf [Mon Jan 29 18:04:38 2007]
0.89 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194616-1170090277/sugar-v0-40.jar -bcnf -map /tmp/evaluation/194616-1170090277/sugar23731.map /tmp/evaluation/194616-1170090277/sugar23731.csp /tmp/evaluation/194616-1170090277/sugar23731.bcnf
1.00 c BEGIN parse /tmp/evaluation/194616-1170090277/sugar23731.csp
36.00 c END parse (34.995251 seconds)
36.00 c BEGIN simplify
36.15 c END simplify (0.148622 seconds)
36.15 c BEGIN encode /tmp/evaluation/194616-1170090277/sugar23731.bcnf
37.26 c END encode (1.106979 seconds)
37.40 c # GENERATE_SAT END : 7764 variables 80452 clauses 9112840 bytes (37 seconds) [Mon Jan 29 18:05:15 2007]
37.40 c # GENERATE_SAT CPU : 36.44 = 0.06 + 0 + 35.89 + 0.49
37.40
37.40 c # SOLVE_SAT BEGIN : /tmp/evaluation/194616-1170090277/sugar23731.bcnf [Mon Jan 29 18:05:15 2007]
37.40 c # CMD : /tmp/evaluation/194616-1170090277/minisat /tmp/evaluation/194616-1170090277/sugar23731.bcnf /tmp/evaluation/194616-1170090277/sugar23731.out
37.62 c ==================================[MINISAT]===================================
37.62 c | Conflicts | ORIGINAL | LEARNT | Progress |
37.62 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
37.62 c ==============================================================================
37.62 c | 0 | 80452 2197748 | 26817 0 0 nan | 0.000 % |
37.67 c | 100 | 80453 2197748 | 29498 99 2373 24.0 | 0.000 % |
37.75 c | 250 | 80453 2197748 | 32448 249 4605 18.5 | 0.000 % |
37.86 c | 477 | 80454 2197748 | 35693 475 7575 15.9 | 0.000 % |
38.03 c | 814 | 80454 2197748 | 39262 812 12425 15.3 | 0.000 % |
38.30 c | 1321 | 80454 2197748 | 43189 1319 19664 14.9 | 0.000 % |
38.68 c | 2080 | 80457 2197748 | 47507 2075 33616 16.2 | 0.000 % |
39.22 c | 3219 | 80457 2197748 | 52258 3214 53736 16.7 | 0.000 % |
40.17 c | 4929 | 80457 2197748 | 57484 4924 88835 18.0 | 0.000 % |
41.49 c | 7491 | 80457 2197748 | 63233 7486 143473 19.2 | 0.000 % |
43.50 c | 11336 | 80458 2197748 | 69556 11330 237090 20.9 | 0.000 % |
47.02 c | 17102 | 80459 2197748 | 76512 17095 371594 21.7 | 0.000 % |
52.96 c | 25752 | 80459 2197748 | 84163 25745 585432 22.7 | 0.000 % |
63.51 c | 38726 | 80459 2197748 | 92579 38719 864141 22.3 | 0.000 % |
83.12 c | 58187 | 80466 2197748 | 101837 58173 1527278 26.3 | 0.000 % |
120.97 c | 87379 | 80468 2197748 | 112021 87363 2296176 26.3 | 0.000 % |
173.89 c | 131168 | 80470 2197748 | 123223 36105 1199065 33.2 | 0.000 % |
236.65 c | 196853 | 80483 2197748 | 135545 101777 2960520 29.1 | 0.000 % |
347.29 c | 295379 | 80488 2197748 | 149100 81111 2136574 26.3 | 0.000 % |
545.51 c | 443168 | 80494 2197748 | 164010 102630 2669773 26.0 | 0.000 % |
869.39 c | 664851 | 80504 2197748 | 180411 41352 1071241 25.9 | 0.000 % |
1391.27 c | 997376 | 80511 2197748 | 198452 61190 1539210 25.2 | 0.000 % |
1800.62
1800.62 s UNKNOWN
1800.62 c # INTERRUPTED
1800.62 c # MAIN END : (1801 seconds) [Mon Jan 29 18:34:38 2007]
1800.62 c # MAIN CPU : 37.24 = 0.06 + 0.01 + 36.61 + 0.56
1800.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-194616-1170090277 -o ROOT/results/node14/solver-194616-1170090277 -C 1800 -M 900 /tmp/evaluation/194616-1170090277/solver /tmp/evaluation/194616-1170090277 /tmp/evaluation/194616-1170090277/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.72 0.44 0.18 5/83 23732
/proc/meminfo: memFree=1770056/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=12268 CPUtime=0
/proc/23731/stat : 23731 (sugar) R 23727 23731 23602 0 -1 4194304 596 0 0 0 0 0 0 0 18 0 1 0 28982125 12562432 315 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212234631781 0 0 4224 0 0 0 0 17 1 0 0
/proc/23731/statm: 3067 316 241 3 0 167 0
[startup+0.107238 s]
/proc/loadavg: 0.72 0.44 0.18 5/83 23732
/proc/meminfo: memFree=1770056/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=13724 CPUtime=0.04
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 28982125 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515276 s]
/proc/loadavg: 0.72 0.44 0.18 5/83 23732
/proc/meminfo: memFree=1770056/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=13724 CPUtime=0.04
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 28982125 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33636 s]
/proc/loadavg: 0.72 0.44 0.18 3/102 23767
/proc/meminfo: memFree=1739304/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=13724 CPUtime=0.83
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 1190 7917 0 1 3 1 72 7 15 0 1 0 28982125 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 3431 809 371 3 0 531 0
[pid=23753] ppid=23731 vsize=807064 CPUtime=0.43
/proc/23753/stat : 23753 (java) R 23731 23731 23602 0 -1 0 7314 0 1 0 39 4 0 0 21 0 8 0 28982214 826433536 7063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073507715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23753/statm: 201766 7063 1494 14 0 189044 0
[pid=23753/tid=23757] ppid=23731 vsize=807064 CPUtime=0.05
/proc/23753/task/23757/stat : 23757 (java) S 23731 23731 23602 0 -1 64 1262 0 0 0 5 0 0 0 16 0 8 0 28982217 826433536 7063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23758] ppid=23731 vsize=807064 CPUtime=0
/proc/23753/task/23758/stat : 23758 (java) S 23731 23731 23602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 28982218 826433536 7063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23759] ppid=23731 vsize=807064 CPUtime=0
/proc/23753/task/23759/stat : 23759 (java) S 23731 23731 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982218 826433536 7063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23764] ppid=23731 vsize=807064 CPUtime=0
/proc/23753/task/23764/stat : 23764 (java) S 23731 23731 23602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 28982221 826433536 7063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23765] ppid=23731 vsize=807064 CPUtime=0.05
/proc/23753/task/23765/stat : 23765 (java) S 23731 23731 23602 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 28982221 826433536 7063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23766] ppid=23731 vsize=807064 CPUtime=0
/proc/23753/task/23766/stat : 23766 (java) S 23731 23731 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 28982221 826433536 7063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23767] ppid=23731 vsize=807064 CPUtime=0
/proc/23753/task/23767/stat : 23767 (java) S 23731 23731 23602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28982221 826433536 7063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 820788
[startup+2.98751 s]
/proc/loadavg: 0.82 0.47 0.18 3/102 23767
/proc/meminfo: memFree=1687400/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=13724 CPUtime=0.83
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 1190 7917 0 1 3 1 72 7 15 0 1 0 28982125 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 3431 809 371 3 0 531 0
[pid=23753] ppid=23731 vsize=807064 CPUtime=2.08
/proc/23753/stat : 23753 (java) R 23731 23731 23602 0 -1 0 13771 0 1 0 201 7 0 0 25 0 8 0 28982214 826433536 13505 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073448183 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23753/statm: 201766 13505 1494 14 0 189044 0
[pid=23753/tid=23757] ppid=23731 vsize=807064 CPUtime=0.55
/proc/23753/task/23757/stat : 23757 (java) S 23731 23731 23602 0 -1 64 7704 0 0 0 52 3 0 0 16 0 8 0 28982217 826433536 13505 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23758] ppid=23731 vsize=807064 CPUtime=0
/proc/23753/task/23758/stat : 23758 (java) S 23731 23731 23602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 28982218 826433536 13505 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23759] ppid=23731 vsize=807064 CPUtime=0
/proc/23753/task/23759/stat : 23759 (java) S 23731 23731 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982218 826433536 13505 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23764] ppid=23731 vsize=807064 CPUtime=0
/proc/23753/task/23764/stat : 23764 (java) S 23731 23731 23602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 28982221 826433536 13505 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23765] ppid=23731 vsize=807064 CPUtime=0.05
/proc/23753/task/23765/stat : 23765 (java) S 23731 23731 23602 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 28982221 826433536 13505 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23766] ppid=23731 vsize=807064 CPUtime=0
/proc/23753/task/23766/stat : 23766 (java) S 23731 23731 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 28982221 826433536 13505 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23767] ppid=23731 vsize=807064 CPUtime=0
/proc/23753/task/23767/stat : 23767 (java) S 23731 23731 23602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28982221 826433536 13505 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 820788
[startup+6.20883 s]
/proc/loadavg: 0.82 0.47 0.18 4/102 23767
/proc/meminfo: memFree=1536680/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=13724 CPUtime=0.83
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 1190 7917 0 1 3 1 72 7 15 0 1 0 28982125 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 3431 809 371 3 0 531 0
[pid=23753] ppid=23731 vsize=807336 CPUtime=5.31
/proc/23753/stat : 23753 (java) R 23731 23731 23602 0 -1 0 31145 0 1 0 513 18 0 0 25 0 8 0 28982214 826712064 30808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073746902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23753/statm: 201834 30808 1506 14 0 189112 0
[pid=23753/tid=23757] ppid=23731 vsize=807336 CPUtime=1.46
/proc/23753/task/23757/stat : 23757 (java) S 23731 23731 23602 0 -1 64 24856 0 0 0 134 12 0 0 16 0 8 0 28982217 826712064 30808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23758] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23758/stat : 23758 (java) S 23731 23731 23602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 28982218 826712064 30808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23759] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23759/stat : 23759 (java) S 23731 23731 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982218 826712064 30808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23764] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23764/stat : 23764 (java) S 23731 23731 23602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 28982221 826712064 30808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23765] ppid=23731 vsize=807336 CPUtime=0.13
/proc/23753/task/23765/stat : 23765 (java) S 23731 23731 23602 0 -1 64 400 0 0 0 13 0 0 0 16 0 8 0 28982221 826712064 30808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23766] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23766/stat : 23766 (java) S 23731 23731 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 28982221 826712064 30808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23767] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23767/stat : 23767 (java) S 23731 23731 23602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28982221 826712064 30808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 821060
[startup+12.6584 s]
/proc/loadavg: 1.00 0.52 0.20 3/102 23767
/proc/meminfo: memFree=1339440/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=13724 CPUtime=0.83
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 1190 7917 0 1 3 1 72 7 15 0 1 0 28982125 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 3431 809 371 3 0 531 0
[pid=23753] ppid=23731 vsize=807336 CPUtime=11.75
/proc/23753/stat : 23753 (java) R 23731 23731 23602 0 -1 0 54791 0 1 0 1145 30 0 0 25 0 8 0 28982214 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23753/statm: 201834 54112 1507 14 0 189112 0
[pid=23753/tid=23757] ppid=23731 vsize=807336 CPUtime=3.62
/proc/23753/task/23757/stat : 23757 (java) S 23731 23731 23602 0 -1 64 48330 0 0 0 338 24 0 0 16 0 8 0 28982217 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23758] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23758/stat : 23758 (java) S 23731 23731 23602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 28982218 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23759] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23759/stat : 23759 (java) S 23731 23731 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982218 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23764] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23764/stat : 23764 (java) S 23731 23731 23602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 28982221 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23765] ppid=23731 vsize=807336 CPUtime=0.14
/proc/23753/task/23765/stat : 23765 (java) S 23731 23731 23602 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 28982221 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23766] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23766/stat : 23766 (java) S 23731 23731 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 28982221 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23767] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23767/stat : 23767 (java) S 23731 23731 23602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28982221 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 821060
[startup+25.5411 s]
/proc/loadavg: 1.40 0.62 0.24 4/102 23767
/proc/meminfo: memFree=1339440/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=13724 CPUtime=0.83
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 1190 7917 0 1 3 1 72 7 15 0 1 0 28982125 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 3431 809 371 3 0 531 0
[pid=23753] ppid=23731 vsize=807336 CPUtime=24.63
/proc/23753/stat : 23753 (java) R 23731 23731 23602 0 -1 0 56237 0 1 0 2427 36 0 0 25 0 8 0 28982214 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23753/statm: 201834 54112 1507 14 0 189112 0
[pid=23753/tid=23757] ppid=23731 vsize=807336 CPUtime=8.67
/proc/23753/task/23757/stat : 23757 (java) R 23731 23731 23602 0 -1 64 49405 0 0 0 839 28 0 0 15 0 8 0 28982217 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827392 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23758] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23758/stat : 23758 (java) S 23731 23731 23602 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 28982218 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23759] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23759/stat : 23759 (java) S 23731 23731 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982218 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23764] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23764/stat : 23764 (java) S 23731 23731 23602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 28982221 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23765] ppid=23731 vsize=807336 CPUtime=0.14
/proc/23753/task/23765/stat : 23765 (java) S 23731 23731 23602 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 28982221 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23766] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23766/stat : 23766 (java) S 23731 23731 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 28982221 826712064 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23753/tid=23767] ppid=23731 vsize=807336 CPUtime=0
/proc/23753/task/23767/stat : 23767 (java) S 23731 23731 23602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28982221 826712064 54112 18446744073709551615 134512640 134570532 4294956464 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) 821060
[startup+51.236 s]
/proc/loadavg: 1.84 0.79 0.30 3/88 23769
/proc/meminfo: memFree=1708064/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=15756 CPUtime=13.82
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 4609 0 0 0 1377 5 0 0 25 0 1 0 28985865 16134144 3571 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 3939 3571 52 112 0 3823 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 33132
[startup+102.484 s]
/proc/loadavg: 1.98 1.01 0.40 3/88 23769
/proc/meminfo: memFree=1694688/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=23196 CPUtime=65.03
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 6448 0 0 0 6496 7 0 0 25 0 1 0 28985865 23752704 5410 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 5799 5410 52 112 0 5683 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 40572
[startup+162.544 s]
/proc/loadavg: 1.99 1.17 0.49 3/88 23769
/proc/meminfo: memFree=1684704/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=29008 CPUtime=125.08
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 7891 0 0 0 12498 10 0 0 25 0 1 0 28985865 29704192 6853 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 7252 6853 52 112 0 7136 0
Current children cumulated CPU time (s) 162.35
Current children cumulated vsize (KiB) 46384
################
# More data... #
################
/proc/loadavg: 2.00 1.95 1.44 3/88 23769
/proc/meminfo: memFree=1652832/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=43268 CPUtime=1085.9
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 11391 0 0 0 108573 17 0 0 25 0 1 0 28985865 44306432 10353 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 10817 10353 52 112 0 10701 0
Current children cumulated CPU time (s) 1123.17
Current children cumulated vsize (KiB) 60644
[startup+1183.67 s]
/proc/loadavg: 2.00 1.96 1.47 3/88 23769
/proc/meminfo: memFree=1652256/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=43404 CPUtime=1145.95
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 11422 0 0 0 114578 17 0 0 25 0 1 0 28985865 44445696 10384 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 10851 10384 52 112 0 10735 0
Current children cumulated CPU time (s) 1183.22
Current children cumulated vsize (KiB) 60780
[startup+1243.74 s]
/proc/loadavg: 2.00 1.96 1.50 3/88 23769
/proc/meminfo: memFree=1649952/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=43568 CPUtime=1206
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 11461 0 0 0 120583 17 0 0 25 0 1 0 28985865 44613632 10423 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 10892 10423 52 112 0 10776 0
Current children cumulated CPU time (s) 1243.27
Current children cumulated vsize (KiB) 60944
[startup+1303.82 s]
/proc/loadavg: 2.00 1.97 1.53 3/88 23769
/proc/meminfo: memFree=1649568/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=43880 CPUtime=1266.08
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 11527 0 0 0 126590 18 0 0 25 0 1 0 28985865 44933120 10489 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 10970 10489 52 112 0 10854 0
Current children cumulated CPU time (s) 1303.35
Current children cumulated vsize (KiB) 61256
[startup+1363.9 s]
/proc/loadavg: 2.00 1.97 1.56 3/88 23769
/proc/meminfo: memFree=1649120/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=44044 CPUtime=1326.13
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 11557 0 0 0 132595 18 0 0 25 0 1 0 28985865 45101056 10519 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525867 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 11011 10519 52 112 0 10895 0
Current children cumulated CPU time (s) 1363.4
Current children cumulated vsize (KiB) 61420
[startup+1423.97 s]
/proc/loadavg: 2.00 1.97 1.58 3/88 23769
/proc/meminfo: memFree=1648928/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=44044 CPUtime=1386.19
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 11557 0 0 0 138601 18 0 0 25 0 1 0 28985865 45101056 10519 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 11011 10519 52 112 0 10895 0
Current children cumulated CPU time (s) 1423.46
Current children cumulated vsize (KiB) 61420
[startup+1484.04 s]
/proc/loadavg: 2.00 1.97 1.60 3/88 23769
/proc/meminfo: memFree=1648672/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=44204 CPUtime=1446.25
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 11596 0 0 0 144606 19 0 0 25 0 1 0 28985865 45264896 10558 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 11051 10558 52 112 0 10935 0
Current children cumulated CPU time (s) 1483.52
Current children cumulated vsize (KiB) 61580
[startup+1544.11 s]
/proc/loadavg: 2.03 1.99 1.63 3/88 23769
/proc/meminfo: memFree=1648608/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=44204 CPUtime=1506.3
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 11606 0 0 0 150611 19 0 0 25 0 1 0 28985865 45264896 10568 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528435 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 11051 10568 52 112 0 10935 0
Current children cumulated CPU time (s) 1543.57
Current children cumulated vsize (KiB) 61580
[startup+1604.18 s]
/proc/loadavg: 2.09 2.00 1.66 3/88 23769
/proc/meminfo: memFree=1647776/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=44948 CPUtime=1566.35
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 11794 0 0 0 156616 19 0 0 25 0 1 0 28985865 46026752 10748 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 11237 10748 52 112 0 11121 0
Current children cumulated CPU time (s) 1603.62
Current children cumulated vsize (KiB) 62324
[startup+1664.24 s]
/proc/loadavg: 2.03 2.00 1.67 3/88 23769
/proc/meminfo: memFree=1646624/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=45860 CPUtime=1626.4
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 12013 0 0 0 162621 19 0 0 25 0 1 0 28985865 46960640 10967 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 11465 10967 52 112 0 11349 0
Current children cumulated CPU time (s) 1663.67
Current children cumulated vsize (KiB) 63236
[startup+1724.32 s]
/proc/loadavg: 2.01 2.00 1.69 3/88 23769
/proc/meminfo: memFree=1642208/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=46000 CPUtime=1686.47
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 12063 0 0 0 168627 20 0 0 25 0 1 0 28985865 47104000 11017 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 11500 11017 52 112 0 11384 0
Current children cumulated CPU time (s) 1723.74
Current children cumulated vsize (KiB) 63376
[startup+1784.39 s]
/proc/loadavg: 2.00 2.00 1.71 3/88 23769
/proc/meminfo: memFree=1639776/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=46480 CPUtime=1746.52
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 12168 0 0 0 174632 20 0 0 25 0 1 0 28985865 47595520 11122 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 11620 11122 52 112 0 11504 0
Current children cumulated CPU time (s) 1783.79
Current children cumulated vsize (KiB) 63856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.61 s]
/proc/loadavg: 2.00 2.00 1.71 4/88 23769
/proc/meminfo: memFree=1639584/2055920 swapFree=4192956/4192956
[pid=23731] ppid=23727 vsize=17376 CPUtime=37.27
/proc/23731/stat : 23731 (sugar) S 23727 23731 23602 0 -1 4194304 2193 65858 0 2 9 1 3661 56 16 0 1 0 28982125 17793024 1704 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23731/statm: 4344 1704 373 3 0 1444 0
[pid=23769] ppid=23731 vsize=46480 CPUtime=1762.74
/proc/23769/stat : 23769 (minisat) R 23731 23731 23602 0 -1 0 12168 0 0 0 176254 20 0 0 25 0 1 0 28985865 47595520 11122 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23769/statm: 11620 11122 52 112 0 11504 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 63856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23731 and gives childrusage.ru_utime.tv_sec=36 childrusage.ru_utime.tv_usec=716418 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=589910
CPU time returned by wait4() is 37.3063
while last known CPU time is 1800.02
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1801.63
CPU time (s): 1800.02
CPU user time (s): 1799.24
CPU system time (s): 0.78
CPU usage (%): 99.9105
Max. virtual memory (cumulated for all children) (KiB): 822064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.7164
system time used= 0.58991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68136
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= 8211
involuntary context switches= 8379
runsolver used 1.89171 s user time and 5.01424 s system time
The end
Begin job on node14 on Mon Jan 29 17:04:37 UTC 2007
IDJOB= 194616
IDBENCH= 3223
IDSOLVER= 86
FILE ID= node14/194616-1170090277
PBS_JOBID= 3689405
Free space on /tmp= 66559 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-29_ext.xml
COMMAND LINE= /tmp/evaluation/194616-1170090277/solver /tmp/evaluation/194616-1170090277 /tmp/evaluation/194616-1170090277/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-194616-1170090277 -o ROOT/results/node14/solver-194616-1170090277 -C 1800 -M 900 /tmp/evaluation/194616-1170090277/solver /tmp/evaluation/194616-1170090277 /tmp/evaluation/194616-1170090277/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 3a4d4d2446682c799d4da996a2daf2b7
RANDOM SEED= 640764660
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: 1770800 kB
Buffers: 41216 kB
Cached: 139392 kB
SwapCached: 0 kB
Active: 186056 kB
Inactive: 53328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1770800 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2480 kB
Writeback: 0 kB
Mapped: 77660 kB
Slab: 30912 kB
Committed_AS: 212364 kB
PageTables: 2032 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66548 MiB
End job on node14 on Mon Jan 29 17:34:39 UTC 2007