0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/217278-1168079358/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.41 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.56
0.56 constraints being loaded...
0.69 nbConstraints=435 nbRelationTypes=435 nbExtensionStructures=435 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=435 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1349 maxDegree=23
0.69 maxArity=2
0.69 => wckTime=0.38 cpuTime=0.29 mem=16M836
0.73
0.73 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.578 cpuTime=0.41 mem=15M319
0.90
0.90 preprocessing
0.90 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.90 detectedInconsistency=no
0.90 => wckTime=0.0080 cpuTime=0.0 mem=15M319
0.95
0.95 search
0.95 run=0 nbConstraintChecks=45708 nbPropagations=643 nbRevisions=7404 nbUselessRevisions=6219 nbAssignments=32
0.95 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.058 cpuTime=0.03 mem=15M319
0.97
0.97 search
0.97 run=1 nbConstraintChecks=103490 nbPropagations=1985 nbRevisions=23493 nbUselessRevisions=19583
0.97 nbAssignments=70 nbFailedAssignments=22 nbBacktracks=26 nbVisitedNodes=104 nbRestartNogoods=2 mapSize=22
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.084 cpuTime=0.05 mem=15M319
0.99
0.99 search
0.99 run=2 nbConstraintChecks=155343 nbPropagations=4002 nbRevisions=48054 nbUselessRevisions=39948
0.99 nbAssignments=107 nbFailedAssignments=31 nbBacktracks=48 nbVisitedNodes=159 nbRestartNogoods=6 mapSize=37
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.101 cpuTime=0.06 mem=15M319
1.01
1.01 search
1.01 run=3 nbConstraintChecks=296074 nbPropagations=7441 nbRevisions=92106 nbUselessRevisions=75649
1.01 nbAssignments=172 nbFailedAssignments=55 nbBacktracks=82 nbVisitedNodes=267 nbRestartNogoods=7 mapSize=65
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.126 cpuTime=0.09 mem=15M319
1.05
1.05 search
1.05 run=4 nbConstraintChecks=481491 nbPropagations=13117 nbRevisions=169017 nbUselessRevisions=138230
1.05 nbAssignments=271 nbFailedAssignments=93 nbBacktracks=132 nbVisitedNodes=443 nbRestartNogoods=12 mapSize=112
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.162 cpuTime=0.12 mem=15M319
1.09
1.09 search
1.09 run=5 nbConstraintChecks=698145 nbPropagations=21221 nbRevisions=279385 nbUselessRevisions=227643
1.09 nbAssignments=401 nbFailedAssignments=136 nbBacktracks=207 nbVisitedNodes=648 nbRestartNogoods=17 mapSize=166
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.205 cpuTime=0.16 mem=15M319
1.16
1.16 search
1.16 run=6 nbConstraintChecks=1044693 nbPropagations=33225 nbRevisions=443884 nbUselessRevisions=360440
1.16 nbAssignments=589 nbFailedAssignments=204 nbBacktracks=321 nbVisitedNodes=965 nbRestartNogoods=22 mapSize=262
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.27 cpuTime=0.23 mem=15M319
1.24
1.24 search
1.24 run=7 nbConstraintChecks=1473759 nbPropagations=50623 nbRevisions=685873 nbUselessRevisions=556537
1.24 nbAssignments=874 nbFailedAssignments=309 nbBacktracks=491 nbVisitedNodes=1442 nbRestartNogoods=24 mapSize=401
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.35 cpuTime=0.31 mem=15M319
1.38
1.38 search
1.38 run=8 nbConstraintChecks=2367584 nbPropagations=77405 nbRevisions=1064724 nbUselessRevisions=861337
1.39 nbAssignments=1333 nbFailedAssignments=505 nbBacktracks=748 nbVisitedNodes=2239 nbRestartNogoods=31
1.39 mapSize=617 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.497 cpuTime=0.45 mem=15M319
1.59
1.59 search
1.59 run=9 nbConstraintChecks=3516497 nbPropagations=118340 nbRevisions=1654461 nbUselessRevisions=1337913
1.59 nbAssignments=2039 nbFailedAssignments=816 nbBacktracks=1134 nbVisitedNodes=3490 nbRestartNogoods=34
1.59 mapSize=950 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.704 cpuTime=0.64 mem=15M319
1.65
1.65 INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=15M319)
1.86
1.86 search
1.86 run=10 nbConstraintChecks=5308961 nbPropagations=178783 nbRevisions=2520768 nbUselessRevisions=2034904
1.86 nbAssignments=2978 nbFailedAssignments=1171 nbBacktracks=1710 nbVisitedNodes=5086 nbRestartNogoods=38
1.86 => wckTime=0.972 cpuTime=0.9 mem=15M319
2.19
2.19 search
2.19 run=11 nbConstraintChecks=7473512 nbPropagations=265417 nbRevisions=3766953 nbUselessRevisions=3040896
2.19 nbAssignments=4358 nbFailedAssignments=1675 nbBacktracks=2575 nbVisitedNodes=7403 nbRestartNogoods=49
2.19 => wckTime=1.299 cpuTime=1.22 mem=15M319
2.71
2.71 search
2.71 run=12 nbConstraintChecks=11173673 nbPropagations=392832 nbRevisions=5590104 nbUselessRevisions=4507231
2.71 nbAssignments=6396 nbFailedAssignments=2408 nbBacktracks=3872 nbVisitedNodes=10825 nbRestartNogoods=55
2.71 => wckTime=1.825 cpuTime=1.74 mem=15M319
3.53
3.53 search
3.53 run=13 nbConstraintChecks=16770647 nbPropagations=584938 nbRevisions=8357000 nbUselessRevisions=6735706
3.53 nbAssignments=9621 nbFailedAssignments=3679 nbBacktracks=5818 nbVisitedNodes=16372 nbRestartNogoods=64
3.53 => wckTime=2.642 cpuTime=2.55 mem=15M319
4.71
4.71 search
4.71 run=14 nbConstraintChecks=24578238 nbPropagations=872056 nbRevisions=12543846 nbUselessRevisions=10119771
4.71 nbAssignments=14529 nbFailedAssignments=5658 nbBacktracks=8739 nbVisitedNodes=24886 nbRestartNogoods=72
4.71 => wckTime=3.826 cpuTime=3.73 mem=15M319
6.47
6.47 search
6.47 run=15 nbConstraintChecks=36770597 nbPropagations=1297342 nbRevisions=18750658 nbUselessRevisions=15128118
6.47 nbAssignments=21562 nbFailedAssignments=8303 nbBacktracks=13118 nbVisitedNodes=36766 nbRestartNogoods=82
6.47 => wckTime=5.585 cpuTime=5.49 mem=15M319
9.12
9.12 search
9.12 run=16 nbConstraintChecks=54126055 nbPropagations=1936682 nbRevisions=28115737 nbUselessRevisions=22709156
9.12 nbAssignments=32266 nbFailedAssignments=12429 nbBacktracks=19687 nbVisitedNodes=55244 nbRestartNogoods=93
9.12 => wckTime=8.23 cpuTime=8.11 mem=15M319
13.38
13.38 search
13.38 run=17 nbConstraintChecks=84415068 nbPropagations=2908039 nbRevisions=42382349 nbUselessRevisions=34233260
13.38 nbAssignments=48419 nbFailedAssignments=18720 nbBacktracks=29539 nbVisitedNodes=83110 nbRestartNogoods=104
13.38 => wckTime=12.49 cpuTime=12.36 mem=15M319
19.86
19.86 search
19.86 run=18 nbConstraintChecks=129269816 nbPropagations=4398614 nbRevisions=64339540 nbUselessRevisions=51983077
19.86 nbAssignments=73561 nbFailedAssignments=29076 nbBacktracks=44318 nbVisitedNodes=126916 nbRestartNogoods=116
19.86 => wckTime=18.971 cpuTime=18.81 mem=15M319
28.46
28.46 search
28.46 run=19 nbConstraintChecks=186713385 nbPropagations=6582825 nbRevisions=96484618 nbUselessRevisions=78004845
28.46 nbAssignments=109262 nbFailedAssignments=42602 nbBacktracks=66486 nbVisitedNodes=187896 nbRestartNogoods=125
28.46 => wckTime=27.572 cpuTime=27.36 mem=15M319
42.53
42.53 search
42.53 run=20 nbConstraintChecks=288180276 nbPropagations=9863635 nbRevisions=144473775 nbUselessRevisions=116680215
42.53 nbAssignments=163160 nbFailedAssignments=63237 nbBacktracks=99742 nbVisitedNodes=279911 nbRestartNogoods=139
42.53 => wckTime=41.645 cpuTime=41.37 mem=15M319
62.75
62.75 search
62.75 run=21 nbConstraintChecks=423261040 nbPropagations=14778368 nbRevisions=216836636 nbUselessRevisions=175222279
62.75 nbAssignments=245310 nbFailedAssignments=95499 nbBacktracks=149622 nbVisitedNodes=421750 nbRestartNogoods=153
62.75 => wckTime=61.859 cpuTime=61.49 mem=15M319
94.16
94.16 search
94.16 run=22 nbConstraintChecks=646406061 nbPropagations=22148401 nbRevisions=325089171 nbUselessRevisions=262569114
94.16 nbAssignments=365816 nbFailedAssignments=141176 nbBacktracks=224442 nbVisitedNodes=627866 nbRestartNogoods=166
94.16 => wckTime=93.275 cpuTime=92.76 mem=15M319
140.27
140.27 search
140.27 run=23 nbConstraintChecks=967282611 nbPropagations=33228049 nbRevisions=487184760 nbUselessRevisions=393370913
140.27 nbAssignments=549003 nbFailedAssignments=212129 nbBacktracks=336669 nbVisitedNodes=941607 nbRestartNogoods=183
140.27 => wckTime=139.382 cpuTime=138.65 mem=15M319
154.88
154.88 search
154.88 run=24 nbConstraintChecks=1073175800 nbPropagations=45579731 nbRevisions=668072654 nbUselessRevisions=539436423
154.88 nbAssignments=614186 nbFailedAssignments=237555 nbBacktracks=376376 nbVisitedNodes=1053644 nbRestartNogoods=195
154.88 => wckTime=153.995 cpuTime=153.25 mem=15M319
154.88
154.88 global
154.88 nbConstraintChecks=1073175800 nbPropagations=45579781 nbRevisions=668072654 nbUselessRevisions=539436423
154.88 nbRestartNogoods=195 solvingWckTime=153.996 solvingCpuTime=153.25 expiredTime=no totalExploration=no
154.88 nbFoundSolutions=1 globalCpuTime=153.72
154.88 => wckTime=154.578 cpuTime=153.67 mem=15M319
154.89
154.89 s SATISFIABLE
154.89 v 19 6 4 17 20 22 10 13 4 20 12 0 10 22 16 19 9 2 11 12 9 20 10 6 9 8 18 3 21 10 10 7 15 11 12 16 15 6 16 7 14 5 11 16 5 1 9 19 20 1
154.89 d NODES 614186
154.89 d CHECKS 1073175800
154.89
154.89 totalWckTime=154.657 totalCpuTime=153.72
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-217278-1168079358 -o ROOT/results/node40/solver-217278-1168079358 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217278-1168079358/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.59 1.90 1.78 4/80 27267
/proc/meminfo: memFree=1696016/2055920 swapFree=4192812/4192956
[pid=27266] ppid=27264 vsize=906644 CPUtime=0.02
/proc/27266/stat : 27266 (java) S 27264 27266 26893 0 -1 0 2068 0 1 0 2 0 0 0 18 0 2 0 156335306 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/27266/statm: 226661 1817 1036 14 0 214244 0
[pid=27266/tid=27268] ppid=27264 vsize=906644 CPUtime=0
/proc/27266/task/27268/stat : 27268 (java) R 27264 27266 26893 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 156335310 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.105069 s]
/proc/loadavg: 1.59 1.90 1.78 4/80 27267
/proc/meminfo: memFree=1696016/2055920 swapFree=4192812/4192956
[pid=27266] ppid=27264 vsize=914988 CPUtime=0.09
/proc/27266/stat : 27266 (java) R 27264 27266 26893 0 -1 0 3022 0 1 0 8 1 0 0 17 0 8 0 156335306 936947712 2768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27266/statm: 228747 2768 1436 14 0 215242 0
[pid=27266/tid=27268] ppid=27264 vsize=914988 CPUtime=0
/proc/27266/task/27268/stat : 27268 (java) S 27264 27266 26893 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156335310 936947712 2768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513123 s]
/proc/loadavg: 1.59 1.90 1.78 4/80 27267
/proc/meminfo: memFree=1696016/2055920 swapFree=4192812/4192956
[pid=27266] ppid=27264 vsize=915328 CPUtime=0.5
/proc/27266/stat : 27266 (java) R 27264 27266 26893 0 -1 0 7112 0 1 0 45 5 0 0 18 0 8 0 156335306 937295872 6851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27266/statm: 228832 6851 2137 14 0 215302 0
[pid=27266/tid=27268] ppid=27264 vsize=915328 CPUtime=0
/proc/27266/task/27268/stat : 27268 (java) S 27264 27266 26893 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156335310 937295872 6851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33523 s]
/proc/loadavg: 1.70 1.92 1.79 4/87 27274
/proc/meminfo: memFree=1668632/2055920 swapFree=4192812/4192956
[pid=27266] ppid=27264 vsize=915460 CPUtime=1.31
/proc/27266/stat : 27266 (java) R 27264 27266 26893 0 -1 0 9553 0 1 0 124 7 0 0 20 0 8 0 156335306 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802109 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27266/statm: 228865 9291 2513 14 0 215335 0
[pid=27266/tid=27268] ppid=27264 vsize=915460 CPUtime=0.03
/proc/27266/task/27268/stat : 27268 (java) S 27264 27266 26893 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 156335310 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27269] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27269/stat : 27269 (java) S 27264 27266 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335310 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27270] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27270/stat : 27270 (java) S 27264 27266 26893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335310 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27271] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27271/stat : 27271 (java) S 27264 27266 26893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156335314 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27272] ppid=27264 vsize=915460 CPUtime=0.2
/proc/27266/task/27272/stat : 27272 (java) S 27264 27266 26893 0 -1 64 378 0 0 0 19 1 0 0 17 0 8 0 156335314 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27273] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27273/stat : 27273 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156335314 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27274] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27274/stat : 27274 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335314 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98744 s]
/proc/loadavg: 1.70 1.92 1.79 3/87 27274
/proc/meminfo: memFree=1668568/2055920 swapFree=4192812/4192956
[pid=27266] ppid=27264 vsize=915460 CPUtime=2.96
/proc/27266/stat : 27266 (java) R 27264 27266 26893 0 -1 0 9569 0 1 0 289 7 0 0 25 0 8 0 156335306 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842672 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27266/statm: 228865 9306 2513 14 0 215335 0
[pid=27266/tid=27268] ppid=27264 vsize=915460 CPUtime=0.03
/proc/27266/task/27268/stat : 27268 (java) S 27264 27266 26893 0 -1 64 395 0 0 0 3 0 0 0 17 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27269] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27269/stat : 27269 (java) S 27264 27266 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27270] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27270/stat : 27270 (java) S 27264 27266 26893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27271] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27271/stat : 27271 (java) S 27264 27266 26893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27272] ppid=27264 vsize=915460 CPUtime=0.23
/proc/27266/task/27272/stat : 27272 (java) S 27264 27266 26893 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27273] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27273/stat : 27273 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27274] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27274/stat : 27274 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.28486 s]
/proc/loadavg: 1.70 1.92 1.79 3/87 27274
/proc/meminfo: memFree=1668504/2055920 swapFree=4192812/4192956
[pid=27266] ppid=27264 vsize=915460 CPUtime=6.24
/proc/27266/stat : 27266 (java) R 27264 27266 26893 0 -1 0 9570 0 1 0 617 7 0 0 25 0 8 0 156335306 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27266/statm: 228865 9306 2513 14 0 215335 0
[pid=27266/tid=27268] ppid=27264 vsize=915460 CPUtime=0.03
/proc/27266/task/27268/stat : 27268 (java) S 27264 27266 26893 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27269] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27269/stat : 27269 (java) S 27264 27266 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27270] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27270/stat : 27270 (java) S 27264 27266 26893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27271] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27271/stat : 27271 (java) S 27264 27266 26893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27272] ppid=27264 vsize=915460 CPUtime=0.23
/proc/27266/task/27272/stat : 27272 (java) S 27264 27266 26893 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27273] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27273/stat : 27273 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27274] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27274/stat : 27274 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915460
[startup+12.7647 s]
/proc/loadavg: 1.75 1.92 1.79 3/87 27274
/proc/meminfo: memFree=1668504/2055920 swapFree=4192812/4192956
[pid=27266] ppid=27264 vsize=915460 CPUtime=12.68
/proc/27266/stat : 27266 (java) R 27264 27266 26893 0 -1 0 9571 0 1 0 1261 7 0 0 25 0 8 0 156335306 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815097 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27266/statm: 228865 9306 2513 14 0 215335 0
[pid=27266/tid=27268] ppid=27264 vsize=915460 CPUtime=0.03
/proc/27266/task/27268/stat : 27268 (java) S 27264 27266 26893 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27269] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27269/stat : 27269 (java) S 27264 27266 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27270] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27270/stat : 27270 (java) S 27264 27266 26893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27271] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27271/stat : 27271 (java) S 27264 27266 26893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27272] ppid=27264 vsize=915460 CPUtime=0.23
/proc/27266/task/27272/stat : 27272 (java) S 27264 27266 26893 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27273] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27273/stat : 27273 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27274] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27274/stat : 27274 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915460
[startup+25.6074 s]
/proc/loadavg: 1.79 1.92 1.79 3/87 27274
/proc/meminfo: memFree=1668568/2055920 swapFree=4192812/4192956
[pid=27266] ppid=27264 vsize=915460 CPUtime=25.47
/proc/27266/stat : 27266 (java) R 27264 27266 26893 0 -1 0 9571 0 1 0 2540 7 0 0 25 0 8 0 156335306 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27266/statm: 228865 9306 2513 14 0 215335 0
[pid=27266/tid=27268] ppid=27264 vsize=915460 CPUtime=0.03
/proc/27266/task/27268/stat : 27268 (java) S 27264 27266 26893 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27269] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27269/stat : 27269 (java) S 27264 27266 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27270] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27270/stat : 27270 (java) S 27264 27266 26893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27271] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27271/stat : 27271 (java) S 27264 27266 26893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27272] ppid=27264 vsize=915460 CPUtime=0.23
/proc/27266/task/27272/stat : 27272 (java) S 27264 27266 26893 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27273] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27273/stat : 27273 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27274] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27274/stat : 27274 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.2157 s]
/proc/loadavg: 1.86 1.93 1.80 3/87 27274
/proc/meminfo: memFree=1668568/2055920 swapFree=4192812/4192956
[pid=27266] ppid=27264 vsize=915460 CPUtime=50.95
/proc/27266/stat : 27266 (java) R 27264 27266 26893 0 -1 0 9571 0 1 0 5088 7 0 0 25 0 8 0 156335306 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830584 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27266/statm: 228865 9306 2513 14 0 215335 0
[pid=27266/tid=27268] ppid=27264 vsize=915460 CPUtime=0.03
/proc/27266/task/27268/stat : 27268 (java) S 27264 27266 26893 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27269] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27269/stat : 27269 (java) S 27264 27266 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27270] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27270/stat : 27270 (java) S 27264 27266 26893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335310 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27271] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27271/stat : 27271 (java) S 27264 27266 26893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27272] ppid=27264 vsize=915460 CPUtime=0.23
/proc/27266/task/27272/stat : 27272 (java) S 27264 27266 26893 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27273] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27273/stat : 27273 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27274] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27274/stat : 27274 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335314 937431040 9306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915460
[startup+102.421 s]
/proc/loadavg: 1.94 1.94 1.81 3/87 27274
/proc/meminfo: memFree=1668568/2055920 swapFree=4192812/4192956
[pid=27266] ppid=27264 vsize=915460 CPUtime=101.92
/proc/27266/stat : 27266 (java) R 27264 27266 26893 0 -1 0 9572 0 1 0 10185 7 0 0 25 0 8 0 156335306 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27266/statm: 228865 9307 2513 14 0 215335 0
[pid=27266/tid=27268] ppid=27264 vsize=915460 CPUtime=0.03
/proc/27266/task/27268/stat : 27268 (java) S 27264 27266 26893 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 156335310 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27269] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27269/stat : 27269 (java) S 27264 27266 26893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335310 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27270] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27270/stat : 27270 (java) S 27264 27266 26893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335310 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27271] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27271/stat : 27271 (java) S 27264 27266 26893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156335314 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27272] ppid=27264 vsize=915460 CPUtime=0.23
/proc/27266/task/27272/stat : 27272 (java) S 27264 27266 26893 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 156335314 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27273] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27273/stat : 27273 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156335314 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27266/tid=27274] ppid=27264 vsize=915460 CPUtime=0
/proc/27266/task/27274/stat : 27274 (java) S 27264 27266 26893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335314 937431040 9307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 154.942
CPU time (s): 154.219
CPU user time (s): 154.13
CPU system time (s): 0.088986
CPU usage (%): 99.5328
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 154.13
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9581
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= 3981
involuntary context switches= 5427
runsolver used 0.166974 s user time and 0.517921 s system time
The end
Begin job on node40 on Sat Jan 6 10:29:20 UTC 2007
IDJOB= 217278
IDBENCH= 5127
FILE ID= node40/217278-1168079358
PBS_JOBID= 3476070
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb50-23/frb50-23-4-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217278-1168079358/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-217278-1168079358 -o ROOT/results/node40/solver-217278-1168079358 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217278-1168079358/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 655c2ff3e51b845ad55fdd644d9c23b1
RANDOM SEED= 517949708
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.239
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.239
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: 1696496 kB
Buffers: 20312 kB
Cached: 196880 kB
SwapCached: 0 kB
Active: 117376 kB
Inactive: 171356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1696496 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2208 kB
Writeback: 0 kB
Mapped: 91820 kB
Slab: 55996 kB
Committed_AS: 3757612 kB
PageTables: 1932 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= 66545 MiB
End job on node40 on Sat Jan 6 10:31:55 UTC 2007