0.05 c # Sugar v0-40 (/tmp/evaluation/230033-1170106310/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/230033-1170106310/unknown.xml [Mon Jan 29 22:31:50 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/230033-1170106310/unknown.xml /tmp/evaluation/230033-1170106310/sugar23926.csp [Mon Jan 29 22:31:50 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/230033-1170106310/sugar-v0-40.jar -convert /tmp/evaluation/230033-1170106310/unknown.xml /tmp/evaluation/230033-1170106310/sugar23926.csp
0.17 c BEGIN convert /tmp/evaluation/230033-1170106310/unknown.xml
0.86 c END convert (0.690587 seconds)
0.92 c # CONVERT_XML END : /tmp/evaluation/230033-1170106310/sugar23926.csp 2145372 bytes (1 seconds) [Mon Jan 29 22:31:51 2007]
0.92 c # CONVERT_XML CPU : 0.81 = 0 + 0 + 0.74 + 0.07
0.92
0.92 c # GENERATE_SAT BEGIN : /tmp/evaluation/230033-1170106310/sugar23926.bcnf [Mon Jan 29 22:31:51 2007]
0.92 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/230033-1170106310/sugar-v0-40.jar -bcnf -map /tmp/evaluation/230033-1170106310/sugar23926.map /tmp/evaluation/230033-1170106310/sugar23926.csp /tmp/evaluation/230033-1170106310/sugar23926.bcnf
1.04 c BEGIN parse /tmp/evaluation/230033-1170106310/sugar23926.csp
41.19 c END parse (40.14776 seconds)
41.19 c BEGIN simplify
41.36 c END simplify (0.173008 seconds)
41.36 c BEGIN encode /tmp/evaluation/230033-1170106310/sugar23926.bcnf
42.64 c END encode (1.275031 seconds)
42.80 c # GENERATE_SAT END : 10778 variables 85392 clauses 12395324 bytes (42 seconds) [Mon Jan 29 22:32:33 2007]
42.80 c # GENERATE_SAT CPU : 41.61 = 0.08 + 0.01 + 41.02 + 0.5
42.80
42.80 c # SOLVE_SAT BEGIN : /tmp/evaluation/230033-1170106310/sugar23926.bcnf [Mon Jan 29 22:32:33 2007]
42.80 c # CMD : /tmp/evaluation/230033-1170106310/minisat /tmp/evaluation/230033-1170106310/sugar23926.bcnf /tmp/evaluation/230033-1170106310/sugar23926.out
43.09 c ==================================[MINISAT]===================================
43.09 c | Conflicts | ORIGINAL | LEARNT | Progress |
43.09 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
43.09 c ==============================================================================
43.09 c | 0 | 85392 3013429 | 28464 0 0 nan | 0.000 % |
43.14 c | 100 | 85392 3013429 | 31310 100 3726 37.3 | 0.000 % |
43.20 c | 250 | 85392 3013429 | 34441 250 6083 24.3 | 0.000 % |
43.31 c | 475 | 85392 3013429 | 37885 475 10134 21.3 | 0.000 % |
43.51 c | 814 | 85392 3013429 | 41674 814 15865 19.5 | 0.000 % |
43.85 c | 1320 | 85394 3013429 | 45841 1318 25074 19.0 | 0.000 % |
44.35 c | 2082 | 85394 3013429 | 50425 2080 40331 19.4 | 0.000 % |
45.11 c | 3221 | 85394 3013429 | 55468 3219 60945 18.9 | 0.000 % |
46.50 c | 4929 | 85394 3013429 | 61015 4927 113172 23.0 | 0.000 % |
48.30 c | 7491 | 85397 3013429 | 67116 7486 182440 24.4 | 0.000 % |
51.30 c | 11336 | 85400 3013429 | 73828 11328 303449 26.8 | 0.000 % |
55.41 c | 17102 | 85401 3013429 | 81211 17093 454159 26.6 | 0.000 % |
63.77 c | 25753 | 85404 3013429 | 89332 25741 715580 27.8 | 0.000 % |
73.36 c | 38729 | 85407 3013429 | 98265 38714 1034556 26.7 | 0.000 % |
89.80 c | 58190 | 85418 3013429 | 108091 58164 1725602 29.7 | 0.000 % |
127.95 c | 87383 | 85419 3013429 | 118901 87356 2864803 32.8 | 0.000 % |
201.08 c | 131173 | 85422 3013429 | 130791 27794 981598 35.3 | 0.000 % |
295.12 c | 196857 | 85429 3013429 | 143870 93471 3380284 36.2 | 0.000 % |
458.01 c | 295385 | 85438 3013429 | 158257 65666 2224859 33.9 | 0.000 % |
736.19 c | 443176 | 85443 3013429 | 174083 75839 2983153 39.3 | 0.000 % |
1188.78 c | 664859 | 85455 3013429 | 191491 143254 6745633 47.1 | 0.000 % |
1803.84
1803.84 s UNKNOWN
1803.84 c # INTERRUPTED
1803.84 c # MAIN END : (1804 seconds) [Mon Jan 29 23:01:54 2007]
1803.84 c # MAIN CPU : 42.42 = 0.08 + 0.01 + 41.76 + 0.57
1803.84
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-230033-1170106310 -o ROOT/results/node58/solver-230033-1170106310 -C 1800 -M 900 /tmp/evaluation/230033-1170106310/solver /tmp/evaluation/230033-1170106310 /tmp/evaluation/230033-1170106310/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: 2.12 1.97 1.48 5/74 23927
/proc/meminfo: memFree=1909328/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=5212 CPUtime=0
/proc/23926/stat : 23926 (solver) R 23924 23926 22809 0 -1 4194304 97 0 0 0 0 0 0 0 20 0 1 0 30587658 5337088 70 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 226238068242 0 0 4096 0 0 0 0 17 1 0 0
/proc/23926/statm: 1303 70 53 169 0 14 0
[startup+0.104191 s]
/proc/loadavg: 2.12 1.97 1.48 5/74 23927
/proc/meminfo: memFree=1909328/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=13724 CPUtime=0.04
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30587658 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23926/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.512229 s]
/proc/loadavg: 2.12 1.97 1.48 5/74 23927
/proc/meminfo: memFree=1909328/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=13724 CPUtime=0.04
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30587658 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23926/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.3333 s]
/proc/loadavg: 2.12 1.97 1.48 3/82 23943
/proc/meminfo: memFree=1899344/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=13724 CPUtime=0.85
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 1190 7912 0 1 3 1 74 7 15 0 1 0 30587658 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23926/statm: 3431 809 371 3 0 531 0
[pid=23936] ppid=23926 vsize=807064 CPUtime=0.39
/proc/23936/stat : 23936 (java) R 23926 23926 22809 0 -1 0 6514 0 1 0 36 3 0 0 17 0 8 0 30587751 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479552 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23936/statm: 201766 6264 1494 14 0 189044 0
[pid=23936/tid=23937] ppid=23926 vsize=807064 CPUtime=0.02
/proc/23936/task/23937/stat : 23937 (java) S 23926 23926 22809 0 -1 64 461 0 0 0 2 0 0 0 16 0 8 0 30587754 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23938] ppid=23926 vsize=807064 CPUtime=0
/proc/23936/task/23938/stat : 23938 (java) S 23926 23926 22809 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30587754 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23939] ppid=23926 vsize=807064 CPUtime=0
/proc/23936/task/23939/stat : 23939 (java) S 23926 23926 22809 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30587755 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23940] ppid=23926 vsize=807064 CPUtime=0
/proc/23936/task/23940/stat : 23940 (java) S 23926 23926 22809 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30587758 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23941] ppid=23926 vsize=807064 CPUtime=0.06
/proc/23936/task/23941/stat : 23941 (java) R 23926 23926 22809 0 -1 64 292 0 0 0 6 0 0 0 19 0 8 0 30587758 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23942] ppid=23926 vsize=807064 CPUtime=0
/proc/23936/task/23942/stat : 23942 (java) S 23926 23926 22809 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30587758 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23943] ppid=23926 vsize=807064 CPUtime=0
/proc/23936/task/23943/stat : 23943 (java) S 23926 23926 22809 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30587758 826433536 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 820788
[startup+2.97745 s]
/proc/loadavg: 2.12 1.97 1.48 3/82 23943
/proc/meminfo: memFree=1868816/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=13724 CPUtime=0.85
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 1190 7912 0 1 3 1 74 7 15 0 1 0 30587658 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23926/statm: 3431 809 371 3 0 531 0
[pid=23936] ppid=23926 vsize=807064 CPUtime=2.01
/proc/23936/stat : 23936 (java) R 23926 23926 22809 0 -1 0 13787 0 1 0 194 7 0 0 25 0 8 0 30587751 826433536 13521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479595 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23936/statm: 201766 13521 1494 14 0 189044 0
[pid=23936/tid=23937] ppid=23926 vsize=807064 CPUtime=0.55
/proc/23936/task/23937/stat : 23937 (java) S 23926 23926 22809 0 -1 64 7718 0 0 0 52 3 0 0 16 0 8 0 30587754 826433536 13521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23936/tid=23938] ppid=23926 vsize=807064 CPUtime=0
/proc/23936/task/23938/stat : 23938 (java) S 23926 23926 22809 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30587754 826433536 13521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23939] ppid=23926 vsize=807064 CPUtime=0
/proc/23936/task/23939/stat : 23939 (java) S 23926 23926 22809 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30587755 826433536 13521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23940] ppid=23926 vsize=807064 CPUtime=0
/proc/23936/task/23940/stat : 23940 (java) S 23926 23926 22809 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30587758 826433536 13521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23941] ppid=23926 vsize=807064 CPUtime=0.06
/proc/23936/task/23941/stat : 23941 (java) S 23926 23926 22809 0 -1 64 292 0 0 0 6 0 0 0 16 0 8 0 30587758 826433536 13521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23936/tid=23942] ppid=23926 vsize=807064 CPUtime=0
/proc/23936/task/23942/stat : 23942 (java) S 23926 23926 22809 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30587758 826433536 13521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23943] ppid=23926 vsize=807064 CPUtime=0
/proc/23936/task/23943/stat : 23943 (java) S 23926 23926 22809 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30587758 826433536 13521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 820788
[startup+6.18573 s]
/proc/loadavg: 2.11 1.97 1.48 3/82 23943
/proc/meminfo: memFree=1784720/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=13724 CPUtime=0.85
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 1190 7912 0 1 3 1 74 7 15 0 1 0 30587658 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23926/statm: 3431 809 371 3 0 531 0
[pid=23936] ppid=23926 vsize=807328 CPUtime=5.2
/proc/23936/stat : 23936 (java) R 23926 23926 22809 0 -1 0 35705 0 1 0 504 16 0 0 25 0 8 0 30587751 826703872 35350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23936/statm: 201832 35350 1506 14 0 189110 0
[pid=23936/tid=23937] ppid=23926 vsize=807328 CPUtime=1.55
/proc/23936/task/23937/stat : 23937 (java) S 23926 23926 22809 0 -1 64 29397 0 0 0 144 11 0 0 16 0 8 0 30587754 826703872 35350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23936/tid=23938] ppid=23926 vsize=807328 CPUtime=0
/proc/23936/task/23938/stat : 23938 (java) S 23926 23926 22809 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30587754 826703872 35350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23939] ppid=23926 vsize=807328 CPUtime=0
/proc/23936/task/23939/stat : 23939 (java) S 23926 23926 22809 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30587755 826703872 35350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23940] ppid=23926 vsize=807328 CPUtime=0
/proc/23936/task/23940/stat : 23940 (java) S 23926 23926 22809 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30587758 826703872 35350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23941] ppid=23926 vsize=807328 CPUtime=0.13
/proc/23936/task/23941/stat : 23941 (java) S 23926 23926 22809 0 -1 64 398 0 0 0 13 0 0 0 16 0 8 0 30587758 826703872 35350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23936/tid=23942] ppid=23926 vsize=807328 CPUtime=0
/proc/23936/task/23942/stat : 23942 (java) S 23926 23926 22809 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30587758 826703872 35350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23943] ppid=23926 vsize=807328 CPUtime=0
/proc/23936/task/23943/stat : 23943 (java) S 23926 23926 22809 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30587758 826703872 35350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 821052
[startup+12.6733 s]
/proc/loadavg: 2.10 1.97 1.48 3/82 23943
/proc/meminfo: memFree=1694096/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=13724 CPUtime=0.85
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 1190 7912 0 1 3 1 74 7 15 0 1 0 30587658 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23926/statm: 3431 809 371 3 0 531 0
[pid=23936] ppid=23926 vsize=807580 CPUtime=11.65
/proc/23936/stat : 23936 (java) R 23926 23926 22809 0 -1 0 55017 0 1 0 1139 26 0 0 25 0 8 0 30587751 826961920 54257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23936/statm: 201895 54257 1507 14 0 189173 0
[pid=23936/tid=23937] ppid=23926 vsize=807580 CPUtime=3.97
/proc/23936/task/23937/stat : 23937 (java) R 23926 23926 22809 0 -1 64 48489 0 0 0 377 20 0 0 16 0 8 0 30587754 826961920 54257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134314 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23936/tid=23938] ppid=23926 vsize=807580 CPUtime=0
/proc/23936/task/23938/stat : 23938 (java) S 23926 23926 22809 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30587754 826961920 54257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23939] ppid=23926 vsize=807580 CPUtime=0
/proc/23936/task/23939/stat : 23939 (java) S 23926 23926 22809 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30587755 826961920 54257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23940] ppid=23926 vsize=807580 CPUtime=0
/proc/23936/task/23940/stat : 23940 (java) S 23926 23926 22809 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30587758 826961920 54257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23941] ppid=23926 vsize=807580 CPUtime=0.14
/proc/23936/task/23941/stat : 23941 (java) S 23926 23926 22809 0 -1 64 400 0 0 0 14 0 0 0 17 0 8 0 30587758 826961920 54257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23936/tid=23942] ppid=23926 vsize=807580 CPUtime=0
/proc/23936/task/23942/stat : 23942 (java) S 23926 23926 22809 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30587758 826961920 54257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23943] ppid=23926 vsize=807580 CPUtime=0
/proc/23936/task/23943/stat : 23943 (java) S 23926 23926 22809 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30587758 826961920 54257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 821304
[startup+25.5594 s]
/proc/loadavg: 2.08 1.97 1.49 3/82 23943
/proc/meminfo: memFree=1694032/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=13724 CPUtime=0.85
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 1190 7912 0 1 3 1 74 7 15 0 1 0 30587658 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23926/statm: 3431 809 371 3 0 531 0
[pid=23936] ppid=23926 vsize=807328 CPUtime=24.48
/proc/23936/stat : 23936 (java) R 23926 23926 22809 0 -1 0 56358 0 1 0 2416 32 0 0 25 0 8 0 30587751 826703872 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23936/statm: 201832 54111 1507 14 0 189110 0
[pid=23936/tid=23937] ppid=23926 vsize=807328 CPUtime=9.09
/proc/23936/task/23937/stat : 23937 (java) S 23926 23926 22809 0 -1 64 49403 0 0 0 885 24 0 0 16 0 8 0 30587754 826703872 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23936/tid=23938] ppid=23926 vsize=807328 CPUtime=0
/proc/23936/task/23938/stat : 23938 (java) S 23926 23926 22809 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30587754 826703872 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23939] ppid=23926 vsize=807328 CPUtime=0
/proc/23936/task/23939/stat : 23939 (java) S 23926 23926 22809 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30587755 826703872 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23940] ppid=23926 vsize=807328 CPUtime=0
/proc/23936/task/23940/stat : 23940 (java) S 23926 23926 22809 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30587758 826703872 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23941] ppid=23926 vsize=807328 CPUtime=0.14
/proc/23936/task/23941/stat : 23941 (java) S 23926 23926 22809 0 -1 64 400 0 0 0 14 0 0 0 17 0 8 0 30587758 826703872 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23936/tid=23942] ppid=23926 vsize=807328 CPUtime=0
/proc/23936/task/23942/stat : 23942 (java) S 23926 23926 22809 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30587758 826703872 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23936/tid=23943] ppid=23926 vsize=807328 CPUtime=0
/proc/23936/task/23943/stat : 23943 (java) S 23926 23926 22809 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30587758 826703872 54111 18446744073709551615 134512640 134570532 4294956480 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.1957 s]
/proc/loadavg: 2.11 1.99 1.51 3/75 23944
/proc/meminfo: memFree=1870728/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=18028 CPUtime=8.34
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 5190 0 0 0 828 6 0 0 25 0 1 0 30591939 18460672 4151 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23944/statm: 4507 4151 52 112 0 4391 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 37376
[startup+102.43 s]
/proc/loadavg: 2.04 1.99 1.53 3/75 23944
/proc/meminfo: memFree=1861320/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=27520 CPUtime=59.32
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 7518 0 0 0 5924 8 0 0 25 0 1 0 30591939 28180480 6479 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/23944/statm: 6880 6479 52 112 0 6764 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 46868
[startup+162.495 s]
/proc/loadavg: 2.01 1.99 1.56 3/75 23944
/proc/meminfo: memFree=1852104/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=35572 CPUtime=119.1
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 9534 0 0 0 11899 11 0 0 25 0 1 0 30591939 36425728 8495 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527303 0 0 4096 3 0 0 0 17 1 0 0
/proc/23944/statm: 8893 8495 52 112 0 8777 0
Current children cumulated CPU time (s) 161.56
Current children cumulated vsize (KiB) 54920
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.83 3/76 24188
/proc/meminfo: memFree=1483384/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=53368 CPUtime=1078.02
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 13919 0 0 0 107772 30 0 0 25 0 1 0 30591939 54648832 12872 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527082 0 0 4096 3 0 0 0 17 0 0 0
/proc/23944/statm: 13342 12872 52 112 0 13226 0
Current children cumulated CPU time (s) 1120.48
Current children cumulated vsize (KiB) 72716
[startup+1183.65 s]
/proc/loadavg: 2.00 2.00 1.83 3/76 24188
/proc/meminfo: memFree=1481144/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=53488 CPUtime=1138.03
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 13933 0 0 0 113772 31 0 0 25 0 1 0 30591939 54771712 12886 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527289 0 0 4096 3 0 0 0 17 0 0 0
/proc/23944/statm: 13372 12886 52 112 0 13256 0
Current children cumulated CPU time (s) 1180.49
Current children cumulated vsize (KiB) 72836
[startup+1243.74 s]
/proc/loadavg: 2.00 2.00 1.84 3/76 24188
/proc/meminfo: memFree=1476152/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=56428 CPUtime=1198.05
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 14679 0 0 0 119773 32 0 0 25 0 1 0 30591939 57782272 13632 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23944/statm: 14107 13632 52 112 0 13991 0
Current children cumulated CPU time (s) 1240.51
Current children cumulated vsize (KiB) 75776
[startup+1303.76 s]
/proc/loadavg: 2.00 2.00 1.84 3/76 24188
/proc/meminfo: memFree=1468152/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=62144 CPUtime=1258.03
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 16124 0 0 0 125769 34 0 0 25 0 1 0 30591939 63635456 15077 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527092 0 0 4096 3 0 0 0 17 0 0 0
/proc/23944/statm: 15536 15077 52 112 0 15420 0
Current children cumulated CPU time (s) 1300.49
Current children cumulated vsize (KiB) 81492
[startup+1363.78 s]
/proc/loadavg: 2.00 2.00 1.85 3/76 24188
/proc/meminfo: memFree=1465848/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=62144 CPUtime=1317.98
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 16135 0 0 0 131764 34 0 0 25 0 1 0 30591939 63635456 15088 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23944/statm: 15536 15088 52 112 0 15420 0
Current children cumulated CPU time (s) 1360.44
Current children cumulated vsize (KiB) 81492
[startup+1423.8 s]
/proc/loadavg: 2.00 2.00 1.86 3/76 24188
/proc/meminfo: memFree=1463544/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=62336 CPUtime=1377.95
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 16152 0 0 0 137760 35 0 0 25 0 1 0 30591939 63832064 15105 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528562 0 0 4096 3 0 0 0 17 0 0 0
/proc/23944/statm: 15584 15105 52 112 0 15468 0
Current children cumulated CPU time (s) 1420.41
Current children cumulated vsize (KiB) 81684
[startup+1483.84 s]
/proc/loadavg: 2.00 2.00 1.86 3/76 24188
/proc/meminfo: memFree=1461368/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=62512 CPUtime=1437.93
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 16187 0 0 0 143758 35 0 0 25 0 1 0 30591939 64012288 15140 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23944/statm: 15628 15140 52 112 0 15512 0
Current children cumulated CPU time (s) 1480.39
Current children cumulated vsize (KiB) 81860
[startup+1543.86 s]
/proc/loadavg: 2.00 2.00 1.87 3/76 24188
/proc/meminfo: memFree=1459384/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=62676 CPUtime=1497.88
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 16253 0 0 0 149753 35 0 0 25 0 1 0 30591939 64180224 15206 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528435 0 0 4096 3 0 0 0 17 0 0 0
/proc/23944/statm: 15669 15206 52 112 0 15553 0
Current children cumulated CPU time (s) 1540.34
Current children cumulated vsize (KiB) 82024
[startup+1603.89 s]
/proc/loadavg: 2.05 2.01 1.88 3/76 24188
/proc/meminfo: memFree=1457528/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=62756 CPUtime=1557.86
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 16257 0 0 0 155751 35 0 0 25 0 1 0 30591939 64262144 15210 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23944/statm: 15689 15210 52 112 0 15573 0
Current children cumulated CPU time (s) 1600.32
Current children cumulated vsize (KiB) 82104
[startup+1663.92 s]
/proc/loadavg: 2.02 2.01 1.88 4/76 24188
/proc/meminfo: memFree=1452536/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=65228 CPUtime=1617.84
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 16885 0 0 0 161747 37 0 0 25 0 1 0 30591939 66793472 15838 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23944/statm: 16307 15838 52 112 0 16191 0
Current children cumulated CPU time (s) 1660.3
Current children cumulated vsize (KiB) 84576
[startup+1723.94 s]
/proc/loadavg: 2.00 2.00 1.89 3/76 24188
/proc/meminfo: memFree=1450744/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=65228 CPUtime=1677.79
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 16885 0 0 0 167742 37 0 0 25 0 1 0 30591939 66793472 15838 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/23944/statm: 16307 15838 52 112 0 16191 0
Current children cumulated CPU time (s) 1720.25
Current children cumulated vsize (KiB) 84576
[startup+1783.97 s]
/proc/loadavg: 2.00 2.00 1.90 3/82 24292
/proc/meminfo: memFree=1447416/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=65228 CPUtime=1737.76
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 16885 0 0 0 173730 46 0 0 25 0 1 0 30591939 66793472 15838 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23944/statm: 16307 15838 52 112 0 16191 0
Current children cumulated CPU time (s) 1780.22
Current children cumulated vsize (KiB) 84576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.84 s]
/proc/loadavg: 2.00 2.00 1.90 3/82 24304
/proc/meminfo: memFree=1446840/2055920 swapFree=4191892/4192956
[pid=23926] ppid=23924 vsize=19348 CPUtime=42.46
/proc/23926/stat : 23926 (sugar) S 23924 23926 22809 0 -1 4194304 2644 73634 0 2 11 2 4176 57 16 0 1 0 30587658 19812352 2155 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23926/statm: 4837 2155 373 3 0 1937 0
[pid=23944] ppid=23926 vsize=65228 CPUtime=1757.6
/proc/23944/stat : 23944 (minisat) R 23926 23926 22809 0 -1 0 16885 0 0 0 175711 49 0 0 25 0 1 0 30591939 66793472 15838 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/23944/statm: 16307 15838 52 112 0 16191 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 84576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23926 and gives childrusage.ru_utime.tv_sec=41 childrusage.ru_utime.tv_usec=885632 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=611906
CPU time returned by wait4() is 42.4975
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): 1804.86
CPU time (s): 1800.07
CPU user time (s): 1798.98
CPU system time (s): 1.09
CPU usage (%): 99.7345
Max. virtual memory (cumulated for all children) (KiB): 822056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.8856
system time used= 0.611906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76364
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= 10365
involuntary context switches= 9857
runsolver used 2.11968 s user time and 5.87011 s system time
The end
Begin job on node58 on Mon Jan 29 21:31:50 UTC 2007
IDJOB= 230033
IDBENCH= 6392
IDSOLVER= 86
FILE ID= node58/230033-1170106310
PBS_JOBID= 3689813
Free space on /tmp= 66562 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-35_ext.xml
COMMAND LINE= /tmp/evaluation/230033-1170106310/solver /tmp/evaluation/230033-1170106310 /tmp/evaluation/230033-1170106310/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-230033-1170106310 -o ROOT/results/node58/solver-230033-1170106310 -C 1800 -M 900 /tmp/evaluation/230033-1170106310/solver /tmp/evaluation/230033-1170106310 /tmp/evaluation/230033-1170106310/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= d74f0c4a9a4840e9de539f7a96e8ced4
RANDOM SEED= 436888727
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.234
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.234
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: 1909744 kB
Buffers: 17220 kB
Cached: 48292 kB
SwapCached: 448 kB
Active: 64800 kB
Inactive: 32832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1909744 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1144 kB
Writeback: 0 kB
Mapped: 42328 kB
Slab: 33988 kB
Committed_AS: 316724 kB
PageTables: 1764 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= 66482 MiB
End job on node58 on Mon Jan 29 22:01:55 UTC 2007