0.05 c # Sugar v0-40 (/tmp/evaluation/195053-1170092082/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/195053-1170092082/unknown.xml [Mon Jan 29 18:34:42 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/195053-1170092082/unknown.xml /tmp/evaluation/195053-1170092082/sugar23816.csp [Mon Jan 29 18:34:42 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195053-1170092082/sugar-v0-40.jar -convert /tmp/evaluation/195053-1170092082/unknown.xml /tmp/evaluation/195053-1170092082/sugar23816.csp
0.23 c BEGIN convert /tmp/evaluation/195053-1170092082/unknown.xml
0.93 c END convert (0.704685 seconds)
0.99 c # CONVERT_XML END : /tmp/evaluation/195053-1170092082/sugar23816.csp 2165969 bytes (1 seconds) [Mon Jan 29 18:34:43 2007]
0.99 c # CONVERT_XML CPU : 0.83 = 0 + 0 + 0.75 + 0.08
0.99
0.99 c # GENERATE_SAT BEGIN : /tmp/evaluation/195053-1170092082/sugar23816.bcnf [Mon Jan 29 18:34:43 2007]
0.99 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195053-1170092082/sugar-v0-40.jar -bcnf -map /tmp/evaluation/195053-1170092082/sugar23816.map /tmp/evaluation/195053-1170092082/sugar23816.csp /tmp/evaluation/195053-1170092082/sugar23816.bcnf
1.12 c BEGIN parse /tmp/evaluation/195053-1170092082/sugar23816.csp
37.37 c END parse (36.253001 seconds)
37.37 c BEGIN simplify
37.52 c END simplify (0.144298 seconds)
37.52 c BEGIN encode /tmp/evaluation/195053-1170092082/sugar23816.bcnf
38.70 c END encode (1.180804 seconds)
38.81 c # GENERATE_SAT END : 9232 variables 83045 clauses 10864952 bytes (38 seconds) [Mon Jan 29 18:35:21 2007]
38.81 c # GENERATE_SAT CPU : 37.59 = 0.07 + 0 + 36.96 + 0.56
38.81
38.81 c # SOLVE_SAT BEGIN : /tmp/evaluation/195053-1170092082/sugar23816.bcnf [Mon Jan 29 18:35:21 2007]
38.81 c # CMD : /tmp/evaluation/195053-1170092082/minisat /tmp/evaluation/195053-1170092082/sugar23816.bcnf /tmp/evaluation/195053-1170092082/sugar23816.out
39.06 c ==================================[MINISAT]===================================
39.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
39.06 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
39.06 c ==============================================================================
39.06 c | 0 | 83045 2633183 | 27681 0 0 nan | 0.000 % |
39.09 c | 101 | 83045 2633183 | 30449 101 9525 94.3 | 0.000 % |
39.17 c | 253 | 83046 2633183 | 33494 252 11704 46.4 | 0.000 % |
39.27 c | 478 | 83046 2633183 | 36843 477 14910 31.3 | 0.000 % |
39.38 c | 815 | 83046 2633183 | 40527 814 19026 23.4 | 0.000 % |
39.58 c | 1321 | 83046 2633183 | 44580 1320 25654 19.4 | 0.000 % |
39.90 c | 2080 | 83046 2633183 | 49038 2079 36313 17.5 | 0.000 % |
40.33 c | 3220 | 83047 2633183 | 53942 3218 52457 16.3 | 0.000 % |
41.13 c | 4928 | 83047 2633183 | 59336 4926 77098 15.7 | 0.000 % |
42.39 c | 7491 | 83047 2633183 | 65270 7489 116576 15.6 | 0.000 % |
44.54 c | 11335 | 83047 2633183 | 71797 11333 173113 15.3 | 0.000 % |
47.42 c | 17102 | 83050 2633183 | 78977 17097 315248 18.4 | 0.000 % |
52.72 c | 25751 | 83053 2633183 | 86874 25743 495238 19.2 | 0.000 % |
61.83 c | 38726 | 83054 2633183 | 95562 38717 733177 18.9 | 0.000 % |
78.16 c | 58188 | 83055 2633183 | 105118 58178 1195880 20.6 | 0.000 % |
110.17 c | 87381 | 83057 2633183 | 115630 87369 1831599 21.0 | 0.000 % |
160.41 c | 131170 | 83061 2633183 | 127193 32159 765850 23.8 | 0.000 % |
238.05 c | 196856 | 83069 2633183 | 139912 97837 2593610 26.5 | 0.000 % |
357.65 c | 295383 | 83078 2633183 | 153904 75128 1890102 25.2 | 0.000 % |
551.79 c | 443174 | 83097 2633183 | 169294 87147 2321320 26.6 | 0.000 % |
918.64 c | 664858 | 83110 2633183 | 186223 158378 4130919 26.1 | 0.000 % |
1388.98 c | 997383 | 83138 2633183 | 204846 151383 3657722 24.2 | 0.000 % |
1808.97
1808.97 s UNKNOWN
1808.97 c # INTERRUPTED
1808.97 c # MAIN END : (1809 seconds) [Mon Jan 29 19:04:51 2007]
1808.97 c # MAIN CPU : 38.42 = 0.07 + 0 + 37.71 + 0.64
1808.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-195053-1170092082 -o ROOT/results/node14/solver-195053-1170092082 -C 1800 -M 900 /tmp/evaluation/195053-1170092082/solver /tmp/evaluation/195053-1170092082 /tmp/evaluation/195053-1170092082/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.92 1.98 1.71 5/87 23817
/proc/meminfo: memFree=1699880/2055920 swapFree=4192956/4192956
[pid=23816] ppid=23814 vsize=5352 CPUtime=0
/proc/23816/stat : 23816 (solver) R 23814 23816 23602 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 29162606 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 212234464551 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 1338 231 193 169 0 49 0
[startup+0.105353 s]
/proc/loadavg: 1.92 1.98 1.71 5/87 23817
/proc/meminfo: memFree=1699880/2055920 swapFree=4192956/4192956
[pid=23816] ppid=23814 vsize=13724 CPUtime=0.04
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 29162606 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23816/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.513392 s]
/proc/loadavg: 1.92 1.98 1.71 5/87 23817
/proc/meminfo: memFree=1699880/2055920 swapFree=4192956/4192956
[pid=23816] ppid=23814 vsize=13724 CPUtime=0.04
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29162606 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23816/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33648 s]
/proc/loadavg: 1.92 1.98 1.71 4/95 23833
/proc/meminfo: memFree=1690984/2055920 swapFree=4192956/4192956
[pid=23816] ppid=23814 vsize=13724 CPUtime=0.87
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 1190 7919 0 1 3 1 75 8 15 0 1 0 29162606 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23816/statm: 3431 809 371 3 0 531 0
[pid=23826] ppid=23816 vsize=807064 CPUtime=0.32
/proc/23826/stat : 23826 (java) S 23816 23816 23602 0 -1 0 6259 0 1 0 29 3 0 0 17 0 8 0 29162705 826433536 6009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23826/statm: 201766 6009 1491 14 0 189044 0
[pid=23826/tid=23827] ppid=23816 vsize=807064 CPUtime=0.01
/proc/23826/task/23827/stat : 23827 (java) R 23816 23816 23602 0 -1 64 210 0 0 0 1 0 0 0 16 0 8 0 29162708 826433536 6009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23828] ppid=23816 vsize=807064 CPUtime=0
/proc/23826/task/23828/stat : 23828 (java) S 23816 23816 23602 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 29162709 826433536 6009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23829] ppid=23816 vsize=807064 CPUtime=0
/proc/23826/task/23829/stat : 23829 (java) S 23816 23816 23602 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29162709 826433536 6009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23830] ppid=23816 vsize=807064 CPUtime=0
/proc/23826/task/23830/stat : 23830 (java) S 23816 23816 23602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29162713 826433536 6009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23831] ppid=23816 vsize=807064 CPUtime=0.05
/proc/23826/task/23831/stat : 23831 (java) R 23816 23816 23602 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 29162713 826433536 6009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23832] ppid=23816 vsize=807064 CPUtime=0
/proc/23826/task/23832/stat : 23832 (java) S 23816 23816 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29162713 826433536 6009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23833] ppid=23816 vsize=807064 CPUtime=0
/proc/23826/task/23833/stat : 23833 (java) S 23816 23816 23602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29162713 826433536 6009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 820788
[startup+2.98963 s]
/proc/loadavg: 1.93 1.98 1.71 3/95 23833
/proc/meminfo: memFree=1661096/2055920 swapFree=4192956/4192956
[pid=23816] ppid=23814 vsize=13724 CPUtime=0.87
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 1190 7919 0 1 3 1 75 8 15 0 1 0 29162606 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23816/statm: 3431 809 371 3 0 531 0
[pid=23826] ppid=23816 vsize=807064 CPUtime=1.96
/proc/23826/stat : 23826 (java) R 23816 23816 23602 0 -1 0 12936 0 1 0 190 6 0 0 25 0 8 0 29162705 826433536 12672 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23826/statm: 201766 12672 1494 14 0 189044 0
[pid=23826/tid=23827] ppid=23816 vsize=807064 CPUtime=0.51
/proc/23826/task/23827/stat : 23827 (java) S 23816 23816 23602 0 -1 64 6870 0 0 0 48 3 0 0 16 0 8 0 29162708 826433536 12672 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23828] ppid=23816 vsize=807064 CPUtime=0
/proc/23826/task/23828/stat : 23828 (java) S 23816 23816 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162709 826433536 12672 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23829] ppid=23816 vsize=807064 CPUtime=0
/proc/23826/task/23829/stat : 23829 (java) S 23816 23816 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162709 826433536 12672 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23830] ppid=23816 vsize=807064 CPUtime=0
/proc/23826/task/23830/stat : 23830 (java) S 23816 23816 23602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29162713 826433536 12672 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23831] ppid=23816 vsize=807064 CPUtime=0.06
/proc/23826/task/23831/stat : 23831 (java) S 23816 23816 23602 0 -1 64 292 0 0 0 6 0 0 0 16 0 8 0 29162713 826433536 12672 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23832] ppid=23816 vsize=807064 CPUtime=0
/proc/23826/task/23832/stat : 23832 (java) S 23816 23816 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29162713 826433536 12672 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23833] ppid=23816 vsize=807064 CPUtime=0
/proc/23826/task/23833/stat : 23833 (java) S 23816 23816 23602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29162713 826433536 12672 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 820788
[startup+6.19693 s]
/proc/loadavg: 1.93 1.98 1.71 3/95 23833
/proc/meminfo: memFree=1595112/2055920 swapFree=4192956/4192956
[pid=23816] ppid=23814 vsize=13724 CPUtime=0.87
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 1190 7919 0 1 3 1 75 8 15 0 1 0 29162606 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23816/statm: 3431 809 371 3 0 531 0
[pid=23826] ppid=23816 vsize=807328 CPUtime=5.16
/proc/23826/stat : 23826 (java) R 23816 23816 23602 0 -1 0 30976 0 1 0 499 17 0 0 25 0 8 0 29162705 826703872 30642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23826/statm: 201832 30642 1506 14 0 189110 0
[pid=23826/tid=23827] ppid=23816 vsize=807328 CPUtime=1.45
/proc/23826/task/23827/stat : 23827 (java) S 23816 23816 23602 0 -1 64 24690 0 0 0 133 12 0 0 16 0 8 0 29162708 826703872 30642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23828] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23828/stat : 23828 (java) S 23816 23816 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162709 826703872 30642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23829] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23829/stat : 23829 (java) S 23816 23816 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162709 826703872 30642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23830] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23830/stat : 23830 (java) S 23816 23816 23602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29162713 826703872 30642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23831] ppid=23816 vsize=807328 CPUtime=0.14
/proc/23826/task/23831/stat : 23831 (java) S 23816 23816 23602 0 -1 64 400 0 0 0 14 0 0 0 16 0 8 0 29162713 826703872 30642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23832] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23832/stat : 23832 (java) S 23816 23816 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29162713 826703872 30642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23833] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23833/stat : 23833 (java) S 23816 23816 23602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29162713 826703872 30642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 821052
[startup+12.6683 s]
/proc/loadavg: 1.86 1.97 1.71 2/89 23834
/proc/meminfo: memFree=1554392/2055920 swapFree=4192956/4192956
[pid=23816] ppid=23814 vsize=13724 CPUtime=0.87
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 1190 7919 0 1 3 1 75 8 15 0 1 0 29162606 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23816/statm: 3431 809 371 3 0 531 0
[pid=23826] ppid=23816 vsize=807328 CPUtime=11.59
/proc/23826/stat : 23826 (java) R 23816 23816 23602 0 -1 0 54810 0 1 0 1128 31 0 0 16 0 8 0 29162705 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153444954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23826/statm: 201832 54113 1507 14 0 189110 0
[pid=23826/tid=23827] ppid=23816 vsize=807328 CPUtime=3.76
/proc/23826/task/23827/stat : 23827 (java) S 23816 23816 23602 0 -1 64 48318 0 0 0 351 25 0 0 16 0 8 0 29162708 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23828] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23828/stat : 23828 (java) S 23816 23816 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162709 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23829] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23829/stat : 23829 (java) S 23816 23816 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162709 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23830] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23830/stat : 23830 (java) S 23816 23816 23602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29162713 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23831] ppid=23816 vsize=807328 CPUtime=0.15
/proc/23826/task/23831/stat : 23831 (java) S 23816 23816 23602 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 29162713 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23832] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23832/stat : 23832 (java) S 23816 23816 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29162713 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23833] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23833/stat : 23833 (java) S 23816 23816 23602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29162713 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 821052
[startup+25.5457 s]
/proc/loadavg: 1.95 1.98 1.72 3/102 23897
/proc/meminfo: memFree=1386016/2055920 swapFree=4192956/4192956
[pid=23816] ppid=23814 vsize=13724 CPUtime=0.87
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 1190 7919 0 1 3 1 75 8 15 0 1 0 29162606 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23816/statm: 3431 809 371 3 0 531 0
[pid=23826] ppid=23816 vsize=807328 CPUtime=24.46
/proc/23826/stat : 23826 (java) R 23816 23816 23602 0 -1 0 56450 0 1 0 2408 38 0 0 18 0 8 0 29162705 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23826/statm: 201832 54113 1507 14 0 189110 0
[pid=23826/tid=23827] ppid=23816 vsize=807328 CPUtime=8.93
/proc/23826/task/23827/stat : 23827 (java) S 23816 23816 23602 0 -1 64 49525 0 0 0 864 29 0 0 16 0 8 0 29162708 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23828] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23828/stat : 23828 (java) S 23816 23816 23602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162709 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23829] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23829/stat : 23829 (java) S 23816 23816 23602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162709 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23830] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23830/stat : 23830 (java) S 23816 23816 23602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29162713 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23831] ppid=23816 vsize=807328 CPUtime=0.15
/proc/23826/task/23831/stat : 23831 (java) S 23816 23816 23602 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 29162713 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23832] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23832/stat : 23832 (java) S 23816 23816 23602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29162713 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23826/tid=23833] ppid=23816 vsize=807328 CPUtime=0
/proc/23826/task/23833/stat : 23833 (java) S 23816 23816 23602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29162713 826703872 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 821052
[startup+51.2212 s]
/proc/loadavg: 2.59 2.13 1.77 3/95 23900
/proc/meminfo: memFree=1109080/2055920 swapFree=4192956/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=17560 CPUtime=12.28
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 5037 0 0 0 1222 6 0 0 25 0 1 0 29166487 17981440 3998 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23899/statm: 4390 3998 52 112 0 4274 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 35856
[startup+102.484 s]
/proc/loadavg: 3.48 2.44 1.90 3/95 23913
/proc/meminfo: memFree=265752/2055920 swapFree=4192956/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=24384 CPUtime=63.22
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 6723 0 0 0 6299 23 0 0 25 0 1 0 29166487 24969216 5684 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 6096 5684 52 112 0 5980 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 42680
[startup+162.586 s]
/proc/loadavg: 3.96 2.77 2.04 4/95 23920
/proc/meminfo: memFree=15832/2055920 swapFree=4192956/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=28728 CPUtime=122.88
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 7796 0 0 0 12247 41 0 0 25 0 1 0 29166487 29417472 6757 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 7182 6757 52 112 0 7066 0
Current children cumulated CPU time (s) 161.34
Current children cumulated vsize (KiB) 47024
################
# More data... #
################
/proc/loadavg: 2.61 3.48 3.29 3/95 24024
/proc/meminfo: memFree=1625040/2055920 swapFree=4192812/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=44940 CPUtime=1079.45
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 11754 0 0 0 107649 296 0 0 25 0 1 0 29166487 46018560 10697 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 11235 10697 52 112 0 11119 0
Current children cumulated CPU time (s) 1117.91
Current children cumulated vsize (KiB) 63236
[startup+1183.58 s]
/proc/loadavg: 2.22 3.21 3.21 3/88 24025
/proc/meminfo: memFree=1787336/2055920 swapFree=4192812/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=44940 CPUtime=1139.27
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 11759 0 0 0 113631 296 0 0 25 0 1 0 29166487 46018560 10702 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 11235 10702 52 112 0 11119 0
Current children cumulated CPU time (s) 1177.73
Current children cumulated vsize (KiB) 63236
[startup+1243.67 s]
/proc/loadavg: 2.08 2.99 3.13 3/88 24025
/proc/meminfo: memFree=1780680/2055920 swapFree=4192812/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=45224 CPUtime=1199.09
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 11785 0 0 0 119612 297 0 0 25 0 1 0 29166487 46309376 10728 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 11306 10728 52 112 0 11190 0
Current children cumulated CPU time (s) 1237.55
Current children cumulated vsize (KiB) 63520
[startup+1303.74 s]
/proc/loadavg: 2.03 2.80 3.06 3/88 24025
/proc/meminfo: memFree=1780424/2055920 swapFree=4192812/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=45544 CPUtime=1258.87
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 11859 0 0 0 125590 297 0 0 25 0 1 0 29166487 46637056 10802 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525591 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 11386 10802 52 112 0 11270 0
Current children cumulated CPU time (s) 1297.33
Current children cumulated vsize (KiB) 63840
[startup+1363.82 s]
/proc/loadavg: 2.06 2.67 2.99 3/88 24025
/proc/meminfo: memFree=1780104/2055920 swapFree=4192812/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=45708 CPUtime=1318.67
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 11900 0 0 0 131570 297 0 0 25 0 1 0 29166487 46804992 10843 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 11427 10843 52 112 0 11311 0
Current children cumulated CPU time (s) 1357.13
Current children cumulated vsize (KiB) 64004
[startup+1423.9 s]
/proc/loadavg: 2.08 2.57 2.94 3/88 24025
/proc/meminfo: memFree=1779784/2055920 swapFree=4192812/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=46016 CPUtime=1378.49
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 11955 0 0 0 137552 297 0 0 25 0 1 0 29166487 47120384 10898 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525147 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 11504 10898 52 112 0 11388 0
Current children cumulated CPU time (s) 1416.95
Current children cumulated vsize (KiB) 64312
[startup+1483.98 s]
/proc/loadavg: 2.03 2.47 2.88 3/88 24025
/proc/meminfo: memFree=1775816/2055920 swapFree=4192812/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=49976 CPUtime=1438.29
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 12946 0 0 0 143530 299 0 0 25 0 1 0 29166487 51175424 11881 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 12494 11881 52 112 0 12378 0
Current children cumulated CPU time (s) 1476.75
Current children cumulated vsize (KiB) 68272
[startup+1544.06 s]
/proc/loadavg: 2.01 2.38 2.82 3/88 24025
/proc/meminfo: memFree=1774280/2055920 swapFree=4192812/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=50676 CPUtime=1498.09
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 13108 0 0 0 149509 300 0 0 25 0 1 0 29166487 51892224 12043 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 12669 12043 52 112 0 12553 0
Current children cumulated CPU time (s) 1536.55
Current children cumulated vsize (KiB) 68972
[startup+1604.15 s]
/proc/loadavg: 2.00 2.31 2.77 3/94 24125
/proc/meminfo: memFree=1772104/2055920 swapFree=4192812/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=50812 CPUtime=1557.83
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 13144 0 0 0 155478 305 0 0 25 0 1 0 29166487 52031488 12079 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 12703 12079 52 112 0 12587 0
Current children cumulated CPU time (s) 1596.29
Current children cumulated vsize (KiB) 69108
[startup+1664.25 s]
/proc/loadavg: 2.00 2.25 2.71 3/94 24197
/proc/meminfo: memFree=1771920/2055920 swapFree=4192812/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=50812 CPUtime=1617.56
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 13166 0 0 0 161439 317 0 0 25 0 1 0 29166487 52031488 12101 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 12703 12101 52 112 0 12587 0
Current children cumulated CPU time (s) 1656.02
Current children cumulated vsize (KiB) 69108
[startup+1724.35 s]
/proc/loadavg: 2.00 2.20 2.67 3/88 24223
/proc/meminfo: memFree=1770184/2055920 swapFree=4192812/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=53748 CPUtime=1677.36
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 13860 0 0 0 167416 320 0 0 25 0 1 0 29166487 55037952 12795 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 13437 12795 52 112 0 13321 0
Current children cumulated CPU time (s) 1715.82
Current children cumulated vsize (KiB) 72044
[startup+1784.43 s]
/proc/loadavg: 2.00 2.16 2.62 3/88 24223
/proc/meminfo: memFree=1766728/2055920 swapFree=4192812/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=57012 CPUtime=1737.17
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 14684 0 0 0 173396 321 0 0 25 0 1 0 29166487 58380288 13619 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 14253 13619 52 112 0 14137 0
Current children cumulated CPU time (s) 1775.63
Current children cumulated vsize (KiB) 75308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.97 s]
/proc/loadavg: 2.00 2.15 2.60 3/88 24223
/proc/meminfo: memFree=1766408/2055920 swapFree=4192812/4192956
[pid=23816] ppid=23814 vsize=18296 CPUtime=38.46
/proc/23816/stat : 23816 (sugar) S 23814 23816 23602 0 -1 4194304 2417 70595 0 2 10 1 3771 64 16 0 1 0 29162606 18735104 1928 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23816/statm: 4574 1928 373 3 0 1674 0
[pid=23899] ppid=23816 vsize=57012 CPUtime=1761.59
/proc/23899/stat : 23899 (minisat) R 23816 23816 23602 0 -1 0 14684 0 0 0 175838 321 0 0 25 0 1 0 29166487 58380288 13619 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/23899/statm: 14253 13619 52 112 0 14137 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 75308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23816 and gives childrusage.ru_utime.tv_sec=37 childrusage.ru_utime.tv_usec=819250 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=664898
CPU time returned by wait4() is 38.4841
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): 1810.03
CPU time (s): 1800.07
CPU user time (s): 1796.2
CPU system time (s): 3.87
CPU usage (%): 99.4498
Max. virtual memory (cumulated for all children) (KiB): 822056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.8192
system time used= 0.664898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73097
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= 8768
involuntary context switches= 8527
runsolver used 2.17967 s user time and 6.06608 s system time
The end
Begin job on node14 on Mon Jan 29 17:34:42 UTC 2007
IDJOB= 195053
IDBENCH= 3246
IDSOLVER= 86
FILE ID= node14/195053-1170092082
PBS_JOBID= 3689405
Free space on /tmp= 66548 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-7_ext.xml
COMMAND LINE= /tmp/evaluation/195053-1170092082/solver /tmp/evaluation/195053-1170092082 /tmp/evaluation/195053-1170092082/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-195053-1170092082 -o ROOT/results/node14/solver-195053-1170092082 -C 1800 -M 900 /tmp/evaluation/195053-1170092082/solver /tmp/evaluation/195053-1170092082 /tmp/evaluation/195053-1170092082/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 64ec9d79eddb6cf5b66324794f86b124
RANDOM SEED= 871800782
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1700296 kB
Buffers: 41296 kB
Cached: 151076 kB
SwapCached: 0 kB
Active: 255816 kB
Inactive: 53804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1700296 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1236 kB
Writeback: 0 kB
Mapped: 137012 kB
Slab: 30840 kB
Committed_AS: 299092 kB
PageTables: 2236 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= 66546 MiB
End job on node14 on Mon Jan 29 18:04:52 UTC 2007