0.04 c # Sugar v0-40 (/tmp/evaluation/231705-1170106475/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/231705-1170106475/unknown.xml [Mon Jan 29 22:34:38 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/231705-1170106475/unknown.xml /tmp/evaluation/231705-1170106475/sugar23649.csp [Mon Jan 29 22:34:38 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/231705-1170106475/sugar-v0-40.jar -convert /tmp/evaluation/231705-1170106475/unknown.xml /tmp/evaluation/231705-1170106475/sugar23649.csp
0.16 c BEGIN convert /tmp/evaluation/231705-1170106475/unknown.xml
0.75 c END convert (0.59146 seconds)
0.80 c # CONVERT_XML END : /tmp/evaluation/231705-1170106475/sugar23649.csp 1537433 bytes (1 seconds) [Mon Jan 29 22:34:39 2007]
0.80 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.80
0.80 c # GENERATE_SAT BEGIN : /tmp/evaluation/231705-1170106475/sugar23649.bcnf [Mon Jan 29 22:34:39 2007]
0.80 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/231705-1170106475/sugar-v0-40.jar -bcnf -map /tmp/evaluation/231705-1170106475/sugar23649.map /tmp/evaluation/231705-1170106475/sugar23649.csp /tmp/evaluation/231705-1170106475/sugar23649.bcnf
0.92 c BEGIN parse /tmp/evaluation/231705-1170106475/sugar23649.csp
6.68 c END parse (5.757913 seconds)
6.68 c BEGIN simplify
6.70 c END simplify (0.025104 seconds)
6.70 c BEGIN encode /tmp/evaluation/231705-1170106475/sugar23649.bcnf
6.97 c END encode (0.266871 seconds)
7.00 c # GENERATE_SAT END : 950 variables 47940 clauses 913860 bytes (6 seconds) [Mon Jan 29 22:34:45 2007]
7.00 c # GENERATE_SAT CPU : 6.17 = 0 + 0.01 + 6.01 + 0.15
7.00
7.00 c # SOLVE_SAT BEGIN : /tmp/evaluation/231705-1170106475/sugar23649.bcnf [Mon Jan 29 22:34:45 2007]
7.00 c # CMD : /tmp/evaluation/231705-1170106475/minisat /tmp/evaluation/231705-1170106475/sugar23649.bcnf /tmp/evaluation/231705-1170106475/sugar23649.out
7.03 c ==================================[MINISAT]===================================
7.03 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.03 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
7.03 c ==============================================================================
7.03 c | 0 | 47940 180519 | 15980 0 0 nan | 0.000 % |
7.05 c | 100 | 47940 180519 | 17578 100 878 8.8 | 0.000 % |
7.07 c | 251 | 47940 180519 | 19335 251 2237 8.9 | 0.004 % |
7.10 c | 476 | 47940 180519 | 21269 476 4446 9.3 | 0.004 % |
7.14 c | 813 | 47940 180519 | 23396 813 7870 9.7 | 0.004 % |
7.21 c | 1319 | 47940 180519 | 25735 1319 12954 9.8 | 0.002 % |
7.31 c | 2079 | 47940 180519 | 28309 2079 21004 10.1 | 0.004 % |
7.46 c | 3218 | 47941 180519 | 31140 3217 31824 9.9 | 0.003 % |
7.73 c | 4926 | 47942 180519 | 34254 4924 49179 10.0 | 0.003 % |
8.13 c | 7488 | 47943 180519 | 37680 7485 78445 10.5 | 0.001 % |
8.77 c | 11332 | 47945 180519 | 41448 11327 124489 11.0 | 0.003 % |
9.94 c | 17099 | 47947 180519 | 45592 17092 195444 11.4 | 0.003 % |
11.98 c | 25748 | 47953 180519 | 50152 25735 302051 11.7 | 0.003 % |
16.10 c | 38722 | 47957 180519 | 55167 38705 457777 11.8 | 0.003 % |
23.96 c | 58183 | 47961 180519 | 60684 15350 201124 13.1 | 0.002 % |
32.90 c | 87375 | 47964 180519 | 66752 44539 639194 14.4 | 0.002 % |
53.54 c | 131164 | 47966 180519 | 73427 36740 500390 13.6 | 0.005 % |
80.96 c | 196848 | 47857 180207 | 80770 30818 414736 13.5 | 0.106 % |
121.52 c | 295376 | 47755 179916 | 88847 41253 600793 14.6 | 0.211 % |
203.05 c | 443165 | 47772 179916 | 97732 44279 595844 13.5 | 0.213 % |
323.99 c | 664848 | 47586 179256 | 107505 54263 801503 14.8 | 0.421 % |
539.24 c | 997373 | 47378 178556 | 118255 76587 1213033 15.8 | 0.632 % |
881.18 c | 1496162 | 47385 178556 | 130081 75314 1043611 13.9 | 0.633 % |
936.37 c ==============================================================================
936.37 c restarts : 23
936.37 c conflicts : 1561299 (1681 /sec)
936.37 c decisions : 1865411 (2008 /sec)
936.37 c propagations : 143748601 (154738 /sec)
936.37 c conflict literals : 23464539 (26.85 % deleted)
936.37 c Memory used : 22.18 MB
936.37 c CPU time : 928.981 s
936.37 c
936.37 c SATISFIABLE
936.37 c # SOLVE_SAT END : SATISFIABLE (930 seconds) [Mon Jan 29 22:50:15 2007]
936.37 c # SOLVE_SAT CPU : 929.06 = 0 + 0 + 928.98 + 0.08
936.37
936.37 c # RESULT : SATISFIABLE
936.37
936.37 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 22:50:15 2007]
936.50 c BEGIN read SAT output /tmp/evaluation/231705-1170106475/sugar23649.out
936.52 c END read SAT output (0.015564 seconds)
936.52 c BEGIN write solution /tmp/evaluation/231705-1170106475/sugar23649.sol
936.53 c END write solution (0.01569 seconds)
936.56 s SATISFIABLE
936.57 v 19 15 3 12 16 6 16 10 16 10 9 16 3 16 10 18 19 14 12 20 5 12 11 15 11 5 17 17 15 2 1 10 6 19 4 19 7 8 4 5 19 16 19 13 10 8 9 7 20 5
936.57 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 22:50:15 2007]
936.57 c # OUTPUT_SOL CPU : 0.01 = 0.01 + 0 + 0 + 0
936.57
936.57 c # MAIN END : (937 seconds) [Mon Jan 29 22:50:15 2007]
936.57 c # MAIN CPU : 935.24 = 0.01 + 0.01 + 934.99 + 0.23
936.57
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-231705-1170106475 -o ROOT/results/node60/solver-231705-1170106475 -C 1800 -M 900 /tmp/evaluation/231705-1170106475/solver /tmp/evaluation/231705-1170106475 /tmp/evaluation/231705-1170106475/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.59 2.10 2.58 5/74 23650
/proc/meminfo: memFree=1889216/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=12268 CPUtime=0
/proc/23649/stat : 23649 (sugar) R 23647 23649 23584 0 -1 4194304 564 0 0 0 0 0 0 0 18 0 1 0 30604651 12562432 283 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271911857840 0 0 4224 0 0 0 0 17 1 0 0
/proc/23649/statm: 3067 293 219 3 0 167 0
[startup+0.108144 s]
/proc/loadavg: 1.59 2.10 2.58 5/74 23650
/proc/meminfo: memFree=1889216/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=0.03
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30604651 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.51622 s]
/proc/loadavg: 1.59 2.10 2.58 5/74 23650
/proc/meminfo: memFree=1889216/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=0.03
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30604651 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34539 s]
/proc/loadavg: 1.59 2.10 2.58 4/83 23666
/proc/meminfo: memFree=1867128/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=0.04
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30604651 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 808 370 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23659] ppid=23649 vsize=807064 CPUtime=0.53
/proc/23659/stat : 23659 (java) R 23649 23649 23584 0 -1 0 7333 0 1 0 49 4 0 0 22 0 8 0 30604732 826433536 7081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23659/statm: 201766 7081 1494 14 0 189044 0
[pid=23659/tid=23660] ppid=23649 vsize=807064 CPUtime=0.07
/proc/23659/task/23660/stat : 23660 (java) R 23649 23649 23584 0 -1 64 1279 0 0 0 7 0 0 0 16 0 8 0 30604735 826433536 7081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23661] ppid=23649 vsize=807064 CPUtime=0
/proc/23659/task/23661/stat : 23661 (java) S 23649 23649 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30604735 826433536 7081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23662] ppid=23649 vsize=807064 CPUtime=0
/proc/23659/task/23662/stat : 23662 (java) S 23649 23649 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30604735 826433536 7081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23663] ppid=23649 vsize=807064 CPUtime=0
/proc/23659/task/23663/stat : 23663 (java) S 23649 23649 23584 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30604739 826433536 7081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23664] ppid=23649 vsize=807064 CPUtime=0.06
/proc/23659/task/23664/stat : 23664 (java) S 23649 23649 23584 0 -1 64 292 0 0 0 6 0 0 0 16 0 8 0 30604739 826433536 7081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23665] ppid=23649 vsize=807064 CPUtime=0
/proc/23659/task/23665/stat : 23665 (java) S 23649 23649 23584 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30604739 826433536 7081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23666] ppid=23649 vsize=807064 CPUtime=0
/proc/23659/task/23666/stat : 23666 (java) S 23649 23649 23584 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30604739 826433536 7081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 820788
[startup+2.98266 s]
/proc/loadavg: 1.59 2.10 2.58 3/83 23666
/proc/meminfo: memFree=1848120/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=0.04
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30604651 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 808 370 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23659] ppid=23649 vsize=807336 CPUtime=2.16
/proc/23659/stat : 23659 (java) R 23649 23649 23584 0 -1 0 13426 0 1 0 208 8 0 0 25 0 8 0 30604732 826712064 13161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23659/statm: 201834 13161 1506 14 0 189112 0
[pid=23659/tid=23660] ppid=23649 vsize=807336 CPUtime=0.53
/proc/23659/task/23660/stat : 23660 (java) S 23649 23649 23584 0 -1 64 7234 0 0 0 49 4 0 0 16 0 8 0 30604735 826712064 13161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23661] ppid=23649 vsize=807336 CPUtime=0
/proc/23659/task/23661/stat : 23661 (java) S 23649 23649 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30604735 826712064 13161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23662] ppid=23649 vsize=807336 CPUtime=0
/proc/23659/task/23662/stat : 23662 (java) S 23649 23649 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30604735 826712064 13161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23663] ppid=23649 vsize=807336 CPUtime=0
/proc/23659/task/23663/stat : 23663 (java) S 23649 23649 23584 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30604739 826712064 13161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23664] ppid=23649 vsize=807336 CPUtime=0.13
/proc/23659/task/23664/stat : 23664 (java) S 23649 23649 23584 0 -1 64 393 0 0 0 13 0 0 0 16 0 8 0 30604739 826712064 13161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23665] ppid=23649 vsize=807336 CPUtime=0
/proc/23659/task/23665/stat : 23665 (java) S 23649 23649 23584 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30604739 826712064 13161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23666] ppid=23649 vsize=807336 CPUtime=0
/proc/23659/task/23666/stat : 23666 (java) S 23649 23649 23584 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30604739 826712064 13161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821060
[startup+6.18624 s]
/proc/loadavg: 1.62 2.10 2.57 3/83 23666
/proc/meminfo: memFree=1815032/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=0.04
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30604651 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 808 370 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23659] ppid=23649 vsize=807336 CPUtime=5.37
/proc/23659/stat : 23659 (java) R 23649 23649 23584 0 -1 0 20541 0 1 0 524 13 0 0 25 0 8 0 30604732 826712064 20245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154509192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23659/statm: 201834 20245 1507 14 0 189112 0
[pid=23659/tid=23660] ppid=23649 vsize=807336 CPUtime=0.93
/proc/23659/task/23660/stat : 23660 (java) S 23649 23649 23584 0 -1 64 14310 0 0 0 85 8 0 0 16 0 8 0 30604735 826712064 20245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23661] ppid=23649 vsize=807336 CPUtime=0
/proc/23659/task/23661/stat : 23661 (java) S 23649 23649 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30604735 826712064 20245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23662] ppid=23649 vsize=807336 CPUtime=0
/proc/23659/task/23662/stat : 23662 (java) S 23649 23649 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30604735 826712064 20245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23663] ppid=23649 vsize=807336 CPUtime=0
/proc/23659/task/23663/stat : 23663 (java) S 23649 23649 23584 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30604739 826712064 20245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23664] ppid=23649 vsize=807336 CPUtime=0.14
/proc/23659/task/23664/stat : 23664 (java) S 23649 23649 23584 0 -1 64 400 0 0 0 14 0 0 0 17 0 8 0 30604739 826712064 20245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23665] ppid=23649 vsize=807336 CPUtime=0
/proc/23659/task/23665/stat : 23665 (java) S 23649 23649 23584 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30604739 826712064 20245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23659/tid=23666] ppid=23649 vsize=807336 CPUtime=0
/proc/23659/task/23666/stat : 23666 (java) S 23649 23649 23584 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30604739 826712064 20245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 821060
[startup+12.6574 s]
/proc/loadavg: 1.65 2.10 2.57 3/76 23667
/proc/meminfo: memFree=1879792/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=6140 CPUtime=5.64
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 1396 0 0 0 564 0 0 0 25 0 1 0 30605351 6287360 1158 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 1535 1158 51 112 0 1419 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 19864
[startup+25.4897 s]
/proc/loadavg: 1.73 2.09 2.56 3/76 23667
/proc/meminfo: memFree=1876848/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=8368 CPUtime=18.47
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 1969 0 0 0 1846 1 0 0 25 0 1 0 30605351 8568832 1731 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 2092 1731 51 112 0 1976 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 22092
[startup+51.1743 s]
/proc/loadavg: 1.82 2.08 2.54 3/76 23669
/proc/meminfo: memFree=1874096/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=10628 CPUtime=44.14
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 2508 0 0 0 4412 2 0 0 25 0 1 0 30605351 10883072 2270 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 2657 2270 51 112 0 2541 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 24352
[startup+102.435 s]
/proc/loadavg: 1.92 2.07 2.51 3/76 23669
/proc/meminfo: memFree=1871152/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=11672 CPUtime=95.39
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 2762 0 0 0 9536 3 0 0 25 0 1 0 30605351 11952128 2524 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528506 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 2918 2524 51 112 0 2802 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 25396
[startup+162.514 s]
/proc/loadavg: 1.97 2.05 2.48 3/76 23669
/proc/meminfo: memFree=1867568/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=13844 CPUtime=155.44
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 3316 0 0 0 15541 3 0 0 25 0 1 0 30605351 14176256 3078 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 3461 3078 51 112 0 3345 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 27568
[startup+222.608 s]
/proc/loadavg: 1.99 2.04 2.44 3/76 23669
/proc/meminfo: memFree=1865904/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
################
# More data... #
################
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=16416 CPUtime=275.5
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 3908 0 0 0 27546 4 0 0 25 0 1 0 30605351 16809984 3670 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 4104 3670 51 112 0 3988 0
Current children cumulated CPU time (s) 282.4
Current children cumulated vsize (KiB) 30140
[startup+342.698 s]
/proc/loadavg: 1.99 2.02 2.39 3/76 23669
/proc/meminfo: memFree=1862384/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=17480 CPUtime=335.57
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 4145 0 0 0 33553 4 0 0 25 0 1 0 30605351 17899520 3907 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 4370 3907 51 112 0 4254 0
Current children cumulated CPU time (s) 342.47
Current children cumulated vsize (KiB) 31204
[startup+402.788 s]
/proc/loadavg: 1.99 2.02 2.36 3/76 23669
/proc/meminfo: memFree=1860208/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=18372 CPUtime=395.63
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 4373 0 0 0 39559 4 0 0 25 0 1 0 30605351 18812928 4135 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 4593 4135 51 112 0 4477 0
Current children cumulated CPU time (s) 402.53
Current children cumulated vsize (KiB) 32096
[startup+462.876 s]
/proc/loadavg: 1.99 2.01 2.33 3/76 23669
/proc/meminfo: memFree=1859440/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=18660 CPUtime=455.7
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 4425 0 0 0 45566 4 0 0 25 0 1 0 30605351 19107840 4187 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 4665 4187 51 112 0 4549 0
Current children cumulated CPU time (s) 462.6
Current children cumulated vsize (KiB) 32384
[startup+522.961 s]
/proc/loadavg: 1.99 2.01 2.31 3/76 23669
/proc/meminfo: memFree=1857520/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=19244 CPUtime=515.77
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 4594 0 0 0 51572 5 0 0 25 0 1 0 30605351 19705856 4356 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 4811 4356 51 112 0 4695 0
Current children cumulated CPU time (s) 522.67
Current children cumulated vsize (KiB) 32968
[startup+583.06 s]
/proc/loadavg: 1.99 2.00 2.29 3/76 23669
/proc/meminfo: memFree=1855536/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=20500 CPUtime=575.85
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 4915 0 0 0 57580 5 0 0 25 0 1 0 30605351 20992000 4677 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 5125 4677 51 112 0 5009 0
Current children cumulated CPU time (s) 582.75
Current children cumulated vsize (KiB) 34224
[startup+643.063 s]
/proc/loadavg: 2.07 2.02 2.27 3/76 23669
/proc/meminfo: memFree=1854320/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=21500 CPUtime=635.83
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 5129 0 0 0 63578 5 0 0 25 0 1 0 30605351 22016000 4891 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 5375 4891 51 112 0 5259 0
Current children cumulated CPU time (s) 642.73
Current children cumulated vsize (KiB) 35224
[startup+703.156 s]
/proc/loadavg: 2.03 2.01 2.25 3/76 23669
/proc/meminfo: memFree=1854000/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=21932 CPUtime=695.91
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 5214 0 0 0 69585 6 0 0 25 0 1 0 30605351 22458368 4976 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 5483 4976 51 112 0 5367 0
Current children cumulated CPU time (s) 702.81
Current children cumulated vsize (KiB) 35656
[startup+763.248 s]
/proc/loadavg: 2.01 2.01 2.24 3/76 23669
/proc/meminfo: memFree=1853808/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=22080 CPUtime=755.98
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 5245 0 0 0 75592 6 0 0 25 0 1 0 30605351 22609920 5007 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 5520 5007 51 112 0 5404 0
Current children cumulated CPU time (s) 762.88
Current children cumulated vsize (KiB) 35804
[startup+823.331 s]
/proc/loadavg: 2.00 2.00 2.22 3/76 23669
/proc/meminfo: memFree=1853296/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=22236 CPUtime=816.04
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 5282 0 0 0 81598 6 0 0 25 0 1 0 30605351 22769664 5044 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528426 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 5559 5044 51 112 0 5443 0
Current children cumulated CPU time (s) 822.94
Current children cumulated vsize (KiB) 35960
[startup+883.427 s]
/proc/loadavg: 2.00 2.00 2.20 4/76 23669
/proc/meminfo: memFree=1851952/2055920 swapFree=4184188/4192956
[pid=23649] ppid=23647 vsize=13724 CPUtime=6.2
/proc/23649/stat : 23649 (sugar) S 23647 23649 23584 0 -1 4194304 1283 23192 0 1 3 1 601 15 16 0 1 0 30604651 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23649/statm: 3431 821 373 3 0 531 0
[pid=23651] ppid=23649 vsize=0 CPUtime=0.7
/proc/23651/stat : 23651 (java) Z 23649 23649 23584 0 -1 1036 7719 0 1 0 64 6 0 0 17 0 1 0 30604656 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23651/statm: 0 0 0 0 0 0 0
[pid=23667] ppid=23649 vsize=22572 CPUtime=876.11
/proc/23667/stat : 23667 (minisat) R 23649 23649 23584 0 -1 0 5350 0 0 0 87605 6 0 0 25 0 1 0 30605351 23113728 5112 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/23667/statm: 5643 5112 51 112 0 5527 0
Current children cumulated CPU time (s) 883.01
Current children cumulated vsize (KiB) 36296
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23649 and gives childrusage.ru_utime.tv_sec=935 childrusage.ru_utime.tv_usec=40852 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=250961
CPU time returned by wait4() is 935.292
while last known CPU time is 935.96
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 936.571
CPU time (s): 935.96
CPU user time (s): 935.66
CPU system time (s): 0.3
CPU usage (%): 99.9347
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 935.041
system time used= 0.250961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30062
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= 1107
involuntary context switches= 2938
runsolver used 0.91986 s user time and 2.42163 s system time
The end
Begin job on node60 on Mon Jan 29 21:34:35 UTC 2007
IDJOB= 231705
IDBENCH= 6480
IDSOLVER= 86
FILE ID= node60/231705-1170106475
PBS_JOBID= 3689872
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-1_ext.xml
COMMAND LINE= /tmp/evaluation/231705-1170106475/solver /tmp/evaluation/231705-1170106475 /tmp/evaluation/231705-1170106475/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-231705-1170106475 -o ROOT/results/node60/solver-231705-1170106475 -C 1800 -M 900 /tmp/evaluation/231705-1170106475/solver /tmp/evaluation/231705-1170106475 /tmp/evaluation/231705-1170106475/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 1f1dd83b88fdb6ba18bc03ee3289815b
RANDOM SEED= 852881213
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.283
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.283
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1889888 kB
Buffers: 35056 kB
Cached: 64596 kB
SwapCached: 3028 kB
Active: 59728 kB
Inactive: 64636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1889888 kB
SwapTotal: 4192956 kB
SwapFree: 4184188 kB
Dirty: 1396 kB
Writeback: 0 kB
Mapped: 31208 kB
Slab: 27040 kB
Committed_AS: 445732 kB
PageTables: 1880 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= 66560 MiB
End job on node60 on Mon Jan 29 21:50:15 UTC 2007