0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/232091-1168320061/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.39 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=862 maxDegree=24
0.60 maxArity=2
0.60 => wckTime=0.309 cpuTime=0.23 mem=13M778
0.64
0.64 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.501 cpuTime=0.36 mem=15M171
0.84
0.84 preprocessing
0.84 nbConstraintChecks=57165 nbPropagations=700 nbRevisions=7209 nbUselessRevisions=6358 nbSingletonTests=35
0.84 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.84 => wckTime=0.044 cpuTime=0.03 mem=15M171
0.87
0.87 search
0.87 run=0 nbConstraintChecks=45160 nbPropagations=1165 nbRevisions=15717 nbUselessRevisions=13755 nbAssignments=28
0.87 nbFailedAssignments=12 nbBacktracks=11 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.069 cpuTime=0.05 mem=15M171
0.88
0.88 search
0.88 run=1 nbConstraintChecks=93234 nbPropagations=2896 nbRevisions=41089 nbUselessRevisions=35955 nbAssignments=62
0.88 nbFailedAssignments=24 nbBacktracks=26 nbVisitedNodes=107 nbRestartNogoods=3 mapSize=26 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.084 cpuTime=0.07 mem=15M171
0.90
0.90 search
0.90 run=2 nbConstraintChecks=164557 nbPropagations=5433 nbRevisions=81164 nbUselessRevisions=71055
0.90 nbAssignments=113 nbFailedAssignments=46 nbBacktracks=48 nbVisitedNodes=194 nbRestartNogoods=7 mapSize=48
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.103 cpuTime=0.08 mem=15M171
0.92
0.92 search
0.92 run=3 nbConstraintChecks=264479 nbPropagations=9097 nbRevisions=142848 nbUselessRevisions=125011
0.92 nbAssignments=184 nbFailedAssignments=79 nbBacktracks=81 nbVisitedNodes=323 nbRestartNogoods=9 mapSize=80
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.126 cpuTime=0.1 mem=15M171
0.95
0.95 search
0.95 run=4 nbConstraintChecks=393661 nbPropagations=14297 nbRevisions=233546 nbUselessRevisions=204118
0.95 nbAssignments=283 nbFailedAssignments=121 nbBacktracks=132 nbVisitedNodes=503 nbRestartNogoods=13 mapSize=129
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.151 cpuTime=0.12 mem=15M171
0.99
0.99 search
0.99 run=5 nbConstraintChecks=630913 nbPropagations=22034 nbRevisions=375571 nbUselessRevisions=327690
0.99 nbAssignments=441 nbFailedAssignments=200 nbBacktracks=208 nbVisitedNodes=799 nbRestartNogoods=18 mapSize=204
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.196 cpuTime=0.16 mem=15M171
1.05
1.05 search
1.05 run=6 nbConstraintChecks=961526 nbPropagations=33300 nbRevisions=589752 nbUselessRevisions=513869
1.05 nbAssignments=664 nbFailedAssignments=306 nbBacktracks=321 nbVisitedNodes=1215 nbRestartNogoods=19 mapSize=315
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.252 cpuTime=0.22 mem=15M171
1.12
1.12 search
1.13 run=7 nbConstraintChecks=1374203 nbPropagations=49491 nbRevisions=900732 nbUselessRevisions=784129
1.13 nbAssignments=1010 nbFailedAssignments=476 nbBacktracks=491 nbVisitedNodes=1849 nbRestartNogoods=25
1.13 mapSize=479 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.327 cpuTime=0.29 mem=15M171
1.25
1.25 search
1.25 run=8 nbConstraintChecks=2086139 nbPropagations=73332 nbRevisions=1368409 nbUselessRevisions=1190919
1.25 nbAssignments=1511 nbFailedAssignments=716 nbBacktracks=747 nbVisitedNodes=2781 nbRestartNogoods=32
1.25 mapSize=729 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.455 cpuTime=0.4 mem=15M171
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=15M171)
1.42
1.42 search
1.42 run=9 nbConstraintChecks=3145068 nbPropagations=108738 nbRevisions=2072490 nbUselessRevisions=1803942
1.42 nbAssignments=2271 nbFailedAssignments=1088 nbBacktracks=1131 nbVisitedNodes=4195 nbRestartNogoods=38
1.42 => wckTime=0.622 cpuTime=0.56 mem=15M171
1.66
1.66 search
1.66 run=10 nbConstraintChecks=4736732 nbPropagations=161640 nbRevisions=3135707 nbUselessRevisions=2729680
1.66 nbAssignments=3414 nbFailedAssignments=1652 nbBacktracks=1708 nbVisitedNodes=6320 nbRestartNogoods=47
1.66 => wckTime=0.865 cpuTime=0.8 mem=15M171
2.00
2.00 search
2.00 run=11 nbConstraintChecks=7073319 nbPropagations=240195 nbRevisions=4723512 nbUselessRevisions=4112623
2.00 nbAssignments=5094 nbFailedAssignments=2462 nbBacktracks=2573 nbVisitedNodes=9441 nbRestartNogoods=48
2.00 => wckTime=1.203 cpuTime=1.13 mem=15M171
2.51
2.51 search
2.51 run=12 nbConstraintChecks=10654456 nbPropagations=357482 nbRevisions=7112252 nbUselessRevisions=6193083
2.51 nbAssignments=7616 nbFailedAssignments=3681 nbBacktracks=3872 nbVisitedNodes=14126 nbRestartNogoods=61
2.51 => wckTime=1.713 cpuTime=1.64 mem=15M171
3.24
3.24 search
3.24 run=13 nbConstraintChecks=15692725 nbPropagations=530404 nbRevisions=10639464 nbUselessRevisions=9266059
3.24 nbAssignments=11305 nbFailedAssignments=5418 nbBacktracks=5819 nbVisitedNodes=20970 nbRestartNogoods=69
3.24 => wckTime=2.438 cpuTime=2.37 mem=15M171
4.45
4.45 search
4.45 run=14 nbConstraintChecks=24394959 nbPropagations=794244 nbRevisions=16096994 nbUselessRevisions=14022890
4.45 nbAssignments=17148 nbFailedAssignments=8337 nbBacktracks=8738 nbVisitedNodes=31905 nbRestartNogoods=79
4.45 => wckTime=3.652 cpuTime=3.58 mem=15M171
6.18
6.18 search
6.18 run=15 nbConstraintChecks=36507051 nbPropagations=1189588 nbRevisions=24287704 nbUselessRevisions=21163233
6.18 nbAssignments=25723 nbFailedAssignments=12518 nbBacktracks=13116 nbVisitedNodes=47888 nbRestartNogoods=90
6.18 => wckTime=5.384 cpuTime=5.31 mem=15M171
8.77
8.77 search
8.77 run=16 nbConstraintChecks=54700227 nbPropagations=1780767 nbRevisions=36546383 nbUselessRevisions=31844982
8.77 nbAssignments=38652 nbFailedAssignments=18873 nbBacktracks=19685 nbVisitedNodes=71941 nbRestartNogoods=105
8.77 => wckTime=7.969 cpuTime=7.89 mem=15M171
12.61
12.61 search
12.61 run=17 nbConstraintChecks=81621926 nbPropagations=2663904 nbRevisions=54857077 nbUselessRevisions=47801277
12.61 nbAssignments=57775 nbFailedAssignments=28138 nbBacktracks=29537 nbVisitedNodes=107580 nbRestartNogoods=119
12.61 => wckTime=11.811 cpuTime=11.71 mem=15M171
18.42
18.42 search
18.42 run=18 nbConstraintChecks=123222822 nbPropagations=3991470 nbRevisions=82443101 nbUselessRevisions=71841624
18.42 nbAssignments=86697 nbFailedAssignments=42277 nbBacktracks=44316 nbVisitedNodes=161486 nbRestartNogoods=127
18.42 => wckTime=17.623 cpuTime=17.52 mem=15M171
27.07
27.07 search
27.07 run=19 nbConstraintChecks=184171204 nbPropagations=5978356 nbRevisions=123711546 nbUselessRevisions=107806538
27.07 nbAssignments=129886 nbFailedAssignments=63292 nbBacktracks=66484 nbVisitedNodes=241950 nbRestartNogoods=142
27.07 => wckTime=26.27 cpuTime=26.17 mem=15M171
34.25
34.25 search
34.25 run=20 nbConstraintChecks=234355089 nbPropagations=8516819 nbRevisions=176324905 nbUselessRevisions=153655236
34.25 nbAssignments=166444 nbFailedAssignments=81012 nbBacktracks=85297 nbVisitedNodes=309848 nbRestartNogoods=158
34.25 => wckTime=33.454 cpuTime=33.34 mem=15M171
34.25
34.25 global
34.25 nbConstraintChecks=234412254 nbPropagations=8517519 nbRevisions=176332114 nbUselessRevisions=153661594
34.25 nbRestartNogoods=158 solvingWckTime=33.455 solvingCpuTime=33.34 expiredTime=no totalExploration=no
34.25 nbFoundSolutions=1 globalCpuTime=33.74
34.25 => wckTime=33.96 cpuTime=33.7 mem=15M171
34.26
34.26 s SATISFIABLE
34.26 v 5 23 6 23 5 13 10 10 16 23 15 6 14 17 1 4 21 16 0 1 21 11 16 0 7
34.26 d NODES 166444
34.26 d CHECKS 234412254
34.26
34.26 totalWckTime=34.036 totalCpuTime=33.74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-232091-1168320061 -o ROOT/results/node14/solver-232091-1168320061 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232091-1168320061/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.91 1.95 1.87 4/88 25442
/proc/meminfo: memFree=1493888/2055920 swapFree=4163780/4192956
[pid=25441] ppid=25439 vsize=172 CPUtime=0
/proc/25441/stat : 25441 (java) R 25439 25441 25146 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 180401090 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 0 0 0
/proc/25441/statm: 43 24 18 14 0 3 0
[startup+0.108434 s]
/proc/loadavg: 1.91 1.95 1.87 4/88 25442
/proc/meminfo: memFree=1493888/2055920 swapFree=4163780/4192956
[pid=25441] ppid=25439 vsize=914988 CPUtime=0.09
/proc/25441/stat : 25441 (java) R 25439 25441 25146 0 -1 0 3074 0 1 0 8 1 0 0 23 0 8 0 180401090 936947712 2820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25441/statm: 228747 2820 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51647 s]
/proc/loadavg: 1.91 1.95 1.87 4/88 25442
/proc/meminfo: memFree=1493888/2055920 swapFree=4163780/4192956
[pid=25441] ppid=25439 vsize=915328 CPUtime=0.49
/proc/25441/stat : 25441 (java) R 25439 25441 25146 0 -1 0 7147 0 1 0 46 3 0 0 25 0 8 0 180401090 937295872 6886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25441/statm: 228832 6887 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33955 s]
/proc/loadavg: 1.91 1.95 1.87 3/95 25449
/proc/meminfo: memFree=1469832/2055920 swapFree=4163780/4192956
[pid=25441] ppid=25439 vsize=915456 CPUtime=1.32
/proc/25441/stat : 25441 (java) R 25439 25441 25146 0 -1 0 8773 0 1 0 127 5 0 0 25 0 8 0 180401090 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25441/statm: 228864 8511 2524 14 0 215334 0
[pid=25441/tid=25443] ppid=25439 vsize=915456 CPUtime=0.03
/proc/25441/task/25443/stat : 25443 (java) S 25439 25441 25146 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180401094 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25444] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25444/stat : 25444 (java) S 25439 25441 25146 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180401094 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25445] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25445/stat : 25445 (java) S 25439 25441 25146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180401094 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25446] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25446/stat : 25446 (java) S 25439 25441 25146 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180401097 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25447] ppid=25439 vsize=915456 CPUtime=0.21
/proc/25441/task/25447/stat : 25447 (java) S 25439 25441 25146 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 180401097 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25448] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25448/stat : 25448 (java) S 25439 25441 25146 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180401097 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25449] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25449/stat : 25449 (java) S 25439 25441 25146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180401097 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456
[startup+2.99271 s]
/proc/loadavg: 1.91 1.95 1.87 3/95 25449
/proc/meminfo: memFree=1469768/2055920 swapFree=4163780/4192956
[pid=25441] ppid=25439 vsize=915456 CPUtime=2.97
/proc/25441/stat : 25441 (java) R 25439 25441 25146 0 -1 0 8780 0 1 0 292 5 0 0 25 0 8 0 180401090 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796117 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25441/statm: 228864 8517 2524 14 0 215334 0
[pid=25441/tid=25443] ppid=25439 vsize=915456 CPUtime=0.03
/proc/25441/task/25443/stat : 25443 (java) S 25439 25441 25146 0 -1 64 322 0 0 0 3 0 0 0 17 0 8 0 180401094 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25444] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25444/stat : 25444 (java) S 25439 25441 25146 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180401094 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25445] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25445/stat : 25445 (java) S 25439 25441 25146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180401094 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25446] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25446/stat : 25446 (java) S 25439 25441 25146 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180401097 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25447] ppid=25439 vsize=915456 CPUtime=0.22
/proc/25441/task/25447/stat : 25447 (java) S 25439 25441 25146 0 -1 64 391 0 0 0 21 1 0 0 15 0 8 0 180401097 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25448] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25448/stat : 25448 (java) S 25439 25441 25146 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180401097 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25449] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25449/stat : 25449 (java) S 25439 25441 25146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180401097 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915456
[startup+6.29302 s]
/proc/loadavg: 1.92 1.95 1.87 3/95 25449
/proc/meminfo: memFree=1469640/2055920 swapFree=4163780/4192956
[pid=25441] ppid=25439 vsize=915456 CPUtime=6.27
/proc/25441/stat : 25441 (java) R 25439 25441 25146 0 -1 0 8781 0 1 0 622 5 0 0 25 0 8 0 180401090 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796168 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25441/statm: 228864 8517 2524 14 0 215334 0
[pid=25441/tid=25443] ppid=25439 vsize=915456 CPUtime=0.03
/proc/25441/task/25443/stat : 25443 (java) S 25439 25441 25146 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180401094 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25444] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25444/stat : 25444 (java) S 25439 25441 25146 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180401094 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25445] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25445/stat : 25445 (java) S 25439 25441 25146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180401094 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25446] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25446/stat : 25446 (java) S 25439 25441 25146 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180401097 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25447] ppid=25439 vsize=915456 CPUtime=0.22
/proc/25441/task/25447/stat : 25447 (java) S 25439 25441 25146 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 180401097 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25448] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25448/stat : 25448 (java) S 25439 25441 25146 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180401097 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25449] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25449/stat : 25449 (java) S 25439 25441 25146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180401097 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 915456
[startup+12.7806 s]
/proc/loadavg: 1.93 1.95 1.87 3/95 25449
/proc/meminfo: memFree=1469640/2055920 swapFree=4163780/4192956
[pid=25441] ppid=25439 vsize=915456 CPUtime=12.73
/proc/25441/stat : 25441 (java) R 25439 25441 25146 0 -1 0 8785 0 1 0 1268 5 0 0 25 0 8 0 180401090 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25441/statm: 228864 8520 2524 14 0 215334 0
[pid=25441/tid=25443] ppid=25439 vsize=915456 CPUtime=0.03
/proc/25441/task/25443/stat : 25443 (java) S 25439 25441 25146 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180401094 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25444] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25444/stat : 25444 (java) S 25439 25441 25146 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180401094 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25445] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25445/stat : 25445 (java) S 25439 25441 25146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180401094 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25446] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25446/stat : 25446 (java) S 25439 25441 25146 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180401097 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25447] ppid=25439 vsize=915456 CPUtime=0.22
/proc/25441/task/25447/stat : 25447 (java) S 25439 25441 25146 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180401097 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25448] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25448/stat : 25448 (java) S 25439 25441 25146 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180401097 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25449] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25449/stat : 25449 (java) S 25439 25441 25146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180401097 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915456
[startup+25.6368 s]
/proc/loadavg: 1.94 1.96 1.87 3/95 25449
/proc/meminfo: memFree=1469640/2055920 swapFree=4163780/4192956
[pid=25441] ppid=25439 vsize=915456 CPUtime=25.58
/proc/25441/stat : 25441 (java) R 25439 25441 25146 0 -1 0 8787 0 1 0 2553 5 0 0 25 0 8 0 180401090 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806381 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25441/statm: 228864 8522 2524 14 0 215334 0
[pid=25441/tid=25443] ppid=25439 vsize=915456 CPUtime=0.03
/proc/25441/task/25443/stat : 25443 (java) S 25439 25441 25146 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180401094 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25444] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25444/stat : 25444 (java) S 25439 25441 25146 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180401094 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25445] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25445/stat : 25445 (java) S 25439 25441 25146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180401094 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25446] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25446/stat : 25446 (java) S 25439 25441 25146 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180401097 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25447] ppid=25439 vsize=915456 CPUtime=0.22
/proc/25441/task/25447/stat : 25447 (java) S 25439 25441 25146 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180401097 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25448] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25448/stat : 25448 (java) S 25439 25441 25146 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180401097 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25441/tid=25449] ppid=25439 vsize=915456 CPUtime=0
/proc/25441/task/25449/stat : 25449 (java) S 25439 25441 25146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180401097 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 34.3098
CPU time (s): 34.2078
CPU user time (s): 34.1448
CPU system time (s): 0.06299
CPU usage (%): 99.7028
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.1448
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8882
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= 1862
involuntary context switches= 2985
runsolver used 0.036994 s user time and 0.12798 s system time
The end
Begin job on node14 on Tue Jan 9 05:21:02 UTC 2007
IDJOB= 232091
IDBENCH= 6500
FILE ID= node14/232091-1168320061
PBS_JOBID= 3502677
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-54021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232091-1168320061/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-232091-1168320061 -o ROOT/results/node14/solver-232091-1168320061 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232091-1168320061/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bf88d62088459624c50cfbf8bcb9cc1f
RANDOM SEED= 217151563
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.227
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.227
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: 1494304 kB
Buffers: 65896 kB
Cached: 386640 kB
SwapCached: 4084 kB
Active: 224940 kB
Inactive: 266288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1494304 kB
SwapTotal: 4192956 kB
SwapFree: 4163780 kB
Dirty: 1932 kB
Writeback: 0 kB
Mapped: 48752 kB
Slab: 55132 kB
Committed_AS: 6100804 kB
PageTables: 2208 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= 66560 MiB
End job on node14 on Tue Jan 9 05:21:36 UTC 2007