0.05 c # Sugar v0-40 (/tmp/evaluation/238711-1170108648/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/238711-1170108648/unknown.xml [Mon Jan 29 23:10:48 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/238711-1170108648/unknown.xml /tmp/evaluation/238711-1170108648/sugar20717.csp [Mon Jan 29 23:10:48 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238711-1170108648/sugar-v0-40.jar -convert /tmp/evaluation/238711-1170108648/unknown.xml /tmp/evaluation/238711-1170108648/sugar20717.csp
0.22 c BEGIN convert /tmp/evaluation/238711-1170108648/unknown.xml
0.83 c END convert (0.61337 seconds)
0.87 c # CONVERT_XML END : /tmp/evaluation/238711-1170108648/sugar20717.csp 1865997 bytes (1 seconds) [Mon Jan 29 23:10:49 2007]
0.87 c # CONVERT_XML CPU : 0.74 = 0 + 0.01 + 0.67 + 0.06
0.87
0.87 c # GENERATE_SAT BEGIN : /tmp/evaluation/238711-1170108648/sugar20717.bcnf [Mon Jan 29 23:10:49 2007]
0.87 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238711-1170108648/sugar-v0-40.jar -bcnf -map /tmp/evaluation/238711-1170108648/sugar20717.map /tmp/evaluation/238711-1170108648/sugar20717.csp /tmp/evaluation/238711-1170108648/sugar20717.bcnf
1.00 c BEGIN parse /tmp/evaluation/238711-1170108648/sugar20717.csp
136.33 c END parse (135.329296 seconds)
136.33 c BEGIN simplify
136.76 c END simplify (0.429536 seconds)
136.76 c BEGIN encode /tmp/evaluation/238711-1170108648/sugar20717.bcnf
139.97 c END encode (3.206989 seconds)
140.21 c # GENERATE_SAT END : 18424 variables 91071 clauses 26422124 bytes (139 seconds) [Mon Jan 29 23:13:08 2007]
140.21 c # GENERATE_SAT CPU : 138.5 = 0.15 + 0.01 + 137 + 1.34
140.21
140.21 c # SOLVE_SAT BEGIN : /tmp/evaluation/238711-1170108648/sugar20717.bcnf [Mon Jan 29 23:13:08 2007]
140.21 c # CMD : /tmp/evaluation/238711-1170108648/minisat /tmp/evaluation/238711-1170108648/sugar20717.bcnf /tmp/evaluation/238711-1170108648/sugar20717.out
140.82 c ==================================[MINISAT]===================================
140.82 c | Conflicts | ORIGINAL | LEARNT | Progress |
140.82 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
140.82 c ==============================================================================
140.82 c | 0 | 88578 6318492 | 29526 0 0 nan | 0.000 % |
140.88 c | 102 | 88581 6318492 | 32478 99 10778 108.9 | 0.456 % |
140.92 c | 252 | 88588 6318492 | 35726 241 12124 50.3 | 0.651 % |
140.97 c | 478 | 88603 6318492 | 39299 452 14514 32.1 | 0.651 % |
141.04 c | 816 | 88619 6318492 | 43229 773 17884 23.1 | 0.689 % |
141.11 c | 1322 | 88633 6318492 | 47551 1263 23834 18.9 | 0.744 % |
141.28 c | 2081 | 88663 6318492 | 52307 1991 33901 17.0 | 0.771 % |
141.42 c | 3220 | 88677 6318492 | 57537 3116 50562 16.2 | 0.771 % |
141.64 c | 4929 | 88686 6318492 | 63291 4816 93329 19.4 | 0.771 % |
141.97 c | 7491 | 88694 6318492 | 69620 7370 169150 23.0 | 0.771 % |
142.57 c | 11336 | 88696 6318492 | 76582 11213 362318 32.3 | 0.771 % |
143.57 c | 17103 | 88698 6318492 | 84241 16978 699641 41.2 | 0.771 % |
145.57 c | 25752 | 88708 6318492 | 92665 25617 1226046 47.9 | 0.771 % |
149.70 c | 38727 | 88711 6318492 | 101931 38589 2252871 58.4 | 0.771 % |
156.93 c | 58191 | 88713 6318492 | 112124 58051 3461031 59.6 | 0.771 % |
172.58 c | 87384 | 88592 6314677 | 123337 87219 5954033 68.3 | 0.771 % |
200.43 c | 131173 | 88600 6314677 | 135671 24009 1116474 46.5 | 0.771 % |
232.16 c | 196858 | 88608 6314677 | 149238 89686 4962300 55.3 | 0.771 % |
296.51 c | 295384 | 87898 6312216 | 164162 56069 2704074 48.2 | 0.792 % |
394.69 c | 443173 | 85722 6305679 | 180578 58727 2624384 44.7 | 0.798 % |
567.17 c | 664857 | 76247 6264066 | 198636 119960 3513796 29.3 | 1.015 % |
901.41 c | 997382 | 66204 6203569 | 218499 181462 5944020 32.8 | 1.091 % |
1364.35 c | 1496170 | 65474 6189005 | 240349 90242 2878525 31.9 | 1.124 % |
1808.79
1808.79 s UNKNOWN
1808.79 c # INTERRUPTED
1808.79 c # MAIN END : (1809 seconds) [Mon Jan 29 23:40:57 2007]
1808.79 c # MAIN CPU : 139.25 = 0.15 + 0.03 + 137.67 + 1.4
1808.79
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-238711-1170108648 -o ROOT/results/node38/solver-238711-1170108648 -C 1800 -M 900 /tmp/evaluation/238711-1170108648/solver /tmp/evaluation/238711-1170108648 /tmp/evaluation/238711-1170108648/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: 3.84 3.50 2.76 4/82 20718
/proc/meminfo: memFree=1709896/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=18540 CPUtime=0
/proc/20717/stat : 20717 (runsolver) R 20715 20717 19175 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 30820609 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 266890439975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20717/statm: 4635 279 244 17 0 2626 0
[startup+0.1089 s]
/proc/loadavg: 3.84 3.50 2.76 4/82 20718
/proc/meminfo: memFree=1709896/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=13724 CPUtime=0.04
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 1112 0 0 0 3 1 0 0 21 0 1 0 30820609 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.516943 s]
/proc/loadavg: 3.84 3.50 2.76 4/82 20718
/proc/meminfo: memFree=1709896/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=13724 CPUtime=0.04
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30820609 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34004 s]
/proc/loadavg: 3.84 3.50 2.76 3/90 20734
/proc/meminfo: memFree=1696776/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=13724 CPUtime=0.77
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 1190 7338 0 1 3 1 67 6 15 0 1 0 30820609 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20717/statm: 3431 809 371 3 0 531 0
[pid=20727] ppid=20717 vsize=807064 CPUtime=0.43
/proc/20727/stat : 20727 (java) R 20717 20717 19175 0 -1 0 7337 0 1 0 39 4 0 0 23 0 8 0 30820696 826433536 7086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073481342 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20727/statm: 201766 7086 1494 14 0 189044 0
[pid=20727/tid=20728] ppid=20717 vsize=807064 CPUtime=0.05
/proc/20727/task/20728/stat : 20728 (java) S 20717 20717 19175 0 -1 64 1284 0 0 0 5 0 0 0 16 0 8 0 30820699 826433536 7086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20729] ppid=20717 vsize=807064 CPUtime=0
/proc/20727/task/20729/stat : 20729 (java) S 20717 20717 19175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30820700 826433536 7086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20730] ppid=20717 vsize=807064 CPUtime=0
/proc/20727/task/20730/stat : 20730 (java) S 20717 20717 19175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30820700 826433536 7086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20731] ppid=20717 vsize=807064 CPUtime=0
/proc/20727/task/20731/stat : 20731 (java) S 20717 20717 19175 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30820703 826433536 7086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20732] ppid=20717 vsize=807064 CPUtime=0.05
/proc/20727/task/20732/stat : 20732 (java) S 20717 20717 19175 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 30820703 826433536 7086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20733] ppid=20717 vsize=807064 CPUtime=0
/proc/20727/task/20733/stat : 20733 (java) S 20717 20717 19175 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30820703 826433536 7086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20734] ppid=20717 vsize=807064 CPUtime=0
/proc/20727/task/20734/stat : 20734 (java) S 20717 20717 19175 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30820703 826433536 7086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 820788
[startup+3.00023 s]
/proc/loadavg: 3.84 3.50 2.76 4/90 20734
/proc/meminfo: memFree=1670088/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=13724 CPUtime=0.77
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 1190 7338 0 1 3 1 67 6 15 0 1 0 30820609 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20717/statm: 3431 809 371 3 0 531 0
[pid=20727] ppid=20717 vsize=807064 CPUtime=2.09
/proc/20727/stat : 20727 (java) R 20717 20717 19175 0 -1 0 13856 0 1 0 200 9 0 0 25 0 8 0 30820696 826433536 13590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073488063 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20727/statm: 201766 13590 1494 14 0 189044 0
[pid=20727/tid=20728] ppid=20717 vsize=807064 CPUtime=0.59
/proc/20727/task/20728/stat : 20728 (java) S 20717 20717 19175 0 -1 64 7788 0 0 0 54 5 0 0 16 0 8 0 30820699 826433536 13590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20729] ppid=20717 vsize=807064 CPUtime=0
/proc/20727/task/20729/stat : 20729 (java) S 20717 20717 19175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30820700 826433536 13590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20730] ppid=20717 vsize=807064 CPUtime=0
/proc/20727/task/20730/stat : 20730 (java) S 20717 20717 19175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30820700 826433536 13590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20731] ppid=20717 vsize=807064 CPUtime=0
/proc/20727/task/20731/stat : 20731 (java) S 20717 20717 19175 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30820703 826433536 13590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20732] ppid=20717 vsize=807064 CPUtime=0.05
/proc/20727/task/20732/stat : 20732 (java) S 20717 20717 19175 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30820703 826433536 13590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20733] ppid=20717 vsize=807064 CPUtime=0
/proc/20727/task/20733/stat : 20733 (java) S 20717 20717 19175 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30820703 826433536 13590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20734] ppid=20717 vsize=807064 CPUtime=0
/proc/20727/task/20734/stat : 20734 (java) S 20717 20717 19175 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30820703 826433536 13590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 820788
[startup+6.2356 s]
/proc/loadavg: 3.93 3.53 2.77 5/90 20734
/proc/meminfo: memFree=1585480/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=13724 CPUtime=0.77
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 1190 7338 0 1 3 1 67 6 15 0 1 0 30820609 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20717/statm: 3431 809 371 3 0 531 0
[pid=20727] ppid=20717 vsize=807332 CPUtime=5.33
/proc/20727/stat : 20727 (java) R 20717 20717 19175 0 -1 0 36160 0 1 0 509 24 0 0 25 0 8 0 30820696 826707968 35800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20727/statm: 201833 35800 1506 14 0 189111 0
[pid=20727/tid=20728] ppid=20717 vsize=807332 CPUtime=1.65
/proc/20727/task/20728/stat : 20728 (java) S 20717 20717 19175 0 -1 64 29840 0 0 0 146 19 0 0 16 0 8 0 30820699 826707968 35800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20729] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20729/stat : 20729 (java) S 20717 20717 19175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30820700 826707968 35800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20730] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20730/stat : 20730 (java) S 20717 20717 19175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30820700 826707968 35800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20731] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20731/stat : 20731 (java) S 20717 20717 19175 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30820703 826707968 35800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20732] ppid=20717 vsize=807332 CPUtime=0.12
/proc/20727/task/20732/stat : 20732 (java) S 20717 20717 19175 0 -1 64 396 0 0 0 12 0 0 0 16 0 8 0 30820703 826707968 35800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20733] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20733/stat : 20733 (java) S 20717 20717 19175 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30820703 826707968 35800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20734] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20734/stat : 20734 (java) S 20717 20717 19175 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30820703 826707968 35800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 821056
[startup+12.7082 s]
/proc/loadavg: 3.94 3.53 2.78 4/90 20734
/proc/meminfo: memFree=1495632/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=13724 CPUtime=0.77
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 1190 7338 0 1 3 1 67 6 15 0 1 0 30820609 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20717/statm: 3431 809 371 3 0 531 0
[pid=20727] ppid=20717 vsize=807584 CPUtime=11.76
/proc/20727/stat : 20727 (java) R 20717 20717 19175 0 -1 0 55227 0 1 0 1140 36 0 0 25 0 8 0 30820696 826966016 54482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20727/statm: 201896 54482 1507 14 0 189174 0
[pid=20727/tid=20728] ppid=20717 vsize=807584 CPUtime=4.04
/proc/20727/task/20728/stat : 20728 (java) R 20717 20717 19175 0 -1 64 48695 0 0 0 375 29 0 0 16 0 8 0 30820699 826966016 54482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134365 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20729] ppid=20717 vsize=807584 CPUtime=0
/proc/20727/task/20729/stat : 20729 (java) S 20717 20717 19175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30820700 826966016 54482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20730] ppid=20717 vsize=807584 CPUtime=0
/proc/20727/task/20730/stat : 20730 (java) S 20717 20717 19175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30820700 826966016 54482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20731] ppid=20717 vsize=807584 CPUtime=0
/proc/20727/task/20731/stat : 20731 (java) S 20717 20717 19175 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30820703 826966016 54482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20732] ppid=20717 vsize=807584 CPUtime=0.13
/proc/20727/task/20732/stat : 20732 (java) S 20717 20717 19175 0 -1 64 397 0 0 0 13 0 0 0 16 0 8 0 30820703 826966016 54482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20733] ppid=20717 vsize=807584 CPUtime=0
/proc/20727/task/20733/stat : 20733 (java) S 20717 20717 19175 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30820703 826966016 54482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20734] ppid=20717 vsize=807584 CPUtime=0
/proc/20727/task/20734/stat : 20734 (java) S 20717 20717 19175 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30820703 826966016 54482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 821308
[startup+25.5366 s]
/proc/loadavg: 3.74 3.51 2.78 5/90 20734
/proc/meminfo: memFree=1495760/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=13724 CPUtime=0.77
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 1190 7338 0 1 3 1 67 6 15 0 1 0 30820609 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20717/statm: 3431 809 371 3 0 531 0
[pid=20727] ppid=20717 vsize=807332 CPUtime=24.47
/proc/20727/stat : 20727 (java) R 20717 20717 19175 0 -1 0 56050 0 1 0 2405 42 0 0 25 0 8 0 30820696 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20727/statm: 201833 54119 1507 14 0 189111 0
[pid=20727/tid=20728] ppid=20717 vsize=807332 CPUtime=8.96
/proc/20727/task/20728/stat : 20728 (java) R 20717 20717 19175 0 -1 64 49106 0 0 0 862 34 0 0 15 0 8 0 30820699 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827323 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20729] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20729/stat : 20729 (java) S 20717 20717 19175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30820700 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20730] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20730/stat : 20730 (java) S 20717 20717 19175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30820700 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20731] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20731/stat : 20731 (java) S 20717 20717 19175 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30820703 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20732] ppid=20717 vsize=807332 CPUtime=0.13
/proc/20727/task/20732/stat : 20732 (java) S 20717 20717 19175 0 -1 64 398 0 0 0 13 0 0 0 16 0 8 0 30820703 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20733] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20733/stat : 20733 (java) S 20717 20717 19175 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30820703 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20734] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20734/stat : 20734 (java) S 20717 20717 19175 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30820703 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 821056
[startup+51.217 s]
/proc/loadavg: 3.41 3.45 2.78 4/90 20734
/proc/meminfo: memFree=1495504/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=13724 CPUtime=0.77
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 1190 7338 0 1 3 1 67 6 15 0 1 0 30820609 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20717/statm: 3431 809 371 3 0 531 0
[pid=20727] ppid=20717 vsize=807332 CPUtime=50.02
/proc/20727/stat : 20727 (java) R 20717 20717 19175 0 -1 0 58370 0 1 0 4945 57 0 0 25 0 8 0 30820696 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20727/statm: 201833 54119 1507 14 0 189111 0
[pid=20727/tid=20728] ppid=20717 vsize=807332 CPUtime=19.07
/proc/20727/task/20728/stat : 20728 (java) S 20717 20717 19175 0 -1 64 50612 0 0 0 1865 42 0 0 15 0 8 0 30820699 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20729] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20729/stat : 20729 (java) S 20717 20717 19175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30820700 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20730] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20730/stat : 20730 (java) S 20717 20717 19175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30820700 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20731] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20731/stat : 20731 (java) S 20717 20717 19175 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30820703 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20732] ppid=20717 vsize=807332 CPUtime=0.13
/proc/20727/task/20732/stat : 20732 (java) S 20717 20717 19175 0 -1 64 398 0 0 0 13 0 0 0 16 0 8 0 30820703 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20733] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20733/stat : 20733 (java) S 20717 20717 19175 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30820703 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20727/tid=20734] ppid=20717 vsize=807332 CPUtime=0
/proc/20727/task/20734/stat : 20734 (java) S 20717 20717 19175 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30820703 826707968 54119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 821056
[startup+102.508 s]
/proc/loadavg: 2.90 3.31 2.77 4/90 20734
/proc/meminfo: memFree=1311120/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=13724 CPUtime=0.77
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 1190 7338 0 1 3 1 67 6 15 0 1 0 30820609 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20717/statm: 3431 809 371 3 0 531 0
[pid=20727] ppid=20717 vsize=807332 CPUtime=100.98
/proc/20727/stat : 20727 (java) R 20717 20717 19175 0 -1 0 82175 0 1 0 10011 87 0 0 16 0 8 0 30820696 826707968 73881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20727/statm: 201833 73881 1507 14 0 189111 0
[pid=20727/tid=20728] ppid=20717 vsize=807332 CPUtime=40.46
################
# More data... #
################
/proc/loadavg: 2.01 2.05 2.25 3/76 20736
/proc/meminfo: memFree=1675984/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=23800 CPUtime=139.28
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 3691 112813 0 2 18 3 13767 140 16 0 1 0 30820609 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 5950 3170 373 3 0 3050 0
[pid=20736] ppid=20717 vsize=84044 CPUtime=978.74
/proc/20736/stat : 20736 (minisat) R 20717 20717 19175 0 -1 0 21569 0 0 0 97851 23 0 0 25 0 1 0 30834631 86061056 20530 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20736/statm: 21011 20530 52 112 0 20895 0
Current children cumulated CPU time (s) 1118.02
Current children cumulated vsize (KiB) 107844
[startup+1183.65 s]
/proc/loadavg: 2.04 2.05 2.24 3/76 20736
/proc/meminfo: memFree=1675664/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=23800 CPUtime=139.28
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 3691 112813 0 2 18 3 13767 140 16 0 1 0 30820609 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 5950 3170 373 3 0 3050 0
[pid=20736] ppid=20717 vsize=84044 CPUtime=1038.52
/proc/20736/stat : 20736 (minisat) R 20717 20717 19175 0 -1 0 21569 0 0 0 103829 23 0 0 25 0 1 0 30834631 86061056 20530 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/20736/statm: 21011 20530 52 112 0 20895 0
Current children cumulated CPU time (s) 1177.8
Current children cumulated vsize (KiB) 107844
[startup+1243.72 s]
/proc/loadavg: 2.01 2.04 2.22 3/76 20736
/proc/meminfo: memFree=1673744/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=23800 CPUtime=139.28
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 3691 112813 0 2 18 3 13767 140 16 0 1 0 30820609 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 5950 3170 373 3 0 3050 0
[pid=20736] ppid=20717 vsize=84044 CPUtime=1098.3
/proc/20736/stat : 20736 (minisat) R 20717 20717 19175 0 -1 0 21569 0 0 0 109807 23 0 0 25 0 1 0 30834631 86061056 20530 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20736/statm: 21011 20530 52 112 0 20895 0
Current children cumulated CPU time (s) 1237.58
Current children cumulated vsize (KiB) 107844
[startup+1303.78 s]
/proc/loadavg: 2.00 2.03 2.21 3/76 20736
/proc/meminfo: memFree=1673488/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=23800 CPUtime=139.28
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 3691 112813 0 2 18 3 13767 140 16 0 1 0 30820609 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 5950 3170 373 3 0 3050 0
[pid=20736] ppid=20717 vsize=84044 CPUtime=1158.08
/proc/20736/stat : 20736 (minisat) R 20717 20717 19175 0 -1 0 21569 0 0 0 115785 23 0 0 25 0 1 0 30834631 86061056 20530 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528567 0 0 4096 3 0 0 0 17 1 0 0
/proc/20736/statm: 21011 20530 52 112 0 20895 0
Current children cumulated CPU time (s) 1297.36
Current children cumulated vsize (KiB) 107844
[startup+1363.84 s]
/proc/loadavg: 2.06 2.04 2.19 3/76 20736
/proc/meminfo: memFree=1672976/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=23800 CPUtime=139.28
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 3691 112813 0 2 18 3 13767 140 16 0 1 0 30820609 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 5950 3170 373 3 0 3050 0
[pid=20736] ppid=20717 vsize=84044 CPUtime=1217.86
/proc/20736/stat : 20736 (minisat) R 20717 20717 19175 0 -1 0 21569 0 0 0 121763 23 0 0 25 0 1 0 30834631 86061056 20530 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20736/statm: 21011 20530 52 112 0 20895 0
Current children cumulated CPU time (s) 1357.14
Current children cumulated vsize (KiB) 107844
[startup+1423.89 s]
/proc/loadavg: 2.07 2.04 2.18 3/76 20736
/proc/meminfo: memFree=1664784/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=23800 CPUtime=139.28
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 3691 112813 0 2 18 3 13767 140 16 0 1 0 30820609 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 5950 3170 373 3 0 3050 0
[pid=20736] ppid=20717 vsize=91952 CPUtime=1277.64
/proc/20736/stat : 20736 (minisat) R 20717 20717 19175 0 -1 0 23513 0 0 0 127737 27 0 0 25 0 1 0 30834631 94158848 22474 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20736/statm: 22988 22474 52 112 0 22872 0
Current children cumulated CPU time (s) 1416.92
Current children cumulated vsize (KiB) 115752
[startup+1483.95 s]
/proc/loadavg: 2.02 2.03 2.17 3/76 20736
/proc/meminfo: memFree=1650192/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=23800 CPUtime=139.28
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 3691 112813 0 2 18 3 13767 140 16 0 1 0 30820609 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 5950 3170 373 3 0 3050 0
[pid=20736] ppid=20717 vsize=103008 CPUtime=1337.41
/proc/20736/stat : 20736 (minisat) R 20717 20717 19175 0 -1 0 26263 0 0 0 133710 31 0 0 25 0 1 0 30834631 105480192 25224 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20736/statm: 25752 25224 52 112 0 25636 0
Current children cumulated CPU time (s) 1476.69
Current children cumulated vsize (KiB) 126808
[startup+1544.02 s]
/proc/loadavg: 2.06 2.04 2.16 3/76 20738
/proc/meminfo: memFree=1645776/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=23800 CPUtime=139.28
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 3691 112813 0 2 18 3 13767 140 16 0 1 0 30820609 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 5950 3170 373 3 0 3050 0
[pid=20736] ppid=20717 vsize=105504 CPUtime=1397.19
/proc/20736/stat : 20736 (minisat) R 20717 20717 19175 0 -1 0 26904 0 0 0 139687 32 0 0 25 0 1 0 30834631 108036096 25865 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 1 0 0
/proc/20736/statm: 26376 25865 52 112 0 26260 0
Current children cumulated CPU time (s) 1536.47
Current children cumulated vsize (KiB) 129304
[startup+1604.08 s]
/proc/loadavg: 2.02 2.03 2.15 3/76 20738
/proc/meminfo: memFree=1645712/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=23800 CPUtime=139.28
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 3691 112813 0 2 18 3 13767 140 16 0 1 0 30820609 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 5950 3170 373 3 0 3050 0
[pid=20736] ppid=20717 vsize=105504 CPUtime=1456.97
/proc/20736/stat : 20736 (minisat) R 20717 20717 19175 0 -1 0 26904 0 0 0 145665 32 0 0 25 0 1 0 30834631 108036096 25865 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/20736/statm: 26376 25865 52 112 0 26260 0
Current children cumulated CPU time (s) 1596.25
Current children cumulated vsize (KiB) 129304
[startup+1664.14 s]
/proc/loadavg: 2.00 2.02 2.14 3/76 20738
/proc/meminfo: memFree=1645584/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=23800 CPUtime=139.28
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 3691 112813 0 2 18 3 13767 140 16 0 1 0 30820609 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 5950 3170 373 3 0 3050 0
[pid=20736] ppid=20717 vsize=105504 CPUtime=1516.74
/proc/20736/stat : 20736 (minisat) R 20717 20717 19175 0 -1 0 26909 0 0 0 151642 32 0 0 25 0 1 0 30834631 108036096 25870 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20736/statm: 26376 25870 52 112 0 26260 0
Current children cumulated CPU time (s) 1656.02
Current children cumulated vsize (KiB) 129304
[startup+1724.2 s]
/proc/loadavg: 2.00 2.02 2.13 3/76 20738
/proc/meminfo: memFree=1645520/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=23800 CPUtime=139.28
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 3691 112813 0 2 18 3 13767 140 16 0 1 0 30820609 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 5950 3170 373 3 0 3050 0
[pid=20736] ppid=20717 vsize=105504 CPUtime=1576.54
/proc/20736/stat : 20736 (minisat) R 20717 20717 19175 0 -1 0 26910 0 0 0 157621 33 0 0 25 0 1 0 30834631 108036096 25871 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/20736/statm: 26376 25871 52 112 0 26260 0
Current children cumulated CPU time (s) 1715.82
Current children cumulated vsize (KiB) 129304
[startup+1784.26 s]
/proc/loadavg: 2.00 2.01 2.12 3/76 20738
/proc/meminfo: memFree=1645328/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=23800 CPUtime=139.28
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 3691 112813 0 2 18 3 13767 140 16 0 1 0 30820609 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 5950 3170 373 3 0 3050 0
[pid=20736] ppid=20717 vsize=105504 CPUtime=1636.31
/proc/20736/stat : 20736 (minisat) R 20717 20717 19175 0 -1 0 26910 0 0 0 163598 33 0 0 25 0 1 0 30834631 108036096 25871 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 1 0 0
/proc/20736/statm: 26376 25871 52 112 0 26260 0
Current children cumulated CPU time (s) 1775.59
Current children cumulated vsize (KiB) 129304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.78 s]
/proc/loadavg: 1.78 1.96 2.09 2/66 20753
/proc/meminfo: memFree=1788664/2055920 swapFree=4192812/4192956
[pid=20717] ppid=20715 vsize=23800 CPUtime=139.28
/proc/20717/stat : 20717 (sugar) S 20715 20717 19175 0 -1 4194304 3691 112813 0 2 18 3 13767 140 16 0 1 0 30820609 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20717/statm: 5950 3170 373 3 0 3050 0
[pid=20736] ppid=20717 vsize=105504 CPUtime=1660.77
/proc/20736/stat : 20736 (minisat) R 20717 20717 19175 0 -1 0 26910 0 0 0 166043 34 0 0 25 0 1 0 30834631 108036096 25871 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20736/statm: 26376 25871 52 112 0 26260 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 129304
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 20717 and gives childrusage.ru_utime.tv_sec=137 childrusage.ru_utime.tv_usec=860042 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=448779
CPU time returned by wait4() is 139.309
while last known CPU time is 1800.07
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.81
CPU time (s): 1800.07
CPU user time (s): 1798.28
CPU system time (s): 1.79
CPU usage (%): 99.4616
Max. virtual memory (cumulated for all children) (KiB): 822060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.86
system time used= 1.44878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116588
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= 26898
involuntary context switches= 27447
runsolver used 1.70174 s user time and 4.95525 s system time
The end
Begin job on node38 on Mon Jan 29 22:10:48 UTC 2007
IDJOB= 238711
IDBENCH= 7016
IDSOLVER= 86
FILE ID= node38/238711-1170108648
PBS_JOBID= 3689878
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-7/BlackHole-4-7-h-8_ext.xml
COMMAND LINE= /tmp/evaluation/238711-1170108648/solver /tmp/evaluation/238711-1170108648 /tmp/evaluation/238711-1170108648/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-238711-1170108648 -o ROOT/results/node38/solver-238711-1170108648 -C 1800 -M 900 /tmp/evaluation/238711-1170108648/solver /tmp/evaluation/238711-1170108648 /tmp/evaluation/238711-1170108648/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= cf0c8a021cff302ab0e1f90bd794ddaa
RANDOM SEED= 784536461
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.233
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.233
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: 1710376 kB
Buffers: 6524 kB
Cached: 52432 kB
SwapCached: 0 kB
Active: 261668 kB
Inactive: 32764 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1710376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4360 kB
Writeback: 0 kB
Mapped: 249984 kB
Slab: 36008 kB
Committed_AS: 523328 kB
PageTables: 2352 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= 66564 MiB
End job on node38 on Mon Jan 29 22:40:58 UTC 2007