0.41
0.41 Abscon 109 (November, 2006)
0.41
0.41 configuration
0.41 name=esac.xml
0.47
0.47 instance
0.47 name=/tmp/evaluation/202947-1168155218/unknown.xml
0.51
0.51 domains being loaded...
0.51
0.51 variables being loaded...
0.55 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.55 => wckTime=0.13 cpuTime=0.08 mem=6M951
0.55
0.55 relations being loaded...
0.65
0.65 constraints being loaded...
0.76 nbConstraints=351 nbRelationTypes=351 nbExtensionStructures=351 nbSharedExtensionStructures=0
0.76 nbConflictsStructures=351 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3283 maxDegree=24
0.76 maxArity=2
0.76 => wckTime=0.339 cpuTime=0.23 mem=13M778
0.80
0.80 solver IterativeSystematicSolver being built...
0.95 => wckTime=0.531 cpuTime=0.36 mem=15M31
1.00
1.00 preprocessing
1.00 nbConstraintChecks=69778 nbPropagations=951 nbRevisions=7004 nbUselessRevisions=5704 nbSingletonTests=52
1.00 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
1.00 => wckTime=0.05 cpuTime=0.03 mem=15M31
1.02
1.02 search
1.02 run=0 nbConstraintChecks=23695 nbPropagations=1271 nbRevisions=10431 nbUselessRevisions=8475 nbAssignments=19
1.02 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=29 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.068 cpuTime=0.04 mem=15M31
1.04
1.04 search
1.04 run=1 nbConstraintChecks=78915 nbPropagations=3238 nbRevisions=29998 nbUselessRevisions=24272 nbAssignments=55
1.04 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=87 nbRestartNogoods=1 mapSize=21 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.09 cpuTime=0.06 mem=15M31
1.06
1.06 search
1.06 run=2 nbConstraintChecks=127964 nbPropagations=5822 nbRevisions=56950 nbUselessRevisions=46089
1.06 nbAssignments=92 nbFailedAssignments=26 nbBacktracks=49 nbVisitedNodes=144 nbRestartNogoods=4 mapSize=37
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.104 cpuTime=0.07 mem=15M31
1.08
1.08 search
1.08 run=3 nbConstraintChecks=238241 nbPropagations=9725 nbRevisions=101785 nbUselessRevisions=81948
1.08 nbAssignments=165 nbFailedAssignments=58 nbBacktracks=83 nbVisitedNodes=274 nbRestartNogoods=7 mapSize=67
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.125 cpuTime=0.09 mem=15M31
1.10
1.10 search
1.10 run=4 nbConstraintChecks=369426 nbPropagations=15206 nbRevisions=167344 nbUselessRevisions=133968
1.10 nbAssignments=253 nbFailedAssignments=92 nbBacktracks=133 nbVisitedNodes=423 nbRestartNogoods=13 mapSize=108
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.15 cpuTime=0.11 mem=15M31
1.15
1.15 search
1.15 run=5 nbConstraintChecks=583209 nbPropagations=23289 nbRevisions=268132 nbUselessRevisions=214158
1.15 nbAssignments=388 nbFailedAssignments=147 nbBacktracks=208 nbVisitedNodes=655 nbRestartNogoods=17 mapSize=175
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.196 cpuTime=0.15 mem=15M31
1.20
1.20 search
1.20 run=6 nbConstraintChecks=864186 nbPropagations=35019 nbRevisions=420362 nbUselessRevisions=336183
1.20 nbAssignments=583 nbFailedAssignments=220 nbBacktracks=321 nbVisitedNodes=989 nbRestartNogoods=23 mapSize=270
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.246 cpuTime=0.2 mem=15M31
1.27
1.27 search
1.27 run=7 nbConstraintChecks=1268980 nbPropagations=51743 nbRevisions=641583 nbUselessRevisions=513207
1.27 nbAssignments=872 nbFailedAssignments=333 nbBacktracks=494 nbVisitedNodes=1475 nbRestartNogoods=32 mapSize=406
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.316 cpuTime=0.26 mem=15M31
1.38
1.38 search
1.38 run=8 nbConstraintChecks=1912246 nbPropagations=76545 nbRevisions=978859 nbUselessRevisions=783401
1.38 nbAssignments=1323 nbFailedAssignments=523 nbBacktracks=751 nbVisitedNodes=2258 nbRestartNogoods=37
1.38 mapSize=619 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.429 cpuTime=0.37 mem=15M31
1.55
1.55 search
1.55 run=9 nbConstraintChecks=2901003 nbPropagations=113256 nbRevisions=1476406 nbUselessRevisions=1179166
1.55 nbAssignments=1968 nbFailedAssignments=771 nbBacktracks=1138 nbVisitedNodes=3346 nbRestartNogoods=42
1.55 mapSize=927 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.596 cpuTime=0.52 mem=15M31
1.60
1.60 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=15M31)
1.78
1.78 search
1.78 run=10 nbConstraintChecks=4393181 nbPropagations=168446 nbRevisions=2235894 nbUselessRevisions=1785170
1.78 nbAssignments=2970 nbFailedAssignments=1191 nbBacktracks=1714 nbVisitedNodes=5096 nbRestartNogoods=46
1.78 => wckTime=0.831 cpuTime=0.75 mem=15M31
2.09
2.09 search
2.09 run=11 nbConstraintChecks=6481427 nbPropagations=249528 nbRevisions=3347932 nbUselessRevisions=2670199
2.09 nbAssignments=4423 nbFailedAssignments=1772 nbBacktracks=2579 nbVisitedNodes=7590 nbRestartNogoods=53
2.09 => wckTime=1.134 cpuTime=1.05 mem=15M31
2.61
2.61 search
2.61 run=12 nbConstraintChecks=10099058 nbPropagations=374230 nbRevisions=5087192 nbUselessRevisions=4057250
2.61 nbAssignments=6706 nbFailedAssignments=2743 nbBacktracks=3876 nbVisitedNodes=11598 nbRestartNogoods=62
2.61 => wckTime=1.655 cpuTime=1.56 mem=15M31
3.27
3.27 search
3.27 run=13 nbConstraintChecks=14728042 nbPropagations=557856 nbRevisions=7641229 nbUselessRevisions=6094606
3.27 nbAssignments=9943 nbFailedAssignments=4026 nbBacktracks=5824 nbVisitedNodes=17190 nbRestartNogoods=67
3.27 => wckTime=2.322 cpuTime=2.23 mem=15M31
4.45
4.45 search
4.45 run=14 nbConstraintChecks=22981853 nbPropagations=840818 nbRevisions=11636767 nbUselessRevisions=9287989
4.45 nbAssignments=15217 nbFailedAssignments=6365 nbBacktracks=8743 nbVisitedNodes=26577 nbRestartNogoods=74
4.45 => wckTime=3.494 cpuTime=3.39 mem=15M31
5.91
5.91 search
5.91 run=15 nbConstraintChecks=33017615 nbPropagations=1252099 nbRevisions=17414258 nbUselessRevisions=13907262
5.91 nbAssignments=22331 nbFailedAssignments=9098 nbBacktracks=13122 nbVisitedNodes=38785 nbRestartNogoods=82
5.91 => wckTime=4.957 cpuTime=4.85 mem=15M31
8.35
8.35 search
8.35 run=16 nbConstraintChecks=50165963 nbPropagations=1875533 nbRevisions=26152961 nbUselessRevisions=20882814
8.35 nbAssignments=33610 nbFailedAssignments=13800 nbBacktracks=19690 nbVisitedNodes=58521 nbRestartNogoods=90
8.35 => wckTime=7.402 cpuTime=7.28 mem=16M6
12.10
12.10 search
12.10 run=17 nbConstraintChecks=76588022 nbPropagations=2819045 nbRevisions=39459125 nbUselessRevisions=31512514
12.10 nbAssignments=50580 nbFailedAssignments=20899 nbBacktracks=29545 nbVisitedNodes=88367 nbRestartNogoods=96
12.11 => wckTime=11.153 cpuTime=11.02 mem=16M6
17.60
17.60 search
17.60 run=18 nbConstraintChecks=115251576 nbPropagations=4231433 nbRevisions=59273820 nbUselessRevisions=47299989
17.60 nbAssignments=75361 nbFailedAssignments=30894 nbBacktracks=44326 nbVisitedNodes=131509 nbRestartNogoods=108
17.60 => wckTime=16.653 cpuTime=16.49 mem=16M6
24.44
24.44 search
24.44 run=19 nbConstraintChecks=163060900 nbPropagations=6229069 nbRevisions=87327481 nbUselessRevisions=69652722
24.44 nbAssignments=106270 nbFailedAssignments=43468 nbBacktracks=62621 nbVisitedNodes=185473 nbRestartNogoods=119
24.44 => wckTime=23.493 cpuTime=23.28 mem=16M6
24.45
24.45 global
24.45 nbConstraintChecks=163130678 nbPropagations=6230020 nbRevisions=87334485 nbUselessRevisions=69658426
24.45 nbRestartNogoods=119 solvingWckTime=23.494 solvingCpuTime=23.28 expiredTime=no totalExploration=no
24.45 nbFoundSolutions=1 globalCpuTime=23.69
24.45 => wckTime=24.028 cpuTime=23.64 mem=16M6
24.45
24.45 s SATISFIABLE
24.45 v 14 15 13 5 2 3 3 1 2 17 0 9 10 17 11 1 7 4 5 18 16 15 2 16 14 16 3 5 7 6 18 7 18 6 10 0 9 8 1 2
24.45 d NODES 106270
24.45 d CHECKS 163130678
24.45
24.45 totalWckTime=24.108 totalCpuTime=23.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-202947-1168155218 -o ROOT/results/node75/solver-202947-1168155218 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202947-1168155218/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.87 1.87 1.53 4/75 16748
/proc/meminfo: memFree=1892832/2055920 swapFree=4184496/4192956
[pid=16747] ppid=16745 vsize=18540 CPUtime=0
/proc/16747/stat : 16747 (runsolver) R 16745 16747 16433 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 163921233 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16747/statm: 4635 279 244 17 0 2626 0
[startup+0.107462 s]
/proc/loadavg: 1.87 1.87 1.53 4/75 16748
/proc/meminfo: memFree=1892832/2055920 swapFree=4184496/4192956
[pid=16747] ppid=16745 vsize=914988 CPUtime=0.08
/proc/16747/stat : 16747 (java) R 16745 16747 16433 0 -1 0 3030 0 1 0 7 1 0 0 24 0 8 0 163921233 936947712 2776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16747/statm: 228747 2776 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515505 s]
/proc/loadavg: 1.87 1.87 1.53 4/75 16748
/proc/meminfo: memFree=1892832/2055920 swapFree=4184496/4192956
[pid=16747] ppid=16745 vsize=915328 CPUtime=0.35
/proc/16747/stat : 16747 (java) R 16745 16747 16433 0 -1 0 5823 0 15 0 30 5 0 0 18 0 8 0 163921233 937295872 5576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16747/statm: 228832 5576 2105 14 0 215302 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 915328
[startup+1.3386 s]
/proc/loadavg: 1.87 1.87 1.53 3/82 16755
/proc/meminfo: memFree=1864744/2055920 swapFree=4184496/4192956
[pid=16747] ppid=16745 vsize=915456 CPUtime=1.17
/proc/16747/stat : 16747 (java) R 16745 16747 16433 0 -1 0 8706 0 16 0 108 9 0 0 23 0 8 0 163921233 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16747/statm: 228864 8459 2524 14 0 215334 0
[pid=16747/tid=16749] ppid=16745 vsize=915456 CPUtime=0.03
/proc/16747/task/16749/stat : 16749 (java) S 16745 16747 16433 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 163921238 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16750] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16750/stat : 16750 (java) S 16745 16747 16433 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163921238 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16751] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16751/stat : 16751 (java) S 16745 16747 16433 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163921238 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16752] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16752/stat : 16752 (java) S 16745 16747 16433 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163921241 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16753] ppid=16745 vsize=915456 CPUtime=0.18
/proc/16747/task/16753/stat : 16753 (java) S 16745 16747 16433 0 -1 64 378 0 0 0 17 1 0 0 15 0 8 0 163921241 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16754] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16754/stat : 16754 (java) S 16745 16747 16433 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163921241 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16755] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16755/stat : 16755 (java) S 16745 16747 16433 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163921241 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 915456
[startup+2.97979 s]
/proc/loadavg: 1.87 1.87 1.53 3/82 16755
/proc/meminfo: memFree=1864360/2055920 swapFree=4184496/4192956
[pid=16747] ppid=16745 vsize=915456 CPUtime=2.8
/proc/16747/stat : 16747 (java) R 16745 16747 16433 0 -1 0 8762 0 16 0 271 9 0 0 25 0 8 0 163921233 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16747/statm: 228864 8514 2524 14 0 215334 0
[pid=16747/tid=16749] ppid=16745 vsize=915456 CPUtime=0.03
/proc/16747/task/16749/stat : 16749 (java) S 16745 16747 16433 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 163921238 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16750] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16750/stat : 16750 (java) S 16745 16747 16433 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163921238 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16751] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16751/stat : 16751 (java) S 16745 16747 16433 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163921238 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16752] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16752/stat : 16752 (java) S 16745 16747 16433 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163921241 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16753] ppid=16745 vsize=915456 CPUtime=0.21
/proc/16747/task/16753/stat : 16753 (java) S 16745 16747 16433 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163921241 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16754] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16754/stat : 16754 (java) S 16745 16747 16433 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163921241 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16755] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16755/stat : 16755 (java) S 16745 16747 16433 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163921241 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 915456
[startup+6.18317 s]
/proc/loadavg: 1.88 1.87 1.53 3/82 16755
/proc/meminfo: memFree=1864296/2055920 swapFree=4184496/4192956
[pid=16747] ppid=16745 vsize=915456 CPUtime=5.99
/proc/16747/stat : 16747 (java) R 16745 16747 16433 0 -1 0 8771 0 16 0 590 9 0 0 25 0 8 0 163921233 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819402 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16747/statm: 228864 8522 2524 14 0 215334 0
[pid=16747/tid=16749] ppid=16745 vsize=915456 CPUtime=0.03
/proc/16747/task/16749/stat : 16749 (java) S 16745 16747 16433 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 163921238 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16750] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16750/stat : 16750 (java) S 16745 16747 16433 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163921238 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16751] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16751/stat : 16751 (java) S 16745 16747 16433 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163921238 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16752] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16752/stat : 16752 (java) S 16745 16747 16433 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163921241 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16753] ppid=16745 vsize=915456 CPUtime=0.21
/proc/16747/task/16753/stat : 16753 (java) S 16745 16747 16433 0 -1 64 395 0 0 0 20 1 0 0 16 0 8 0 163921241 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16754] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16754/stat : 16754 (java) S 16745 16747 16433 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163921241 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16755] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16755/stat : 16755 (java) S 16745 16747 16433 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163921241 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 915456
[startup+12.6509 s]
/proc/loadavg: 1.89 1.87 1.53 3/82 16755
/proc/meminfo: memFree=1864304/2055920 swapFree=4184496/4192956
[pid=16747] ppid=16745 vsize=915456 CPUtime=12.43
/proc/16747/stat : 16747 (java) R 16745 16747 16433 0 -1 0 8776 0 16 0 1233 10 0 0 25 0 8 0 163921233 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16747/statm: 228864 8527 2524 14 0 215334 0
[pid=16747/tid=16749] ppid=16745 vsize=915456 CPUtime=0.03
/proc/16747/task/16749/stat : 16749 (java) S 16745 16747 16433 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 163921238 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16750] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16750/stat : 16750 (java) S 16745 16747 16433 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163921238 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16751] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16751/stat : 16751 (java) S 16745 16747 16433 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163921238 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16752] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16752/stat : 16752 (java) S 16745 16747 16433 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163921241 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16753] ppid=16745 vsize=915456 CPUtime=0.21
/proc/16747/task/16753/stat : 16753 (java) S 16745 16747 16433 0 -1 64 395 0 0 0 20 1 0 0 16 0 8 0 163921241 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16754] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16754/stat : 16754 (java) S 16745 16747 16433 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163921241 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16747/tid=16755] ppid=16745 vsize=915456 CPUtime=0
/proc/16747/task/16755/stat : 16755 (java) S 16745 16747 16433 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163921241 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 24.4875
CPU time (s): 24.1663
CPU user time (s): 24.0583
CPU system time (s): 0.107983
CPU usage (%): 98.6886
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.0583
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8871
page faults= 16
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1689
involuntary context switches= 2220
runsolver used 0.026995 s user time and 0.086986 s system time
The end
Begin job on node75 on Sun Jan 7 07:33:38 UTC 2007
IDJOB= 202947
IDBENCH= 3900
FILE ID= node75/202947-1168155218
PBS_JOBID= 3478510
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202947-1168155218/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-202947-1168155218 -o ROOT/results/node75/solver-202947-1168155218 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202947-1168155218/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d9744dc6c8fd34dff264dd0ff999bfc0
RANDOM SEED= 833493987
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1893320 kB
Buffers: 36212 kB
Cached: 53384 kB
SwapCached: 2680 kB
Active: 52612 kB
Inactive: 54512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1893320 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 2032 kB
Writeback: 0 kB
Mapped: 25196 kB
Slab: 40792 kB
Committed_AS: 3434748 kB
PageTables: 1824 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= 66557 MiB
End job on node75 on Sun Jan 7 07:34:03 UTC 2007