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/197087-1168125246/unknown.xml
0.38
0.38 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=141 nbDomainTypes=140 minDomainSize=1 maxDomainSize=6
0.46 => wckTime=0.129 cpuTime=0.1 mem=6M886
0.46
0.46 relations being loaded...
0.50
0.51 constraints being loaded...
0.67 nbConstraints=877 nbRelationTypes=241 nbSingletonDomainVariables=2 nbExtensionStructures=873
0.67 nbSharedExtensionStructures=4 nbConflictsStructures=873 nbSharedConflictsStructures=4
0.67 nbSharedBinaryRepresentations=6713 maxDegree=14 maxArity=2
0.67 => wckTime=0.343 cpuTime=0.23 mem=11M762
0.71
0.71 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.541 cpuTime=0.35 mem=15M111
0.94
0.94 preprocessing
0.94 nbConstraintChecks=12396 nbPropagations=1500 nbRevisions=4156 nbUselessRevisions=2516 nbSingletonTests=185
0.94 nbEffectiveSingletonTests=0 nbESACBranches=16 nbRemovedValues=11 detectedInconsistency=no
0.94 => wckTime=0.067 cpuTime=0.04 mem=15M111
0.96
0.96 search
0.96 run=0 nbConstraintChecks=2804 nbPropagations=1825 nbRevisions=5134 nbUselessRevisions=3094 nbAssignments=68
0.96 nbFailedAssignments=5 nbBacktracks=12 nbVisitedNodes=78 nbRestartNogoods=0 mapSize=4 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.093 cpuTime=0.06 mem=16M103
0.98
0.98 search
0.98 run=1 nbConstraintChecks=8445 nbPropagations=4285 nbRevisions=12181 nbUselessRevisions=7381 nbAssignments=202
0.98 nbFailedAssignments=9 nbBacktracks=40 nbVisitedNodes=156 nbRestartNogoods=5 mapSize=16 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.106 cpuTime=0.07 mem=16M103
0.98
0.98 search
0.98 run=2 nbConstraintChecks=12633 nbPropagations=7146 nbRevisions=20835 nbUselessRevisions=12678
0.98 nbAssignments=270 nbFailedAssignments=14 nbBacktracks=63 nbVisitedNodes=236 nbRestartNogoods=6 mapSize=24
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.114 cpuTime=0.07 mem=16M103
1.00
1.00 search
1.00 run=3 nbConstraintChecks=20148 nbPropagations=10783 nbRevisions=32264 nbUselessRevisions=19729
1.00 nbAssignments=402 nbFailedAssignments=18 nbBacktracks=103 nbVisitedNodes=317 nbRestartNogoods=10 mapSize=33
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.128 cpuTime=0.09 mem=16M103
1.01
1.01 search
1.01 run=4 nbConstraintChecks=28935 nbPropagations=15115 nbRevisions=47151 nbUselessRevisions=28849
1.01 nbAssignments=505 nbFailedAssignments=29 nbBacktracks=154 nbVisitedNodes=450 nbRestartNogoods=11 mapSize=57
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.144 cpuTime=0.1 mem=16M103
1.03
1.03 search
1.03 run=5 nbConstraintChecks=43933 nbPropagations=20725 nbRevisions=67931 nbUselessRevisions=41641
1.03 nbAssignments=686 nbFailedAssignments=46 nbBacktracks=253 nbVisitedNodes=636 nbRestartNogoods=15 mapSize=95
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.164 cpuTime=0.12 mem=16M103
1.05
1.05 search
1.05 run=6 nbConstraintChecks=56922 nbPropagations=27457 nbRevisions=93891 nbUselessRevisions=57556
1.05 nbAssignments=862 nbFailedAssignments=68 nbBacktracks=368 nbVisitedNodes=860 nbRestartNogoods=19 mapSize=137
1.05 nbInferences=1 nbTooLargeKeys=0
1.05 => wckTime=0.183 cpuTime=0.13 mem=16M103
1.08
1.08 search
1.08 run=7 nbConstraintChecks=78686 nbPropagations=35861 nbRevisions=128511 nbUselessRevisions=78732
1.08 nbAssignments=1090 nbFailedAssignments=103 nbBacktracks=546 nbVisitedNodes=1155 nbRestartNogoods=23
1.08 mapSize=202 nbInferences=1 nbTooLargeKeys=0
1.08 => wckTime=0.209 cpuTime=0.16 mem=16M103
1.12
1.12 search
1.12 run=8 nbConstraintChecks=115157 nbPropagations=46923 nbRevisions=179044 nbUselessRevisions=110189
1.12 nbAssignments=1437 nbFailedAssignments=156 nbBacktracks=809 nbVisitedNodes=1611 nbRestartNogoods=25
1.12 mapSize=306 nbInferences=1 nbTooLargeKeys=0
1.12 => wckTime=0.251 cpuTime=0.2 mem=16M103
1.19
1.19 search
1.19 run=9 nbConstraintChecks=164900 nbPropagations=61576 nbRevisions=251067 nbUselessRevisions=155595
1.19 nbAssignments=1918 nbFailedAssignments=218 nbBacktracks=1198 nbVisitedNodes=2237 nbRestartNogoods=29
1.19 mapSize=447 nbInferences=1 nbTooLargeKeys=0
1.19 => wckTime=0.318 cpuTime=0.25 mem=16M103
1.28
1.28 search
1.28 run=10 nbConstraintChecks=278069 nbPropagations=83891 nbRevisions=373510 nbUselessRevisions=234545
1.28 nbAssignments=2650 nbFailedAssignments=340 nbBacktracks=1776 nbVisitedNodes=3258 nbRestartNogoods=32
1.28 mapSize=725 nbInferences=2 nbTooLargeKeys=0
1.28 => wckTime=0.415 cpuTime=0.35 mem=16M103
1.37
1.37 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=16M103)
1.39
1.39 search
1.39 run=11 nbConstraintChecks=401536 nbPropagations=114922 nbRevisions=549287 nbUselessRevisions=348129
1.39 nbAssignments=3696 nbFailedAssignments=487 nbBacktracks=2657 nbVisitedNodes=4667 nbRestartNogoods=36
1.39 => wckTime=0.519 cpuTime=0.45 mem=16M103
1.54
1.54 search
1.54 run=12 nbConstraintChecks=613715 nbPropagations=160733 nbRevisions=818202 nbUselessRevisions=523452
1.54 nbAssignments=5274 nbFailedAssignments=757 nbBacktracks=3957 nbVisitedNodes=6829 nbRestartNogoods=40
1.54 => wckTime=0.667 cpuTime=0.6 mem=16M103
1.77
1.77 search
1.77 run=13 nbConstraintChecks=964320 nbPropagations=231006 nbRevisions=1231759 nbUselessRevisions=789665
1.77 nbAssignments=7757 nbFailedAssignments=1278 nbBacktracks=5910 nbVisitedNodes=10382 nbRestartNogoods=41
1.77 => wckTime=0.901 cpuTime=0.83 mem=16M103
2.15
2.15 search
2.15 run=14 nbConstraintChecks=1534049 nbPropagations=340082 nbRevisions=1897594 nbUselessRevisions=1225394
2.15 nbAssignments=11336 nbFailedAssignments=1919 nbBacktracks=8829 nbVisitedNodes=15349 nbRestartNogoods=44
2.15 => wckTime=1.284 cpuTime=1.21 mem=16M103
2.67
2.67 search
2.67 run=15 nbConstraintChecks=2263117 nbPropagations=500537 nbRevisions=2895295 nbUselessRevisions=1886936
2.67 nbAssignments=16635 nbFailedAssignments=2786 nbBacktracks=13207 nbVisitedNodes=22560 nbRestartNogoods=50
2.67 => wckTime=1.803 cpuTime=1.72 mem=16M103
3.47
3.47 search
3.47 run=16 nbConstraintChecks=3410506 nbPropagations=741025 nbRevisions=4400199 nbUselessRevisions=2885206
3.47 nbAssignments=24884 nbFailedAssignments=4389 nbBacktracks=19778 nbVisitedNodes=34166 nbRestartNogoods=56
3.47 => wckTime=2.598 cpuTime=2.52 mem=16M103
4.72
4.72 search
4.72 run=17 nbConstraintChecks=5274944 nbPropagations=1108336 nbRevisions=6740841 nbUselessRevisions=4447141
4.72 nbAssignments=36996 nbFailedAssignments=6622 nbBacktracks=29635 nbVisitedNodes=51192 nbRestartNogoods=63
4.72 => wckTime=3.853 cpuTime=3.77 mem=16M103
6.37
6.37 search
6.37 run=18 nbConstraintChecks=7609206 nbPropagations=1640479 nbRevisions=10114382 nbUselessRevisions=6697680
6.37 nbAssignments=54807 nbFailedAssignments=9616 nbBacktracks=44416 nbVisitedNodes=75803 nbRestartNogoods=72
6.37 => wckTime=5.499 cpuTime=5.42 mem=16M103
6.47
6.47 search
6.47 run=19 nbConstraintChecks=7746162 nbPropagations=2181813 nbRevisions=13546186 nbUselessRevisions=8985689
6.47 nbAssignments=55788 nbFailedAssignments=9789 nbBacktracks=45083 nbVisitedNodes=77173 nbRestartNogoods=76
6.47 => wckTime=5.597 cpuTime=5.51 mem=16M103
6.47
6.47 global
6.47 nbConstraintChecks=7758558 nbPropagations=2183313 nbRevisions=13550342 nbUselessRevisions=8988205
6.47 nbRestartNogoods=76 solvingWckTime=5.598 solvingCpuTime=5.52 expiredTime=no totalExploration=no
6.47 nbFoundSolutions=1 globalCpuTime=5.92
6.47 => wckTime=6.141 cpuTime=5.87 mem=16M103
6.47
6.47 s SATISFIABLE
6.47 v 7 10 11 3 9 16 14 14 9 6 0 5 10 12 4 10 5 4 0 3 17 2 11 17 0 14 13 4 10 2 12 4 12 14 13 17 5 7 16 15 0 16 10 11 4 1 2 14 12 2 0 3 1 7 9 2 16 3 15 12 8 4 11 1 16 14 17 5 7 11 15 4 9 8 2 0 15 3 0 2 7 13 16 6 8 9 8 7 2 15 10 11 5 13 10 2 15 5 9 11 16 5 15 3 12 1 7 14 4 3 7 14 2 17 1 15 5 12 0 3 10 2 15 8 1 16 17 14 15 9 7 6 3 12 3 7 2 9 8 0 13
6.47 d NODES 55788
6.47 d CHECKS 7758558
6.47
6.47 totalWckTime=6.218 totalCpuTime=5.92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-197087-1168125246 -o ROOT/results/node60/solver-197087-1168125246 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197087-1168125246/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.41 0.82 1.32 3/68 25516
/proc/meminfo: memFree=1830584/2055920 swapFree=4192812/4192956
[pid=25515] ppid=25513 vsize=18540 CPUtime=0
/proc/25515/stat : 25515 (runsolver) D 25513 25515 25106 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 160923242 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271894244647 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/25515/statm: 4635 279 244 17 0 2626 0
[startup+0.105988 s]
/proc/loadavg: 0.41 0.82 1.32 3/68 25516
/proc/meminfo: memFree=1830584/2055920 swapFree=4192812/4192956
[pid=25515] ppid=25513 vsize=911488 CPUtime=0.06
/proc/25515/stat : 25515 (java) R 25513 25515 25106 0 -1 0 2622 0 1 0 5 1 0 0 22 0 8 0 160923242 933363712 2369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154018734 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25515/statm: 227872 2369 1279 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.514025 s]
/proc/loadavg: 0.41 0.82 1.32 3/68 25516
/proc/meminfo: memFree=1830584/2055920 swapFree=4192812/4192956
[pid=25515] ppid=25513 vsize=915328 CPUtime=0.47
/proc/25515/stat : 25515 (java) R 25513 25515 25106 0 -1 0 6272 0 1 0 43 4 0 0 17 0 8 0 160923242 937295872 6011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072919652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25515/statm: 228832 6011 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33411 s]
/proc/loadavg: 0.41 0.82 1.32 2/75 25523
/proc/meminfo: memFree=1806016/2055920 swapFree=4192812/4192956
[pid=25515] ppid=25513 vsize=915568 CPUtime=1.29
/proc/25515/stat : 25515 (java) R 25513 25515 25106 0 -1 0 8987 0 1 0 122 7 0 0 17 0 8 0 160923242 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073933435 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25515/statm: 228892 8725 2524 14 0 215362 0
[pid=25515/tid=25517] ppid=25513 vsize=915568 CPUtime=0.03
/proc/25515/task/25517/stat : 25517 (java) S 25513 25515 25106 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 160923248 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25515/tid=25518] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25518/stat : 25518 (java) S 25513 25515 25106 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160923249 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25519] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25519/stat : 25519 (java) S 25513 25515 25106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160923249 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25520] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25520/stat : 25520 (java) S 25513 25515 25106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160923252 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25521] ppid=25513 vsize=915568 CPUtime=0.25
/proc/25515/task/25521/stat : 25521 (java) S 25513 25515 25106 0 -1 64 413 0 0 0 24 1 0 0 16 0 8 0 160923252 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25515/tid=25522] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25522/stat : 25522 (java) S 25513 25515 25106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160923252 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25523] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25523/stat : 25523 (java) S 25513 25515 25106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160923252 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915568
[startup+2.97026 s]
/proc/loadavg: 0.41 0.82 1.32 2/75 25523
/proc/meminfo: memFree=1805440/2055920 swapFree=4192812/4192956
[pid=25515] ppid=25513 vsize=915568 CPUtime=2.92
/proc/25515/stat : 25515 (java) R 25513 25515 25106 0 -1 0 9020 0 1 0 285 7 0 0 18 0 8 0 160923242 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073933458 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25515/statm: 228892 8757 2525 14 0 215362 0
[pid=25515/tid=25517] ppid=25513 vsize=915568 CPUtime=0.03
/proc/25515/task/25517/stat : 25517 (java) S 25513 25515 25106 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 160923248 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25515/tid=25518] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25518/stat : 25518 (java) S 25513 25515 25106 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160923249 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25519] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25519/stat : 25519 (java) S 25513 25515 25106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160923249 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25520] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25520/stat : 25520 (java) S 25513 25515 25106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160923252 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25521] ppid=25513 vsize=915568 CPUtime=0.26
/proc/25515/task/25521/stat : 25521 (java) S 25513 25515 25106 0 -1 64 417 0 0 0 25 1 0 0 15 0 8 0 160923252 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25515/tid=25522] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25522/stat : 25522 (java) S 25513 25515 25106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160923252 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25523] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25523/stat : 25523 (java) S 25513 25515 25106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160923252 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915568
[startup+6.26159 s]
/proc/loadavg: 0.46 0.82 1.32 2/75 25523
/proc/meminfo: memFree=1805376/2055920 swapFree=4192812/4192956
[pid=25515] ppid=25513 vsize=915568 CPUtime=6.21
/proc/25515/stat : 25515 (java) R 25513 25515 25106 0 -1 0 9025 0 1 0 614 7 0 0 25 0 8 0 160923242 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073872723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25515/statm: 228892 8762 2525 14 0 215362 0
[pid=25515/tid=25517] ppid=25513 vsize=915568 CPUtime=0.03
/proc/25515/task/25517/stat : 25517 (java) S 25513 25515 25106 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 160923248 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25515/tid=25518] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25518/stat : 25518 (java) S 25513 25515 25106 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160923249 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25519] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25519/stat : 25519 (java) S 25513 25515 25106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160923249 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25520] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25520/stat : 25520 (java) S 25513 25515 25106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160923252 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25521] ppid=25513 vsize=915568 CPUtime=0.26
/proc/25515/task/25521/stat : 25521 (java) S 25513 25515 25106 0 -1 64 417 0 0 0 25 1 0 0 16 0 8 0 160923252 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25515/tid=25522] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25522/stat : 25522 (java) S 25513 25515 25106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160923252 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25523] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25523/stat : 25523 (java) S 25513 25515 25106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160923252 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 6.50965
CPU time (s): 6.43902
CPU user time (s): 6.36003
CPU system time (s): 0.078987
CPU usage (%): 98.915
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.36003
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9124
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= 1066
involuntary context switches= 158
runsolver used 0.004999 s user time and 0.028995 s system time
The end
Begin job on node60 on Sat Jan 6 23:14:10 UTC 2007
IDJOB= 197087
IDBENCH= 3439
FILE ID= node60/197087-1168125246
PBS_JOBID= 3477544
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-71_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197087-1168125246/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-197087-1168125246 -o ROOT/results/node60/solver-197087-1168125246 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197087-1168125246/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5bc28c7d36dbf3e6cdd9b1f576dd8b5b
RANDOM SEED= 137473055
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.236
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.236
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: 1831192 kB
Buffers: 20444 kB
Cached: 138540 kB
SwapCached: 0 kB
Active: 95016 kB
Inactive: 84172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1831192 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1816 kB
Writeback: 0 kB
Mapped: 30356 kB
Slab: 31220 kB
Committed_AS: 3469580 kB
PageTables: 1684 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= 66552 MiB
End job on node60 on Sat Jan 6 23:14:25 UTC 2007