0.51
0.51 Abscon 109 (November, 2006)
0.51
0.51 configuration
0.51 name=esac.xml
0.54
0.54 instance
0.54 name=/tmp/evaluation/227172-1168277541/unknown.xml
0.57
0.57 domains being loaded...
0.57
0.57 variables being loaded...
0.61 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.61 => wckTime=0.101 cpuTime=0.1 mem=6M951
0.61
0.61 relations being loaded...
0.71
0.71 constraints being loaded...
0.89 nbConstraints=752 nbRelationTypes=753 nbExtensionStructures=752 nbSharedExtensionStructures=0
0.89 nbConflictsStructures=752 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11897 maxDegree=39
0.89 maxArity=2
0.89 => wckTime=0.379 cpuTime=0.25 mem=11M848
0.93
0.93 solver IterativeSystematicSolver being built...
1.09 => wckTime=0.585 cpuTime=0.39 mem=15M6
1.16
1.16 preprocessing
1.16 nbConstraintChecks=26782 nbPropagations=915 nbRevisions=6386 nbUselessRevisions=5155 nbSingletonTests=55
1.16 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
1.16 => wckTime=0.065 cpuTime=0.03 mem=15M6
1.18
1.18 search
1.18 run=0 nbConstraintChecks=10946 nbPropagations=1181 nbRevisions=9587 nbUselessRevisions=7858 nbAssignments=22
1.18 nbFailedAssignments=4 nbBacktracks=12 nbVisitedNodes=31 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.18 nbTooLargeKeys=0
1.18 => wckTime=0.086 cpuTime=0.06 mem=15M6
1.20
1.20 search
1.20 run=1 nbConstraintChecks=31523 nbPropagations=2809 nbRevisions=25761 nbUselessRevisions=21358 nbAssignments=51
1.20 nbFailedAssignments=11 nbBacktracks=27 nbVisitedNodes=77 nbRestartNogoods=1 mapSize=20 nbInferences=0
1.20 nbTooLargeKeys=0
1.20 => wckTime=0.105 cpuTime=0.07 mem=15M6
1.21
1.21 search
1.21 run=2 nbConstraintChecks=51399 nbPropagations=4890 nbRevisions=48326 nbUselessRevisions=40349 nbAssignments=89
1.21 nbFailedAssignments=19 nbBacktracks=50 nbVisitedNodes=135 nbRestartNogoods=3 mapSize=38 nbInferences=0
1.22 nbTooLargeKeys=0
1.22 => wckTime=0.12 cpuTime=0.08 mem=15M6
1.23
1.23 search
1.23 run=3 nbConstraintChecks=89264 nbPropagations=7785 nbRevisions=83403 nbUselessRevisions=70144
1.23 nbAssignments=148 nbFailedAssignments=36 nbBacktracks=83 nbVisitedNodes=228 nbRestartNogoods=4 mapSize=68
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.138 cpuTime=0.1 mem=15M6
1.26
1.26 search
1.26 run=4 nbConstraintChecks=138996 nbPropagations=11674 nbRevisions=134342 nbUselessRevisions=113450
1.26 nbAssignments=227 nbFailedAssignments=57 nbBacktracks=134 nbVisitedNodes=349 nbRestartNogoods=6 mapSize=105
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.16 cpuTime=0.12 mem=15M6
1.29
1.29 search
1.29 run=5 nbConstraintChecks=218194 nbPropagations=17061 nbRevisions=210046 nbUselessRevisions=177767
1.29 nbAssignments=347 nbFailedAssignments=95 nbBacktracks=213 nbVisitedNodes=544 nbRestartNogoods=9 mapSize=171
1.29 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.197 cpuTime=0.15 mem=15M6
1.34
1.34 search
1.34 run=6 nbConstraintChecks=332122 nbPropagations=24582 nbRevisions=322509 nbUselessRevisions=273520
1.34 nbAssignments=511 nbFailedAssignments=138 nbBacktracks=330 nbVisitedNodes=813 nbRestartNogoods=10 mapSize=264
1.34 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.241 cpuTime=0.2 mem=15M6
1.40
1.40 search
1.40 run=7 nbConstraintChecks=487323 nbPropagations=35098 nbRevisions=484657 nbUselessRevisions=411627
1.40 nbAssignments=759 nbFailedAssignments=207 nbBacktracks=501 nbVisitedNodes=1213 nbRestartNogoods=12 mapSize=401
1.40 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.301 cpuTime=0.26 mem=15M6
1.49
1.49 search
1.49 run=8 nbConstraintChecks=726297 nbPropagations=50070 nbRevisions=725194 nbUselessRevisions=617194
1.49 nbAssignments=1130 nbFailedAssignments=313 nbBacktracks=758 nbVisitedNodes=1815 nbRestartNogoods=16
1.49 mapSize=606 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.391 cpuTime=0.34 mem=15M6
1.65
1.65 search
1.65 run=9 nbConstraintChecks=1121688 nbPropagations=72329 nbRevisions=1090632 nbUselessRevisions=928925
1.65 nbAssignments=1691 nbFailedAssignments=483 nbBacktracks=1143 nbVisitedNodes=2727 nbRestartNogoods=22
1.65 mapSize=919 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.552 cpuTime=0.49 mem=15M6
1.69
1.69 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=15M6)
1.84
1.84 search
1.84 run=10 nbConstraintChecks=1666500 nbPropagations=104737 nbRevisions=1636843 nbUselessRevisions=1395983
1.84 nbAssignments=2515 nbFailedAssignments=724 nbBacktracks=1721 nbVisitedNodes=4059 nbRestartNogoods=27
1.84 => wckTime=0.745 cpuTime=0.67 mem=15M6
2.09
2.09 search
2.09 run=11 nbConstraintChecks=2454818 nbPropagations=151959 nbRevisions=2443767 nbUselessRevisions=2087158
2.09 nbAssignments=3728 nbFailedAssignments=1065 nbBacktracks=2587 nbVisitedNodes=5995 nbRestartNogoods=32
2.09 => wckTime=0.999 cpuTime=0.92 mem=15M6
2.50
2.50 search
2.50 run=12 nbConstraintChecks=3681878 nbPropagations=222341 nbRevisions=3656413 nbUselessRevisions=3126147
2.50 nbAssignments=5572 nbFailedAssignments=1604 nbBacktracks=3890 nbVisitedNodes=8999 nbRestartNogoods=38
2.50 => wckTime=1.401 cpuTime=1.32 mem=15M6
3.12
3.12 search
3.12 run=13 nbConstraintChecks=5664583 nbPropagations=329175 nbRevisions=5501867 nbUselessRevisions=4704585
3.12 nbAssignments=8391 nbFailedAssignments=2467 nbBacktracks=5838 nbVisitedNodes=13623 nbRestartNogoods=41
3.12 => wckTime=2.027 cpuTime=1.94 mem=15M6
4.05
4.05 search
4.05 run=14 nbConstraintChecks=8566120 nbPropagations=489563 nbRevisions=8284746 nbUselessRevisions=7084768
4.05 nbAssignments=12554 nbFailedAssignments=3702 nbBacktracks=8758 nbVisitedNodes=20424 nbRestartNogoods=47
4.05 => wckTime=2.955 cpuTime=2.86 mem=15M6
5.41
5.41 search
5.41 run=15 nbConstraintChecks=12793226 nbPropagations=728282 nbRevisions=12453476 nbUselessRevisions=10654699
5.41 nbAssignments=18800 nbFailedAssignments=5567 nbBacktracks=13136 nbVisitedNodes=30627 nbRestartNogoods=56
5.41 => wckTime=4.31 cpuTime=4.21 mem=15M6
7.43
7.43 search
7.43 run=16 nbConstraintChecks=19110369 nbPropagations=1084271 nbRevisions=18683975 nbUselessRevisions=15994582
7.43 nbAssignments=28127 nbFailedAssignments=8320 nbBacktracks=19705 nbVisitedNodes=45786 nbRestartNogoods=62
7.43 => wckTime=6.335 cpuTime=6.23 mem=15M6
10.56
10.56 search
10.56 run=17 nbConstraintChecks=28885358 nbPropagations=1622065 nbRevisions=28092664 nbUselessRevisions=24050260
10.56 nbAssignments=42177 nbFailedAssignments=12510 nbBacktracks=29557 nbVisitedNodes=68845 nbRestartNogoods=66
10.56 => wckTime=9.47 cpuTime=9.35 mem=15M6
15.29
15.29 search
15.29 run=18 nbConstraintChecks=43712693 nbPropagations=2433280 nbRevisions=42360397 nbUselessRevisions=36275378
15.29 nbAssignments=63265 nbFailedAssignments=18812 nbBacktracks=44335 nbVisitedNodes=103439 nbRestartNogoods=72
15.29 => wckTime=14.19 cpuTime=14.04 mem=15M6
16.34
16.34 search
16.34 run=19 nbConstraintChecks=47061037 nbPropagations=3305654 nbRevisions=57698187 nbUselessRevisions=49414150
16.34 nbAssignments=67896 nbFailedAssignments=20208 nbBacktracks=47571 nbVisitedNodes=111077 nbRestartNogoods=80
16.34 => wckTime=15.243 cpuTime=15.09 mem=15M6
16.34
16.34 global
16.34 nbConstraintChecks=47087819 nbPropagations=3306569 nbRevisions=57704573 nbUselessRevisions=49419305
16.34 nbRestartNogoods=80 solvingWckTime=15.244 solvingCpuTime=15.09 expiredTime=no totalExploration=yes
16.34 nbFoundSolutions=0 globalCpuTime=15.53
16.34 => wckTime=15.832 cpuTime=15.48 mem=15M6
16.34
16.34 s UNSATISFIABLE
16.34 d NODES 67896
16.34 d CHECKS 47087819
16.34
16.34 totalWckTime=15.911 totalCpuTime=15.53
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-227172-1168277541 -o ROOT/results/node33/solver-227172-1168277541 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227172-1168277541/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.98 1.67 1.92 3/68 20423
/proc/meminfo: memFree=724800/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=172 CPUtime=0
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 217 0 0 0 0 0 0 0 20 0 1 0 176147969 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10945316 0 0 4096 0 0 0 0 17 0 0 0
/proc/20422/statm: 43 24 18 14 0 3 0
[startup+0.102251 s]
/proc/loadavg: 0.98 1.67 1.92 3/68 20423
/proc/meminfo: memFree=724800/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=9748 CPUtime=0
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 176147969 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10945316 0 2147483391 0 7368 0 0 0 17 0 0 0
/proc/20422/statm: 2437 412 333 14 0 1140 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9748
[startup+0.510299 s]
/proc/loadavg: 0.98 1.67 1.92 3/68 20423
/proc/meminfo: memFree=724800/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=915884 CPUtime=0.29
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 5100 0 5 0 26 3 0 0 16 0 8 0 176147969 937865216 4850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160642497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20422/statm: 228971 4850 1972 14 0 215459 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 915884
[startup+1.33347 s]
/proc/loadavg: 0.98 1.67 1.92 4/88 20489
/proc/meminfo: memFree=689760/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=916188 CPUtime=1.1
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 8744 0 5 0 103 7 0 0 21 0 8 0 176147969 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073915097 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20422/statm: 229047 8486 2524 14 0 215517 0
[pid=20422/tid=20424] ppid=20420 vsize=916188 CPUtime=0.03
/proc/20422/task/20424/stat : 20424 (java) S 20420 20422 20351 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176147982 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20425] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20425/stat : 20425 (java) S 20420 20422 20351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20426] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20426/stat : 20426 (java) S 20420 20422 20351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20430] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20430/stat : 20430 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176147986 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20431] ppid=20420 vsize=916188 CPUtime=0.23
/proc/20422/task/20431/stat : 20431 (java) S 20420 20422 20351 0 -1 64 407 0 0 0 22 1 0 0 15 0 8 0 176147986 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20432] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20432/stat : 20432 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176147986 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20433] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20433/stat : 20433 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176147986 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 916188
[startup+2.9808 s]
/proc/loadavg: 0.98 1.67 1.92 4/88 20489
/proc/meminfo: memFree=688800/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=916188 CPUtime=2.74
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 8805 0 5 0 266 8 0 0 25 0 8 0 176147969 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20422/statm: 229047 8546 2524 14 0 215517 0
[pid=20422/tid=20424] ppid=20420 vsize=916188 CPUtime=0.03
/proc/20422/task/20424/stat : 20424 (java) S 20420 20422 20351 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176147982 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20425] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20425/stat : 20425 (java) S 20420 20422 20351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20426] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20426/stat : 20426 (java) S 20420 20422 20351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20430] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20430/stat : 20430 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176147986 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20431] ppid=20420 vsize=916188 CPUtime=0.26
/proc/20422/task/20431/stat : 20431 (java) S 20420 20422 20351 0 -1 64 423 0 0 0 25 1 0 0 16 0 8 0 176147986 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20432] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20432/stat : 20432 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176147986 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20433] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20433/stat : 20433 (java) R 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176147986 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 916188
[startup+6.26748 s]
/proc/loadavg: 1.06 1.68 1.92 3/88 20489
/proc/meminfo: memFree=688672/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=916188 CPUtime=6.01
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 8814 0 5 0 593 8 0 0 25 0 8 0 176147969 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20422/statm: 229047 8554 2524 14 0 215517 0
[pid=20422/tid=20424] ppid=20420 vsize=916188 CPUtime=0.03
/proc/20422/task/20424/stat : 20424 (java) S 20420 20422 20351 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176147982 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20425] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20425/stat : 20425 (java) S 20420 20422 20351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20426] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20426/stat : 20426 (java) S 20420 20422 20351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20430] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20430/stat : 20430 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176147986 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20431] ppid=20420 vsize=916188 CPUtime=0.26
/proc/20422/task/20431/stat : 20431 (java) S 20420 20422 20351 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 176147986 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20432] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20432/stat : 20432 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176147986 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20433] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20433/stat : 20433 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176147986 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 916188
[startup+12.7528 s]
/proc/loadavg: 1.14 1.68 1.92 3/88 20489
/proc/meminfo: memFree=688608/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=916188 CPUtime=12.46
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 8819 0 5 0 1238 8 0 0 25 0 8 0 176147969 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073907790 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20422/statm: 229047 8559 2524 14 0 215517 0
[pid=20422/tid=20424] ppid=20420 vsize=916188 CPUtime=0.03
/proc/20422/task/20424/stat : 20424 (java) S 20420 20422 20351 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176147982 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20425] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20425/stat : 20425 (java) S 20420 20422 20351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20426] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20426/stat : 20426 (java) S 20420 20422 20351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20430] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20430/stat : 20430 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176147986 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20431] ppid=20420 vsize=916188 CPUtime=0.26
/proc/20422/task/20431/stat : 20431 (java) S 20420 20422 20351 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 176147986 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20432] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20432/stat : 20432 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176147986 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20433] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20433/stat : 20433 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176147986 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 916188
Child status: 0
Real time (s): 16.3578
CPU time (s): 16.0556
CPU user time (s): 15.9656
CPU system time (s): 0.089986
CPU usage (%): 98.1526
Max. virtual memory (cumulated for all children) (KiB): 916188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9656
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8914
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1613
involuntary context switches= 1886
runsolver used 0.029995 s user time and 0.056991 s system time
The end
Begin job on node33 on Mon Jan 8 17:32:21 UTC 2007
IDJOB= 227172
IDBENCH= 6055
FILE ID= node33/227172-1168277541
PBS_JOBID= 3483353
Free space on /tmp= 66563 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227172-1168277541/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-227172-1168277541 -o ROOT/results/node33/solver-227172-1168277541 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227172-1168277541/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4737fa27592665f0d0d4d0fbdc360c52
RANDOM SEED= 62866490
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.281
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.281
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: 725408 kB
Buffers: 7688 kB
Cached: 1253584 kB
SwapCached: 264 kB
Active: 505352 kB
Inactive: 775540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 725408 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 29304 kB
Slab: 35372 kB
Committed_AS: 3351964 kB
PageTables: 1616 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= 66562 MiB
End job on node33 on Mon Jan 8 17:32:38 UTC 2007