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/194604-1168103764/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.57
0.57 constraints being loaded...
0.70 nbConstraints=465 nbRelationTypes=465 nbExtensionStructures=465 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=465 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2329 maxDegree=28
0.71 maxArity=2
0.71 => wckTime=0.384 cpuTime=0.28 mem=17M696
0.76
0.76 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.593 cpuTime=0.41 mem=15M578
0.98
0.98 preprocessing
0.98 nbConstraintChecks=115069 nbPropagations=1243 nbRevisions=9911 nbUselessRevisions=8346 nbSingletonTests=63
0.98 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.98 => wckTime=0.059 cpuTime=0.03 mem=15M578
1.01
1.01 search
1.01 run=0 nbConstraintChecks=53676 nbPropagations=1866 nbRevisions=18262 nbUselessRevisions=15250 nbAssignments=33
1.01 nbFailedAssignments=12 nbBacktracks=13 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=13 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.09 cpuTime=0.06 mem=15M578
1.03
1.03 search
1.03 run=1 nbConstraintChecks=119257 nbPropagations=4516 nbRevisions=47140 nbUselessRevisions=39041
1.03 nbAssignments=72 nbFailedAssignments=26 nbBacktracks=30 nbVisitedNodes=117 nbRestartNogoods=1 mapSize=29
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.112 cpuTime=0.07 mem=15M578
1.04
1.04 search
1.04 run=2 nbConstraintChecks=185985 nbPropagations=8043 nbRevisions=87651 nbUselessRevisions=72518
1.04 nbAssignments=120 nbFailedAssignments=40 nbBacktracks=54 nbVisitedNodes=190 nbRestartNogoods=2 mapSize=48
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.125 cpuTime=0.08 mem=15M578
1.07
1.07 search
1.07 run=3 nbConstraintChecks=315299 nbPropagations=13105 nbRevisions=147108 nbUselessRevisions=121670
1.07 nbAssignments=203 nbFailedAssignments=57 nbBacktracks=91 nbVisitedNodes=288 nbRestartNogoods=4 mapSize=74
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.15 cpuTime=0.11 mem=15M578
1.10
1.10 search
1.10 run=4 nbConstraintChecks=474806 nbPropagations=20080 nbRevisions=235121 nbUselessRevisions=194330
1.10 nbAssignments=308 nbFailedAssignments=99 nbBacktracks=142 nbVisitedNodes=462 nbRestartNogoods=6 mapSize=116
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.181 cpuTime=0.14 mem=15M578
1.14
1.14 search
1.14 run=5 nbConstraintChecks=682941 nbPropagations=29584 nbRevisions=359234 nbUselessRevisions=296423
1.14 nbAssignments=444 nbFailedAssignments=148 nbBacktracks=218 nbVisitedNodes=685 nbRestartNogoods=11 mapSize=173
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.227 cpuTime=0.17 mem=15M578
1.20
1.20 search
1.20 run=6 nbConstraintChecks=978039 nbPropagations=42748 nbRevisions=536383 nbUselessRevisions=441452
1.20 nbAssignments=641 nbFailedAssignments=220 nbBacktracks=333 nbVisitedNodes=1013 nbRestartNogoods=15 mapSize=262
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.279 cpuTime=0.22 mem=15M578
1.27
1.27 search
1.27 run=7 nbConstraintChecks=1360893 nbPropagations=60894 nbRevisions=787786 nbUselessRevisions=647725
1.27 nbAssignments=917 nbFailedAssignments=315 nbBacktracks=503 nbVisitedNodes=1473 nbRestartNogoods=18 mapSize=391
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.349 cpuTime=0.29 mem=15M578
1.38
1.38 search
1.38 run=8 nbConstraintChecks=1988254 nbPropagations=86945 nbRevisions=1161257 nbUselessRevisions=954995
1.38 nbAssignments=1343 nbFailedAssignments=473 nbBacktracks=759 nbVisitedNodes=2192 nbRestartNogoods=25
1.38 mapSize=597 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.464 cpuTime=0.4 mem=15M578
1.54
1.54 search
1.54 run=9 nbConstraintChecks=2868218 nbPropagations=124354 nbRevisions=1698659 nbUselessRevisions=1396270
1.54 nbAssignments=1977 nbFailedAssignments=685 nbBacktracks=1144 nbVisitedNodes=3206 nbRestartNogoods=35
1.54 mapSize=900 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.627 cpuTime=0.55 mem=15M578
1.61
1.61 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=15M578)
1.79
1.79 search
1.79 run=10 nbConstraintChecks=4394572 nbPropagations=179833 nbRevisions=2518573 nbUselessRevisions=2070145
1.79 nbAssignments=2922 nbFailedAssignments=1045 nbBacktracks=1721 nbVisitedNodes=4814 nbRestartNogoods=40
1.79 => wckTime=0.871 cpuTime=0.78 mem=15M578
2.09
2.09 search
2.09 run=11 nbConstraintChecks=6316558 nbPropagations=260251 nbRevisions=3708674 nbUselessRevisions=3047562
2.09 nbAssignments=4303 nbFailedAssignments=1537 nbBacktracks=2585 nbVisitedNodes=7112 nbRestartNogoods=50
2.09 => wckTime=1.174 cpuTime=1.09 mem=15M578
2.63
2.63 search
2.63 run=12 nbConstraintChecks=10002351 nbPropagations=383886 nbRevisions=5592044 nbUselessRevisions=4595307
2.63 nbAssignments=6488 nbFailedAssignments=2412 nbBacktracks=3884 nbVisitedNodes=10898 nbRestartNogoods=58
2.63 => wckTime=1.712 cpuTime=1.62 mem=15M578
3.32
3.32 search
3.32 run=13 nbConstraintChecks=14579748 nbPropagations=566087 nbRevisions=8360731 nbUselessRevisions=6870060
3.32 nbAssignments=9614 nbFailedAssignments=3577 nbBacktracks=5831 nbVisitedNodes=16166 nbRestartNogoods=68
3.32 => wckTime=2.403 cpuTime=2.3 mem=15M578
4.52
4.52 search
4.52 run=14 nbConstraintChecks=22983257 nbPropagations=844403 nbRevisions=12695430 nbUselessRevisions=10437834
4.52 nbAssignments=14494 nbFailedAssignments=5526 nbBacktracks=8752 nbVisitedNodes=24624 nbRestartNogoods=77
4.52 => wckTime=3.599 cpuTime=3.49 mem=15M578
6.06
6.06 search
6.06 run=15 nbConstraintChecks=33168543 nbPropagations=1250651 nbRevisions=19000783 nbUselessRevisions=15622932
6.06 nbAssignments=21309 nbFailedAssignments=7952 nbBacktracks=13130 nbVisitedNodes=36089 nbRestartNogoods=85
6.06 => wckTime=5.144 cpuTime=5.02 mem=16M553
8.81
8.81 search
8.81 run=16 nbConstraintChecks=52060425 nbPropagations=1876894 nbRevisions=28769893 nbUselessRevisions=23644207
8.81 nbAssignments=32664 nbFailedAssignments=12691 nbBacktracks=19698 nbVisitedNodes=55826 nbRestartNogoods=98
8.81 => wckTime=7.892 cpuTime=7.74 mem=16M553
12.40
12.41 search
12.41 run=17 nbConstraintChecks=75988360 nbPropagations=2799176 nbRevisions=43076735 nbUselessRevisions=35383105
12.41 nbAssignments=48495 nbFailedAssignments=18659 nbBacktracks=29551 nbVisitedNodes=82744 nbRestartNogoods=108
12.41 => wckTime=11.488 cpuTime=11.31 mem=16M553
18.16
18.16 search
18.16 run=18 nbConstraintChecks=115419735 nbPropagations=4188301 nbRevisions=64682800 nbUselessRevisions=53113812
18.16 nbAssignments=72515 nbFailedAssignments=27888 nbBacktracks=44331 nbVisitedNodes=123865 nbRestartNogoods=121
18.16 => wckTime=17.246 cpuTime=17.0 mem=16M553
25.56
25.56 search
25.56 run=19 nbConstraintChecks=164488105 nbPropagations=6196194 nbRevisions=95559478 nbUselessRevisions=78434600
25.56 nbAssignments=106510 nbFailedAssignments=39703 nbBacktracks=66501 nbVisitedNodes=180274 nbRestartNogoods=128
25.56 => wckTime=24.639 cpuTime=24.32 mem=16M553
38.47
38.48 search
38.48 run=20 nbConstraintChecks=254167363 nbPropagations=9248312 nbRevisions=142773550 nbUselessRevisions=117153573
38.48 nbAssignments=160194 nbFailedAssignments=60126 nbBacktracks=99753 nbVisitedNodes=272052 nbRestartNogoods=136
38.48 => wckTime=37.558 cpuTime=37.12 mem=16M553
56.76
56.76 search
56.76 run=21 nbConstraintChecks=377422742 nbPropagations=13812691 nbRevisions=213047168 nbUselessRevisions=174787319
56.76 nbAssignments=239003 nbFailedAssignments=89046 nbBacktracks=149631 nbVisitedNodes=405884 nbRestartNogoods=155
56.76 => wckTime=55.843 cpuTime=55.25 mem=16M553
71.64
71.64 search
71.64 run=22 nbConstraintChecks=475266106 nbPropagations=19587277 nbRevisions=302610148 nbUselessRevisions=248366046
71.64 nbAssignments=303283 nbFailedAssignments=113609 nbBacktracks=189298 nbVisitedNodes=515509 nbRestartNogoods=162
71.64 => wckTime=70.725 cpuTime=69.98 mem=16M553
71.64
71.64 global
71.64 nbConstraintChecks=475381175 nbPropagations=19588520 nbRevisions=302620059 nbUselessRevisions=248374392
71.64 nbRestartNogoods=162 solvingWckTime=70.726 solvingCpuTime=69.98 expiredTime=no totalExploration=no
71.64 nbFoundSolutions=1 globalCpuTime=70.45
71.64 => wckTime=71.323 cpuTime=70.4 mem=16M553
71.65
71.65 s SATISFIABLE
71.65 v 10 11 2 9 15 21 10 12 17 4 7 13 2 13 1 1 6 19 15 3 3 4 4 12 19 6 17 4 18 0 20 5 12 14 1 5 11 11 3 7 20 14 2 8 4 18 13 4 5 14
71.65 d NODES 303283
71.65 d CHECKS 475381175
71.65
71.65 totalWckTime=71.403 totalCpuTime=70.45
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-194604-1168103764 -o ROOT/results/node1/solver-194604-1168103764 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194604-1168103764/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.56 1.89 1.85 4/87 29049
/proc/meminfo: memFree=1192072/2055920 swapFree=4165584/4192956
[pid=29048] ppid=29046 vsize=18540 CPUtime=0
/proc/29048/stat : 29048 (runsolver) R 29046 29048 28981 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 158773226 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/29048/statm: 4635 279 244 17 0 2626 0
[startup+0.107533 s]
/proc/loadavg: 1.56 1.89 1.85 4/87 29049
/proc/meminfo: memFree=1192072/2055920 swapFree=4165584/4192956
[pid=29048] ppid=29046 vsize=912908 CPUtime=0.07
/proc/29048/stat : 29048 (java) R 29046 29048 28981 0 -1 0 2805 0 1 0 5 2 0 0 24 0 8 0 158773226 934817792 2551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29048/statm: 228227 2551 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908
[startup+0.516577 s]
/proc/loadavg: 1.56 1.89 1.85 4/87 29049
/proc/meminfo: memFree=1192072/2055920 swapFree=4165584/4192956
[pid=29048] ppid=29046 vsize=915328 CPUtime=0.48
/proc/29048/stat : 29048 (java) R 29046 29048 28981 0 -1 0 6993 0 1 0 43 5 0 0 25 0 8 0 158773226 937295872 6732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29048/statm: 228832 6732 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34567 s]
/proc/loadavg: 1.56 1.89 1.85 3/94 29056
/proc/meminfo: memFree=1164432/2055920 swapFree=4165584/4192956
[pid=29048] ppid=29046 vsize=915460 CPUtime=1.3
/proc/29048/stat : 29048 (java) R 29046 29048 28981 0 -1 0 9636 0 1 0 122 8 0 0 25 0 8 0 158773226 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29048/statm: 228865 9374 2524 14 0 215335 0
[pid=29048/tid=29050] ppid=29046 vsize=915460 CPUtime=0.03
/proc/29048/task/29050/stat : 29050 (java) S 29046 29048 28981 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158773231 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29051/stat : 29051 (java) S 29046 29048 28981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158773232 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29052] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29052/stat : 29052 (java) S 29046 29048 28981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158773232 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29053] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29053/stat : 29053 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158773235 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29054] ppid=29046 vsize=915460 CPUtime=0.22
/proc/29048/task/29054/stat : 29054 (java) R 29046 29048 28981 0 -1 64 383 0 0 0 21 1 0 0 15 0 8 0 158773235 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153632215 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29055] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29055/stat : 29055 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 158773235 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29056] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29056/stat : 29056 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158773235 937431040 9374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98986 s]
/proc/loadavg: 1.56 1.89 1.85 3/94 29056
/proc/meminfo: memFree=1164240/2055920 swapFree=4165584/4192956
[pid=29048] ppid=29046 vsize=915460 CPUtime=2.92
/proc/29048/stat : 29048 (java) R 29046 29048 28981 0 -1 0 9652 0 1 0 284 8 0 0 25 0 8 0 158773226 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29048/statm: 228865 9389 2524 14 0 215335 0
[pid=29048/tid=29050] ppid=29046 vsize=915460 CPUtime=0.03
/proc/29048/task/29050/stat : 29050 (java) S 29046 29048 28981 0 -1 64 407 0 0 0 3 0 0 0 17 0 8 0 158773231 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29051/stat : 29051 (java) S 29046 29048 28981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158773232 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29052] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29052/stat : 29052 (java) S 29046 29048 28981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158773232 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29053] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29053/stat : 29053 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158773235 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29054] ppid=29046 vsize=915460 CPUtime=0.25
/proc/29048/task/29054/stat : 29054 (java) S 29046 29048 28981 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 158773235 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29055] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29055/stat : 29055 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 158773235 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29056] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29056/stat : 29056 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158773235 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.26924 s]
/proc/loadavg: 1.59 1.89 1.85 3/94 29056
/proc/meminfo: memFree=1164248/2055920 swapFree=4165584/4192956
[pid=29048] ppid=29046 vsize=915460 CPUtime=6.17
/proc/29048/stat : 29048 (java) R 29046 29048 28981 0 -1 0 9653 0 1 0 609 8 0 0 25 0 8 0 158773226 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29048/statm: 228865 9389 2524 14 0 215335 0
[pid=29048/tid=29050] ppid=29046 vsize=915460 CPUtime=0.03
/proc/29048/task/29050/stat : 29050 (java) S 29046 29048 28981 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158773231 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29051/stat : 29051 (java) S 29046 29048 28981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158773232 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29052] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29052/stat : 29052 (java) S 29046 29048 28981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158773232 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29053] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29053/stat : 29053 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158773235 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29054] ppid=29046 vsize=915460 CPUtime=0.25
/proc/29048/task/29054/stat : 29054 (java) S 29046 29048 28981 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 158773235 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29055] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29055/stat : 29055 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 158773235 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29056] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29056/stat : 29056 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158773235 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915460
[startup+12.756 s]
/proc/loadavg: 1.65 1.89 1.85 3/94 29056
/proc/meminfo: memFree=1164248/2055920 swapFree=4165584/4192956
[pid=29048] ppid=29046 vsize=915460 CPUtime=12.61
/proc/29048/stat : 29048 (java) R 29046 29048 28981 0 -1 0 9653 0 1 0 1253 8 0 0 25 0 8 0 158773226 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29048/statm: 228865 9389 2524 14 0 215335 0
[pid=29048/tid=29050] ppid=29046 vsize=915460 CPUtime=0.03
/proc/29048/task/29050/stat : 29050 (java) S 29046 29048 28981 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158773231 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29051/stat : 29051 (java) S 29046 29048 28981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158773232 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29052] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29052/stat : 29052 (java) S 29046 29048 28981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158773232 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29053] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29053/stat : 29053 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158773235 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29054] ppid=29046 vsize=915460 CPUtime=0.25
/proc/29048/task/29054/stat : 29054 (java) S 29046 29048 28981 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 158773235 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29055] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29055/stat : 29055 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 158773235 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29056] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29056/stat : 29056 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158773235 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.6025 s]
/proc/loadavg: 1.71 1.90 1.85 3/94 29056
/proc/meminfo: memFree=1164248/2055920 swapFree=4165584/4192956
[pid=29048] ppid=29046 vsize=915460 CPUtime=25.32
/proc/29048/stat : 29048 (java) R 29046 29048 28981 0 -1 0 9655 0 1 0 2523 9 0 0 25 0 8 0 158773226 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819883 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29048/statm: 228865 9390 2524 14 0 215335 0
[pid=29048/tid=29050] ppid=29046 vsize=915460 CPUtime=0.03
/proc/29048/task/29050/stat : 29050 (java) S 29046 29048 28981 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158773231 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29051/stat : 29051 (java) S 29046 29048 28981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158773232 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29052] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29052/stat : 29052 (java) S 29046 29048 28981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158773232 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29053] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29053/stat : 29053 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158773235 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29054] ppid=29046 vsize=915460 CPUtime=0.25
/proc/29048/task/29054/stat : 29054 (java) S 29046 29048 28981 0 -1 64 399 0 0 0 24 1 0 0 17 0 8 0 158773235 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29055] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29055/stat : 29055 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 158773235 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29056] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29056/stat : 29056 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158773235 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915460
[startup+51.2065 s]
/proc/loadavg: 1.81 1.90 1.86 4/94 29056
/proc/meminfo: memFree=1164248/2055920 swapFree=4165584/4192956
[pid=29048] ppid=29046 vsize=915460 CPUtime=50.71
/proc/29048/stat : 29048 (java) R 29046 29048 28981 0 -1 0 9655 0 1 0 5062 9 0 0 25 0 8 0 158773226 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819736 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29048/statm: 228865 9390 2524 14 0 215335 0
[pid=29048/tid=29050] ppid=29046 vsize=915460 CPUtime=0.03
/proc/29048/task/29050/stat : 29050 (java) S 29046 29048 28981 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 158773231 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29051/stat : 29051 (java) S 29046 29048 28981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158773232 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29052] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29052/stat : 29052 (java) S 29046 29048 28981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158773232 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29053] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29053/stat : 29053 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158773235 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29054] ppid=29046 vsize=915460 CPUtime=0.25
/proc/29048/task/29054/stat : 29054 (java) S 29046 29048 28981 0 -1 64 399 0 0 0 24 1 0 0 17 0 8 0 158773235 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29055] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29055/stat : 29055 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 158773235 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29056] ppid=29046 vsize=915460 CPUtime=0
/proc/29048/task/29056/stat : 29056 (java) S 29046 29048 28981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158773235 937431040 9390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 71.6754
CPU time (s): 70.9632
CPU user time (s): 70.8612
CPU system time (s): 0.101984
CPU usage (%): 99.0064
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.8612
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9665
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= 2673
involuntary context switches= 5388
runsolver used 0.103984 s user time and 0.228965 s system time
The end
Begin job on node1 on Sat Jan 6 17:16:12 UTC 2007
IDJOB= 194604
IDBENCH= 3223
FILE ID= node1/194604-1168103764
PBS_JOBID= 3477064
Free space on /tmp= 66288 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194604-1168103764/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-194604-1168103764 -o ROOT/results/node1/solver-194604-1168103764 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194604-1168103764/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3a4d4d2446682c799d4da996a2daf2b7
RANDOM SEED= 622763398
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: 1192744 kB
Buffers: 68140 kB
Cached: 612276 kB
SwapCached: 3664 kB
Active: 260828 kB
Inactive: 506204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1192744 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 2276 kB
Writeback: 0 kB
Mapped: 97396 kB
Slab: 80760 kB
Committed_AS: 4419692 kB
PageTables: 2448 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= 66288 MiB
End job on node1 on Sat Jan 6 17:17:26 UTC 2007