0.04 c # Sugar v0-40 (/tmp/evaluation/200097-1170094399/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/200097-1170094399/unknown.xml [Mon Jan 29 19:13:19 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/200097-1170094399/unknown.xml /tmp/evaluation/200097-1170094399/sugar16948.csp [Mon Jan 29 19:13:19 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/200097-1170094399/sugar-v0-40.jar -convert /tmp/evaluation/200097-1170094399/unknown.xml /tmp/evaluation/200097-1170094399/sugar16948.csp
0.18 c BEGIN convert /tmp/evaluation/200097-1170094399/unknown.xml
0.97 c END convert (0.794889 seconds)
1.03 c # CONVERT_XML END : /tmp/evaluation/200097-1170094399/sugar16948.csp 3017451 bytes (1 seconds) [Mon Jan 29 19:13:20 2007]
1.03 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
1.03
1.03 c # GENERATE_SAT BEGIN : /tmp/evaluation/200097-1170094399/sugar16948.bcnf [Mon Jan 29 19:13:20 2007]
1.03 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/200097-1170094399/sugar-v0-40.jar -bcnf -map /tmp/evaluation/200097-1170094399/sugar16948.map /tmp/evaluation/200097-1170094399/sugar16948.csp /tmp/evaluation/200097-1170094399/sugar16948.bcnf
1.14 c BEGIN parse /tmp/evaluation/200097-1170094399/sugar16948.csp
35.48 c END parse (34.333655 seconds)
35.48 c BEGIN simplify
35.62 c END simplify (0.14677 seconds)
35.62 c BEGIN encode /tmp/evaluation/200097-1170094399/sugar16948.bcnf
36.79 c END encode (1.164345 seconds)
36.89 c # GENERATE_SAT END : 7150 variables 104463 clauses 9357852 bytes (36 seconds) [Mon Jan 29 19:13:56 2007]
36.89 c # GENERATE_SAT CPU : 0.06 = 0.05 + 0.01 + 0 + 0
36.89
36.89 c # SOLVE_SAT BEGIN : /tmp/evaluation/200097-1170094399/sugar16948.bcnf [Mon Jan 29 19:13:56 2007]
36.89 c # CMD : /tmp/evaluation/200097-1170094399/minisat /tmp/evaluation/200097-1170094399/sugar16948.bcnf /tmp/evaluation/200097-1170094399/sugar16948.out
37.10 c ==================================[MINISAT]===================================
37.10 c | Conflicts | ORIGINAL | LEARNT | Progress |
37.10 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
37.10 c ==============================================================================
37.10 c | 0 | 104463 2234990 | 34821 0 0 nan | 0.000 % |
37.15 c | 101 | 104466 2234990 | 38303 98 1423 14.5 | 0.000 % |
37.21 c | 251 | 104466 2234990 | 42133 248 3361 13.6 | 0.000 % |
37.32 c | 476 | 104466 2234990 | 46346 473 7151 15.1 | 0.000 % |
37.44 c | 815 | 104466 2234990 | 50981 812 12200 15.0 | 0.000 % |
37.64 c | 1321 | 104466 2234990 | 56079 1318 19105 14.5 | 0.000 % |
38.00 c | 2083 | 104467 2234990 | 61687 2079 29947 14.4 | 0.000 % |
38.53 c | 3224 | 104467 2234990 | 67856 3220 48749 15.1 | 0.000 % |
39.56 c | 4933 | 104467 2234990 | 74641 4929 81706 16.6 | 0.000 % |
41.06 c | 7495 | 104467 2234990 | 82106 7491 127793 17.1 | 0.000 % |
43.24 c | 11340 | 104467 2234990 | 90316 11336 190117 16.8 | 0.000 % |
47.12 c | 17106 | 104468 2234990 | 99348 17101 307011 18.0 | 0.000 % |
54.03 c | 25755 | 104469 2234990 | 109283 25749 491868 19.1 | 0.000 % |
67.16 c | 38729 | 104470 2234990 | 120211 38722 805456 20.8 | 0.000 % |
87.83 c | 58190 | 104471 2234990 | 132232 58182 1248706 21.5 | 0.000 % |
127.24 c | 87384 | 104471 2234990 | 145455 87376 1922524 22.0 | 0.000 % |
191.02 c | 131173 | 104472 2234990 | 160001 131164 2887554 22.0 | 0.000 % |
294.09 c | 196857 | 104475 2234990 | 176001 56349 1407831 25.0 | 0.000 % |
431.64 c | 295384 | 104483 2234990 | 193601 154868 3846026 24.8 | 0.000 % |
618.06 c | 443173 | 104492 2234990 | 212962 124763 3122114 25.0 | 0.000 % |
960.03 c | 664857 | 104507 2234990 | 234258 156406 3774979 24.1 | 0.000 % |
1541.16 c | 997382 | 104523 2234990 | 257684 66925 2131055 31.8 | 0.000 % |
1801.49
1801.49 s UNKNOWN
1801.49 c # INTERRUPTED
1801.49 c # MAIN END : (1802 seconds) [Mon Jan 29 19:43:21 2007]
1801.49 c # MAIN CPU : 0.06 = 0.05 + 0.01 + 0 + 0
1801.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-200097-1170094399 -o ROOT/results/node39/solver-200097-1170094399 -C 1800 -M 900 /tmp/evaluation/200097-1170094399/solver /tmp/evaluation/200097-1170094399 /tmp/evaluation/200097-1170094399/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.92 0.99 1.23 4/65 16949
/proc/meminfo: memFree=1596776/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=12132 CPUtime=0
/proc/16948/stat : 16948 (sugar) R 16946 16948 16189 0 -1 4194304 537 0 0 0 0 0 0 0 18 0 1 0 29395789 12423168 256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231493505761 0 0 4224 0 0 0 0 17 1 0 0
/proc/16948/statm: 3033 257 189 3 0 133 0
[startup+0.102796 s]
/proc/loadavg: 0.92 0.99 1.23 4/65 16949
/proc/meminfo: memFree=1596776/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=13724 CPUtime=0.03
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 29395789 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.510865 s]
/proc/loadavg: 0.92 0.99 1.23 4/65 16949
/proc/meminfo: memFree=1596776/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=13724 CPUtime=0.03
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29395789 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33301 s]
/proc/loadavg: 0.92 0.99 1.23 2/74 16965
/proc/meminfo: memFree=1587616/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=13724 CPUtime=0.03
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 29395789 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 3431 808 370 3 0 531 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=807896 CPUtime=0.28
/proc/16958/stat : 16958 (java) S 16948 16948 16189 0 -1 0 6226 0 1 0 26 2 0 0 17 0 8 0 29395892 827285504 5977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16958/statm: 201974 5978 1491 14 0 189252 0
[pid=16958/tid=16959] ppid=16948 vsize=807896 CPUtime=0
/proc/16958/task/16959/stat : 16959 (java) R 16948 16948 16189 0 -1 64 168 0 0 0 0 0 0 0 16 0 8 0 29395895 827285504 5978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822953 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16958/tid=16960] ppid=16948 vsize=807896 CPUtime=0
/proc/16958/task/16960/stat : 16960 (java) S 16948 16948 16189 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 29395896 827285504 5979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16961] ppid=16948 vsize=807896 CPUtime=0
/proc/16958/task/16961/stat : 16961 (java) S 16948 16948 16189 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29395896 827285504 5980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16962] ppid=16948 vsize=807896 CPUtime=0
/proc/16958/task/16962/stat : 16962 (java) S 16948 16948 16189 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 29395899 827285504 5981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16963] ppid=16948 vsize=807896 CPUtime=0.05
/proc/16958/task/16963/stat : 16963 (java) S 16948 16948 16189 0 -1 64 304 0 0 0 5 0 0 0 16 0 8 0 29395899 827285504 5981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16958/tid=16964] ppid=16948 vsize=807896 CPUtime=0
/proc/16958/task/16964/stat : 16964 (java) S 16948 16948 16189 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 29395899 827285504 5982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16965] ppid=16948 vsize=807896 CPUtime=0
/proc/16958/task/16965/stat : 16965 (java) S 16948 16948 16189 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29395899 827285504 5983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 821620
[startup+2.9843 s]
/proc/loadavg: 0.92 0.99 1.23 2/74 16965
/proc/meminfo: memFree=1557152/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=13724 CPUtime=0.03
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 29395789 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 3431 808 370 3 0 531 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=807896 CPUtime=1.93
/proc/16958/stat : 16958 (java) S 16948 16948 16189 0 -1 0 13690 0 1 0 188 5 0 0 17 0 8 0 29395892 827285504 13425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16958/statm: 201974 13426 1494 14 0 189252 0
[pid=16958/tid=16959] ppid=16948 vsize=807896 CPUtime=0.53
/proc/16958/task/16959/stat : 16959 (java) R 16948 16948 16189 0 -1 64 7615 0 0 0 50 3 0 0 17 0 8 0 29395895 827285504 13427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16958/tid=16960] ppid=16948 vsize=807896 CPUtime=0
/proc/16958/task/16960/stat : 16960 (java) S 16948 16948 16189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29395896 827285504 13429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16961] ppid=16948 vsize=807896 CPUtime=0
/proc/16958/task/16961/stat : 16961 (java) S 16948 16948 16189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29395896 827285504 13431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16962] ppid=16948 vsize=807896 CPUtime=0
/proc/16958/task/16962/stat : 16962 (java) S 16948 16948 16189 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 29395899 827285504 13432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16963] ppid=16948 vsize=807896 CPUtime=0.05
/proc/16958/task/16963/stat : 16963 (java) S 16948 16948 16189 0 -1 64 304 0 0 0 5 0 0 0 16 0 8 0 29395899 827285504 13434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16958/tid=16964] ppid=16948 vsize=807896 CPUtime=0
/proc/16958/task/16964/stat : 16964 (java) S 16948 16948 16189 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 29395899 827285504 13435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16965] ppid=16948 vsize=807896 CPUtime=0
/proc/16958/task/16965/stat : 16965 (java) S 16948 16948 16189 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29395899 827285504 13437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 821620
[startup+6.27486 s]
/proc/loadavg: 0.93 0.99 1.22 2/74 16965
/proc/meminfo: memFree=1495136/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=13724 CPUtime=0.03
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 29395789 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 3431 808 370 3 0 531 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=808160 CPUtime=5.22
/proc/16958/stat : 16958 (java) R 16948 16948 16189 0 -1 0 32022 0 1 0 509 13 0 0 16 0 8 0 29395892 827555840 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073671668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16958/statm: 202040 31690 1506 14 0 189318 0
[pid=16958/tid=16959] ppid=16948 vsize=808160 CPUtime=1.48
/proc/16958/task/16959/stat : 16959 (java) S 16948 16948 16189 0 -1 64 25715 0 0 0 139 9 0 0 16 0 8 0 29395895 827555840 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16958/tid=16960] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16960/stat : 16960 (java) S 16948 16948 16189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29395896 827555840 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16961] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16961/stat : 16961 (java) S 16948 16948 16189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29395896 827555840 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16962] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16962/stat : 16962 (java) S 16948 16948 16189 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 29395899 827555840 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16963] ppid=16948 vsize=808160 CPUtime=0.13
/proc/16958/task/16963/stat : 16963 (java) S 16948 16948 16189 0 -1 64 427 0 0 0 13 0 0 0 16 0 8 0 29395899 827555840 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16958/tid=16964] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16964/stat : 16964 (java) S 16948 16948 16189 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 29395899 827555840 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16965] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16965/stat : 16965 (java) S 16948 16948 16189 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29395899 827555840 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 821884
[startup+12.77 s]
/proc/loadavg: 0.94 0.99 1.22 2/74 16965
/proc/meminfo: memFree=1380528/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=13724 CPUtime=0.03
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 29395789 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 3431 808 370 3 0 531 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=808160 CPUtime=11.72
/proc/16958/stat : 16958 (java) S 16948 16948 16189 0 -1 0 55002 0 1 0 1149 23 0 0 17 0 8 0 29395892 827555840 54139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16958/statm: 202040 54139 1507 14 0 189318 0
[pid=16958/tid=16959] ppid=16948 vsize=808160 CPUtime=3.71
/proc/16958/task/16959/stat : 16959 (java) R 16948 16948 16189 0 -1 64 48485 0 0 0 352 19 0 0 16 0 8 0 29395895 827555840 54139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827316 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16958/tid=16960] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16960/stat : 16960 (java) S 16948 16948 16189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29395896 827555840 54139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16961] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16961/stat : 16961 (java) S 16948 16948 16189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29395896 827555840 54139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16962] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16962/stat : 16962 (java) S 16948 16948 16189 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 29395899 827555840 54139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16963] ppid=16948 vsize=808160 CPUtime=0.14
/proc/16958/task/16963/stat : 16963 (java) S 16948 16948 16189 0 -1 64 430 0 0 0 14 0 0 0 16 0 8 0 29395899 827555840 54139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16958/tid=16964] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16964/stat : 16964 (java) S 16948 16948 16189 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 29395899 827555840 54139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16965] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16965/stat : 16965 (java) S 16948 16948 16189 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29395899 827555840 54139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 821884
[startup+25.6434 s]
/proc/loadavg: 0.95 0.99 1.22 2/74 16965
/proc/meminfo: memFree=1379248/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=13724 CPUtime=0.03
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 29395789 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 3431 808 370 3 0 531 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=808160 CPUtime=24.57
/proc/16958/stat : 16958 (java) R 16948 16948 16189 0 -1 0 57162 0 1 0 2430 27 0 0 16 0 8 0 29395892 827555840 54869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073747478 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16958/statm: 202040 54869 1507 14 0 189318 0
[pid=16958/tid=16959] ppid=16948 vsize=808160 CPUtime=8.86
/proc/16958/task/16959/stat : 16959 (java) S 16948 16948 16189 0 -1 64 50259 0 0 0 864 22 0 0 16 0 8 0 29395895 827555840 54869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16960] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16960/stat : 16960 (java) S 16948 16948 16189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29395896 827555840 54869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16961] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16961/stat : 16961 (java) S 16948 16948 16189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29395896 827555840 54869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16962] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16962/stat : 16962 (java) S 16948 16948 16189 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 29395899 827555840 54869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16963] ppid=16948 vsize=808160 CPUtime=0.14
/proc/16958/task/16963/stat : 16963 (java) S 16948 16948 16189 0 -1 64 430 0 0 0 14 0 0 0 16 0 8 0 29395899 827555840 54869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16958/tid=16964] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16964/stat : 16964 (java) S 16948 16948 16189 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 29395899 827555840 54869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16958/tid=16965] ppid=16948 vsize=808160 CPUtime=0
/proc/16958/task/16965/stat : 16965 (java) S 16948 16948 16189 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29395899 827555840 54869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 821884
[startup+51.2507 s]
/proc/loadavg: 0.97 0.99 1.21 2/68 16966
/proc/meminfo: memFree=1564904/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=16984 CPUtime=0.09
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 2088 0 0 0 8 1 0 0 16 0 1 0 29395789 17391616 1598 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 4246 1598 373 3 0 1346 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=0 CPUtime=35.73
/proc/16958/stat : 16958 (java) Z 16948 16948 16189 0 -1 1036 73500 0 1 0 3529 44 0 0 16 0 1 0 29395892 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16958/statm: 0 0 0 0 0 0 0
[pid=16966] ppid=16948 vsize=16188 CPUtime=14.32
/proc/16966/stat : 16966 (minisat) R 16948 16948 16189 0 -1 0 4708 0 0 0 1430 2 0 0 25 0 1 0 29399479 16576512 3668 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/16966/statm: 4047 3668 52 112 0 3931 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 33172
[startup+102.472 s]
/proc/loadavg: 0.98 0.99 1.20 2/68 16966
/proc/meminfo: memFree=1559144/2055920 swapFree=4192956/4192956
################
# More data... #
################
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=0 CPUtime=35.73
/proc/16958/stat : 16958 (java) Z 16948 16948 16189 0 -1 1036 73500 0 1 0 3529 44 0 0 16 0 1 0 29395892 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16958/statm: 0 0 0 0 0 0 0
[pid=16966] ppid=16948 vsize=51444 CPUtime=1325.65
/proc/16966/stat : 16966 (minisat) R 16948 16948 16189 0 -1 0 13263 0 0 0 132550 15 0 0 25 0 1 0 29399479 52678656 12215 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16966/statm: 12861 12215 52 112 0 12745 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 68428
[startup+1423.52 s]
/proc/loadavg: 1.00 1.00 1.04 2/68 16968
/proc/meminfo: memFree=1530536/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=16984 CPUtime=0.09
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 2088 0 0 0 8 1 0 0 16 0 1 0 29395789 17391616 1598 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 4246 1598 373 3 0 1346 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=0 CPUtime=35.73
/proc/16958/stat : 16958 (java) Z 16948 16948 16189 0 -1 1036 73500 0 1 0 3529 44 0 0 16 0 1 0 29395892 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16958/statm: 0 0 0 0 0 0 0
[pid=16966] ppid=16948 vsize=51444 CPUtime=1385.64
/proc/16966/stat : 16966 (minisat) R 16948 16948 16189 0 -1 0 13277 0 0 0 138549 15 0 0 25 0 1 0 29399479 52678656 12229 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16966/statm: 12861 12229 52 112 0 12745 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 68428
[startup+1483.57 s]
/proc/loadavg: 1.00 1.00 1.03 2/68 16968
/proc/meminfo: memFree=1528040/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=16984 CPUtime=0.09
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 2088 0 0 0 8 1 0 0 16 0 1 0 29395789 17391616 1598 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 4246 1598 373 3 0 1346 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=0 CPUtime=35.73
/proc/16958/stat : 16958 (java) Z 16948 16948 16189 0 -1 1036 73500 0 1 0 3529 44 0 0 16 0 1 0 29395892 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16958/statm: 0 0 0 0 0 0 0
[pid=16966] ppid=16948 vsize=54320 CPUtime=1445.65
/proc/16966/stat : 16966 (minisat) R 16948 16948 16189 0 -1 0 13975 0 0 0 144549 16 0 0 25 0 1 0 29399479 55623680 12927 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16966/statm: 13580 12927 52 112 0 13464 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 71304
[startup+1543.62 s]
/proc/loadavg: 1.00 1.00 1.03 2/68 16968
/proc/meminfo: memFree=1527016/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=16984 CPUtime=0.09
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 2088 0 0 0 8 1 0 0 16 0 1 0 29395789 17391616 1598 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 4246 1598 373 3 0 1346 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=0 CPUtime=35.73
/proc/16958/stat : 16958 (java) Z 16948 16948 16189 0 -1 1036 73500 0 1 0 3529 44 0 0 16 0 1 0 29395892 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16958/statm: 0 0 0 0 0 0 0
[pid=16966] ppid=16948 vsize=55248 CPUtime=1505.67
/proc/16966/stat : 16966 (minisat) R 16948 16948 16189 0 -1 0 14210 0 0 0 150550 17 0 0 25 0 1 0 29399479 56573952 13162 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16966/statm: 13812 13162 52 112 0 13696 0
Current children cumulated CPU time (s) 1542.38
Current children cumulated vsize (KiB) 72232
[startup+1603.68 s]
/proc/loadavg: 1.00 1.00 1.02 2/68 16968
/proc/meminfo: memFree=1526952/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=16984 CPUtime=0.09
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 2088 0 0 0 8 1 0 0 16 0 1 0 29395789 17391616 1598 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 4246 1598 373 3 0 1346 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=0 CPUtime=35.73
/proc/16958/stat : 16958 (java) Z 16948 16948 16189 0 -1 1036 73500 0 1 0 3529 44 0 0 16 0 1 0 29395892 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16958/statm: 0 0 0 0 0 0 0
[pid=16966] ppid=16948 vsize=55248 CPUtime=1565.69
/proc/16966/stat : 16966 (minisat) R 16948 16948 16189 0 -1 0 14226 0 0 0 156552 17 0 0 25 0 1 0 29399479 56573952 13178 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16966/statm: 13812 13178 52 112 0 13696 0
Current children cumulated CPU time (s) 1602.4
Current children cumulated vsize (KiB) 72232
[startup+1663.73 s]
/proc/loadavg: 1.00 1.00 1.02 2/68 16968
/proc/meminfo: memFree=1526696/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=16984 CPUtime=0.09
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 2088 0 0 0 8 1 0 0 16 0 1 0 29395789 17391616 1598 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 4246 1598 373 3 0 1346 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=0 CPUtime=35.73
/proc/16958/stat : 16958 (java) Z 16948 16948 16189 0 -1 1036 73500 0 1 0 3529 44 0 0 16 0 1 0 29395892 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16958/statm: 0 0 0 0 0 0 0
[pid=16966] ppid=16948 vsize=55528 CPUtime=1625.69
/proc/16966/stat : 16966 (minisat) R 16948 16948 16189 0 -1 0 14281 0 0 0 162552 17 0 0 25 0 1 0 29399479 56860672 13233 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16966/statm: 13882 13233 52 112 0 13766 0
Current children cumulated CPU time (s) 1662.4
Current children cumulated vsize (KiB) 72512
[startup+1723.78 s]
/proc/loadavg: 1.00 1.00 1.01 2/68 16968
/proc/meminfo: memFree=1526504/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=16984 CPUtime=0.09
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 2088 0 0 0 8 1 0 0 16 0 1 0 29395789 17391616 1598 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 4246 1598 373 3 0 1346 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=0 CPUtime=35.73
/proc/16958/stat : 16958 (java) Z 16948 16948 16189 0 -1 1036 73500 0 1 0 3529 44 0 0 16 0 1 0 29395892 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16958/statm: 0 0 0 0 0 0 0
[pid=16966] ppid=16948 vsize=55828 CPUtime=1685.71
/proc/16966/stat : 16966 (minisat) R 16948 16948 16189 0 -1 0 14335 0 0 0 168554 17 0 0 25 0 1 0 29399479 57167872 13287 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16966/statm: 13957 13287 52 112 0 13841 0
Current children cumulated CPU time (s) 1722.42
Current children cumulated vsize (KiB) 72812
[startup+1783.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16968
/proc/meminfo: memFree=1526440/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=16984 CPUtime=0.09
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 2088 0 0 0 8 1 0 0 16 0 1 0 29395789 17391616 1598 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 4246 1598 373 3 0 1346 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=0 CPUtime=35.73
/proc/16958/stat : 16958 (java) Z 16948 16948 16189 0 -1 1036 73500 0 1 0 3529 44 0 0 16 0 1 0 29395892 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16958/statm: 0 0 0 0 0 0 0
[pid=16966] ppid=16948 vsize=55956 CPUtime=1745.71
/proc/16966/stat : 16966 (minisat) R 16948 16948 16189 0 -1 0 14378 0 0 0 174554 17 0 0 25 0 1 0 29399479 57298944 13330 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16966/statm: 13989 13330 52 112 0 13873 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (KiB) 72940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.48 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16968
/proc/meminfo: memFree=1525096/2055920 swapFree=4192956/4192956
[pid=16948] ppid=16946 vsize=16984 CPUtime=0.09
/proc/16948/stat : 16948 (sugar) S 16946 16948 16189 0 -1 4194304 2088 0 0 0 8 1 0 0 16 0 1 0 29395789 17391616 1598 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16948/statm: 4246 1598 373 3 0 1346 0
[pid=16950] ppid=16948 vsize=0 CPUtime=0.89
/proc/16950/stat : 16950 (java) Z 16948 16948 16189 0 -1 1036 8203 0 1 0 83 6 0 0 16 0 1 0 29395794 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16950/statm: 0 0 0 0 0 0 0
[pid=16958] ppid=16948 vsize=0 CPUtime=35.73
/proc/16958/stat : 16958 (java) Z 16948 16948 16189 0 -1 1036 73500 0 1 0 3529 44 0 0 16 0 1 0 29395892 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16958/statm: 0 0 0 0 0 0 0
[pid=16966] ppid=16948 vsize=57248 CPUtime=1763.36
/proc/16966/stat : 16966 (minisat) R 16948 16948 16189 0 -1 0 14692 0 0 0 176318 18 0 0 25 0 1 0 29399479 58621952 13644 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16966/statm: 14312 13644 52 112 0 14196 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 74232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 16948 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=86986 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=22996
CPU time returned by wait4() is 0.109982
while last known CPU time is 1800.08
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1802.5
CPU time (s): 1800.08
CPU user time (s): 1799.38
CPU system time (s): 0.7
CPU usage (%): 99.8655
Max. virtual memory (cumulated for all children) (KiB): 822888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.086986
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2172
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58
involuntary context switches= 11
runsolver used 1.61275 s user time and 4.80327 s system time
The end
Begin job on node39 on Mon Jan 29 18:13:19 UTC 2007
IDJOB= 200097
IDBENCH= 3688
IDSOLVER= 86
FILE ID= node39/200097-1170094399
PBS_JOBID= 3689562
Free space on /tmp= 66563 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb56-25/frb56-25-5-mgd_ext.xml
COMMAND LINE= /tmp/evaluation/200097-1170094399/solver /tmp/evaluation/200097-1170094399 /tmp/evaluation/200097-1170094399/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-200097-1170094399 -o ROOT/results/node39/solver-200097-1170094399 -C 1800 -M 900 /tmp/evaluation/200097-1170094399/solver /tmp/evaluation/200097-1170094399 /tmp/evaluation/200097-1170094399/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 35b69788704e417eae5badf072d5a6d4
RANDOM SEED= 805167883
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.285
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.285
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: 1597192 kB
Buffers: 47888 kB
Cached: 325568 kB
SwapCached: 0 kB
Active: 158516 kB
Inactive: 230808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1597192 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1296 kB
Writeback: 0 kB
Mapped: 26000 kB
Slab: 55360 kB
Committed_AS: 92528 kB
PageTables: 1412 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= 66563 MiB
End job on node39 on Mon Jan 29 18:43:22 UTC 2007