0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/228446-1168298539/unknown.xml
0.43
0.43 domains being loaded...
0.44
0.44 variables being loaded...
0.47 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.47 => wckTime=0.142 cpuTime=0.07 mem=6M951
0.47
0.47 relations being loaded...
0.56
0.56 constraints being loaded...
0.66 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8248 maxDegree=26
0.66 maxArity=2
0.66 => wckTime=0.329 cpuTime=0.19 mem=10M852
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.522 cpuTime=0.31 mem=14M819
0.90
0.90 preprocessing
0.90 nbConstraintChecks=30682 nbPropagations=852 nbRevisions=5314 nbUselessRevisions=4265 nbSingletonTests=48
0.90 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.047 cpuTime=0.03 mem=14M819
0.92
0.92 search
0.92 run=0 nbConstraintChecks=17478 nbPropagations=1226 nbRevisions=9535 nbUselessRevisions=7738 nbAssignments=27
0.92 nbFailedAssignments=6 nbBacktracks=14 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.069 cpuTime=0.05 mem=14M819
0.94
0.94 search
0.94 run=1 nbConstraintChecks=41051 nbPropagations=2948 nbRevisions=24973 nbUselessRevisions=20328 nbAssignments=59
0.94 nbFailedAssignments=13 nbBacktracks=30 nbVisitedNodes=90 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.085 cpuTime=0.06 mem=14M819
0.95
0.95 search
0.95 run=2 nbConstraintChecks=77862 nbPropagations=5384 nbRevisions=50294 nbUselessRevisions=41255
0.95 nbAssignments=101 nbFailedAssignments=25 nbBacktracks=54 nbVisitedNodes=157 nbRestartNogoods=4 mapSize=46
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.099 cpuTime=0.08 mem=14M819
0.96
0.96 search
0.96 run=3 nbConstraintChecks=118814 nbPropagations=8685 nbRevisions=86348 nbUselessRevisions=71040
0.96 nbAssignments=157 nbFailedAssignments=39 nbBacktracks=89 nbVisitedNodes=246 nbRestartNogoods=6 mapSize=74
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.112 cpuTime=0.09 mem=14M819
0.98
0.98 search
0.98 run=4 nbConstraintChecks=191429 nbPropagations=13361 nbRevisions=142441 nbUselessRevisions=117615
0.99 nbAssignments=242 nbFailedAssignments=66 nbBacktracks=140 nbVisitedNodes=391 nbRestartNogoods=9 mapSize=122
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.133 cpuTime=0.11 mem=14M819
1.01
1.01 search
1.01 run=5 nbConstraintChecks=279806 nbPropagations=19816 nbRevisions=222998 nbUselessRevisions=184445
1.01 nbAssignments=361 nbFailedAssignments=103 nbBacktracks=217 nbVisitedNodes=589 nbRestartNogoods=12 mapSize=187
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.162 cpuTime=0.13 mem=14M819
1.05
1.05 search
1.05 run=6 nbConstraintChecks=433283 nbPropagations=29059 nbRevisions=345035 nbUselessRevisions=285919
1.05 nbAssignments=546 nbFailedAssignments=168 nbBacktracks=331 nbVisitedNodes=899 nbRestartNogoods=13 mapSize=281
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.201 cpuTime=0.17 mem=14M819
1.11
1.11 search
1.11 run=7 nbConstraintChecks=640850 nbPropagations=42244 nbRevisions=524621 nbUselessRevisions=435142
1.11 nbAssignments=811 nbFailedAssignments=254 nbBacktracks=502 nbVisitedNodes=1344 nbRestartNogoods=17 mapSize=424
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.255 cpuTime=0.22 mem=14M819
1.20
1.20 search
1.20 run=8 nbConstraintChecks=967926 nbPropagations=61502 nbRevisions=795496 nbUselessRevisions=660240
1.20 nbAssignments=1212 nbFailedAssignments=390 nbBacktracks=759 nbVisitedNodes=2017 nbRestartNogoods=22
1.20 mapSize=640 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.346 cpuTime=0.3 mem=14M819
1.32
1.32 search
1.32 run=9 nbConstraintChecks=1428150 nbPropagations=89034 nbRevisions=1186396 nbUselessRevisions=984023
1.32 nbAssignments=1802 nbFailedAssignments=588 nbBacktracks=1146 nbVisitedNodes=2985 nbRestartNogoods=29
1.32 mapSize=946 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.467 cpuTime=0.41 mem=14M819
1.35
1.35 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=14M819)
1.48
1.48 search
1.48 run=10 nbConstraintChecks=2165924 nbPropagations=129902 nbRevisions=1773912 nbUselessRevisions=1469936
1.48 nbAssignments=2682 nbFailedAssignments=884 nbBacktracks=1722 nbVisitedNodes=4469 nbRestartNogoods=34
1.48 => wckTime=0.633 cpuTime=0.57 mem=14M819
1.70
1.70 search
1.70 run=11 nbConstraintChecks=3239177 nbPropagations=190308 nbRevisions=2649952 nbUselessRevisions=2194100
1.70 nbAssignments=3996 nbFailedAssignments=1328 nbBacktracks=2586 nbVisitedNodes=6670 nbRestartNogoods=44
1.70 => wckTime=0.854 cpuTime=0.78 mem=14M819
2.01
2.01 search
2.01 run=12 nbConstraintChecks=4710174 nbPropagations=278596 nbRevisions=3938798 nbUselessRevisions=3261955
2.01 nbAssignments=5951 nbFailedAssignments=1977 nbBacktracks=3886 nbVisitedNodes=9943 nbRestartNogoods=50
2.01 => wckTime=1.16 cpuTime=1.09 mem=14M819
2.52
2.52 search
2.52 run=13 nbConstraintChecks=7210104 nbPropagations=411783 nbRevisions=5892442 nbUselessRevisions=4878104
2.52 nbAssignments=8965 nbFailedAssignments=3037 nbBacktracks=5835 nbVisitedNodes=15026 nbRestartNogoods=56
2.52 => wckTime=1.665 cpuTime=1.59 mem=14M819
3.22
3.22 search
3.22 run=14 nbConstraintChecks=10697338 nbPropagations=608396 nbRevisions=8795600 nbUselessRevisions=7281904
3.22 nbAssignments=13338 nbFailedAssignments=4483 nbBacktracks=8754 nbVisitedNodes=22293 nbRestartNogoods=63
3.22 => wckTime=2.369 cpuTime=2.29 mem=14M819
4.28
4.28 search
4.28 run=15 nbConstraintChecks=15899619 nbPropagations=900732 nbRevisions=13110580 nbUselessRevisions=10858558
4.28 nbAssignments=19837 nbFailedAssignments=6583 nbBacktracks=13136 nbVisitedNodes=33080 nbRestartNogoods=70
4.28 => wckTime=3.427 cpuTime=3.34 mem=14M819
5.93
5.93 search
5.93 run=16 nbConstraintChecks=24150551 nbPropagations=1341479 nbRevisions=19618077 nbUselessRevisions=16247376
5.93 nbAssignments=29717 nbFailedAssignments=9888 nbBacktracks=19705 nbVisitedNodes=49652 nbRestartNogoods=73
5.93 => wckTime=5.081 cpuTime=4.99 mem=14M819
8.42
8.42 search
8.42 run=17 nbConstraintChecks=36476553 nbPropagations=2003700 nbRevisions=29475959 nbUselessRevisions=24419793
8.42 nbAssignments=44665 nbFailedAssignments=14976 nbBacktracks=29557 nbVisitedNodes=74841 nbRestartNogoods=80
8.42 => wckTime=7.57 cpuTime=7.46 mem=14M819
11.88
11.88 search
11.88 run=18 nbConstraintChecks=53613293 nbPropagations=2980094 nbRevisions=43948360 nbUselessRevisions=36411707
11.88 nbAssignments=66387 nbFailedAssignments=21912 nbBacktracks=44338 nbVisitedNodes=110733 nbRestartNogoods=94
11.88 => wckTime=11.026 cpuTime=10.91 mem=14M819
17.20
17.20 search
17.20 run=19 nbConstraintChecks=80171482 nbPropagations=4440186 nbRevisions=65624194 nbUselessRevisions=54387108
17.20 nbAssignments=99407 nbFailedAssignments=32755 nbBacktracks=66508 nbVisitedNodes=165658 nbRestartNogoods=100
17.20 => wckTime=16.348 cpuTime=16.2 mem=14M819
19.91
19.91 search
19.91 run=20 nbConstraintChecks=93852782 nbPropagations=6143431 nbRevisions=90944731 nbUselessRevisions=75381014
19.91 nbAssignments=115299 nbFailedAssignments=38068 nbBacktracks=77047 nbVisitedNodes=192456 nbRestartNogoods=109
19.91 => wckTime=19.063 cpuTime=18.91 mem=14M819
19.92
19.92 global
19.92 nbConstraintChecks=93883464 nbPropagations=6144283 nbRevisions=90950045 nbUselessRevisions=75385279
19.92 nbRestartNogoods=109 solvingWckTime=19.064 solvingCpuTime=18.91 expiredTime=no totalExploration=no
19.92 nbFoundSolutions=1 globalCpuTime=19.28
19.92 => wckTime=19.589 cpuTime=19.22 mem=14M819
19.92
19.92 s SATISFIABLE
19.92 v 2 3 0 1 7 9 1 9 4 9 2 8 8 8 3 4 8 2 0 3 9 8 5 6 8 8 1 8 1 10 4 10 3 6 2 10 5 3 1 7
19.92 d NODES 115299
19.92 d CHECKS 93883464
19.92
19.92 totalWckTime=19.669 totalCpuTime=19.28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-228446-1168298539 -o ROOT/results/node16/solver-228446-1168298539 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228446-1168298539/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: 0.91 1.14 1.39 6/82 18155
/proc/meminfo: memFree=1374768/2055920 swapFree=4191880/4192956
[pid=18154] ppid=18148 vsize=1784 CPUtime=0
/proc/18154/stat : 18154 (java) R 18148 18154 18017 0 -1 0 194 0 0 0 0 0 0 0 20 0 1 0 178248750 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/18154/statm: 43 24 18 14 0 3 0
[startup+0.104921 s]
/proc/loadavg: 0.91 1.14 1.39 6/82 18155
/proc/meminfo: memFree=1374768/2055920 swapFree=4191880/4192956
[pid=18154] ppid=18148 vsize=913228 CPUtime=0.08
/proc/18154/stat : 18154 (java) D 18148 18154 18017 0 -1 0 2919 0 1 0 6 2 0 0 24 0 8 0 178248750 935145472 2665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18154/statm: 228307 2665 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.516846 s]
/proc/loadavg: 0.91 1.14 1.39 6/82 18155
/proc/meminfo: memFree=1374768/2055920 swapFree=4191880/4192956
[pid=18154] ppid=18148 vsize=915328 CPUtime=0.42
/proc/18154/stat : 18154 (java) R 18148 18154 18017 0 -1 0 6220 0 1 0 38 4 0 0 18 0 8 0 178248750 937295872 5959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18154/statm: 228832 5959 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328
[startup+1.33969 s]
/proc/loadavg: 0.91 1.14 1.39 3/101 18182
/proc/meminfo: memFree=1341720/2055920 swapFree=4191880/4192956
[pid=18154] ppid=18148 vsize=915456 CPUtime=1.24
/proc/18154/stat : 18154 (java) R 18148 18154 18017 0 -1 0 8680 0 1 0 118 6 0 0 24 0 8 0 178248750 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801421 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18154/statm: 228864 8418 2524 14 0 215334 0
[pid=18154/tid=18169] ppid=18148 vsize=915456 CPUtime=0.02
/proc/18154/task/18169/stat : 18169 (java) S 18148 18154 18017 0 -1 64 229 0 0 0 2 0 0 0 16 0 8 0 178248755 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18170] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18170/stat : 18170 (java) S 18148 18154 18017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178248756 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18171] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18171/stat : 18171 (java) S 18148 18154 18017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178248756 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18175] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18175/stat : 18175 (java) S 18148 18154 18017 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 178248759 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18176] ppid=18148 vsize=915456 CPUtime=0.22
/proc/18154/task/18176/stat : 18176 (java) S 18148 18154 18017 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 178248759 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18177] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18177/stat : 18177 (java) S 18148 18154 18017 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 178248759 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18178] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18178/stat : 18178 (java) S 18148 18154 18017 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178248759 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915456
[startup+2.97639 s]
/proc/loadavg: 0.91 1.14 1.39 3/101 18182
/proc/meminfo: memFree=1341336/2055920 swapFree=4191880/4192956
[pid=18154] ppid=18148 vsize=915456 CPUtime=2.87
/proc/18154/stat : 18154 (java) R 18148 18154 18017 0 -1 0 8698 0 1 0 281 6 0 0 25 0 8 0 178248750 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18154/statm: 228864 8435 2524 14 0 215334 0
[pid=18154/tid=18169] ppid=18148 vsize=915456 CPUtime=0.02
/proc/18154/task/18169/stat : 18169 (java) S 18148 18154 18017 0 -1 64 229 0 0 0 2 0 0 0 16 0 8 0 178248755 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18170] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18170/stat : 18170 (java) S 18148 18154 18017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178248756 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18171] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18171/stat : 18171 (java) S 18148 18154 18017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178248756 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18175] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18175/stat : 18175 (java) S 18148 18154 18017 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 178248759 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18176] ppid=18148 vsize=915456 CPUtime=0.23
/proc/18154/task/18176/stat : 18176 (java) S 18148 18154 18017 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 178248759 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18177] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18177/stat : 18177 (java) S 18148 18154 18017 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 178248759 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18178] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18178/stat : 18178 (java) S 18148 18154 18017 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178248759 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915456
[startup+6.25779 s]
/proc/loadavg: 1.00 1.16 1.40 3/101 18182
/proc/meminfo: memFree=1341336/2055920 swapFree=4191880/4192956
[pid=18154] ppid=18148 vsize=915456 CPUtime=6.13
/proc/18154/stat : 18154 (java) R 18148 18154 18017 0 -1 0 8707 0 1 0 607 6 0 0 25 0 8 0 178248750 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18154/statm: 228864 8443 2524 14 0 215334 0
[pid=18154/tid=18169] ppid=18148 vsize=915456 CPUtime=0.02
/proc/18154/task/18169/stat : 18169 (java) S 18148 18154 18017 0 -1 64 229 0 0 0 2 0 0 0 17 0 8 0 178248755 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18170] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18170/stat : 18170 (java) S 18148 18154 18017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178248756 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18171] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18171/stat : 18171 (java) S 18148 18154 18017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178248756 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18175] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18175/stat : 18175 (java) S 18148 18154 18017 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 178248759 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18176] ppid=18148 vsize=915456 CPUtime=0.23
/proc/18154/task/18176/stat : 18176 (java) S 18148 18154 18017 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 178248759 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18177] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18177/stat : 18177 (java) S 18148 18154 18017 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 178248759 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18178] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18178/stat : 18178 (java) S 18148 18154 18017 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178248759 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915456
[startup+12.7416 s]
/proc/loadavg: 1.15 1.18 1.40 3/101 18182
/proc/meminfo: memFree=1341352/2055920 swapFree=4191880/4192956
[pid=18154] ppid=18148 vsize=915456 CPUtime=12.59
/proc/18154/stat : 18154 (java) R 18148 18154 18017 0 -1 0 8712 0 1 0 1253 6 0 0 25 0 8 0 178248750 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18154/statm: 228864 8448 2524 14 0 215334 0
[pid=18154/tid=18169] ppid=18148 vsize=915456 CPUtime=0.02
/proc/18154/task/18169/stat : 18169 (java) S 18148 18154 18017 0 -1 64 229 0 0 0 2 0 0 0 16 0 8 0 178248755 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18170] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18170/stat : 18170 (java) S 18148 18154 18017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178248756 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18171] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18171/stat : 18171 (java) S 18148 18154 18017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178248756 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18175] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18175/stat : 18175 (java) S 18148 18154 18017 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 178248759 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18176] ppid=18148 vsize=915456 CPUtime=0.23
/proc/18154/task/18176/stat : 18176 (java) S 18148 18154 18017 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 178248759 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18177] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18177/stat : 18177 (java) S 18148 18154 18017 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 178248759 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18154/tid=18178] ppid=18148 vsize=915456 CPUtime=0
/proc/18154/task/18178/stat : 18178 (java) S 18148 18154 18017 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178248759 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 19.9681
CPU time (s): 19.759
CPU user time (s): 19.683
CPU system time (s): 0.075988
CPU usage (%): 98.9526
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.683
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8808
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= 1576
involuntary context switches= 2110
runsolver used 0.032994 s user time and 0.066989 s system time
The end
Begin job on node16 on Mon Jan 8 23:22:19 UTC 2007
IDJOB= 228446
IDBENCH= 6197
FILE ID= node16/228446-1168298539
PBS_JOBID= 3502151
Free space on /tmp= 66521 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-77_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228446-1168298539/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-228446-1168298539 -o ROOT/results/node16/solver-228446-1168298539 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228446-1168298539/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e0232ff1cd663bbf4eff56b536b635e7
RANDOM SEED= 415375518
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.220
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.220
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: 1375112 kB
Buffers: 101920 kB
Cached: 471892 kB
SwapCached: 448 kB
Active: 383332 kB
Inactive: 238828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1375112 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2304 kB
Writeback: 0 kB
Mapped: 66764 kB
Slab: 43604 kB
Committed_AS: 4981840 kB
PageTables: 2268 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= 66521 MiB
End job on node16 on Mon Jan 8 23:22:39 UTC 2007