0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/227738-1168278772/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.43 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.53
0.53 constraints being loaded...
0.71 nbConstraints=752 nbRelationTypes=753 nbExtensionStructures=752 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=752 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11892 maxDegree=39
0.71 maxArity=2
0.71 => wckTime=0.389 cpuTime=0.25 mem=11M844
0.76
0.76 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.602 cpuTime=0.39 mem=15M6
0.98
0.98 preprocessing
0.98 nbConstraintChecks=20460 nbPropagations=810 nbRevisions=4687 nbUselessRevisions=3659 nbSingletonTests=47
0.98 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.98 => wckTime=0.055 cpuTime=0.03 mem=15M6
1.01
1.01 search
1.01 run=0 nbConstraintChecks=14174 nbPropagations=1150 nbRevisions=8933 nbUselessRevisions=7212 nbAssignments=25
1.01 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.082 cpuTime=0.05 mem=15M6
1.03
1.03 search
1.03 run=1 nbConstraintChecks=36481 nbPropagations=2781 nbRevisions=24545 nbUselessRevisions=20008 nbAssignments=55
1.03 nbFailedAssignments=12 nbBacktracks=27 nbVisitedNodes=86 nbRestartNogoods=1 mapSize=23 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.103 cpuTime=0.07 mem=15M6
1.05
1.05 search
1.05 run=2 nbConstraintChecks=58178 nbPropagations=4905 nbRevisions=47615 nbUselessRevisions=39304 nbAssignments=95
1.05 nbFailedAssignments=22 nbBacktracks=49 nbVisitedNodes=145 nbRestartNogoods=4 mapSize=40 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.119 cpuTime=0.08 mem=15M6
1.06
1.06 search
1.06 run=3 nbConstraintChecks=93915 nbPropagations=7776 nbRevisions=82576 nbUselessRevisions=68849
1.06 nbAssignments=154 nbFailedAssignments=38 nbBacktracks=84 nbVisitedNodes=237 nbRestartNogoods=5 mapSize=69
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.136 cpuTime=0.09 mem=15M6
1.09
1.09 search
1.09 run=4 nbConstraintChecks=141435 nbPropagations=11651 nbRevisions=133530 nbUselessRevisions=112133
1.09 nbAssignments=241 nbFailedAssignments=63 nbBacktracks=138 nbVisitedNodes=369 nbRestartNogoods=8 mapSize=109
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.158 cpuTime=0.11 mem=15M6
1.13
1.13 search
1.13 run=5 nbConstraintChecks=220218 nbPropagations=17029 nbRevisions=210781 nbUselessRevisions=178090
1.13 nbAssignments=357 nbFailedAssignments=94 nbBacktracks=216 nbVisitedNodes=550 nbRestartNogoods=10 mapSize=165
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.201 cpuTime=0.15 mem=15M6
1.17
1.17 search
1.17 run=6 nbConstraintChecks=324314 nbPropagations=24448 nbRevisions=322353 nbUselessRevisions=273648
1.17 nbAssignments=523 nbFailedAssignments=140 nbBacktracks=329 nbVisitedNodes=810 nbRestartNogoods=13 mapSize=246
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.245 cpuTime=0.19 mem=15M6
1.24
1.24 search
1.24 run=7 nbConstraintChecks=515979 nbPropagations=35459 nbRevisions=496396 nbUselessRevisions=422545
1.24 nbAssignments=784 nbFailedAssignments=224 nbBacktracks=500 nbVisitedNodes=1247 nbRestartNogoods=17 mapSize=397
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.317 cpuTime=0.26 mem=15M6
1.33
1.33 search
1.33 run=8 nbConstraintChecks=748726 nbPropagations=50846 nbRevisions=749288 nbUselessRevisions=639641
1.33 nbAssignments=1148 nbFailedAssignments=323 nbBacktracks=761 nbVisitedNodes=1824 nbRestartNogoods=21
1.33 mapSize=588 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.408 cpuTime=0.35 mem=15M6
1.49
1.49 search
1.49 run=9 nbConstraintChecks=1132214 nbPropagations=73272 nbRevisions=1129848 nbUselessRevisions=966737
1.49 nbAssignments=1699 nbFailedAssignments=481 nbBacktracks=1146 nbVisitedNodes=2723 nbRestartNogoods=23
1.49 mapSize=893 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.566 cpuTime=0.48 mem=15M6
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=15M6)
1.71
1.71 search
1.71 run=10 nbConstraintChecks=1752539 nbPropagations=107176 nbRevisions=1712094 nbUselessRevisions=1466189
1.71 nbAssignments=2553 nbFailedAssignments=752 nbBacktracks=1722 nbVisitedNodes=4136 nbRestartNogoods=28
1.71 => wckTime=0.784 cpuTime=0.69 mem=15M6
1.96
1.96 search
1.96 run=11 nbConstraintChecks=2529997 nbPropagations=155697 nbRevisions=2557817 nbUselessRevisions=2193247
1.96 nbAssignments=3766 nbFailedAssignments=1093 nbBacktracks=2587 nbVisitedNodes=6088 nbRestartNogoods=36
1.96 => wckTime=1.036 cpuTime=0.95 mem=15M6
2.39
2.39 search
2.39 run=12 nbConstraintChecks=3856458 nbPropagations=228667 nbRevisions=3836574 nbUselessRevisions=3291618
2.39 nbAssignments=5651 nbFailedAssignments=1672 nbBacktracks=3887 nbVisitedNodes=9175 nbRestartNogoods=41
2.39 => wckTime=1.465 cpuTime=1.37 mem=15M6
2.99
2.99 search
2.99 run=13 nbConstraintChecks=5731146 nbPropagations=336345 nbRevisions=5731089 nbUselessRevisions=4919320
2.99 nbAssignments=8423 nbFailedAssignments=2487 nbBacktracks=5833 nbVisitedNodes=13679 nbRestartNogoods=48
2.99 => wckTime=2.061 cpuTime=1.97 mem=15M6
3.92
3.92 search
3.92 run=14 nbConstraintChecks=8647845 nbPropagations=497976 nbRevisions=8576192 nbUselessRevisions=7361473
3.92 nbAssignments=12560 nbFailedAssignments=3700 nbBacktracks=8753 nbVisitedNodes=20462 nbRestartNogoods=55
3.92 => wckTime=2.993 cpuTime=2.89 mem=15M6
5.34
5.34 search
5.34 run=15 nbConstraintChecks=13104548 nbPropagations=741657 nbRevisions=12858977 nbUselessRevisions=11032017
5.34 nbAssignments=18804 nbFailedAssignments=5560 nbBacktracks=13132 nbVisitedNodes=30708 nbRestartNogoods=64
5.34 => wckTime=4.41 cpuTime=4.3 mem=15M6
7.47
7.47 search
7.47 run=16 nbConstraintChecks=19760754 nbPropagations=1107924 nbRevisions=19309201 nbUselessRevisions=16559200
7.47 nbAssignments=28216 nbFailedAssignments=8396 nbBacktracks=19703 nbVisitedNodes=46158 nbRestartNogoods=68
7.47 => wckTime=6.54 cpuTime=6.42 mem=15M6
10.63
10.64 search
10.64 run=17 nbConstraintChecks=29697453 nbPropagations=1655093 nbRevisions=29002038 nbUselessRevisions=24870913
10.64 nbAssignments=42234 nbFailedAssignments=12554 nbBacktracks=29558 nbVisitedNodes=69129 nbRestartNogoods=74
10.64 => wckTime=9.709 cpuTime=9.57 mem=15M6
11.28
11.28 search
11.28 run=18 nbConstraintChecks=31714898 nbPropagations=2239030 nbRevisions=39354042 nbUselessRevisions=33748886
11.28 nbAssignments=45098 nbFailedAssignments=13368 nbBacktracks=31568 nbVisitedNodes=73787 nbRestartNogoods=78
11.28 => wckTime=10.354 cpuTime=10.22 mem=15M6
11.28
11.28 global
11.28 nbConstraintChecks=31735358 nbPropagations=2239840 nbRevisions=39358729 nbUselessRevisions=33752545
11.28 nbRestartNogoods=78 solvingWckTime=10.355 solvingCpuTime=10.22 expiredTime=no totalExploration=no
11.28 nbFoundSolutions=1 globalCpuTime=10.66
11.28 => wckTime=10.959 cpuTime=10.61 mem=15M6
11.28
11.28 s SATISFIABLE
11.28 v 2 5 3 6 2 7 0 6 0 4 0 7 6 0 1 0 7 6 0 3 0 2 2 2 5 0 0 0 0 3 0 3 5 3 1 6 0 5 0 5
11.29 d NODES 45098
11.29 d CHECKS 31735358
11.29
11.29 totalWckTime=11.042 totalCpuTime=10.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-227738-1168278772 -o ROOT/results/node5/solver-227738-1168278772 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227738-1168278772/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.88 2.04 2.11 2/98 14063
/proc/meminfo: memFree=1202896/2055920 swapFree=4192812/4192956
[pid=14062] ppid=14060 vsize=18540 CPUtime=0
/proc/14062/stat : 14062 (runsolver) R 14060 14062 12800 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156491662 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14062/statm: 4635 279 244 17 0 2626 0
[startup+0.102174 s]
/proc/loadavg: 1.88 2.04 2.11 2/98 14063
/proc/meminfo: memFree=1202896/2055920 swapFree=4192812/4192956
[pid=14062] ppid=14060 vsize=913068 CPUtime=0.08
/proc/14062/stat : 14062 (java) S 14060 14062 12800 0 -1 0 2887 0 1 0 7 1 0 0 17 0 8 0 156491662 934981632 2633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14062/statm: 228267 2633 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.510221 s]
/proc/loadavg: 1.88 2.04 2.11 2/98 14063
/proc/meminfo: memFree=1202896/2055920 swapFree=4192812/4192956
[pid=14062] ppid=14060 vsize=915328 CPUtime=0.49
/proc/14062/stat : 14062 (java) R 14060 14062 12800 0 -1 0 6240 0 1 0 44 5 0 0 18 0 8 0 156491662 937295872 5979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14062/statm: 228832 5979 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33131 s]
/proc/loadavg: 1.88 2.04 2.11 3/105 14070
/proc/meminfo: memFree=1178840/2055920 swapFree=4192812/4192956
[pid=14062] ppid=14060 vsize=915584 CPUtime=1.3
/proc/14062/stat : 14062 (java) R 14060 14062 12800 0 -1 0 8756 0 1 0 122 8 0 0 24 0 8 0 156491662 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14062/statm: 228896 8494 2524 14 0 215366 0
[pid=14062/tid=14064] ppid=14060 vsize=915584 CPUtime=0.03
/proc/14062/task/14064/stat : 14064 (java) S 14060 14062 12800 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156491667 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14065] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14065/stat : 14065 (java) S 14060 14062 12800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156491667 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14066] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14066/stat : 14066 (java) S 14060 14062 12800 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491667 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14067] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14067/stat : 14067 (java) S 14060 14062 12800 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156491671 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14068] ppid=14060 vsize=915584 CPUtime=0.26
/proc/14062/task/14068/stat : 14068 (java) S 14060 14062 12800 0 -1 64 405 0 0 0 25 1 0 0 15 0 8 0 156491671 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14069] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14069/stat : 14069 (java) S 14060 14062 12800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491671 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14070] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14070/stat : 14070 (java) S 14060 14062 12800 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156491671 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915584
[startup+2.96849 s]
/proc/loadavg: 1.89 2.03 2.11 3/105 14070
/proc/meminfo: memFree=1178584/2055920 swapFree=4192812/4192956
[pid=14062] ppid=14060 vsize=915584 CPUtime=2.93
/proc/14062/stat : 14062 (java) R 14060 14062 12800 0 -1 0 8800 0 1 0 285 8 0 0 25 0 8 0 156491662 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073911335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14062/statm: 228896 8537 2524 14 0 215366 0
[pid=14062/tid=14064] ppid=14060 vsize=915584 CPUtime=0.03
/proc/14062/task/14064/stat : 14064 (java) S 14060 14062 12800 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156491667 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14065] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14065/stat : 14065 (java) S 14060 14062 12800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156491667 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14066] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14066/stat : 14066 (java) S 14060 14062 12800 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491667 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14067] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14067/stat : 14067 (java) S 14060 14062 12800 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156491671 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14068] ppid=14060 vsize=915584 CPUtime=0.29
/proc/14062/task/14068/stat : 14068 (java) S 14060 14062 12800 0 -1 64 420 0 0 0 28 1 0 0 16 0 8 0 156491671 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14069] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14069/stat : 14069 (java) S 14060 14062 12800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491671 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14070] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14070/stat : 14070 (java) S 14060 14062 12800 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156491671 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915584
[startup+6.26987 s]
/proc/loadavg: 1.89 2.03 2.11 3/105 14070
/proc/meminfo: memFree=1178456/2055920 swapFree=4192812/4192956
[pid=14062] ppid=14060 vsize=915584 CPUtime=6.21
/proc/14062/stat : 14062 (java) R 14060 14062 12800 0 -1 0 8808 0 1 0 613 8 0 0 25 0 8 0 156491662 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928485 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14062/statm: 228896 8544 2524 14 0 215366 0
[pid=14062/tid=14064] ppid=14060 vsize=915584 CPUtime=0.03
/proc/14062/task/14064/stat : 14064 (java) S 14060 14062 12800 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156491667 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14065] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14065/stat : 14065 (java) S 14060 14062 12800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156491667 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14066] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14066/stat : 14066 (java) S 14060 14062 12800 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491667 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14067] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14067/stat : 14067 (java) S 14060 14062 12800 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156491671 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14068] ppid=14060 vsize=915584 CPUtime=0.3
/proc/14062/task/14068/stat : 14068 (java) S 14060 14062 12800 0 -1 64 420 0 0 0 29 1 0 0 15 0 8 0 156491671 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14069] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14069/stat : 14069 (java) S 14060 14062 12800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491671 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14070] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14070/stat : 14070 (java) S 14060 14062 12800 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156491671 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 11.3311
CPU time (s): 11.2313
CPU user time (s): 11.1343
CPU system time (s): 0.096985
CPU usage (%): 99.1193
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1343
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8906
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= 1496
involuntary context switches= 2203
runsolver used 0.014997 s user time and 0.045993 s system time
The end
Begin job on node5 on Mon Jan 8 17:52:52 UTC 2007
IDJOB= 227738
IDBENCH= 6109
FILE ID= node5/227738-1168278772
PBS_JOBID= 3483096
Free space on /tmp= 66354 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227738-1168278772/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-227738-1168278772 -o ROOT/results/node5/solver-227738-1168278772 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227738-1168278772/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2dc54fc58f8f656ca6898d0651b3f1c0
RANDOM SEED= 247651854
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: 2055920 kB
MemFree: 1203376 kB
Buffers: 65472 kB
Cached: 558088 kB
SwapCached: 0 kB
Active: 346380 kB
Inactive: 442320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1203376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2076 kB
Writeback: 0 kB
Mapped: 194120 kB
Slab: 48456 kB
Committed_AS: 5009728 kB
PageTables: 2440 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= 66354 MiB
End job on node5 on Mon Jan 8 17:53:04 UTC 2007