0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/228040-1168279394/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.43 => wckTime=0.107 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8241 maxDegree=26
0.63 maxArity=2
0.63 => wckTime=0.31 cpuTime=0.22 mem=10M852
0.67
0.67 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.516 cpuTime=0.35 mem=14M819
0.89
0.89 preprocessing
0.89 nbConstraintChecks=31384 nbPropagations=845 nbRevisions=5544 nbUselessRevisions=4416 nbSingletonTests=49
0.89 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.052 cpuTime=0.03 mem=14M819
0.92
0.92 search
0.92 run=0 nbConstraintChecks=15799 nbPropagations=1208 nbRevisions=9557 nbUselessRevisions=7780 nbAssignments=23
0.92 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=34 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.075 cpuTime=0.05 mem=14M819
0.93
0.93 search
0.93 run=1 nbConstraintChecks=40640 nbPropagations=2925 nbRevisions=24632 nbUselessRevisions=20055 nbAssignments=55
0.93 nbFailedAssignments=14 nbBacktracks=26 nbVisitedNodes=85 nbRestartNogoods=1 mapSize=22 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.093 cpuTime=0.06 mem=14M819
0.95
0.95 search
0.95 run=2 nbConstraintChecks=73713 nbPropagations=5304 nbRevisions=48265 nbUselessRevisions=39337
0.95 nbAssignments=101 nbFailedAssignments=29 nbBacktracks=49 nbVisitedNodes=156 nbRestartNogoods=3 mapSize=40
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.108 cpuTime=0.07 mem=14M819
0.96
0.96 search
0.96 run=3 nbConstraintChecks=111972 nbPropagations=8479 nbRevisions=82282 nbUselessRevisions=67278
0.96 nbAssignments=158 nbFailedAssignments=46 nbBacktracks=84 nbVisitedNodes=247 nbRestartNogoods=6 mapSize=67
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.122 cpuTime=0.08 mem=14M819
0.98
0.98 search
0.98 run=4 nbConstraintChecks=171228 nbPropagations=12777 nbRevisions=132154 nbUselessRevisions=108372
0.98 nbAssignments=238 nbFailedAssignments=70 nbBacktracks=136 nbVisitedNodes=371 nbRestartNogoods=7 mapSize=104
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.141 cpuTime=0.1 mem=14M819
1.02
1.02 search
1.02 run=5 nbConstraintChecks=281804 nbPropagations=19101 nbRevisions=212198 nbUselessRevisions=174592
1.02 nbAssignments=363 nbFailedAssignments=110 nbBacktracks=213 nbVisitedNodes=583 nbRestartNogoods=8 mapSize=176
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.177 cpuTime=0.13 mem=14M819
1.06
1.06 search
1.06 run=6 nbConstraintChecks=429329 nbPropagations=28182 nbRevisions=333224 nbUselessRevisions=275199
1.06 nbAssignments=543 nbFailedAssignments=167 nbBacktracks=328 nbVisitedNodes=885 nbRestartNogoods=12 mapSize=271
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.217 cpuTime=0.17 mem=14M819
1.12
1.12 search
1.12 run=7 nbConstraintChecks=657285 nbPropagations=41431 nbRevisions=513588 nbUselessRevisions=424232
1.12 nbAssignments=811 nbFailedAssignments=258 nbBacktracks=499 nbVisitedNodes=1334 nbRestartNogoods=16 mapSize=410
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.278 cpuTime=0.23 mem=14M819
1.22
1.22 search
1.22 run=8 nbConstraintChecks=985432 nbPropagations=60891 nbRevisions=786003 nbUselessRevisions=649922
1.22 nbAssignments=1211 nbFailedAssignments=393 nbBacktracks=757 nbVisitedNodes=2015 nbRestartNogoods=24
1.22 mapSize=633 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.376 cpuTime=0.31 mem=14M819
1.35
1.35 search
1.35 run=9 nbConstraintChecks=1458677 nbPropagations=88918 nbRevisions=1188915 nbUselessRevisions=985095
1.35 nbAssignments=1805 nbFailedAssignments=593 nbBacktracks=1143 nbVisitedNodes=3010 nbRestartNogoods=28
1.35 mapSize=955 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.508 cpuTime=0.43 mem=14M819
1.37
1.37 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=14M819)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=2229914 nbPropagations=130624 nbRevisions=1797955 nbUselessRevisions=1490773
1.54 nbAssignments=2724 nbFailedAssignments=928 nbBacktracks=1720 nbVisitedNodes=4565 nbRestartNogoods=33
1.54 => wckTime=0.699 cpuTime=0.6 mem=14M819
1.77
1.77 search
1.77 run=11 nbConstraintChecks=3284867 nbPropagations=191629 nbRevisions=2693664 nbUselessRevisions=2234611
1.77 nbAssignments=4013 nbFailedAssignments=1343 nbBacktracks=2586 nbVisitedNodes=6740 nbRestartNogoods=40
1.77 => wckTime=0.932 cpuTime=0.83 mem=14M819
2.15
2.15 search
2.15 run=12 nbConstraintChecks=5065545 nbPropagations=284285 nbRevisions=4060744 nbUselessRevisions=3367590
2.16 nbAssignments=6030 nbFailedAssignments=2039 nbBacktracks=3883 nbVisitedNodes=10173 nbRestartNogoods=48
2.16 => wckTime=1.315 cpuTime=1.21 mem=14M819
2.70
2.70 search
2.70 run=13 nbConstraintChecks=7507772 nbPropagations=422089 nbRevisions=6110705 nbUselessRevisions=5071080
2.70 nbAssignments=9063 nbFailedAssignments=3099 nbBacktracks=5830 nbVisitedNodes=15304 nbRestartNogoods=57
2.70 => wckTime=1.861 cpuTime=1.75 mem=14M819
3.47
3.47 search
3.47 run=14 nbConstraintChecks=11018515 nbPropagations=624386 nbRevisions=9109232 nbUselessRevisions=7561527
3.47 nbAssignments=13391 nbFailedAssignments=4499 nbBacktracks=8749 nbVisitedNodes=22546 nbRestartNogoods=63
3.47 => wckTime=2.629 cpuTime=2.51 mem=14M819
4.68
4.68 search
4.68 run=15 nbConstraintChecks=16615135 nbPropagations=925997 nbRevisions=13601512 nbUselessRevisions=11295287
4.68 nbAssignments=19912 nbFailedAssignments=6634 nbBacktracks=13129 nbVisitedNodes=33488 nbRestartNogoods=73
4.68 => wckTime=3.836 cpuTime=3.71 mem=14M819
6.44
6.44 search
6.44 run=16 nbConstraintChecks=24727793 nbPropagations=1374516 nbRevisions=20300419 nbUselessRevisions=16867125
6.44 nbAssignments=29681 nbFailedAssignments=9826 nbBacktracks=19698 nbVisitedNodes=49875 nbRestartNogoods=78
6.44 => wckTime=5.602 cpuTime=5.46 mem=14M819
9.02
9.02 search
9.02 run=17 nbConstraintChecks=36674943 nbPropagations=2041178 nbRevisions=30264856 nbUselessRevisions=25159229
9.02 nbAssignments=44217 nbFailedAssignments=14503 nbBacktracks=29550 nbVisitedNodes=74165 nbRestartNogoods=89
9.02 => wckTime=8.177 cpuTime=8.02 mem=14M819
12.92
12.92 search
12.92 run=18 nbConstraintChecks=54947186 nbPropagations=3035460 nbRevisions=45177223 nbUselessRevisions=37570252
12.92 nbAssignments=66218 nbFailedAssignments=21719 nbBacktracks=44328 nbVisitedNodes=110949 nbRestartNogoods=94
12.92 => wckTime=12.077 cpuTime=11.9 mem=14M819
19.11
19.11 search
19.11 run=19 nbConstraintChecks=84159721 nbPropagations=4545596 nbRevisions=67920530 nbUselessRevisions=56499178
19.11 nbAssignments=99916 nbFailedAssignments=33238 nbBacktracks=66499 nbVisitedNodes=167870 nbRestartNogoods=103
19.11 => wckTime=18.27 cpuTime=18.06 mem=14M819
28.25
28.25 search
28.25 run=20 nbConstraintChecks=127065134 nbPropagations=6816327 nbRevisions=102099116 nbUselessRevisions=84929611
28.25 nbAssignments=149732 nbFailedAssignments=49793 nbBacktracks=99753 nbVisitedNodes=251523 nbRestartNogoods=111
28.25 => wckTime=27.406 cpuTime=27.16 mem=14M819
35.08
35.08 search
35.08 run=21 nbConstraintChecks=159584835 nbPropagations=9653753 nbRevisions=144901856 nbUselessRevisions=120525804
35.08 nbAssignments=186592 nbFailedAssignments=62240 nbBacktracks=124167 nbVisitedNodes=313507 nbRestartNogoods=123
35.08 => wckTime=34.24 cpuTime=33.95 mem=14M819
35.08
35.08 global
35.08 nbConstraintChecks=159616219 nbPropagations=9654598 nbRevisions=144907400 nbUselessRevisions=120530220
35.08 nbRestartNogoods=123 solvingWckTime=34.241 solvingCpuTime=33.95 expiredTime=no totalExploration=yes
35.08 nbFoundSolutions=0 globalCpuTime=34.37
35.08 => wckTime=34.76 cpuTime=34.31 mem=14M819
35.09
35.09 s UNSATISFIABLE
35.09 d NODES 186592
35.09 d CHECKS 159616219
35.09
35.09 totalWckTime=34.844 totalCpuTime=34.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-228040-1168279394 -o ROOT/results/node1/solver-228040-1168279394 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228040-1168279394/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.74 1.94 1.96 4/88 3228
/proc/meminfo: memFree=1387976/2055920 swapFree=4165612/4192956
[pid=3227] ppid=3225 vsize=18540 CPUtime=0
/proc/3227/stat : 3227 (runsolver) R 3225 3227 32181 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 176335283 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3227/statm: 4635 279 244 17 0 2626 0
[startup+0.108634 s]
/proc/loadavg: 1.74 1.94 1.96 4/88 3228
/proc/meminfo: memFree=1387976/2055920 swapFree=4165612/4192956
[pid=3227] ppid=3225 vsize=914988 CPUtime=0.09
/proc/3227/stat : 3227 (java) R 3225 3227 32181 0 -1 0 2989 0 1 0 8 1 0 0 17 0 8 0 176335283 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3227/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51668 s]
/proc/loadavg: 1.74 1.94 1.96 4/88 3228
/proc/meminfo: memFree=1387976/2055920 swapFree=4165612/4192956
[pid=3227] ppid=3225 vsize=915328 CPUtime=0.49
/proc/3227/stat : 3227 (java) R 3225 3227 32181 0 -1 0 6359 0 1 0 44 5 0 0 18 0 8 0 176335283 937295872 6098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3227/statm: 228832 6098 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33977 s]
/proc/loadavg: 1.74 1.94 1.96 3/95 3235
/proc/meminfo: memFree=1364240/2055920 swapFree=4165612/4192956
[pid=3227] ppid=3225 vsize=915456 CPUtime=1.3
/proc/3227/stat : 3227 (java) R 3225 3227 32181 0 -1 0 8671 0 1 0 123 7 0 0 24 0 8 0 176335283 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3227/statm: 228864 8409 2524 14 0 215334 0
[pid=3227/tid=3229] ppid=3225 vsize=915456 CPUtime=0.03
/proc/3227/task/3229/stat : 3229 (java) S 3225 3227 32181 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 176335288 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3230] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3230/stat : 3230 (java) S 3225 3227 32181 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176335288 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3231] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3231/stat : 3231 (java) S 3225 3227 32181 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176335288 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3232] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3232/stat : 3232 (java) S 3225 3227 32181 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176335292 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3233] ppid=3225 vsize=915456 CPUtime=0.23
/proc/3227/task/3233/stat : 3233 (java) S 3225 3227 32181 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 176335292 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3234] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3234/stat : 3234 (java) S 3225 3227 32181 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176335292 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3235] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3235/stat : 3235 (java) S 3225 3227 32181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176335292 937426944 8409 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) 915456
[startup+2.99296 s]
/proc/loadavg: 1.76 1.94 1.96 3/95 3235
/proc/meminfo: memFree=1363984/2055920 swapFree=4165612/4192956
[pid=3227] ppid=3225 vsize=915456 CPUtime=2.94
/proc/3227/stat : 3227 (java) R 3225 3227 32181 0 -1 0 8696 0 1 0 287 7 0 0 25 0 8 0 176335283 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796901 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3227/statm: 228864 8433 2524 14 0 215334 0
[pid=3227/tid=3229] ppid=3225 vsize=915456 CPUtime=0.03
/proc/3227/task/3229/stat : 3229 (java) S 3225 3227 32181 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 176335288 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3230] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3230/stat : 3230 (java) S 3225 3227 32181 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176335288 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3231] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3231/stat : 3231 (java) S 3225 3227 32181 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176335288 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3232] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3232/stat : 3232 (java) S 3225 3227 32181 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176335292 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3233] ppid=3225 vsize=915456 CPUtime=0.25
/proc/3227/task/3233/stat : 3233 (java) S 3225 3227 32181 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 176335292 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3234] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3234/stat : 3234 (java) S 3225 3227 32181 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176335292 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3235] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3235/stat : 3235 (java) S 3225 3227 32181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176335292 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.27335 s]
/proc/loadavg: 1.76 1.94 1.96 3/95 3235
/proc/meminfo: memFree=1363920/2055920 swapFree=4165612/4192956
[pid=3227] ppid=3225 vsize=915456 CPUtime=6.19
/proc/3227/stat : 3227 (java) R 3225 3227 32181 0 -1 0 8702 0 1 0 612 7 0 0 25 0 8 0 176335283 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3227/statm: 228864 8439 2524 14 0 215334 0
[pid=3227/tid=3229] ppid=3225 vsize=915456 CPUtime=0.03
/proc/3227/task/3229/stat : 3229 (java) S 3225 3227 32181 0 -1 64 228 0 0 0 3 0 0 0 17 0 8 0 176335288 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3230] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3230/stat : 3230 (java) S 3225 3227 32181 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176335288 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3231] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3231/stat : 3231 (java) S 3225 3227 32181 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176335288 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3232] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3232/stat : 3232 (java) S 3225 3227 32181 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176335292 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3233] ppid=3225 vsize=915456 CPUtime=0.25
/proc/3227/task/3233/stat : 3233 (java) S 3225 3227 32181 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 176335292 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3234] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3234/stat : 3234 (java) S 3225 3227 32181 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176335292 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3235] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3235/stat : 3235 (java) S 3225 3227 32181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176335292 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915456
[startup+12.7621 s]
/proc/loadavg: 1.80 1.94 1.96 3/95 3235
/proc/meminfo: memFree=1363984/2055920 swapFree=4165612/4192956
[pid=3227] ppid=3225 vsize=915456 CPUtime=12.64
/proc/3227/stat : 3227 (java) R 3225 3227 32181 0 -1 0 8708 0 1 0 1257 7 0 0 25 0 8 0 176335283 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793926 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3227/statm: 228864 8444 2524 14 0 215334 0
[pid=3227/tid=3229] ppid=3225 vsize=915456 CPUtime=0.03
/proc/3227/task/3229/stat : 3229 (java) S 3225 3227 32181 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 176335288 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3230] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3230/stat : 3230 (java) S 3225 3227 32181 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176335288 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3231] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3231/stat : 3231 (java) S 3225 3227 32181 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176335288 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3232] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3232/stat : 3232 (java) S 3225 3227 32181 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176335292 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3233] ppid=3225 vsize=915456 CPUtime=0.25
/proc/3227/task/3233/stat : 3233 (java) S 3225 3227 32181 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 176335292 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3234] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3234/stat : 3234 (java) S 3225 3227 32181 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176335292 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3235] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3235/stat : 3235 (java) S 3225 3227 32181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176335292 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915456
[startup+25.5996 s]
/proc/loadavg: 1.83 1.94 1.96 3/95 3235
/proc/meminfo: memFree=1363984/2055920 swapFree=4165612/4192956
[pid=3227] ppid=3225 vsize=915456 CPUtime=25.42
/proc/3227/stat : 3227 (java) R 3225 3227 32181 0 -1 0 8713 0 1 0 2535 7 0 0 25 0 8 0 176335283 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3227/statm: 228864 8449 2524 14 0 215334 0
[pid=3227/tid=3229] ppid=3225 vsize=915456 CPUtime=0.03
/proc/3227/task/3229/stat : 3229 (java) S 3225 3227 32181 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 176335288 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3230] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3230/stat : 3230 (java) S 3225 3227 32181 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176335288 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3231] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3231/stat : 3231 (java) S 3225 3227 32181 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176335288 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3232] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3232/stat : 3232 (java) S 3225 3227 32181 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176335292 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3233] ppid=3225 vsize=915456 CPUtime=0.25
/proc/3227/task/3233/stat : 3233 (java) S 3225 3227 32181 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 176335292 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3234] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3234/stat : 3234 (java) S 3225 3227 32181 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176335292 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3227/tid=3235] ppid=3225 vsize=915456 CPUtime=0
/proc/3227/task/3235/stat : 3235 (java) S 3225 3227 32181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176335292 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 35.1294
CPU time (s): 34.8837
CPU user time (s): 34.7977
CPU system time (s): 0.085986
CPU usage (%): 99.3007
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.7977
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8807
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= 1835
involuntary context switches= 3153
runsolver used 0.042993 s user time and 0.123981 s system time
The end
Begin job on node1 on Mon Jan 8 18:03:14 UTC 2007
IDJOB= 228040
IDBENCH= 6147
FILE ID= node1/228040-1168279394
PBS_JOBID= 3483072
Free space on /tmp= 66312 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-79_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228040-1168279394/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-228040-1168279394 -o ROOT/results/node1/solver-228040-1168279394 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228040-1168279394/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c113bf890a9b418d28d4e86db73c4f2e
RANDOM SEED= 786589435
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1388456 kB
Buffers: 60272 kB
Cached: 506356 kB
SwapCached: 3620 kB
Active: 267844 kB
Inactive: 340596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1388456 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 2840 kB
Writeback: 0 kB
Mapped: 53392 kB
Slab: 43732 kB
Committed_AS: 5462376 kB
PageTables: 2364 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= 66312 MiB
End job on node1 on Mon Jan 8 18:03:51 UTC 2007