0.04 c # Sugar v0-40 (/tmp/evaluation/224114-1170102941/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/224114-1170102941/unknown.xml [Mon Jan 29 21:35:41 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/224114-1170102941/unknown.xml /tmp/evaluation/224114-1170102941/sugar18260.csp [Mon Jan 29 21:35:41 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/224114-1170102941/sugar-v0-40.jar -convert /tmp/evaluation/224114-1170102941/unknown.xml /tmp/evaluation/224114-1170102941/sugar18260.csp
0.17 c BEGIN convert /tmp/evaluation/224114-1170102941/unknown.xml
0.74 c END convert (0.572093 seconds)
0.75 c # CONVERT_XML END : /tmp/evaluation/224114-1170102941/sugar18260.csp 1729576 bytes (1 seconds) [Mon Jan 29 21:35:42 2007]
0.75 c # CONVERT_XML CPU : 0.68 = 0 + 0 + 0.63 + 0.05
0.75
0.75 c # GENERATE_SAT BEGIN : /tmp/evaluation/224114-1170102941/sugar18260.bcnf [Mon Jan 29 21:35:42 2007]
0.75 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/224114-1170102941/sugar-v0-40.jar -bcnf -map /tmp/evaluation/224114-1170102941/sugar18260.map /tmp/evaluation/224114-1170102941/sugar18260.csp /tmp/evaluation/224114-1170102941/sugar18260.bcnf
0.87 c BEGIN parse /tmp/evaluation/224114-1170102941/sugar18260.csp
340.78 c END parse (339.910816 seconds)
340.78 c BEGIN simplify
341.85 c END simplify (1.071363 seconds)
341.85 c BEGIN encode /tmp/evaluation/224114-1170102941/sugar18260.bcnf
348.85 c END encode (6.997839 seconds)
349.48 c # GENERATE_SAT END : 53494 variables 156531 clauses 78956196 bytes (349 seconds) [Mon Jan 29 21:41:31 2007]
349.48 c # GENERATE_SAT CPU : 347.57 = 0.48 + 0.05 + 344.96 + 2.08
349.48
349.48 c # SOLVE_SAT BEGIN : /tmp/evaluation/224114-1170102941/sugar18260.bcnf [Mon Jan 29 21:41:31 2007]
349.48 c # CMD : /tmp/evaluation/224114-1170102941/minisat /tmp/evaluation/224114-1170102941/sugar18260.bcnf /tmp/evaluation/224114-1170102941/sugar18260.out
351.19 c ==================================[MINISAT]===================================
351.19 c | Conflicts | ORIGINAL | LEARNT | Progress |
351.19 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
351.19 c ==============================================================================
351.19 c | 0 | 156531 19582476 | 52177 0 0 nan | 0.000 % |
351.34 c | 102 | 156532 19582476 | 57394 101 9285 91.9 | 0.000 % |
351.55 c | 252 | 156532 19582476 | 63134 251 20444 81.5 | 0.000 % |
351.90 c | 477 | 156533 19582476 | 69447 475 35577 74.9 | 0.000 % |
352.41 c | 814 | 156534 19582476 | 76392 811 50430 62.2 | 0.000 % |
353.33 c | 1321 | 156535 19582476 | 84031 1317 80730 61.3 | 0.000 % |
354.75 c | 2080 | 156536 19582476 | 92434 2075 140841 67.9 | 0.000 % |
357.32 c | 3222 | 156537 19582476 | 101678 3216 208333 64.8 | 0.000 % |
360.48 c | 4930 | 156538 19582476 | 111846 4923 324464 65.9 | 0.000 % |
366.59 c | 7492 | 156542 19582476 | 123030 7481 539824 72.2 | 0.000 % |
376.13 c | 11337 | 156545 19582476 | 135333 11323 871598 77.0 | 0.000 % |
391.63 c | 17103 | 156551 19582476 | 148867 17083 1419314 83.1 | 0.000 % |
415.76 c | 25752 | 156560 19582476 | 163753 25723 2363914 91.9 | 0.000 % |
458.93 c | 38727 | 156562 19582476 | 180129 38696 3489904 90.2 | 0.000 % |
525.28 c | 58190 | 156575 19582476 | 198142 58146 5378295 92.5 | 0.000 % |
651.26 c | 87383 | 156580 19582476 | 217956 87334 8743045 100.1 | 0.000 % |
778.82 c | 131172 | 156397 19572635 | 239751 62017 7303803 117.8 | 0.062 % |
1016.25 c | 196856 | 156211 19570917 | 263727 93628 10678556 114.1 | 0.224 % |
1384.97 c | 295382 | 156248 19570917 | 290099 192117 23171693 120.6 | 0.224 % |
1801.87
1801.87 s UNKNOWN
1801.87 c # INTERRUPTED
1801.87 c # MAIN END : (1802 seconds) [Mon Jan 29 22:05:43 2007]
1801.87 c # MAIN CPU : 348.25 = 0.48 + 0.05 + 345.59 + 2.13
1801.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-224114-1170102941 -o ROOT/results/node41/solver-224114-1170102941 -C 1800 -M 900 /tmp/evaluation/224114-1170102941/solver /tmp/evaluation/224114-1170102941 /tmp/evaluation/224114-1170102941/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.13 1.66 2.03 4/68 18261
/proc/meminfo: memFree=1903440/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=11860 CPUtime=0
/proc/18260/stat : 18260 (sugar) R 18253 18260 18140 0 -1 4194304 389 0 0 0 0 0 0 0 18 0 1 0 30250058 12144640 109 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238390574404 0 0 4224 0 0 0 0 17 1 0 0
/proc/18260/statm: 2965 123 92 3 0 65 0
[startup+0.10748 s]
/proc/loadavg: 1.13 1.66 2.03 4/68 18261
/proc/meminfo: memFree=1903440/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=13724 CPUtime=0.04
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30250058 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515517 s]
/proc/loadavg: 1.13 1.66 2.03 4/68 18261
/proc/meminfo: memFree=1903440/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=13724 CPUtime=0.04
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30250058 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33759 s]
/proc/loadavg: 1.20 1.67 2.03 3/89 18305
/proc/meminfo: memFree=1856808/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=13724 CPUtime=0.72
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 1190 7680 0 1 3 1 63 5 15 0 1 0 30250058 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 3431 809 371 3 0 531 0
[pid=18290] ppid=18260 vsize=807064 CPUtime=0.56
/proc/18290/stat : 18290 (java) R 18260 18260 18140 0 -1 0 7815 0 1 0 51 5 0 0 20 0 8 0 30250134 826433536 7563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073455861 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18290/statm: 201766 7563 1494 14 0 189044 0
[pid=18290/tid=18291] ppid=18260 vsize=807064 CPUtime=0.08
/proc/18290/task/18291/stat : 18291 (java) S 18260 18260 18140 0 -1 64 1762 0 0 0 8 0 0 0 16 0 8 0 30250137 826433536 7563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18292] ppid=18260 vsize=807064 CPUtime=0
/proc/18290/task/18292/stat : 18292 (java) S 18260 18260 18140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30250137 826433536 7563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18293] ppid=18260 vsize=807064 CPUtime=0
/proc/18290/task/18293/stat : 18293 (java) S 18260 18260 18140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30250137 826433536 7563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18295] ppid=18260 vsize=807064 CPUtime=0
/proc/18290/task/18295/stat : 18295 (java) S 18260 18260 18140 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 30250140 826433536 7563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18296] ppid=18260 vsize=807064 CPUtime=0.05
/proc/18290/task/18296/stat : 18296 (java) S 18260 18260 18140 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30250140 826433536 7563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18297] ppid=18260 vsize=807064 CPUtime=0
/proc/18290/task/18297/stat : 18297 (java) S 18260 18260 18140 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30250140 826433536 7563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18298] ppid=18260 vsize=807064 CPUtime=0
/proc/18290/task/18298/stat : 18298 (java) S 18260 18260 18140 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30250141 826433536 7563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 820788
[startup+2.98974 s]
/proc/loadavg: 1.20 1.67 2.03 3/89 18305
/proc/meminfo: memFree=1814376/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=13724 CPUtime=0.72
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 1190 7680 0 1 3 1 63 5 15 0 1 0 30250058 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 3431 809 371 3 0 531 0
[pid=18290] ppid=18260 vsize=807336 CPUtime=2.21
/proc/18290/stat : 18290 (java) R 18260 18260 18140 0 -1 0 14242 0 1 0 211 10 0 0 25 0 8 0 30250134 826712064 13975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18290/statm: 201834 13975 1506 14 0 189112 0
[pid=18290/tid=18291] ppid=18260 vsize=807336 CPUtime=0.53
/proc/18290/task/18291/stat : 18291 (java) R 18260 18260 18140 0 -1 64 8055 0 0 0 49 4 0 0 16 0 8 0 30250137 826712064 13975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153823295 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18292] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18292/stat : 18292 (java) S 18260 18260 18140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30250137 826712064 13977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18293] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18293/stat : 18293 (java) S 18260 18260 18140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30250137 826712064 13979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18295] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18295/stat : 18295 (java) S 18260 18260 18140 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 30250140 826712064 13980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18296] ppid=18260 vsize=807336 CPUtime=0.1
/proc/18290/task/18296/stat : 18296 (java) S 18260 18260 18140 0 -1 64 387 0 0 0 10 0 0 0 16 0 8 0 30250140 826712064 13981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18297] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18297/stat : 18297 (java) S 18260 18260 18140 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30250140 826712064 13983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18298] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18298/stat : 18298 (java) S 18260 18260 18140 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30250141 826712064 13985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 821060
[startup+6.21495 s]
/proc/loadavg: 1.27 1.68 2.03 3/89 18305
/proc/meminfo: memFree=1640232/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=13724 CPUtime=0.72
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 1190 7680 0 1 3 1 63 5 15 0 1 0 30250058 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 3431 809 371 3 0 531 0
[pid=18290] ppid=18260 vsize=807336 CPUtime=5.44
/proc/18290/stat : 18290 (java) R 18260 18260 18140 0 -1 0 37840 0 1 0 521 23 0 0 25 0 8 0 30250134 826712064 37470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18290/statm: 201834 37470 1506 14 0 189112 0
[pid=18290/tid=18291] ppid=18260 vsize=807336 CPUtime=1.64
/proc/18290/task/18291/stat : 18291 (java) S 18260 18260 18140 0 -1 64 31520 0 0 0 148 16 0 0 16 0 8 0 30250137 826712064 37470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18292] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18292/stat : 18292 (java) S 18260 18260 18140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30250137 826712064 37470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18293] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18293/stat : 18293 (java) S 18260 18260 18140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30250137 826712064 37470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18295] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18295/stat : 18295 (java) S 18260 18260 18140 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 30250140 826712064 37470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18296] ppid=18260 vsize=807336 CPUtime=0.11
/proc/18290/task/18296/stat : 18296 (java) S 18260 18260 18140 0 -1 64 395 0 0 0 11 0 0 0 17 0 8 0 30250140 826712064 37470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18297] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18297/stat : 18297 (java) S 18260 18260 18140 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30250140 826712064 37470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18298] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18298/stat : 18298 (java) S 18260 18260 18140 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30250141 826712064 37470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 821060
[startup+12.6786 s]
/proc/loadavg: 1.48 1.71 2.04 3/89 18305
/proc/meminfo: memFree=1473264/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=13724 CPUtime=0.72
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 1190 7680 0 1 3 1 63 5 15 0 1 0 30250058 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 3431 809 371 3 0 531 0
[pid=18290] ppid=18260 vsize=807336 CPUtime=11.85
/proc/18290/stat : 18290 (java) R 18260 18260 18140 0 -1 0 54981 0 1 0 1152 33 0 0 25 0 8 0 30250134 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073747282 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18290/statm: 201834 54114 1507 14 0 189112 0
[pid=18290/tid=18291] ppid=18260 vsize=807336 CPUtime=4
/proc/18290/task/18291/stat : 18291 (java) S 18260 18260 18140 0 -1 64 48458 0 0 0 374 26 0 0 16 0 8 0 30250137 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18292] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18292/stat : 18292 (java) S 18260 18260 18140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30250137 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18293] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18293/stat : 18293 (java) S 18260 18260 18140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30250137 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18295] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18295/stat : 18295 (java) S 18260 18260 18140 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 30250140 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18296] ppid=18260 vsize=807336 CPUtime=0.13
/proc/18290/task/18296/stat : 18296 (java) S 18260 18260 18140 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 30250140 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18297] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18297/stat : 18297 (java) S 18260 18260 18140 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30250140 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18298] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18298/stat : 18298 (java) R 18260 18260 18140 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30250141 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 821060
[startup+25.4967 s]
/proc/loadavg: 1.72 1.76 2.05 3/89 18305
/proc/meminfo: memFree=1473264/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=13724 CPUtime=0.72
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 1190 7680 0 1 3 1 63 5 15 0 1 0 30250058 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 3431 809 371 3 0 531 0
[pid=18290] ppid=18260 vsize=807336 CPUtime=24.61
/proc/18290/stat : 18290 (java) R 18260 18260 18140 0 -1 0 55697 0 1 0 2421 40 0 0 25 0 8 0 30250134 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18290/statm: 201834 54115 1507 14 0 189112 0
[pid=18290/tid=18291] ppid=18260 vsize=807336 CPUtime=8.86
/proc/18290/task/18291/stat : 18291 (java) S 18260 18260 18140 0 -1 64 48777 0 0 0 855 31 0 0 16 0 8 0 30250137 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18292] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18292/stat : 18292 (java) S 18260 18260 18140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30250137 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18293] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18293/stat : 18293 (java) S 18260 18260 18140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30250137 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18295] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18295/stat : 18295 (java) S 18260 18260 18140 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 30250140 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18296] ppid=18260 vsize=807336 CPUtime=0.13
/proc/18290/task/18296/stat : 18296 (java) S 18260 18260 18140 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 30250140 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18297] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18297/stat : 18297 (java) S 18260 18260 18140 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30250140 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18298] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18298/stat : 18298 (java) S 18260 18260 18140 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30250141 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 821060
[startup+51.1189 s]
/proc/loadavg: 2.13 1.86 2.07 4/89 18305
/proc/meminfo: memFree=1473264/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=13724 CPUtime=0.72
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 1190 7680 0 1 3 1 63 5 15 0 1 0 30250058 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 3431 809 371 3 0 531 0
[pid=18290] ppid=18260 vsize=807336 CPUtime=50.1
/proc/18290/stat : 18290 (java) R 18260 18260 18140 0 -1 0 57154 0 1 0 4957 53 0 0 25 0 8 0 30250134 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18290/statm: 201834 54115 1507 14 0 189112 0
[pid=18290/tid=18291] ppid=18260 vsize=807336 CPUtime=18.83
/proc/18290/task/18291/stat : 18291 (java) R 18260 18260 18140 0 -1 64 49444 0 0 0 1845 38 0 0 15 0 8 0 30250137 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153444177 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18292] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18292/stat : 18292 (java) S 18260 18260 18140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30250137 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18293] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18293/stat : 18293 (java) S 18260 18260 18140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30250137 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18295] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18295/stat : 18295 (java) S 18260 18260 18140 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 30250140 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18296] ppid=18260 vsize=807336 CPUtime=0.13
/proc/18290/task/18296/stat : 18296 (java) S 18260 18260 18140 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 30250140 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18297] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18297/stat : 18297 (java) S 18260 18260 18140 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30250140 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18290/tid=18298] ppid=18260 vsize=807336 CPUtime=0
/proc/18290/task/18298/stat : 18298 (java) S 18260 18260 18140 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30250141 826712064 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 821060
[startup+102.401 s]
/proc/loadavg: 2.55 2.01 2.11 3/89 18305
/proc/meminfo: memFree=1333744/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=13724 CPUtime=0.72
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 1190 7680 0 1 3 1 63 5 15 0 1 0 30250058 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 3431 809 371 3 0 531 0
[pid=18290] ppid=18260 vsize=807336 CPUtime=101.3
/proc/18290/stat : 18290 (java) R 18260 18260 18140 0 -1 0 74720 0 1 0 10052 78 0 0 25 0 8 0 30250134 826712064 69267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18290/statm: 201834 69267 1507 14 0 189112 0
[pid=18290/tid=18291] ppid=18260 vsize=807336 CPUtime=40.14
################
# More data... #
################
/proc/loadavg: 2.00 2.03 2.11 3/75 18307
/proc/meminfo: memFree=1386784/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=42612 CPUtime=348.29
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 8368 171645 0 2 51 6 34559 213 16 0 1 0 30250058 43634688 7784 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 10653 7784 373 3 0 7753 0
[pid=18307] ppid=18260 vsize=145072 CPUtime=773.49
/proc/18307/stat : 18307 (minisat) R 18260 18260 18140 0 -1 0 36784 0 0 0 77315 34 0 0 25 0 1 0 30285006 148553728 35729 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 1 0 0
/proc/18307/statm: 36268 35729 52 112 0 36152 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 187684
[startup+1183.26 s]
/proc/loadavg: 2.00 2.02 2.10 3/75 18307
/proc/meminfo: memFree=1379552/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=42612 CPUtime=348.29
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 8368 171645 0 2 51 6 34559 213 16 0 1 0 30250058 43634688 7784 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 10653 7784 373 3 0 7753 0
[pid=18307] ppid=18260 vsize=152088 CPUtime=833.53
/proc/18307/stat : 18307 (minisat) R 18260 18260 18140 0 -1 0 38549 0 0 0 83317 36 0 0 25 0 1 0 30285006 155738112 37494 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525564 0 0 4096 3 0 0 0 17 1 0 0
/proc/18307/statm: 38022 37494 52 112 0 37906 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 194700
[startup+1243.31 s]
/proc/loadavg: 2.00 2.02 2.09 3/75 18307
/proc/meminfo: memFree=1370080/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=42612 CPUtime=348.29
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 8368 171645 0 2 51 6 34559 213 16 0 1 0 30250058 43634688 7784 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 10653 7784 373 3 0 7753 0
[pid=18307] ppid=18260 vsize=161824 CPUtime=893.56
/proc/18307/stat : 18307 (minisat) R 18260 18260 18140 0 -1 0 40919 0 0 0 89317 39 0 0 25 0 1 0 30285006 165707776 39864 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528442 0 0 4096 3 0 0 0 17 1 0 0
/proc/18307/statm: 40456 39864 52 112 0 40340 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 204436
[startup+1303.36 s]
/proc/loadavg: 2.00 2.01 2.08 3/75 18307
/proc/meminfo: memFree=1360352/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=42612 CPUtime=348.29
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 8368 171645 0 2 51 6 34559 213 16 0 1 0 30250058 43634688 7784 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 10653 7784 373 3 0 7753 0
[pid=18307] ppid=18260 vsize=171456 CPUtime=953.6
/proc/18307/stat : 18307 (minisat) R 18260 18260 18140 0 -1 0 43335 0 0 0 95317 43 0 0 25 0 1 0 30285006 175570944 42280 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 1 0 0
/proc/18307/statm: 42864 42280 52 112 0 42748 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 214068
[startup+1363.41 s]
/proc/loadavg: 2.00 2.01 2.08 3/75 18307
/proc/meminfo: memFree=1350560/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=42612 CPUtime=348.29
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 8368 171645 0 2 51 6 34559 213 16 0 1 0 30250058 43634688 7784 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 10653 7784 373 3 0 7753 0
[pid=18307] ppid=18260 vsize=181052 CPUtime=1013.63
/proc/18307/stat : 18307 (minisat) R 18260 18260 18140 0 -1 0 45778 0 0 0 101317 46 0 0 25 0 1 0 30285006 185397248 44723 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18307/statm: 45263 44723 52 112 0 45147 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 223664
[startup+1423.46 s]
/proc/loadavg: 2.00 2.00 2.07 3/75 18307
/proc/meminfo: memFree=1342432/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=42612 CPUtime=348.29
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 8368 171645 0 2 51 6 34559 213 16 0 1 0 30250058 43634688 7784 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 10653 7784 373 3 0 7753 0
[pid=18307] ppid=18260 vsize=189140 CPUtime=1073.67
/proc/18307/stat : 18307 (minisat) R 18260 18260 18140 0 -1 0 47801 0 0 0 107318 49 0 0 25 0 1 0 30285006 193679360 46746 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18307/statm: 47285 46746 52 112 0 47169 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 231752
[startup+1483.5 s]
/proc/loadavg: 2.00 2.00 2.06 3/75 18307
/proc/meminfo: memFree=1335264/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=42612 CPUtime=348.29
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 8368 171645 0 2 51 6 34559 213 16 0 1 0 30250058 43634688 7784 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 10653 7784 373 3 0 7753 0
[pid=18307] ppid=18260 vsize=196576 CPUtime=1133.7
/proc/18307/stat : 18307 (minisat) R 18260 18260 18140 0 -1 0 49556 0 0 0 113319 51 0 0 25 0 1 0 30285006 201293824 48501 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527002 0 0 4096 3 0 0 0 17 1 0 0
/proc/18307/statm: 49144 48501 52 112 0 49028 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 239188
[startup+1543.57 s]
/proc/loadavg: 2.00 2.00 2.06 3/81 18391
/proc/meminfo: memFree=1327744/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=42612 CPUtime=348.29
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 8368 171645 0 2 51 6 34559 213 16 0 1 0 30250058 43634688 7784 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 10653 7784 373 3 0 7753 0
[pid=18307] ppid=18260 vsize=202632 CPUtime=1193.66
/proc/18307/stat : 18307 (minisat) R 18260 18260 18140 0 -1 0 51067 0 0 0 119313 53 0 0 25 0 1 0 30285006 207495168 50012 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 1 0 0
/proc/18307/statm: 50658 50012 52 112 0 50542 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 245244
[startup+1603.64 s]
/proc/loadavg: 2.00 2.00 2.05 3/81 18479
/proc/meminfo: memFree=1320328/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=42612 CPUtime=348.29
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 8368 171645 0 2 51 6 34559 213 16 0 1 0 30250058 43634688 7784 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 10653 7784 373 3 0 7753 0
[pid=18307] ppid=18260 vsize=209984 CPUtime=1253.62
/proc/18307/stat : 18307 (minisat) R 18260 18260 18140 0 -1 0 52912 0 0 0 125307 55 0 0 25 0 1 0 30285006 215023616 51857 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 1 0 0
/proc/18307/statm: 52496 51857 52 112 0 52380 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 252596
[startup+1663.69 s]
/proc/loadavg: 2.00 2.00 2.05 3/75 18505
/proc/meminfo: memFree=1309152/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=42612 CPUtime=348.29
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 8368 171645 0 2 51 6 34559 213 16 0 1 0 30250058 43634688 7784 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 10653 7784 373 3 0 7753 0
[pid=18307] ppid=18260 vsize=217220 CPUtime=1313.62
/proc/18307/stat : 18307 (minisat) R 18260 18260 18140 0 -1 0 54744 0 0 0 131305 57 0 0 25 0 1 0 30285006 222433280 53689 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18307/statm: 54305 53689 52 112 0 54189 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 259832
[startup+1723.74 s]
/proc/loadavg: 2.05 2.01 2.05 4/75 18505
/proc/meminfo: memFree=1297696/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=42612 CPUtime=348.29
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 8368 171645 0 2 51 6 34559 213 16 0 1 0 30250058 43634688 7784 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 10653 7784 373 3 0 7753 0
[pid=18307] ppid=18260 vsize=222796 CPUtime=1373.66
/proc/18307/stat : 18307 (minisat) R 18260 18260 18140 0 -1 0 56148 0 0 0 137307 59 0 0 25 0 1 0 30285006 228143104 55093 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527084 0 0 4096 3 0 0 0 17 1 0 0
/proc/18307/statm: 55699 55093 52 112 0 55583 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 265408
[startup+1783.79 s]
/proc/loadavg: 2.02 2.01 2.04 3/75 18505
/proc/meminfo: memFree=1285920/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=42612 CPUtime=348.29
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 8368 171645 0 2 51 6 34559 213 16 0 1 0 30250058 43634688 7784 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 10653 7784 373 3 0 7753 0
[pid=18307] ppid=18260 vsize=229352 CPUtime=1433.69
/proc/18307/stat : 18307 (minisat) R 18260 18260 18140 0 -1 0 57778 0 0 0 143309 60 0 0 25 0 1 0 30285006 234856448 56723 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527082 0 0 4096 3 0 0 0 17 1 0 0
/proc/18307/statm: 57338 56723 52 112 0 57222 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 271964
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.86 s]
/proc/loadavg: 2.01 2.01 2.04 3/75 18505
/proc/meminfo: memFree=1281952/2055920 swapFree=4192812/4192956
[pid=18260] ppid=18253 vsize=42612 CPUtime=348.29
/proc/18260/stat : 18260 (sugar) S 18253 18260 18140 0 -1 4194304 8368 171645 0 2 51 6 34559 213 16 0 1 0 30250058 43634688 7784 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18260/statm: 10653 7784 373 3 0 7753 0
[pid=18307] ppid=18260 vsize=231184 CPUtime=1451.76
/proc/18307/stat : 18307 (minisat) R 18260 18260 18140 0 -1 0 58248 0 0 0 145115 61 0 0 25 0 1 0 30285006 236732416 57193 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527084 0 0 4096 3 0 0 0 17 1 0 0
/proc/18307/statm: 57796 57193 52 112 0 57680 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 273796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 18260 and gives childrusage.ru_utime.tv_sec=346 childrusage.ru_utime.tv_usec=111383 childrusage.ru_stime.tv_sec=2 childrusage.ru_stime.tv_usec=240659
CPU time returned by wait4() is 348.352
while last known CPU time is 1800.1
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1802.92
CPU time (s): 1800.1
CPU user time (s): 1797.25
CPU system time (s): 2.85
CPU usage (%): 99.8434
Max. virtual memory (cumulated for all children) (KiB): 822064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 346.111
system time used= 2.24066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180098
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= 49610
involuntary context switches= 51239
runsolver used 1.81072 s user time and 5.2442 s system time
The end
Begin job on node41 on Mon Jan 29 20:35:41 UTC 2007
IDJOB= 224114
IDBENCH= 5708
IDSOLVER= 86
FILE ID= node41/224114-1170102941
PBS_JOBID= 3689824
Free space on /tmp= 66563 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-33_ext.xml
COMMAND LINE= /tmp/evaluation/224114-1170102941/solver /tmp/evaluation/224114-1170102941 /tmp/evaluation/224114-1170102941/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-224114-1170102941 -o ROOT/results/node41/solver-224114-1170102941 -C 1800 -M 900 /tmp/evaluation/224114-1170102941/solver /tmp/evaluation/224114-1170102941 /tmp/evaluation/224114-1170102941/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 99ca03af81338811d77d016dbff42039
RANDOM SEED= 714806196
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.231
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.231
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: 1903720 kB
Buffers: 37528 kB
Cached: 40672 kB
SwapCached: 0 kB
Active: 51824 kB
Inactive: 46544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1903720 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2284 kB
Writeback: 0 kB
Mapped: 30388 kB
Slab: 39432 kB
Committed_AS: 161956 kB
PageTables: 1744 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= 66489 MiB
End job on node41 on Mon Jan 29 21:05:44 UTC 2007