0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/194680-1168105471/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.43 => wckTime=0.103 cpuTime=0.1 mem=6M951
0.43
0.43 relations being loaded...
0.58
0.58 constraints being loaded...
0.72 nbConstraints=467 nbRelationTypes=467 nbExtensionStructures=467 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=467 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2446 maxDegree=28
0.72 maxArity=2
0.72 => wckTime=0.395 cpuTime=0.3 mem=17M695
0.77
0.77 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.604 cpuTime=0.44 mem=15M580
0.99
0.99 preprocessing
0.99 nbConstraintChecks=121283 nbPropagations=1295 nbRevisions=11230 nbUselessRevisions=9446 nbSingletonTests=63
1.00 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.00 => wckTime=0.062 cpuTime=0.05 mem=15M580
1.02
1.02 search
1.02 run=0 nbConstraintChecks=46275 nbPropagations=1911 nbRevisions=18610 nbUselessRevisions=15657 nbAssignments=27
1.02 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.092 cpuTime=0.07 mem=15M580
1.05
1.05 search
1.05 run=1 nbConstraintChecks=101962 nbPropagations=4560 nbRevisions=46729 nbUselessRevisions=39237
1.05 nbAssignments=65 nbFailedAssignments=16 nbBacktracks=25 nbVisitedNodes=98 nbRestartNogoods=4 mapSize=21
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.113 cpuTime=0.08 mem=15M580
1.07
1.07 search
1.07 run=2 nbConstraintChecks=212250 nbPropagations=8519 nbRevisions=89927 nbUselessRevisions=75171
1.07 nbAssignments=133 nbFailedAssignments=29 nbBacktracks=47 nbVisitedNodes=171 nbRestartNogoods=7 mapSize=37
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.134 cpuTime=0.1 mem=15M580
1.09
1.09 search
1.09 run=3 nbConstraintChecks=311588 nbPropagations=13736 nbRevisions=150652 nbUselessRevisions=125288
1.09 nbAssignments=201 nbFailedAssignments=51 nbBacktracks=81 nbVisitedNodes=279 nbRestartNogoods=11 mapSize=63
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.156 cpuTime=0.12 mem=15M580
1.12
1.12 search
1.12 run=4 nbConstraintChecks=441657 nbPropagations=20513 nbRevisions=233971 nbUselessRevisions=193930
1.12 nbAssignments=283 nbFailedAssignments=75 nbBacktracks=131 nbVisitedNodes=408 nbRestartNogoods=17 mapSize=99
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.183 cpuTime=0.15 mem=15M580
1.16
1.16 search
1.16 run=5 nbConstraintChecks=642054 nbPropagations=29794 nbRevisions=355198 nbUselessRevisions=294453
1.16 nbAssignments=421 nbFailedAssignments=125 nbBacktracks=211 nbVisitedNodes=638 nbRestartNogoods=20 mapSize=165
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.23 cpuTime=0.19 mem=15M580
1.22
1.22 search
1.22 run=6 nbConstraintChecks=960419 nbPropagations=43126 nbRevisions=534255 nbUselessRevisions=442723
1.22 nbAssignments=618 nbFailedAssignments=199 nbBacktracks=325 nbVisitedNodes=970 nbRestartNogoods=22 mapSize=259
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.288 cpuTime=0.24 mem=15M580
1.29
1.29 search
1.29 run=7 nbConstraintChecks=1337140 nbPropagations=61503 nbRevisions=785780 nbUselessRevisions=650285
1.29 nbAssignments=899 nbFailedAssignments=299 nbBacktracks=495 nbVisitedNodes=1439 nbRestartNogoods=26 mapSize=399
1.29 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.362 cpuTime=0.32 mem=15M580
1.44
1.44 search
1.44 run=8 nbConstraintChecks=2127699 nbPropagations=88946 nbRevisions=1182596 nbUselessRevisions=977313
1.44 nbAssignments=1350 nbFailedAssignments=480 nbBacktracks=756 nbVisitedNodes=2219 nbRestartNogoods=31
1.44 mapSize=616 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.504 cpuTime=0.45 mem=15M580
1.62
1.62 search
1.62 run=9 nbConstraintChecks=3061661 nbPropagations=128624 nbRevisions=1763403 nbUselessRevisions=1454959
1.62 nbAssignments=1998 nbFailedAssignments=734 nbBacktracks=1142 nbVisitedNodes=3328 nbRestartNogoods=35
1.62 mapSize=938 nbInferences=0 nbTooLargeKeys=0
1.62 => wckTime=0.688 cpuTime=0.62 mem=15M580
1.69
1.69 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=15M580)
1.89
1.89 search
1.89 run=10 nbConstraintChecks=4664643 nbPropagations=187588 nbRevisions=2647233 nbUselessRevisions=2182214
1.89 nbAssignments=2972 nbFailedAssignments=1121 nbBacktracks=1719 nbVisitedNodes=5016 nbRestartNogoods=39
1.89 => wckTime=0.955 cpuTime=0.88 mem=15M580
2.24
2.24 search
2.24 run=11 nbConstraintChecks=6913760 nbPropagations=274251 nbRevisions=3960586 nbUselessRevisions=3263469
2.24 nbAssignments=4364 nbFailedAssignments=1641 nbBacktracks=2583 nbVisitedNodes=7394 nbRestartNogoods=44
2.24 => wckTime=1.311 cpuTime=1.23 mem=15M580
2.78
2.78 search
2.78 run=12 nbConstraintChecks=10420445 nbPropagations=401133 nbRevisions=5902107 nbUselessRevisions=4857173
2.78 nbAssignments=6449 nbFailedAssignments=2419 nbBacktracks=3883 nbVisitedNodes=10951 nbRestartNogoods=51
2.78 => wckTime=1.847 cpuTime=1.76 mem=15M580
3.48
3.48 search
3.48 run=13 nbConstraintChecks=14801703 nbPropagations=584012 nbRevisions=8671550 nbUselessRevisions=7126726
3.48 nbAssignments=9546 nbFailedAssignments=3544 nbBacktracks=5831 nbVisitedNodes=16119 nbRestartNogoods=58
3.48 => wckTime=2.552 cpuTime=2.46 mem=15M580
4.76
4.76 search
4.76 run=14 nbConstraintChecks=22931119 nbPropagations=866182 nbRevisions=13023154 nbUselessRevisions=10704664
4.76 nbAssignments=14524 nbFailedAssignments=5593 nbBacktracks=8750 nbVisitedNodes=24807 nbRestartNogoods=67
4.76 => wckTime=3.829 cpuTime=3.73 mem=15M580
6.32
6.32 search
6.32 run=15 nbConstraintChecks=32385790 nbPropagations=1277304 nbRevisions=19298808 nbUselessRevisions=15864555
6.32 nbAssignments=21464 nbFailedAssignments=8122 nbBacktracks=13130 nbVisitedNodes=36552 nbRestartNogoods=75
6.32 => wckTime=5.389 cpuTime=5.29 mem=15M580
8.84
8.84 search
8.84 run=16 nbConstraintChecks=48984379 nbPropagations=1886179 nbRevisions=28533566 nbUselessRevisions=23432733
8.84 nbAssignments=31850 nbFailedAssignments=11904 nbBacktracks=19699 nbVisitedNodes=54064 nbRestartNogoods=84
8.84 => wckTime=7.908 cpuTime=7.8 mem=16M556
13.04
13.04 search
13.04 run=17 nbConstraintChecks=77143258 nbPropagations=2818537 nbRevisions=42851344 nbUselessRevisions=35170459
13.04 nbAssignments=48247 nbFailedAssignments=18438 nbBacktracks=29551 nbVisitedNodes=82471 nbRestartNogoods=95
13.04 => wckTime=12.106 cpuTime=11.98 mem=16M556
18.28
18.28 search
18.28 run=18 nbConstraintChecks=112148842 nbPropagations=4195390 nbRevisions=63955502 nbUselessRevisions=52493826
18.28 nbAssignments=71509 nbFailedAssignments=26910 nbBacktracks=44329 nbVisitedNodes=121785 nbRestartNogoods=105
18.28 => wckTime=17.35 cpuTime=17.22 mem=16M556
22.90
22.90 search
22.90 run=19 nbConstraintChecks=142735961 nbPropagations=5969152 nbRevisions=91201939 nbUselessRevisions=74894479
22.90 nbAssignments=92726 nbFailedAssignments=34810 nbBacktracks=57596 nbVisitedNodes=157922 nbRestartNogoods=121
22.90 => wckTime=21.964 cpuTime=21.82 mem=16M556
22.90
22.90 global
22.90 nbConstraintChecks=142857244 nbPropagations=5970447 nbRevisions=91213169 nbUselessRevisions=74903925
22.90 nbRestartNogoods=121 solvingWckTime=21.965 solvingCpuTime=21.82 expiredTime=no totalExploration=no
22.90 nbFoundSolutions=1 globalCpuTime=22.3
22.90 => wckTime=22.572 cpuTime=22.26 mem=16M556
22.90
22.90 s SATISFIABLE
22.90 v 12 20 12 18 5 16 2 14 6 16 14 22 22 9 1 4 20 16 9 9 9 2 17 2 19 3 0 12 3 0 14 1 20 11 14 3 0 3 18 5 5 22 6 20 18 9 4 6 8 2
22.90 d NODES 92726
22.90 d CHECKS 142857244
22.90
22.90 totalWckTime=22.653 totalCpuTime=22.3
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-194680-1168105471 -o ROOT/results/node30/solver-194680-1168105471 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194680-1168105471/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.93 2.00 1.93 4/86 9846
/proc/meminfo: memFree=1113752/2055920 swapFree=4191880/4192956
[pid=9845] ppid=9843 vsize=18540 CPUtime=0
/proc/9845/stat : 9845 (runsolver) R 9843 9845 9218 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 158941065 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264907582759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9845/statm: 4635 279 244 17 0 2626 0
[startup+0.107794 s]
/proc/loadavg: 1.93 2.00 1.93 4/86 9846
/proc/meminfo: memFree=1113752/2055920 swapFree=4191880/4192956
[pid=9845] ppid=9843 vsize=913068 CPUtime=0.08
/proc/9845/stat : 9845 (java) S 9843 9845 9218 0 -1 0 2873 0 1 0 6 2 0 0 17 0 8 0 158941065 934981632 2619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9845/statm: 228267 2619 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.515817 s]
/proc/loadavg: 1.93 2.00 1.93 4/86 9846
/proc/meminfo: memFree=1113752/2055920 swapFree=4191880/4192956
[pid=9845] ppid=9843 vsize=915328 CPUtime=0.48
/proc/9845/stat : 9845 (java) R 9843 9845 9218 0 -1 0 6837 0 1 0 43 5 0 0 18 0 8 0 158941065 937295872 6576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9845/statm: 228832 6576 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33687 s]
/proc/loadavg: 1.93 2.00 1.93 3/93 9853
/proc/meminfo: memFree=1086048/2055920 swapFree=4191880/4192956
[pid=9845] ppid=9843 vsize=915460 CPUtime=1.3
/proc/9845/stat : 9845 (java) R 9843 9845 9218 0 -1 0 9636 0 1 0 122 8 0 0 24 0 8 0 158941065 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9845/statm: 228865 9374 2524 14 0 215335 0
[pid=9845/tid=9847] ppid=9843 vsize=915460 CPUtime=0.03
/proc/9845/task/9847/stat : 9847 (java) S 9843 9845 9218 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158941069 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9848] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9848/stat : 9848 (java) S 9843 9845 9218 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158941070 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9849] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9849/stat : 9849 (java) S 9843 9845 9218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158941070 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9850] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9850/stat : 9850 (java) S 9843 9845 9218 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158941074 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9851] ppid=9843 vsize=915460 CPUtime=0.21
/proc/9845/task/9851/stat : 9851 (java) S 9843 9845 9218 0 -1 64 381 0 0 0 20 1 0 0 15 0 8 0 158941074 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9852] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9852/stat : 9852 (java) S 9843 9845 9218 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158941074 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9853] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9853/stat : 9853 (java) S 9843 9845 9218 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158941074 937431040 9374 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+2.97497 s]
/proc/loadavg: 1.93 2.00 1.93 3/93 9853
/proc/meminfo: memFree=1085920/2055920 swapFree=4191880/4192956
[pid=9845] ppid=9843 vsize=915460 CPUtime=2.93
/proc/9845/stat : 9845 (java) R 9843 9845 9218 0 -1 0 9654 0 1 0 285 8 0 0 25 0 8 0 158941065 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810658 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9845/statm: 228865 9390 2524 14 0 215335 0
[pid=9845/tid=9847] ppid=9843 vsize=915460 CPUtime=0.03
/proc/9845/task/9847/stat : 9847 (java) S 9843 9845 9218 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158941069 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9848] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9848/stat : 9848 (java) S 9843 9845 9218 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158941070 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9849] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9849/stat : 9849 (java) S 9843 9845 9218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158941070 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9850] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9850/stat : 9850 (java) S 9843 9845 9218 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158941074 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9851] ppid=9843 vsize=915460 CPUtime=0.24
/proc/9845/task/9851/stat : 9851 (java) S 9843 9845 9218 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 158941074 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9852] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9852/stat : 9852 (java) S 9843 9845 9218 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158941074 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9853] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9853/stat : 9853 (java) S 9843 9845 9218 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158941074 937431040 9390 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+6.27418 s]
/proc/loadavg: 1.93 2.00 1.93 3/93 9853
/proc/meminfo: memFree=1085928/2055920 swapFree=4191880/4192956
[pid=9845] ppid=9843 vsize=915460 CPUtime=6.21
/proc/9845/stat : 9845 (java) R 9843 9845 9218 0 -1 0 9654 0 1 0 613 8 0 0 25 0 8 0 158941065 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9845/statm: 228865 9390 2524 14 0 215335 0
[pid=9845/tid=9847] ppid=9843 vsize=915460 CPUtime=0.03
/proc/9845/task/9847/stat : 9847 (java) S 9843 9845 9218 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158941069 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9848] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9848/stat : 9848 (java) S 9843 9845 9218 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158941070 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9849] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9849/stat : 9849 (java) S 9843 9845 9218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158941070 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9850] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9850/stat : 9850 (java) S 9843 9845 9218 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158941074 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9851] ppid=9843 vsize=915460 CPUtime=0.24
/proc/9845/task/9851/stat : 9851 (java) S 9843 9845 9218 0 -1 64 398 0 0 0 23 1 0 0 15 0 8 0 158941074 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9852] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9852/stat : 9852 (java) S 9843 9845 9218 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158941074 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9853] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9853/stat : 9853 (java) S 9843 9845 9218 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158941074 937431040 9390 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+12.7426 s]
/proc/loadavg: 1.94 2.00 1.93 3/93 9853
/proc/meminfo: memFree=1085992/2055920 swapFree=4191880/4192956
[pid=9845] ppid=9843 vsize=915460 CPUtime=12.65
/proc/9845/stat : 9845 (java) R 9843 9845 9218 0 -1 0 9654 0 1 0 1257 8 0 0 25 0 8 0 158941065 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814561 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9845/statm: 228865 9390 2524 14 0 215335 0
[pid=9845/tid=9847] ppid=9843 vsize=915460 CPUtime=0.03
/proc/9845/task/9847/stat : 9847 (java) S 9843 9845 9218 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158941069 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9848] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9848/stat : 9848 (java) S 9843 9845 9218 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158941070 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9849] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9849/stat : 9849 (java) S 9843 9845 9218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158941070 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9850] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9850/stat : 9850 (java) S 9843 9845 9218 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158941074 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9851] ppid=9843 vsize=915460 CPUtime=0.24
/proc/9845/task/9851/stat : 9851 (java) S 9843 9845 9218 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 158941074 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9852] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9852/stat : 9852 (java) S 9843 9845 9218 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158941074 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9845/tid=9853] ppid=9843 vsize=915460 CPUtime=0
/proc/9845/task/9853/stat : 9853 (java) S 9843 9845 9218 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158941074 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 22.9479
CPU time (s): 22.8145
CPU user time (s): 22.6896
CPU system time (s): 0.124981
CPU usage (%): 99.4188
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.6896
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9664
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= 1620
involuntary context switches= 2214
runsolver used 0.033994 s user time and 0.079987 s system time
The end
Begin job on node30 on Sat Jan 6 17:44:31 UTC 2007
IDJOB= 194680
IDBENCH= 3227
FILE ID= node30/194680-1168105471
PBS_JOBID= 3477229
Free space on /tmp= 66482 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194680-1168105471/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-194680-1168105471 -o ROOT/results/node30/solver-194680-1168105471 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194680-1168105471/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d35ef7e8b2363094ba89790652b7a3f6
RANDOM SEED= 283516025
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.234
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.234
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: 1114240 kB
Buffers: 53084 kB
Cached: 739120 kB
SwapCached: 268 kB
Active: 224440 kB
Inactive: 629124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1114240 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2152 kB
Writeback: 0 kB
Mapped: 79916 kB
Slab: 72924 kB
Committed_AS: 3200348 kB
PageTables: 2188 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= 66480 MiB
End job on node30 on Sat Jan 6 17:44:55 UTC 2007