0.05 c # Sugar v0-40 (/tmp/evaluation/195072-1170092084/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/195072-1170092084/unknown.xml [Mon Jan 29 18:34:44 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/195072-1170092084/unknown.xml /tmp/evaluation/195072-1170092084/sugar25468.csp [Mon Jan 29 18:34:44 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195072-1170092084/sugar-v0-40.jar -convert /tmp/evaluation/195072-1170092084/unknown.xml /tmp/evaluation/195072-1170092084/sugar25468.csp
0.18 c BEGIN convert /tmp/evaluation/195072-1170092084/unknown.xml
0.86 c END convert (0.674217 seconds)
0.88 c # CONVERT_XML END : /tmp/evaluation/195072-1170092084/sugar25468.csp 2203240 bytes (1 seconds) [Mon Jan 29 18:34:45 2007]
0.88 c # CONVERT_XML CPU : 0.78 = 0 + 0 + 0.71 + 0.07
0.88
0.88 c # GENERATE_SAT BEGIN : /tmp/evaluation/195072-1170092084/sugar25468.bcnf [Mon Jan 29 18:34:45 2007]
0.88 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195072-1170092084/sugar-v0-40.jar -bcnf -map /tmp/evaluation/195072-1170092084/sugar25468.map /tmp/evaluation/195072-1170092084/sugar25468.csp /tmp/evaluation/195072-1170092084/sugar25468.bcnf
0.99 c BEGIN parse /tmp/evaluation/195072-1170092084/sugar25468.csp
26.73 c END parse (25.740192 seconds)
26.73 c BEGIN simplify
26.83 c END simplify (0.097681 seconds)
26.83 c BEGIN encode /tmp/evaluation/195072-1170092084/sugar25468.bcnf
27.68 c END encode (0.849647 seconds)
27.81 c # GENERATE_SAT END : 5796 variables 77458 clauses 6780560 bytes (27 seconds) [Mon Jan 29 18:35:12 2007]
27.81 c # GENERATE_SAT CPU : 26.72 = 0.04 + 0.01 + 26.24 + 0.43
27.81
27.81 c # SOLVE_SAT BEGIN : /tmp/evaluation/195072-1170092084/sugar25468.bcnf [Mon Jan 29 18:35:12 2007]
27.81 c # CMD : /tmp/evaluation/195072-1170092084/minisat /tmp/evaluation/195072-1170092084/sugar25468.bcnf /tmp/evaluation/195072-1170092084/sugar25468.out
27.97 c ==================================[MINISAT]===================================
27.97 c | Conflicts | ORIGINAL | LEARNT | Progress |
27.97 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
27.97 c ==============================================================================
27.97 c | 0 | 77458 1617674 | 25819 0 0 nan | 0.000 % |
28.00 c | 101 | 77458 1617674 | 28400 101 2174 21.5 | 0.000 % |
28.06 c | 251 | 77458 1617674 | 31240 251 4228 16.8 | 0.000 % |
28.16 c | 478 | 77458 1617674 | 34365 478 7988 16.7 | 0.000 % |
28.28 c | 816 | 77458 1617674 | 37801 816 12108 14.8 | 0.000 % |
28.54 c | 1322 | 77459 1617674 | 41581 1321 20416 15.5 | 0.000 % |
28.88 c | 2081 | 77459 1617674 | 45739 2080 31419 15.1 | 0.000 % |
29.38 c | 3220 | 77460 1617674 | 50313 3218 48878 15.2 | 0.000 % |
30.24 c | 4928 | 77460 1617674 | 55345 4926 77701 15.8 | 0.000 % |
31.64 c | 7490 | 77461 1617674 | 60879 7487 123114 16.4 | 0.000 % |
33.70 c | 11336 | 77462 1617674 | 66967 11332 197409 17.4 | 0.000 % |
37.00 c | 17104 | 77462 1617674 | 73664 17100 298906 17.5 | 0.000 % |
41.99 c | 25754 | 77463 1617674 | 81031 25749 467581 18.2 | 0.000 % |
51.87 c | 38729 | 77466 1617674 | 89134 38721 751290 19.4 | 0.000 % |
69.82 c | 58191 | 77467 1617674 | 98047 58182 1187882 20.4 | 0.000 % |
99.05 c | 87384 | 77470 1617674 | 107852 87372 1755716 20.1 | 0.000 % |
142.73 c | 131175 | 77476 1617674 | 118637 38685 722021 18.7 | 0.000 % |
213.64 c | 196860 | 77483 1617674 | 130501 104363 2078837 19.9 | 0.000 % |
327.08 c | 295387 | 77490 1617674 | 143551 89029 2065339 23.2 | 0.000 % |
515.80 c | 443177 | 77498 1617674 | 157906 112915 2881268 25.5 | 0.000 % |
817.59 c | 664860 | 77509 1617674 | 173697 57729 1613602 28.0 | 0.000 % |
1312.73 c | 997385 | 77518 1617674 | 191067 80892 1910537 23.6 | 0.000 % |
1808.93
1808.93 s UNKNOWN
1808.93 c # INTERRUPTED
1808.93 c # MAIN END : (1809 seconds) [Mon Jan 29 19:04:53 2007]
1808.93 c # MAIN CPU : 27.5 = 0.04 + 0.01 + 26.95 + 0.5
1808.93
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-195072-1170092084 -o ROOT/results/node17/solver-195072-1170092084 -C 1800 -M 900 /tmp/evaluation/195072-1170092084/solver /tmp/evaluation/195072-1170092084 /tmp/evaluation/195072-1170092084/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.72 4/95 25469
/proc/meminfo: memFree=1421832/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=18540 CPUtime=0
/proc/25468/stat : 25468 (runsolver) R 25466 25468 25217 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 29162664 18984960 280 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25468/statm: 4635 280 244 17 0 2626 0
[startup+0.108347 s]
/proc/loadavg: 1.92 1.98 1.72 4/95 25469
/proc/meminfo: memFree=1421832/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.03
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 29162664 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.51638 s]
/proc/loadavg: 1.92 1.98 1.72 4/95 25469
/proc/meminfo: memFree=1421832/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.03
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29162664 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25468/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33746 s]
/proc/loadavg: 1.92 1.98 1.72 3/103 25485
/proc/meminfo: memFree=1406984/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.81
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1190 7937 0 1 3 0 71 7 16 0 1 0 29162664 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25468/statm: 3431 809 371 3 0 531 0
[pid=25478] ppid=25468 vsize=807064 CPUtime=0.43
/proc/25478/stat : 25478 (java) R 25468 25468 25217 0 -1 0 7316 0 1 0 39 4 0 0 24 0 8 0 29162752 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073455756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25478/statm: 201766 7065 1494 14 0 189044 0
[pid=25478/tid=25479] ppid=25468 vsize=807064 CPUtime=0.05
/proc/25478/task/25479/stat : 25479 (java) S 25468 25468 25217 0 -1 64 1264 0 0 0 5 0 0 0 16 0 8 0 29162755 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25480] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25480/stat : 25480 (java) S 25468 25468 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162756 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25481] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25481/stat : 25481 (java) S 25468 25468 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162756 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25482] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25482/stat : 25482 (java) S 25468 25468 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29162759 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25483] ppid=25468 vsize=807064 CPUtime=0.05
/proc/25478/task/25483/stat : 25483 (java) S 25468 25468 25217 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 29162759 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25484] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25484/stat : 25484 (java) S 25468 25468 25217 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29162759 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25485] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25485/stat : 25485 (java) S 25468 25468 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29162759 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 820788
[startup+2.97464 s]
/proc/loadavg: 1.92 1.98 1.72 3/103 25485
/proc/meminfo: memFree=1381512/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.81
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1190 7937 0 1 3 0 71 7 16 0 1 0 29162664 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25468/statm: 3431 809 371 3 0 531 0
[pid=25478] ppid=25468 vsize=807064 CPUtime=2.07
/proc/25478/stat : 25478 (java) R 25468 25468 25217 0 -1 0 13758 0 1 0 198 9 0 0 25 0 8 0 29162752 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073495319 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25478/statm: 201766 13492 1494 14 0 189044 0
[pid=25478/tid=25479] ppid=25468 vsize=807064 CPUtime=0.59
/proc/25478/task/25479/stat : 25479 (java) S 25468 25468 25217 0 -1 64 7691 0 0 0 55 4 0 0 16 0 8 0 29162755 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25480] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25480/stat : 25480 (java) S 25468 25468 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162756 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25481] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25481/stat : 25481 (java) S 25468 25468 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162756 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25482] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25482/stat : 25482 (java) S 25468 25468 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29162759 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25483] ppid=25468 vsize=807064 CPUtime=0.05
/proc/25478/task/25483/stat : 25483 (java) S 25468 25468 25217 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29162759 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25484] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25484/stat : 25484 (java) S 25468 25468 25217 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29162759 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25485] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25485/stat : 25485 (java) S 25468 25468 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29162759 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 820788
[startup+6.19498 s]
/proc/loadavg: 1.93 1.98 1.72 4/103 25485
/proc/meminfo: memFree=1320072/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.81
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1190 7937 0 1 3 0 71 7 16 0 1 0 29162664 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25468/statm: 3431 809 371 3 0 531 0
[pid=25478] ppid=25468 vsize=807336 CPUtime=5.27
/proc/25478/stat : 25478 (java) R 25468 25468 25217 0 -1 0 30168 0 1 0 508 19 0 0 25 0 8 0 29162752 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25478/statm: 201834 29833 1507 14 0 189112 0
[pid=25478/tid=25479] ppid=25468 vsize=807336 CPUtime=1.44
/proc/25478/task/25479/stat : 25479 (java) S 25468 25468 25217 0 -1 64 23881 0 0 0 131 13 0 0 16 0 8 0 29162755 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25480] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25480/stat : 25480 (java) S 25468 25468 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162756 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25481] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25481/stat : 25481 (java) S 25468 25468 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162756 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25482] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25482/stat : 25482 (java) S 25468 25468 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29162759 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25483] ppid=25468 vsize=807336 CPUtime=0.12
/proc/25478/task/25483/stat : 25483 (java) S 25468 25468 25217 0 -1 64 400 0 0 0 12 0 0 0 16 0 8 0 29162759 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25484] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25484/stat : 25484 (java) S 25468 25468 25217 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29162759 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25485] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25485/stat : 25485 (java) S 25468 25468 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29162759 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 821060
[startup+12.6496 s]
/proc/loadavg: 2.02 2.00 1.73 4/103 25485
/proc/meminfo: memFree=1206480/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.81
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1190 7937 0 1 3 0 71 7 16 0 1 0 29162664 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25468/statm: 3431 809 371 3 0 531 0
[pid=25478] ppid=25468 vsize=807336 CPUtime=11.68
/proc/25478/stat : 25478 (java) R 25468 25468 25217 0 -1 0 54920 0 1 0 1137 31 0 0 25 0 8 0 29162752 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073580360 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25478/statm: 201834 54113 1507 14 0 189112 0
[pid=25478/tid=25479] ppid=25468 vsize=807336 CPUtime=3.59
/proc/25478/task/25479/stat : 25479 (java) S 25468 25468 25217 0 -1 64 48451 0 0 0 335 24 0 0 16 0 8 0 29162755 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25480] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25480/stat : 25480 (java) S 25468 25468 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162756 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25481] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25481/stat : 25481 (java) S 25468 25468 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162756 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25482] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25482/stat : 25482 (java) S 25468 25468 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25483] ppid=25468 vsize=807336 CPUtime=0.14
/proc/25478/task/25483/stat : 25483 (java) S 25468 25468 25217 0 -1 64 403 0 0 0 13 1 0 0 16 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25484] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25484/stat : 25484 (java) S 25468 25468 25217 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25485] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25485/stat : 25485 (java) S 25468 25468 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29162759 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.49
Current children cumulated vsize (KiB) 821060
[startup+25.542 s]
/proc/loadavg: 2.31 2.06 1.75 4/96 25486
/proc/meminfo: memFree=1390984/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.81
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1190 7937 0 1 3 0 71 7 16 0 1 0 29162664 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25468/statm: 3431 809 371 3 0 531 0
[pid=25478] ppid=25468 vsize=807336 CPUtime=24.5
/proc/25478/stat : 25478 (java) R 25468 25468 25217 0 -1 0 56223 0 1 0 2413 37 0 0 25 0 8 0 29162752 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25478/statm: 201834 54113 1507 14 0 189112 0
[pid=25478/tid=25479] ppid=25468 vsize=807336 CPUtime=8.46
/proc/25478/task/25479/stat : 25479 (java) S 25468 25468 25217 0 -1 64 49389 0 0 0 819 27 0 0 16 0 8 0 29162755 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25480] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25480/stat : 25480 (java) S 25468 25468 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162756 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25481] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25481/stat : 25481 (java) S 25468 25468 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162756 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25482] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25482/stat : 25482 (java) S 25468 25468 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25483] ppid=25468 vsize=807336 CPUtime=0.14
/proc/25478/task/25483/stat : 25483 (java) S 25468 25468 25217 0 -1 64 403 0 0 0 13 1 0 0 16 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25484] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25484/stat : 25484 (java) S 25468 25468 25217 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25485] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25485/stat : 25485 (java) S 25468 25468 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29162759 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.31
Current children cumulated vsize (KiB) 821060
[startup+51.2336 s]
/proc/loadavg: 2.20 2.06 1.76 3/89 25487
/proc/meminfo: memFree=1575104/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=14704 CPUtime=23.3
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 4345 0 0 0 2327 3 0 0 25 0 1 0 29165445 15056896 3306 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 3676 3306 52 112 0 3560 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 31156
[startup+102.467 s]
/proc/loadavg: 2.09 2.05 1.77 3/89 25489
/proc/meminfo: memFree=1562688/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=20700 CPUtime=74.28
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 5855 0 0 0 7423 5 0 0 25 0 1 0 29165445 21196800 4816 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 5175 4816 52 112 0 5059 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 37152
[startup+162.533 s]
/proc/loadavg: 2.03 2.04 1.78 3/89 25489
/proc/meminfo: memFree=1555520/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=22864 CPUtime=134.06
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 6341 0 0 0 13400 6 0 0 25 0 1 0 29165445 23412736 5302 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 5716 5302 52 112 0 5600 0
Current children cumulated CPU time (s) 161.59
Current children cumulated vsize (KiB) 39316
################
# More data... #
################
/proc/loadavg: 2.00 2.01 1.91 3/89 25489
/proc/meminfo: memFree=1523712/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=38464 CPUtime=1090.64
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 10214 0 0 0 109050 14 0 0 25 0 1 0 29165445 39387136 9166 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 9616 9166 52 112 0 9500 0
Current children cumulated CPU time (s) 1118.17
Current children cumulated vsize (KiB) 54916
[startup+1183.67 s]
/proc/loadavg: 2.00 2.01 1.91 3/89 25489
/proc/meminfo: memFree=1523200/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=38972 CPUtime=1150.42
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 10321 0 0 0 115028 14 0 0 25 0 1 0 29165445 39907328 9273 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 9743 9273 52 112 0 9627 0
Current children cumulated CPU time (s) 1177.95
Current children cumulated vsize (KiB) 55424
[startup+1243.74 s]
/proc/loadavg: 2.05 2.02 1.91 3/89 25489
/proc/meminfo: memFree=1519424/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=42572 CPUtime=1210.21
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11217 0 0 0 121005 16 0 0 25 0 1 0 29165445 43593728 10169 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10643 10169 52 112 0 10527 0
Current children cumulated CPU time (s) 1237.74
Current children cumulated vsize (KiB) 59024
[startup+1303.8 s]
/proc/loadavg: 2.02 2.01 1.91 3/89 25489
/proc/meminfo: memFree=1518272/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=42736 CPUtime=1269.99
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11245 0 0 0 126983 16 0 0 25 0 1 0 29165445 43761664 10197 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10684 10197 52 112 0 10568 0
Current children cumulated CPU time (s) 1297.52
Current children cumulated vsize (KiB) 59188
[startup+1363.87 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 25489
/proc/meminfo: memFree=1515264/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=42900 CPUtime=1329.78
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11273 0 0 0 132961 17 0 0 25 0 1 0 29165445 43929600 10225 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528371 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10725 10225 52 112 0 10609 0
Current children cumulated CPU time (s) 1357.31
Current children cumulated vsize (KiB) 59352
[startup+1423.94 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 25489
/proc/meminfo: memFree=1515136/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=42900 CPUtime=1389.56
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11302 0 0 0 138939 17 0 0 25 0 1 0 29165445 43929600 10254 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10725 10254 52 112 0 10609 0
Current children cumulated CPU time (s) 1417.09
Current children cumulated vsize (KiB) 59352
[startup+1484.01 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 25489
/proc/meminfo: memFree=1514688/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=43428 CPUtime=1449.36
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11399 0 0 0 144918 18 0 0 25 0 1 0 29165445 44470272 10351 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10857 10351 52 112 0 10741 0
Current children cumulated CPU time (s) 1476.89
Current children cumulated vsize (KiB) 59880
[startup+1544.07 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 25489
/proc/meminfo: memFree=1514240/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=43428 CPUtime=1509.13
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11413 0 0 0 150895 18 0 0 25 0 1 0 29165445 44470272 10365 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10857 10365 52 112 0 10741 0
Current children cumulated CPU time (s) 1536.66
Current children cumulated vsize (KiB) 59880
[startup+1604.15 s]
/proc/loadavg: 2.06 2.01 1.92 3/95 25591
/proc/meminfo: memFree=1512648/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=43592 CPUtime=1568.82
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11450 0 0 0 156864 18 0 0 25 0 1 0 29165445 44638208 10402 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10898 10402 52 112 0 10782 0
Current children cumulated CPU time (s) 1596.35
Current children cumulated vsize (KiB) 60044
[startup+1664.25 s]
/proc/loadavg: 2.14 2.04 1.93 3/95 25663
/proc/meminfo: memFree=1510352/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=43592 CPUtime=1628.55
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11451 0 0 0 162836 19 0 0 25 0 1 0 29165445 44638208 10403 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10898 10403 52 112 0 10782 0
Current children cumulated CPU time (s) 1656.08
Current children cumulated vsize (KiB) 60044
[startup+1724.32 s]
/proc/loadavg: 2.05 2.03 1.93 3/89 25687
/proc/meminfo: memFree=1510720/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=43752 CPUtime=1688.31
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11475 0 0 0 168812 19 0 0 25 0 1 0 29165445 44802048 10427 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10938 10427 52 112 0 10822 0
Current children cumulated CPU time (s) 1715.84
Current children cumulated vsize (KiB) 60204
[startup+1784.39 s]
/proc/loadavg: 2.13 2.05 1.94 3/89 25687
/proc/meminfo: memFree=1510400/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=44052 CPUtime=1748.1
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11521 0 0 0 174791 19 0 0 25 0 1 0 29165445 45109248 10473 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134522262 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 11013 10473 52 112 0 10897 0
Current children cumulated CPU time (s) 1775.63
Current children cumulated vsize (KiB) 60504
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.92 s]
/proc/loadavg: 2.01 2.03 1.94 3/90 25752
/proc/meminfo: memFree=1571448/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=44052 CPUtime=1772.52
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11521 0 0 0 177232 20 0 0 25 0 1 0 29165445 45109248 10473 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/25487/statm: 11013 10473 52 112 0 10897 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 60504
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25468 and gives childrusage.ru_utime.tv_sec=27 childrusage.ru_utime.tv_usec=28890 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=524920
CPU time returned by wait4() is 27.5538
while last known CPU time is 1800.06
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.95
CPU time (s): 1800.06
CPU user time (s): 1799.34
CPU system time (s): 0.72
CPU usage (%): 99.4538
Max. virtual memory (cumulated for all children) (KiB): 821564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.0289
system time used= 0.52492
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66785
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= 6324
involuntary context switches= 6715
runsolver used 2.28665 s user time and 5.48217 s system time
The end
Begin job on node17 on Mon Jan 29 17:34:44 UTC 2007
IDJOB= 195072
IDBENCH= 3247
IDSOLVER= 86
FILE ID= node17/195072-1170092084
PBS_JOBID= 3689398
Free space on /tmp= 66558 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-18_ext.xml
COMMAND LINE= /tmp/evaluation/195072-1170092084/solver /tmp/evaluation/195072-1170092084 /tmp/evaluation/195072-1170092084/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-195072-1170092084 -o ROOT/results/node17/solver-195072-1170092084 -C 1800 -M 900 /tmp/evaluation/195072-1170092084/solver /tmp/evaluation/195072-1170092084 /tmp/evaluation/195072-1170092084/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 8f948212b2819e3fd0e98ce18eeb5756
RANDOM SEED= 832796367
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.229
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.229
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: 1422312 kB
Buffers: 49368 kB
Cached: 252552 kB
SwapCached: 0 kB
Active: 410996 kB
Inactive: 153296 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1422312 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 4656 kB
Writeback: 0 kB
Mapped: 287892 kB
Slab: 53724 kB
Committed_AS: 461796 kB
PageTables: 2628 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 node17 on Mon Jan 29 18:04:55 UTC 2007