0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/214898-1168232324/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.55 nbVariables=1672 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.55 => wckTime=0.233 cpuTime=0.15 mem=9M844
0.55
0.55 predicates being loaded...
0.55
0.55 constraints being loaded...
2.62 nbConstraints=13289 nbMergedConstraints=8 nbConvertedConstraints=12228 nbConvertConstraintsChecks=131096
2.62 nbExtensionStructures=2 nbSharedExtensionStructures=12226 nbConflictsStructures=5
2.62 nbSharedConflictsStructures=13284 nbSharedBinaryRepresentations=5 nbEvaluationManagers=3
2.62 nbSharedEvaluationManagers=1058 maxDegree=166 maxArity=16
2.62 => wckTime=2.301 cpuTime=1.93 mem=24M548
2.72
2.72 solver IterativeSystematicSolver being built...
3.08 => wckTime=2.765 cpuTime=2.21 mem=63M445
8.97
8.97 preprocessing
8.97 nbConstraintChecks=182129 nbValidityChecks=5237 nbPropagations=11657 nbRevisions=113794
8.97 nbUselessRevisions=105933 nbSingletonTests=2342 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0
8.97 detectedInconsistency=no
8.97 => wckTime=5.882 cpuTime=5.79 mem=64M447
9.61
9.61 search
9.61 run=0 nbConstraintChecks=294027 nbValidityChecks=5161 nbPropagations=24081 nbRevisions=299421
9.61 nbUselessRevisions=278378 nbAssignments=137 nbFailedAssignments=31 nbBacktracks=18 nbVisitedNodes=172
9.62 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
9.62 => wckTime=6.53 cpuTime=6.38 mem=23M232
11.08
11.08 search
11.08 run=1 nbConstraintChecks=1062672 nbValidityChecks=16130 nbPropagations=82041 nbRevisions=1044587
11.08 nbUselessRevisions=967509 nbAssignments=790 nbFailedAssignments=62 nbBacktracks=36 nbVisitedNodes=387
11.08 nbRestartNogoods=25 mapSize=22 nbInferences=0 nbTooLargeKeys=0
11.08 => wckTime=7.995 cpuTime=7.83 mem=23M232
12.27
12.27 search
12.27 run=2 nbConstraintChecks=1779293 nbValidityChecks=24507 nbPropagations=171988 nbRevisions=2211942
12.27 nbUselessRevisions=2045915 nbAssignments=1380 nbFailedAssignments=95 nbBacktracks=60 nbVisitedNodes=582
12.27 nbRestartNogoods=44 mapSize=31 nbInferences=0 nbTooLargeKeys=0
12.27 => wckTime=9.188 cpuTime=9.01 mem=23M232
14.12
14.12 search
14.12 run=3 nbConstraintChecks=2784269 nbValidityChecks=44164 nbPropagations=305948 nbRevisions=3981029
14.12 nbUselessRevisions=3680863 nbAssignments=2181 nbFailedAssignments=143 nbBacktracks=109 nbVisitedNodes=848
14.12 nbRestartNogoods=73 mapSize=69 nbInferences=0 nbTooLargeKeys=0
14.12 => wckTime=11.038 cpuTime=10.83 mem=23M232
15.51
15.51 search
15.51 run=4 nbConstraintChecks=3620312 nbValidityChecks=65789 nbPropagations=477287 nbRevisions=6279415
15.51 nbUselessRevisions=5806139 nbAssignments=2627 nbFailedAssignments=191 nbBacktracks=162 nbVisitedNodes=1126
15.51 nbRestartNogoods=87 mapSize=98 nbInferences=0 nbTooLargeKeys=0
15.51 => wckTime=12.428 cpuTime=12.2 mem=23M232
17.60
17.60 search
17.60 run=5 nbConstraintChecks=4857081 nbValidityChecks=89217 nbPropagations=703551 nbRevisions=9326741
17.60 nbUselessRevisions=8623793 nbAssignments=3529 nbFailedAssignments=255 nbBacktracks=261 nbVisitedNodes=1442
17.60 nbRestartNogoods=116 mapSize=158 nbInferences=1 nbTooLargeKeys=0
17.60 => wckTime=14.514 cpuTime=14.27 mem=24M234
19.07
19.07 search
19.07 run=6 nbConstraintChecks=5997640 nbValidityChecks=126235 nbPropagations=965422 nbRevisions=13084256
19.07 nbUselessRevisions=12113270 nbAssignments=3840 nbFailedAssignments=347 nbBacktracks=382 nbVisitedNodes=1791
19.07 nbRestartNogoods=122 mapSize=252 nbInferences=1 nbTooLargeKeys=0
19.07 => wckTime=15.986 cpuTime=15.73 mem=24M234
21.40
21.40 search
21.40 run=7 nbConstraintChecks=7792626 nbValidityChecks=177545 nbPropagations=1284683 nbRevisions=17950217
21.40 nbUselessRevisions=16649217 nbAssignments=4471 nbFailedAssignments=500 nbBacktracks=564 nbVisitedNodes=2309
21.40 nbRestartNogoods=134 mapSize=409 nbInferences=1 nbTooLargeKeys=0
21.40 => wckTime=18.314 cpuTime=18.03 mem=24M234
24.07
24.07 search
24.07 run=8 nbConstraintChecks=9916932 nbValidityChecks=223159 nbPropagations=1694932 nbRevisions=24229678
24.07 nbUselessRevisions=22502983 nbAssignments=5004 nbFailedAssignments=711 nbBacktracks=820 nbVisitedNodes=3028
24.07 nbRestartNogoods=136 mapSize=630 nbInferences=1 nbTooLargeKeys=0
24.07 => wckTime=20.988 cpuTime=20.66 mem=24M234
28.07
28.07 search
28.07 run=9 nbConstraintChecks=12335271 nbValidityChecks=276930 nbPropagations=2210614 nbRevisions=32123267
28.07 nbUselessRevisions=29860299 nbAssignments=5726 nbFailedAssignments=952 nbBacktracks=1215 nbVisitedNodes=3960
28.07 nbRestartNogoods=140 mapSize=881 nbInferences=1 nbTooLargeKeys=0
28.07 => wckTime=24.983 cpuTime=24.62 mem=25M236
30.03
30.03 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=25M236)
32.59
32.59 search
32.59 run=10 nbConstraintChecks=17377167 nbValidityChecks=363598 nbPropagations=2931199 nbRevisions=43280788
32.59 nbUselessRevisions=40265295 nbAssignments=6847 nbFailedAssignments=1485 nbBacktracks=1798 nbVisitedNodes=5645
32.59 nbRestartNogoods=141
32.59 => wckTime=29.508 cpuTime=29.1 mem=25M236
37.52
37.52 search
37.52 run=11 nbConstraintChecks=23877706 nbValidityChecks=496899 nbPropagations=3932879 nbRevisions=58780189
37.52 nbUselessRevisions=54716974 nbAssignments=8419 nbFailedAssignments=2154 nbBacktracks=2682 nbVisitedNodes=7941
37.52 nbRestartNogoods=142
37.52 => wckTime=34.44 cpuTime=33.98 mem=25M236
43.98
43.98 search
43.98 run=12 nbConstraintChecks=32186377 nbValidityChecks=696814 nbPropagations=5257364 nbRevisions=79676550
43.98 nbUselessRevisions=74223705 nbAssignments=11854 nbFailedAssignments=2977 nbBacktracks=3622 nbVisitedNodes=12275
43.98 nbRestartNogoods=143
43.98 => wckTime=40.899 cpuTime=40.37 mem=25M236
43.98
43.98 global
43.98 nbConstraintChecks=32368506 nbValidityChecks=702051 nbPropagations=5269021 nbRevisions=79790344
43.98 nbUselessRevisions=74329638 nbRestartNogoods=143 solvingWckTime=40.9 solvingCpuTime=40.37 expiredTime=no
43.98 totalExploration=no nbFoundSolutions=1 globalCpuTime=42.65
43.98 => wckTime=43.67 cpuTime=42.59 mem=25M236
43.99
43.99 s SATISFIABLE
43.99 v 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1
43.99 d NODES 11854
43.99 d CHECKS 32368506
43.99
43.99 totalWckTime=43.751 totalCpuTime=42.65
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-214898-1168232324 -o ROOT/results/node11/solver-214898-1168232324 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214898-1168232324/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.96 2.00 1.96 5/94 20858
/proc/meminfo: memFree=1692432/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=906644 CPUtime=0.02
/proc/20857/stat : 20857 (java) S 20855 20857 20790 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 171627467 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 226661 1817 1036 14 0 214244 0
[pid=20857/tid=20859] ppid=20855 vsize=906644 CPUtime=0
/proc/20857/task/20859/stat : 20859 (java) R 20855 20857 20790 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 171627471 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104721 s]
/proc/loadavg: 1.96 2.00 1.96 5/94 20858
/proc/meminfo: memFree=1692432/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=914988 CPUtime=0.08
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 2982 0 1 0 7 1 0 0 20 0 8 0 171627467 936947712 2728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228747 2728 1425 14 0 215242 0
[pid=20857/tid=20859] ppid=20855 vsize=914988 CPUtime=0
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 171627471 936947712 2728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.5128 s]
/proc/loadavg: 1.96 2.00 1.96 5/94 20858
/proc/meminfo: memFree=1692432/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=915328 CPUtime=0.49
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 6585 0 1 0 45 4 0 0 22 0 8 0 171627467 937295872 6324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228832 6324 2135 14 0 215302 0
[pid=20857/tid=20859] ppid=20855 vsize=915328 CPUtime=0
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 171627471 937295872 6324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33416 s]
/proc/loadavg: 1.96 2.00 1.96 4/101 20865
/proc/meminfo: memFree=1632600/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=915636 CPUtime=1.3
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 17336 0 1 0 119 11 0 0 25 0 8 0 171627467 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228909 17074 2178 14 0 215379 0
[pid=20857/tid=20859] ppid=20855 vsize=915636 CPUtime=0.03
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 724 0 0 0 3 0 0 0 16 0 8 0 171627471 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20860] ppid=20855 vsize=915636 CPUtime=0
/proc/20857/task/20860/stat : 20860 (java) S 20855 20857 20790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 171627472 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20861] ppid=20855 vsize=915636 CPUtime=0
/proc/20857/task/20861/stat : 20861 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 171627472 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20862] ppid=20855 vsize=915636 CPUtime=0
/proc/20857/task/20862/stat : 20862 (java) S 20855 20857 20790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171627475 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20863] ppid=20855 vsize=915636 CPUtime=0.18
/proc/20857/task/20863/stat : 20863 (java) S 20855 20857 20790 0 -1 64 423 0 0 0 18 0 0 0 15 0 8 0 171627476 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20864] ppid=20855 vsize=915636 CPUtime=0
/proc/20857/task/20864/stat : 20864 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171627476 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20865] ppid=20855 vsize=915636 CPUtime=0
/proc/20857/task/20865/stat : 20865 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171627476 937611264 17074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915636
[startup+2.97729 s]
/proc/loadavg: 1.96 2.00 1.96 4/101 20865
/proc/meminfo: memFree=1622680/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=915740 CPUtime=2.91
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 23257 0 1 0 224 67 0 0 25 0 8 0 171627467 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072940115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228935 22979 2533 14 0 215405 0
[pid=20857/tid=20859] ppid=20855 vsize=915740 CPUtime=0.23
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 6185 0 0 0 20 3 0 0 16 0 8 0 171627471 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20860] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20860/stat : 20860 (java) S 20855 20857 20790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 171627472 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20861] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20861/stat : 20861 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 171627472 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20862] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20862/stat : 20862 (java) S 20855 20857 20790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171627475 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20863] ppid=20855 vsize=915740 CPUtime=0.27
/proc/20857/task/20863/stat : 20863 (java) S 20855 20857 20790 0 -1 64 469 0 0 0 26 1 0 0 15 0 8 0 171627476 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20864] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20864/stat : 20864 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171627476 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20865] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20865/stat : 20865 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171627476 937717760 22979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915740
[startup+6.27494 s]
/proc/loadavg: 1.96 2.00 1.96 3/101 20865
/proc/meminfo: memFree=1609888/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=915740 CPUtime=6.17
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 23325 0 1 0 549 68 0 0 25 0 8 0 171627467 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074159865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228935 23045 2546 14 0 215405 0
[pid=20857/tid=20859] ppid=20855 vsize=915740 CPUtime=0.23
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 6185 0 0 0 20 3 0 0 16 0 8 0 171627471 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20860] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20860/stat : 20860 (java) S 20855 20857 20790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 171627472 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20861] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20861/stat : 20861 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 171627472 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20862] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20862/stat : 20862 (java) S 20855 20857 20790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171627475 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20863] ppid=20855 vsize=915740 CPUtime=0.32
/proc/20857/task/20863/stat : 20863 (java) S 20855 20857 20790 0 -1 64 506 0 0 0 31 1 0 0 16 0 8 0 171627476 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20864] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20864/stat : 20864 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171627476 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20865] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20865/stat : 20865 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171627476 937717760 23045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915740
[startup+12.7592 s]
/proc/loadavg: 1.97 2.00 1.96 3/101 20865
/proc/meminfo: memFree=1607584/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=915740 CPUtime=12.58
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 23917 0 1 0 1190 68 0 0 25 0 8 0 171627467 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074157400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228935 23632 2547 14 0 215405 0
[pid=20857/tid=20859] ppid=20855 vsize=915740 CPUtime=0.26
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 6751 0 0 0 23 3 0 0 17 0 8 0 171627471 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20860] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20860/stat : 20860 (java) S 20855 20857 20790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171627472 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20861] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20861/stat : 20861 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171627472 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20862] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20862/stat : 20862 (java) S 20855 20857 20790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171627475 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20863] ppid=20855 vsize=915740 CPUtime=0.37
/proc/20857/task/20863/stat : 20863 (java) S 20855 20857 20790 0 -1 64 525 0 0 0 36 1 0 0 16 0 8 0 171627476 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20864] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20864/stat : 20864 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171627476 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20865] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20865/stat : 20865 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171627476 937717760 23632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915740
[startup+25.6358 s]
/proc/loadavg: 1.97 2.00 1.96 3/101 20865
/proc/meminfo: memFree=1607712/2055920 swapFree=4192812/4192956
[pid=20857] ppid=20855 vsize=915740 CPUtime=25.34
/proc/20857/stat : 20857 (java) R 20855 20857 20790 0 -1 0 23932 0 1 0 2466 68 0 0 25 0 8 0 171627467 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074224163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20857/statm: 228935 23642 2547 14 0 215405 0
[pid=20857/tid=20859] ppid=20855 vsize=915740 CPUtime=0.26
/proc/20857/task/20859/stat : 20859 (java) S 20855 20857 20790 0 -1 64 6751 0 0 0 23 3 0 0 16 0 8 0 171627471 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20860] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20860/stat : 20860 (java) S 20855 20857 20790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171627472 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20861] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20861/stat : 20861 (java) S 20855 20857 20790 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171627472 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20862] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20862/stat : 20862 (java) S 20855 20857 20790 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171627475 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20863] ppid=20855 vsize=915740 CPUtime=0.39
/proc/20857/task/20863/stat : 20863 (java) S 20855 20857 20790 0 -1 64 536 0 0 0 38 1 0 0 16 0 8 0 171627476 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20864] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20864/stat : 20864 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171627476 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20857/tid=20865] ppid=20855 vsize=915740 CPUtime=0
/proc/20857/task/20865/stat : 20865 (java) S 20855 20857 20790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171627476 937717760 23642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915740
Child status: 0
Real time (s): 44.0381
CPU time (s): 43.5594
CPU user time (s): 42.8535
CPU system time (s): 0.705892
CPU usage (%): 98.9129
Max. virtual memory (cumulated for all children) (KiB): 915964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.8535
system time used= 0.705892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23948
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= 2716
involuntary context switches= 3840
runsolver used 0.069989 s user time and 0.137979 s system time
The end
Begin job on node11 on Mon Jan 8 04:58:44 UTC 2007
IDJOB= 214898
IDBENCH= 4960
FILE ID= node11/214898-1168232324
PBS_JOBID= 3481194
Free space on /tmp= 66338 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16d2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214898-1168232324/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-214898-1168232324 -o ROOT/results/node11/solver-214898-1168232324 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214898-1168232324/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6cd206fd6984bedb61c47b817677307d
RANDOM SEED= 807563679
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.261
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 : 5931.00
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.261
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: 1692848 kB
Buffers: 51040 kB
Cached: 143916 kB
SwapCached: 0 kB
Active: 205692 kB
Inactive: 101008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1692848 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3644 kB
Writeback: 0 kB
Mapped: 139636 kB
Slab: 40636 kB
Committed_AS: 5939128 kB
PageTables: 2592 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= 66338 MiB
End job on node11 on Mon Jan 8 04:59:29 UTC 2007