0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/228917-1168080920/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.41 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1346 maxDegree=17
0.59 maxArity=2
0.59 => wckTime=0.278 cpuTime=0.2 mem=11M828
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.472 cpuTime=0.33 mem=13M735
0.79
0.79 preprocessing
0.79 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0030 cpuTime=0.0 mem=13M735
0.84
0.84 search
0.84 run=0 nbConstraintChecks=23495 nbPropagations=458 nbRevisions=3875 nbUselessRevisions=2966 nbAssignments=25
0.84 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.049 cpuTime=0.03 mem=14M710
0.85
0.85 search
0.86 run=1 nbConstraintChecks=59378 nbPropagations=1573 nbRevisions=14279 nbUselessRevisions=10991 nbAssignments=64
0.86 nbFailedAssignments=21 nbBacktracks=27 nbVisitedNodes=101 nbRestartNogoods=2 mapSize=21 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.068 cpuTime=0.05 mem=14M710
0.88
0.88 search
0.88 run=2 nbConstraintChecks=117472 nbPropagations=3702 nbRevisions=35083 nbUselessRevisions=26894
0.88 nbAssignments=116 nbFailedAssignments=42 nbBacktracks=52 nbVisitedNodes=190 nbRestartNogoods=5 mapSize=42
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.091 cpuTime=0.06 mem=14M710
0.89
0.89 search
0.89 run=3 nbConstraintChecks=190737 nbPropagations=7057 nbRevisions=69492 nbUselessRevisions=53143
0.89 nbAssignments=182 nbFailedAssignments=69 nbBacktracks=85 nbVisitedNodes=305 nbRestartNogoods=8 mapSize=71
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.108 cpuTime=0.08 mem=14M710
0.92
0.92 search
0.92 run=4 nbConstraintChecks=287835 nbPropagations=12111 nbRevisions=121622 nbUselessRevisions=92791
0.92 nbAssignments=279 nbFailedAssignments=109 nbBacktracks=135 nbVisitedNodes=468 nbRestartNogoods=12 mapSize=111
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.132 cpuTime=0.1 mem=14M710
0.95
0.95 search
0.95 run=5 nbConstraintChecks=425235 nbPropagations=19673 nbRevisions=200742 nbUselessRevisions=153048
0.95 nbAssignments=426 nbFailedAssignments=172 nbBacktracks=213 nbVisitedNodes=725 nbRestartNogoods=15 mapSize=178
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.164 cpuTime=0.13 mem=14M710
0.99
0.99 search
0.99 run=6 nbConstraintChecks=623514 nbPropagations=30696 nbRevisions=316654 nbUselessRevisions=241142
0.99 nbAssignments=626 nbFailedAssignments=250 nbBacktracks=329 nbVisitedNodes=1063 nbRestartNogoods=17 mapSize=267
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.208 cpuTime=0.17 mem=14M710
1.06
1.06 search
1.06 run=7 nbConstraintChecks=923391 nbPropagations=47250 nbRevisions=492041 nbUselessRevisions=374826
1.06 nbAssignments=921 nbFailedAssignments=371 nbBacktracks=500 nbVisitedNodes=1574 nbRestartNogoods=22 mapSize=409
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.271 cpuTime=0.23 mem=14M710
1.15
1.15 search
1.15 run=8 nbConstraintChecks=1335227 nbPropagations=71258 nbRevisions=745322 nbUselessRevisions=567488
1.15 nbAssignments=1339 nbFailedAssignments=524 nbBacktracks=756 nbVisitedNodes=2283 nbRestartNogoods=24
1.15 mapSize=611 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.365 cpuTime=0.32 mem=14M710
1.29
1.29 search
1.29 run=9 nbConstraintChecks=1999811 nbPropagations=107146 nbRevisions=1121920 nbUselessRevisions=853646
1.29 nbAssignments=1979 nbFailedAssignments=776 nbBacktracks=1141 nbVisitedNodes=3379 nbRestartNogoods=29
1.29 mapSize=926 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.504 cpuTime=0.45 mem=14M710
1.34
1.34 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=14M710)
1.48
1.48 search
1.48 run=10 nbConstraintChecks=3018552 nbPropagations=161263 nbRevisions=1696474 nbUselessRevisions=1291917
1.48 nbAssignments=2947 nbFailedAssignments=1164 nbBacktracks=1717 nbVisitedNodes=5070 nbRestartNogoods=34
1.48 => wckTime=0.695 cpuTime=0.63 mem=14M710
1.73
1.73 search
1.73 run=11 nbConstraintChecks=4495802 nbPropagations=241640 nbRevisions=2546106 nbUselessRevisions=1939500
1.73 nbAssignments=4328 nbFailedAssignments=1680 nbBacktracks=2581 nbVisitedNodes=7436 nbRestartNogoods=42
1.73 => wckTime=0.946 cpuTime=0.88 mem=14M710
2.09
2.09 search
2.09 run=12 nbConstraintChecks=6691261 nbPropagations=360573 nbRevisions=3807937 nbUselessRevisions=2902758
2.09 nbAssignments=6430 nbFailedAssignments=2481 nbBacktracks=3878 nbVisitedNodes=11043 nbRestartNogoods=43
2.09 => wckTime=1.303 cpuTime=1.24 mem=14M710
2.61
2.61 search
2.61 run=13 nbConstraintChecks=9985799 nbPropagations=539135 nbRevisions=5714382 nbUselessRevisions=4361134
2.61 nbAssignments=9655 nbFailedAssignments=3753 nbBacktracks=5824 nbVisitedNodes=16668 nbRestartNogoods=50
2.61 => wckTime=1.826 cpuTime=1.75 mem=14M710
3.45
3.45 search
3.45 run=14 nbConstraintChecks=15167894 nbPropagations=809901 nbRevisions=8605042 nbUselessRevisions=6570822
3.45 nbAssignments=14603 nbFailedAssignments=5776 nbBacktracks=8744 nbVisitedNodes=25297 nbRestartNogoods=63
3.45 => wckTime=2.662 cpuTime=2.58 mem=14M710
4.61
4.61 search
4.61 run=15 nbConstraintChecks=22954048 nbPropagations=1216122 nbRevisions=12957736 nbUselessRevisions=9897097
4.61 nbAssignments=21858 nbFailedAssignments=8645 nbBacktracks=13127 nbVisitedNodes=37914 nbRestartNogoods=72
4.61 => wckTime=3.824 cpuTime=3.74 mem=14M710
6.30
6.30 search
6.30 run=16 nbConstraintChecks=34119540 nbPropagations=1823169 nbRevisions=19438381 nbUselessRevisions=14849249
6.30 nbAssignments=32692 nbFailedAssignments=12906 nbBacktracks=19696 nbVisitedNodes=56694 nbRestartNogoods=78
6.31 => wckTime=5.518 cpuTime=5.44 mem=14M710
8.96
8.96 search
8.96 run=17 nbConstraintChecks=51621011 nbPropagations=2738771 nbRevisions=29238278 nbUselessRevisions=22341507
8.96 nbAssignments=49278 nbFailedAssignments=19632 nbBacktracks=29548 nbVisitedNodes=85579 nbRestartNogoods=88
8.96 => wckTime=8.17 cpuTime=8.09 mem=14M710
12.87
12.87 search
12.87 run=18 nbConstraintChecks=77445727 nbPropagations=4110445 nbRevisions=43919707 nbUselessRevisions=33564144
12.87 nbAssignments=73576 nbFailedAssignments=29146 nbBacktracks=44327 nbVisitedNodes=127677 nbRestartNogoods=95
12.87 => wckTime=12.08 cpuTime=11.99 mem=14M710
18.74
18.74 search
18.74 run=19 nbConstraintChecks=117012815 nbPropagations=6159950 nbRevisions=65885512 nbUselessRevisions=50331285
18.74 nbAssignments=109599 nbFailedAssignments=42998 nbBacktracks=66495 nbVisitedNodes=189721 nbRestartNogoods=100
18.75 => wckTime=17.958 cpuTime=17.87 mem=14M710
21.50
21.50 search
21.50 run=20 nbConstraintChecks=135504299 nbPropagations=8524398 nbRevisions=91254575 nbUselessRevisions=69694910
21.50 nbAssignments=126122 nbFailedAssignments=49519 nbBacktracks=76498 nbVisitedNodes=218365 nbRestartNogoods=104
21.50 => wckTime=20.714 cpuTime=20.59 mem=14M710
21.50
21.50 global
21.50 nbConstraintChecks=135504299 nbPropagations=8524438 nbRevisions=91254575 nbUselessRevisions=69694910
21.50 nbRestartNogoods=104 solvingWckTime=20.715 solvingCpuTime=20.59 expiredTime=no totalExploration=yes
21.50 nbFoundSolutions=0 globalCpuTime=20.97
21.50 => wckTime=21.19 cpuTime=20.92 mem=14M710
21.50
21.50 s UNSATISFIABLE
21.50 d NODES 126122
21.51 d CHECKS 135504299
21.51
21.51 totalWckTime=21.268 totalCpuTime=20.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-228917-1168080920 -o ROOT/results/node6/solver-228917-1168080920 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228917-1168080920/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 1.44 1.79 3/81 9801
/proc/meminfo: memFree=1241744/2055924 swapFree=4165672/4192956
[pid=9800] ppid=9798 vsize=1784 CPUtime=0
/proc/9800/stat : 9800 (java) D 9798 9800 9548 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 156488417 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/9800/statm: 446 158 123 14 0 91 0
[startup+0.105353 s]
/proc/loadavg: 0.48 1.44 1.79 3/81 9801
/proc/meminfo: memFree=1241744/2055924 swapFree=4165672/4192956
[pid=9800] ppid=9798 vsize=914988 CPUtime=0.08
/proc/9800/stat : 9800 (java) R 9798 9800 9548 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 156488417 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072923528 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9800/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513402 s]
/proc/loadavg: 0.48 1.44 1.79 3/81 9801
/proc/meminfo: memFree=1241744/2055924 swapFree=4165672/4192956
[pid=9800] ppid=9798 vsize=915328 CPUtime=0.48
/proc/9800/stat : 9800 (java) R 9798 9800 9548 0 -1 0 6682 0 1 0 44 4 0 0 16 0 8 0 156488417 937295872 6421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073551542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9800/statm: 228832 6421 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33649 s]
/proc/loadavg: 0.53 1.43 1.79 2/88 9808
/proc/meminfo: memFree=1218328/2055924 swapFree=4165672/4192956
[pid=9800] ppid=9798 vsize=915452 CPUtime=1.31
/proc/9800/stat : 9800 (java) R 9798 9800 9548 0 -1 0 8593 0 1 0 125 6 0 0 16 0 8 0 156488417 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9800/statm: 228863 8331 2513 14 0 215333 0
[pid=9800/tid=9802] ppid=9798 vsize=915452 CPUtime=0.03
/proc/9800/task/9802/stat : 9802 (java) S 9798 9800 9548 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156488420 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9800/tid=9803] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9803/stat : 9803 (java) S 9798 9800 9548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156488421 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9804] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9804/stat : 9804 (java) S 9798 9800 9548 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488421 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9805] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9805/stat : 9805 (java) S 9798 9800 9548 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156488424 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9806] ppid=9798 vsize=915452 CPUtime=0.21
/proc/9800/task/9806/stat : 9806 (java) S 9798 9800 9548 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 156488424 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9807] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9807/stat : 9807 (java) S 9798 9800 9548 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488424 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9808] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9808/stat : 9808 (java) S 9798 9800 9548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488424 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.98869 s]
/proc/loadavg: 0.53 1.43 1.79 2/88 9808
/proc/meminfo: memFree=1218136/2055924 swapFree=4165672/4192956
[pid=9800] ppid=9798 vsize=915452 CPUtime=2.95
/proc/9800/stat : 9800 (java) R 9798 9800 9548 0 -1 0 8608 0 1 0 289 6 0 0 18 0 8 0 156488417 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9800/statm: 228863 8345 2513 14 0 215333 0
[pid=9800/tid=9802] ppid=9798 vsize=915452 CPUtime=0.03
/proc/9800/task/9802/stat : 9802 (java) S 9798 9800 9548 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156488420 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9800/tid=9803] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9803/stat : 9803 (java) S 9798 9800 9548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156488421 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9804] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9804/stat : 9804 (java) S 9798 9800 9548 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488421 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9805] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9805/stat : 9805 (java) S 9798 9800 9548 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156488424 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9806] ppid=9798 vsize=915452 CPUtime=0.21
/proc/9800/task/9806/stat : 9806 (java) S 9798 9800 9548 0 -1 64 387 0 0 0 20 1 0 0 16 0 8 0 156488424 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9807] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9807/stat : 9807 (java) S 9798 9800 9548 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488424 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9808] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9808/stat : 9808 (java) S 9798 9800 9548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488424 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452
[startup+6.26807 s]
/proc/loadavg: 0.53 1.43 1.79 2/88 9811
/proc/meminfo: memFree=1217816/2055924 swapFree=4165672/4192956
[pid=9800] ppid=9798 vsize=915452 CPUtime=6.23
/proc/9800/stat : 9800 (java) R 9798 9800 9548 0 -1 0 8614 0 1 0 617 6 0 0 20 0 8 0 156488417 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788870 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9800/statm: 228863 8350 2513 14 0 215333 0
[pid=9800/tid=9802] ppid=9798 vsize=915452 CPUtime=0.03
/proc/9800/task/9802/stat : 9802 (java) S 9798 9800 9548 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156488420 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9800/tid=9803] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9803/stat : 9803 (java) S 9798 9800 9548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156488421 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9804] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9804/stat : 9804 (java) S 9798 9800 9548 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488421 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9805] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9805/stat : 9805 (java) S 9798 9800 9548 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156488424 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9806] ppid=9798 vsize=915452 CPUtime=0.21
/proc/9800/task/9806/stat : 9806 (java) S 9798 9800 9548 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156488424 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9807] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9807/stat : 9807 (java) S 9798 9800 9548 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488424 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9808] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9808/stat : 9808 (java) S 9798 9800 9548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488424 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915452
[startup+12.7528 s]
/proc/loadavg: 0.60 1.42 1.78 2/88 9841
/proc/meminfo: memFree=1215768/2055924 swapFree=4165672/4192956
[pid=9800] ppid=9798 vsize=915452 CPUtime=12.72
/proc/9800/stat : 9800 (java) R 9798 9800 9548 0 -1 0 8619 0 1 0 1265 7 0 0 25 0 8 0 156488417 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9800/statm: 228863 8355 2513 14 0 215333 0
[pid=9800/tid=9802] ppid=9798 vsize=915452 CPUtime=0.03
/proc/9800/task/9802/stat : 9802 (java) S 9798 9800 9548 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156488420 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9800/tid=9803] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9803/stat : 9803 (java) S 9798 9800 9548 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156488421 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9804] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9804/stat : 9804 (java) S 9798 9800 9548 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488421 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9805] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9805/stat : 9805 (java) S 9798 9800 9548 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156488424 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9806] ppid=9798 vsize=915452 CPUtime=0.21
/proc/9800/task/9806/stat : 9806 (java) S 9798 9800 9548 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156488424 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9807] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9807/stat : 9807 (java) S 9798 9800 9548 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488424 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9800/tid=9808] ppid=9798 vsize=915452 CPUtime=0
/proc/9800/task/9808/stat : 9808 (java) S 9798 9800 9548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488424 937422848 8355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 21.5216
CPU time (s): 21.4507
CPU user time (s): 21.3727
CPU system time (s): 0.077988
CPU usage (%): 99.6705
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.3727
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8716
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1256
involuntary context switches= 1102
runsolver used 0.029995 s user time and 0.068989 s system time
The end
Begin job on node6 on Sat Jan 6 10:55:27 UTC 2007
IDJOB= 228917
IDBENCH= 6245
FILE ID= node6/228917-1168080920
PBS_JOBID= 3475830
Free space on /tmp= 66530 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228917-1168080920/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-228917-1168080920 -o ROOT/results/node6/solver-228917-1168080920 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228917-1168080920/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fb918c21c0e825a3a0479fc37910380a
RANDOM SEED= 623307323
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.240
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.240
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: 2055924 kB
MemFree: 1242224 kB
Buffers: 83020 kB
Cached: 596460 kB
SwapCached: 3036 kB
Active: 358232 kB
Inactive: 359608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1242224 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 1836 kB
Writeback: 0 kB
Mapped: 47472 kB
Slab: 80984 kB
Committed_AS: 4222668 kB
PageTables: 2200 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= 66529 MiB
End job on node6 on Sat Jan 6 10:56:00 UTC 2007