0.05 c # Sugar v0-40 (/tmp/evaluation/194673-1170090277/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/194673-1170090277/unknown.xml [Mon Jan 29 18:04:37 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/194673-1170090277/unknown.xml /tmp/evaluation/194673-1170090277/sugar23390.csp [Mon Jan 29 18:04:37 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194673-1170090277/sugar-v0-40.jar -convert /tmp/evaluation/194673-1170090277/unknown.xml /tmp/evaluation/194673-1170090277/sugar23390.csp
0.16 c BEGIN convert /tmp/evaluation/194673-1170090277/unknown.xml
0.81 c END convert (0.643178 seconds)
0.86 c # CONVERT_XML END : /tmp/evaluation/194673-1170090277/sugar23390.csp 2156925 bytes (1 seconds) [Mon Jan 29 18:04:38 2007]
0.86 c # CONVERT_XML CPU : 0.74 = 0 + 0 + 0.68 + 0.06
0.86
0.86 c # GENERATE_SAT BEGIN : /tmp/evaluation/194673-1170090277/sugar23390.bcnf [Mon Jan 29 18:04:38 2007]
0.86 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194673-1170090277/sugar-v0-40.jar -bcnf -map /tmp/evaluation/194673-1170090277/sugar23390.map /tmp/evaluation/194673-1170090277/sugar23390.csp /tmp/evaluation/194673-1170090277/sugar23390.bcnf
0.99 c BEGIN parse /tmp/evaluation/194673-1170090277/sugar23390.csp
37.20 c END parse (36.207408 seconds)
37.20 c BEGIN simplify
37.34 c END simplify (0.144612 seconds)
37.34 c BEGIN encode /tmp/evaluation/194673-1170090277/sugar23390.bcnf
38.56 c END encode (1.212723 seconds)
38.67 c # GENERATE_SAT END : 8584 variables 81531 clauses 9971168 bytes (38 seconds) [Mon Jan 29 18:05:16 2007]
38.67 c # GENERATE_SAT CPU : 37.44 = 0.06 + 0.01 + 36.89 + 0.48
38.67
38.67 c # SOLVE_SAT BEGIN : /tmp/evaluation/194673-1170090277/sugar23390.bcnf [Mon Jan 29 18:05:16 2007]
38.67 c # CMD : /tmp/evaluation/194673-1170090277/minisat /tmp/evaluation/194673-1170090277/sugar23390.bcnf /tmp/evaluation/194673-1170090277/sugar23390.out
38.91 c ==================================[MINISAT]===================================
38.91 c | Conflicts | ORIGINAL | LEARNT | Progress |
38.91 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
38.91 c ==============================================================================
38.91 c | 0 | 81531 2411251 | 27177 0 0 nan | 0.000 % |
38.96 c | 102 | 81534 2411251 | 29894 99 3183 32.2 | 0.000 % |
39.04 c | 252 | 81536 2411251 | 32884 247 6091 24.7 | 0.000 % |
39.17 c | 477 | 81536 2411251 | 36172 472 9243 19.6 | 0.000 % |
39.35 c | 814 | 81536 2411251 | 39789 809 14231 17.6 | 0.000 % |
39.61 c | 1320 | 81536 2411251 | 43768 1315 20593 15.7 | 0.000 % |
40.03 c | 2079 | 81536 2411251 | 48145 2074 31422 15.2 | 0.000 % |
40.64 c | 3218 | 81536 2411251 | 52960 3213 49474 15.4 | 0.000 % |
41.68 c | 4927 | 81536 2411251 | 58256 4922 75979 15.4 | 0.000 % |
43.26 c | 7489 | 81537 2411251 | 64081 7483 117881 15.8 | 0.000 % |
45.77 c | 11333 | 81537 2411251 | 70490 11327 194639 17.2 | 0.000 % |
50.00 c | 17099 | 81538 2411251 | 77539 17092 315260 18.4 | 0.000 % |
57.16 c | 25749 | 81538 2411251 | 85293 25742 504829 19.6 | 0.000 % |
67.26 c | 38725 | 81538 2411251 | 93822 38718 792911 20.5 | 0.000 % |
86.62 c | 58186 | 81540 2411251 | 103204 58177 1293474 22.2 | 0.000 % |
118.17 c | 87378 | 81543 2411251 | 113525 87366 2053206 23.5 | 0.000 % |
172.11 c | 131167 | 81546 2411251 | 124877 32545 768114 23.6 | 0.000 % |
253.62 c | 196851 | 81551 2411251 | 137365 98224 2444528 24.9 | 0.000 % |
383.13 c | 295378 | 81560 2411251 | 151101 76557 2114749 27.6 | 0.000 % |
599.35 c | 443167 | 81569 2411251 | 166212 94550 2419792 25.6 | 0.000 % |
928.40 c | 664850 | 81588 2411251 | 182833 22669 555157 24.5 | 0.000 % |
1452.30 c | 997376 | 81602 2411251 | 201116 31370 801322 25.5 | 0.000 % |
1808.89
1808.89 s UNKNOWN
1808.89 c # INTERRUPTED
1808.89 c # MAIN END : (1809 seconds) [Mon Jan 29 18:34:46 2007]
1808.89 c # MAIN CPU : 38.18 = 0.06 + 0.01 + 37.57 + 0.54
1808.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-194673-1170090277 -o ROOT/results/node13/solver-194673-1170090277 -C 1800 -M 900 /tmp/evaluation/194673-1170090277/solver /tmp/evaluation/194673-1170090277 /tmp/evaluation/194673-1170090277/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.48 0.25 0.09 3/94 23391
/proc/meminfo: memFree=1758688/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=18540 CPUtime=0
/proc/23390/stat : 23390 (runsolver) R 23388 23390 23277 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 28982192 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 269757246759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23390/statm: 4635 279 244 17 0 2626 0
[startup+0.102384 s]
/proc/loadavg: 0.48 0.25 0.09 3/94 23391
/proc/meminfo: memFree=1758688/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=13724 CPUtime=0.04
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 28982192 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.510434 s]
/proc/loadavg: 0.48 0.25 0.09 3/94 23391
/proc/meminfo: memFree=1758688/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=13724 CPUtime=0.04
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 28982192 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23390/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33155 s]
/proc/loadavg: 0.48 0.25 0.09 3/102 23415
/proc/meminfo: memFree=1726368/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=13724 CPUtime=0.78
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 1190 7898 0 1 3 1 68 6 15 0 1 0 28982192 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23390/statm: 3431 809 371 3 0 531 0
[pid=23408] ppid=23390 vsize=807064 CPUtime=0.42
/proc/23408/stat : 23408 (java) R 23390 23390 23277 0 -1 0 7315 0 1 0 40 2 0 0 24 0 8 0 28982279 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073561010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23408/statm: 201766 7064 1494 14 0 189044 0
[pid=23408/tid=23409] ppid=23390 vsize=807064 CPUtime=0.06
/proc/23408/task/23409/stat : 23409 (java) S 23390 23390 23277 0 -1 64 1261 0 0 0 6 0 0 0 16 0 8 0 28982283 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23410] ppid=23390 vsize=807064 CPUtime=0
/proc/23408/task/23410/stat : 23410 (java) S 23390 23390 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28982284 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23411] ppid=23390 vsize=807064 CPUtime=0
/proc/23408/task/23411/stat : 23411 (java) S 23390 23390 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982284 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23412] ppid=23390 vsize=807064 CPUtime=0
/proc/23408/task/23412/stat : 23412 (java) S 23390 23390 23277 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28982287 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23413] ppid=23390 vsize=807064 CPUtime=0.05
/proc/23408/task/23413/stat : 23413 (java) S 23390 23390 23277 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 28982287 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23414] ppid=23390 vsize=807064 CPUtime=0
/proc/23408/task/23414/stat : 23414 (java) S 23390 23390 23277 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 28982287 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23415] ppid=23390 vsize=807064 CPUtime=0
/proc/23408/task/23415/stat : 23415 (java) S 23390 23390 23277 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28982287 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 820788
[startup+2.96877 s]
/proc/loadavg: 0.48 0.25 0.09 4/102 23415
/proc/meminfo: memFree=1681824/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=13724 CPUtime=0.78
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 1190 7898 0 1 3 1 68 6 15 0 1 0 28982192 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23390/statm: 3431 809 371 3 0 531 0
[pid=23408] ppid=23390 vsize=807064 CPUtime=2.05
/proc/23408/stat : 23408 (java) R 23390 23390 23277 0 -1 0 13867 0 1 0 199 6 0 0 25 0 8 0 28982279 826433536 13600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23408/statm: 201766 13600 1494 14 0 189044 0
[pid=23408/tid=23409] ppid=23390 vsize=807064 CPUtime=0.56
/proc/23408/task/23409/stat : 23409 (java) R 23390 23390 23277 0 -1 64 7797 0 0 0 53 3 0 0 16 0 8 0 28982283 826433536 13600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23410] ppid=23390 vsize=807064 CPUtime=0
/proc/23408/task/23410/stat : 23410 (java) S 23390 23390 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28982284 826433536 13600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23411] ppid=23390 vsize=807064 CPUtime=0
/proc/23408/task/23411/stat : 23411 (java) S 23390 23390 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982284 826433536 13600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23412] ppid=23390 vsize=807064 CPUtime=0
/proc/23408/task/23412/stat : 23412 (java) S 23390 23390 23277 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28982287 826433536 13600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23413] ppid=23390 vsize=807064 CPUtime=0.05
/proc/23408/task/23413/stat : 23413 (java) S 23390 23390 23277 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 28982287 826433536 13600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23414] ppid=23390 vsize=807064 CPUtime=0
/proc/23408/task/23414/stat : 23414 (java) S 23390 23390 23277 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 28982287 826433536 13600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23415] ppid=23390 vsize=807064 CPUtime=0
/proc/23408/task/23415/stat : 23415 (java) S 23390 23390 23277 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28982287 826433536 13600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 820788
[startup+6.18319 s]
/proc/loadavg: 0.68 0.29 0.11 4/102 23415
/proc/meminfo: memFree=1535008/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=13724 CPUtime=0.78
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 1190 7898 0 1 3 1 68 6 15 0 1 0 28982192 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23390/statm: 3431 809 371 3 0 531 0
[pid=23408] ppid=23390 vsize=807336 CPUtime=5.23
/proc/23408/stat : 23408 (java) R 23390 23390 23277 0 -1 0 32177 0 1 0 508 15 0 0 25 0 8 0 28982279 826712064 31836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073566912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23408/statm: 201834 31836 1506 14 0 189112 0
[pid=23408/tid=23409] ppid=23390 vsize=807336 CPUtime=1.43
/proc/23408/task/23409/stat : 23409 (java) S 23390 23390 23277 0 -1 64 25883 0 0 0 132 11 0 0 16 0 8 0 28982283 826712064 31836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23410] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23410/stat : 23410 (java) S 23390 23390 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28982284 826712064 31836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23411] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23411/stat : 23411 (java) S 23390 23390 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982284 826712064 31836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23412] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23412/stat : 23412 (java) S 23390 23390 23277 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28982287 826712064 31836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23413] ppid=23390 vsize=807336 CPUtime=0.13
/proc/23408/task/23413/stat : 23413 (java) S 23390 23390 23277 0 -1 64 400 0 0 0 13 0 0 0 16 0 8 0 28982287 826712064 31836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23414] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23414/stat : 23414 (java) S 23390 23390 23277 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 28982287 826712064 31836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23415] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23415/stat : 23415 (java) S 23390 23390 23277 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28982287 826712064 31836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 821060
[startup+12.626 s]
/proc/loadavg: 0.87 0.34 0.12 3/102 23415
/proc/meminfo: memFree=1340704/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=13724 CPUtime=0.78
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 1190 7898 0 1 3 1 68 6 15 0 1 0 28982192 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23390/statm: 3431 809 371 3 0 531 0
[pid=23408] ppid=23390 vsize=807336 CPUtime=11.59
/proc/23408/stat : 23408 (java) R 23390 23390 23277 0 -1 0 54885 0 1 0 1132 27 0 0 25 0 8 0 28982279 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073746898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23408/statm: 201834 54113 1507 14 0 189112 0
[pid=23408/tid=23409] ppid=23390 vsize=807336 CPUtime=3.66
/proc/23408/task/23409/stat : 23409 (java) S 23390 23390 23277 0 -1 64 48399 0 0 0 343 23 0 0 16 0 8 0 28982283 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23410] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23410/stat : 23410 (java) S 23390 23390 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28982284 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23411] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23411/stat : 23411 (java) S 23390 23390 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982284 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23412] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23412/stat : 23412 (java) S 23390 23390 23277 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28982287 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23413] ppid=23390 vsize=807336 CPUtime=0.14
/proc/23408/task/23413/stat : 23413 (java) S 23390 23390 23277 0 -1 64 403 0 0 0 14 0 0 0 17 0 8 0 28982287 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23414] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23414/stat : 23414 (java) S 23390 23390 23277 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 28982287 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23415] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23415/stat : 23415 (java) S 23390 23390 23277 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28982287 826712064 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.37
Current children cumulated vsize (KiB) 821060
[startup+25.4479 s]
/proc/loadavg: 1.26 0.45 0.16 4/102 23415
/proc/meminfo: memFree=1340832/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=13724 CPUtime=0.78
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 1190 7898 0 1 3 1 68 6 15 0 1 0 28982192 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23390/statm: 3431 809 371 3 0 531 0
[pid=23408] ppid=23390 vsize=807336 CPUtime=24.29
/proc/23408/stat : 23408 (java) R 23390 23390 23277 0 -1 0 55694 0 1 0 2396 33 0 0 25 0 8 0 28982279 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23408/statm: 201834 54113 1507 14 0 189112 0
[pid=23408/tid=23409] ppid=23390 vsize=807336 CPUtime=8.36
/proc/23408/task/23409/stat : 23409 (java) S 23390 23390 23277 0 -1 64 48842 0 0 0 809 27 0 0 16 0 8 0 28982283 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23410] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23410/stat : 23410 (java) S 23390 23390 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28982284 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23411] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23411/stat : 23411 (java) S 23390 23390 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28982284 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23412] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23412/stat : 23412 (java) S 23390 23390 23277 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28982287 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23413] ppid=23390 vsize=807336 CPUtime=0.14
/proc/23408/task/23413/stat : 23413 (java) S 23390 23390 23277 0 -1 64 403 0 0 0 14 0 0 0 17 0 8 0 28982287 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23414] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23414/stat : 23414 (java) S 23390 23390 23277 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 28982287 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23408/tid=23415] ppid=23390 vsize=807336 CPUtime=0
/proc/23408/task/23415/stat : 23415 (java) S 23390 23390 23277 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28982287 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 821060
[startup+51.0873 s]
/proc/loadavg: 1.58 0.59 0.21 3/88 23417
/proc/meminfo: memFree=1713680/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=16080 CPUtime=12.34
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 4673 0 0 0 1231 3 0 0 25 0 1 0 28986060 16465920 3633 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 4020 3633 52 112 0 3904 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 33852
[startup+102.338 s]
/proc/loadavg: 1.85 0.82 0.31 3/88 23417
/proc/meminfo: memFree=1699920/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=23060 CPUtime=63.34
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 6419 0 0 0 6329 5 0 0 25 0 1 0 28986060 23613440 5379 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 5765 5379 52 112 0 5649 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 40832
[startup+162.416 s]
/proc/loadavg: 1.99 1.05 0.42 3/88 23417
/proc/meminfo: memFree=1691600/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=28884 CPUtime=123.13
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 7844 0 0 0 12306 7 0 0 25 0 1 0 28986060 29577216 6804 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528435 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 7221 6804 52 112 0 7105 0
Current children cumulated CPU time (s) 161.35
Current children cumulated vsize (KiB) 46656
################
# More data... #
################
/proc/loadavg: 2.00 1.95 1.41 3/88 23417
/proc/meminfo: memFree=1661904/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=41244 CPUtime=1079.89
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 10867 0 0 0 107971 18 0 0 25 0 1 0 28986060 42233856 9827 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 10311 9827 52 112 0 10195 0
Current children cumulated CPU time (s) 1118.11
Current children cumulated vsize (KiB) 59016
[startup+1183.81 s]
/proc/loadavg: 2.04 1.97 1.45 3/88 23417
/proc/meminfo: memFree=1657616/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=45440 CPUtime=1139.69
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 11933 0 0 0 113949 20 0 0 25 0 1 0 28986060 46530560 10893 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 11360 10893 52 112 0 11244 0
Current children cumulated CPU time (s) 1177.91
Current children cumulated vsize (KiB) 63212
[startup+1243.89 s]
/proc/loadavg: 2.08 1.99 1.49 3/88 23417
/proc/meminfo: memFree=1656336/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=46360 CPUtime=1199.49
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 12132 0 0 0 119928 21 0 0 25 0 1 0 28986060 47472640 11092 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528111 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 11590 11092 52 112 0 11474 0
Current children cumulated CPU time (s) 1237.71
Current children cumulated vsize (KiB) 64132
[startup+1303.98 s]
/proc/loadavg: 2.03 1.99 1.52 3/88 23417
/proc/meminfo: memFree=1655440/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=46360 CPUtime=1259.29
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 12161 0 0 0 125908 21 0 0 25 0 1 0 28986060 47472640 11121 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 11590 11121 52 112 0 11474 0
Current children cumulated CPU time (s) 1297.51
Current children cumulated vsize (KiB) 64132
[startup+1364.05 s]
/proc/loadavg: 2.01 1.99 1.55 3/88 23417
/proc/meminfo: memFree=1655312/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=46440 CPUtime=1319.08
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 12175 0 0 0 131887 21 0 0 25 0 1 0 28986060 47554560 11135 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 11610 11135 52 112 0 11494 0
Current children cumulated CPU time (s) 1357.3
Current children cumulated vsize (KiB) 64212
[startup+1424.14 s]
/proc/loadavg: 2.00 1.99 1.57 3/88 23417
/proc/meminfo: memFree=1655056/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=46716 CPUtime=1378.88
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 12229 0 0 0 137866 22 0 0 25 0 1 0 28986060 47837184 11189 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 11679 11189 52 112 0 11563 0
Current children cumulated CPU time (s) 1417.1
Current children cumulated vsize (KiB) 64488
[startup+1484.22 s]
/proc/loadavg: 2.00 1.99 1.59 3/88 23417
/proc/meminfo: memFree=1654480/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=47232 CPUtime=1438.68
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 12372 0 0 0 143846 22 0 0 25 0 1 0 28986060 48365568 11332 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 11808 11332 52 112 0 11692 0
Current children cumulated CPU time (s) 1476.9
Current children cumulated vsize (KiB) 65004
[startup+1544.31 s]
/proc/loadavg: 2.00 1.99 1.62 3/88 23417
/proc/meminfo: memFree=1654352/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=47232 CPUtime=1498.49
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 12373 0 0 0 149826 23 0 0 25 0 1 0 28986060 48365568 11333 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 11808 11333 52 112 0 11692 0
Current children cumulated CPU time (s) 1536.71
Current children cumulated vsize (KiB) 65004
[startup+1604.39 s]
/proc/loadavg: 2.00 1.99 1.64 3/88 23417
/proc/meminfo: memFree=1653840/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=47552 CPUtime=1558.28
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 12471 0 0 0 155805 23 0 0 25 0 1 0 28986060 48693248 11423 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 11888 11423 52 112 0 11772 0
Current children cumulated CPU time (s) 1596.5
Current children cumulated vsize (KiB) 65324
[startup+1664.47 s]
/proc/loadavg: 2.06 2.00 1.66 3/88 23417
/proc/meminfo: memFree=1653200/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=47672 CPUtime=1618.08
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 12476 0 0 0 161784 24 0 0 25 0 1 0 28986060 48816128 11428 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 11918 11428 52 112 0 11802 0
Current children cumulated CPU time (s) 1656.3
Current children cumulated vsize (KiB) 65444
[startup+1724.56 s]
/proc/loadavg: 2.02 2.00 1.68 3/88 23417
/proc/meminfo: memFree=1652112/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=48724 CPUtime=1677.88
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 12720 0 0 0 167764 24 0 0 25 0 1 0 28986060 49893376 11672 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 12181 11672 52 112 0 12065 0
Current children cumulated CPU time (s) 1716.1
Current children cumulated vsize (KiB) 66496
[startup+1784.64 s]
/proc/loadavg: 2.01 2.00 1.70 3/88 23417
/proc/meminfo: memFree=1649936/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=50596 CPUtime=1737.68
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 13185 0 0 0 173742 26 0 0 25 0 1 0 28986060 51810304 12137 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 12649 12137 52 112 0 12533 0
Current children cumulated CPU time (s) 1775.9
Current children cumulated vsize (KiB) 68368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.88 s]
/proc/loadavg: 2.00 2.00 1.70 2/89 23418
/proc/meminfo: memFree=1691912/2055920 swapFree=4192956/4192956
[pid=23390] ppid=23388 vsize=17772 CPUtime=38.22
/proc/23390/stat : 23390 (sugar) S 23388 23390 23277 0 -1 4194304 2296 70572 0 2 9 2 3757 54 16 0 1 0 28982192 18198528 1807 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23390/statm: 4443 1807 373 3 0 1543 0
[pid=23417] ppid=23390 vsize=50596 CPUtime=1761.81
/proc/23417/stat : 23417 (minisat) R 23390 23390 23277 0 -1 0 13192 0 0 0 176155 26 0 0 25 0 1 0 28986060 51810304 12144 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23417/statm: 12649 12144 52 112 0 12533 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 68368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23390 and gives childrusage.ru_utime.tv_sec=37 childrusage.ru_utime.tv_usec=673272 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=576912
CPU time returned by wait4() is 38.2502
while last known CPU time is 1800.04
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.9
CPU time (s): 1800.04
CPU user time (s): 1799.21
CPU system time (s): 0.83
CPU usage (%): 99.4551
Max. virtual memory (cumulated for all children) (KiB): 822064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.6733
system time used= 0.576912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72954
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= 8756
involuntary context switches= 8999
runsolver used 2.24966 s user time and 5.81511 s system time
The end
Begin job on node13 on Mon Jan 29 17:04:37 UTC 2007
IDJOB= 194673
IDBENCH= 3226
IDSOLVER= 86
FILE ID= node13/194673-1170090277
PBS_JOBID= 3689408
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-41_ext.xml
COMMAND LINE= /tmp/evaluation/194673-1170090277/solver /tmp/evaluation/194673-1170090277 /tmp/evaluation/194673-1170090277/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-194673-1170090277 -o ROOT/results/node13/solver-194673-1170090277 -C 1800 -M 900 /tmp/evaluation/194673-1170090277/solver /tmp/evaluation/194673-1170090277 /tmp/evaluation/194673-1170090277/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 876a1509ce5a213d05191b9c1b8c3d90
RANDOM SEED= 777083637
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.236
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.236
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: 1760640 kB
Buffers: 40820 kB
Cached: 138292 kB
SwapCached: 0 kB
Active: 197424 kB
Inactive: 52032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1760640 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2664 kB
Writeback: 0 kB
Mapped: 96560 kB
Slab: 30640 kB
Committed_AS: 430140 kB
PageTables: 2240 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= 66560 MiB
End job on node13 on Mon Jan 29 17:34:48 UTC 2007