0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/217202-1168079350/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=45 nbDomainTypes=1 minDomainSize=21 maxDomainSize=21
0.38 => wckTime=0.095 cpuTime=0.07 mem=6M951
0.38
0.38 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=380 nbRelationTypes=380 nbExtensionStructures=380 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=380 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1916 maxDegree=22
0.62 maxArity=2
0.62 => wckTime=0.326 cpuTime=0.24 mem=14M754
0.66
0.66 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.512 cpuTime=0.37 mem=14M158
0.81
0.81 preprocessing
0.81 nbConstraintChecks=0 nbPropagations=45 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.81 detectedInconsistency=no
0.81 => wckTime=0.0080 cpuTime=0.0 mem=15M134
0.86
0.86 search
0.86 run=0 nbConstraintChecks=37212 nbPropagations=490 nbRevisions=5455 nbUselessRevisions=4464 nbAssignments=23
0.86 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=35 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.051 cpuTime=0.02 mem=15M134
0.88
0.88 search
0.88 run=1 nbConstraintChecks=94073 nbPropagations=1650 nbRevisions=19497 nbUselessRevisions=15886 nbAssignments=55
0.88 nbFailedAssignments=17 nbBacktracks=25 nbVisitedNodes=85 nbRestartNogoods=1 mapSize=21 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.072 cpuTime=0.04 mem=15M134
0.90
0.90 search
0.90 run=2 nbConstraintChecks=159481 nbPropagations=3712 nbRevisions=45442 nbUselessRevisions=37196
0.90 nbAssignments=102 nbFailedAssignments=33 nbBacktracks=48 nbVisitedNodes=160 nbRestartNogoods=2 mapSize=42
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.095 cpuTime=0.05 mem=15M134
0.92
0.92 search
0.92 run=3 nbConstraintChecks=270995 nbPropagations=7137 nbRevisions=89943 nbUselessRevisions=73441
0.92 nbAssignments=172 nbFailedAssignments=60 nbBacktracks=83 nbVisitedNodes=277 nbRestartNogoods=6 mapSize=71
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.115 cpuTime=0.07 mem=15M134
0.95
0.95 search
0.95 run=4 nbConstraintChecks=425643 nbPropagations=12486 nbRevisions=160941 nbUselessRevisions=131287
0.95 nbAssignments=270 nbFailedAssignments=99 nbBacktracks=133 nbVisitedNodes=442 nbRestartNogoods=9 mapSize=114
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.144 cpuTime=0.1 mem=15M134
0.99
0.99 search
0.99 run=5 nbConstraintChecks=657860 nbPropagations=20570 nbRevisions=268814 nbUselessRevisions=218701
0.99 nbAssignments=415 nbFailedAssignments=160 nbBacktracks=209 nbVisitedNodes=690 nbRestartNogoods=14 mapSize=179
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.185 cpuTime=0.13 mem=15M134
1.04
1.04 search
1.04 run=6 nbConstraintChecks=994601 nbPropagations=32607 nbRevisions=430536 nbUselessRevisions=349034
1.04 nbAssignments=616 nbFailedAssignments=239 nbBacktracks=323 nbVisitedNodes=1032 nbRestartNogoods=18 mapSize=271
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.239 cpuTime=0.19 mem=15M134
1.12
1.12 search
1.12 run=7 nbConstraintChecks=1412539 nbPropagations=50156 nbRevisions=670441 nbUselessRevisions=542899
1.12 nbAssignments=898 nbFailedAssignments=342 nbBacktracks=497 nbVisitedNodes=1506 nbRestartNogoods=21 mapSize=412
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.316 cpuTime=0.26 mem=15M134
1.24
1.24 search
1.24 run=8 nbConstraintChecks=2105887 nbPropagations=76058 nbRevisions=1024883 nbUselessRevisions=827335
1.24 nbAssignments=1345 nbFailedAssignments=525 nbBacktracks=755 nbVisitedNodes=2268 nbRestartNogoods=23
1.24 mapSize=613 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.437 cpuTime=0.37 mem=15M134
1.40
1.40 search
1.40 run=9 nbConstraintChecks=3035379 nbPropagations=114070 nbRevisions=1550418 nbUselessRevisions=1250263
1.40 nbAssignments=1986 nbFailedAssignments=776 nbBacktracks=1140 nbVisitedNodes=3379 nbRestartNogoods=25
1.40 mapSize=945 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.599 cpuTime=0.52 mem=15M134
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=15M134)
1.62
1.62 search
1.62 run=10 nbConstraintChecks=4467880 nbPropagations=169690 nbRevisions=2323368 nbUselessRevisions=1872337
1.62 nbAssignments=2917 nbFailedAssignments=1122 nbBacktracks=1716 nbVisitedNodes=4957 nbRestartNogoods=29
1.62 => wckTime=0.814 cpuTime=0.72 mem=15M134
1.93
1.93 search
1.93 run=11 nbConstraintChecks=6594421 nbPropagations=252874 nbRevisions=3493109 nbUselessRevisions=2816272
1.93 nbAssignments=4366 nbFailedAssignments=1697 nbBacktracks=2583 nbVisitedNodes=7459 nbRestartNogoods=38
1.93 => wckTime=1.124 cpuTime=1.03 mem=15M134
2.37
2.37 search
2.37 run=12 nbConstraintChecks=9726647 nbPropagations=375121 nbRevisions=5203644 nbUselessRevisions=4192141
2.37 nbAssignments=6498 nbFailedAssignments=2524 nbBacktracks=3881 nbVisitedNodes=11088 nbRestartNogoods=45
2.37 => wckTime=1.57 cpuTime=1.46 mem=15M134
3.08
3.08 search
3.08 run=13 nbConstraintChecks=14890202 nbPropagations=559760 nbRevisions=7799165 nbUselessRevisions=6279245
3.08 nbAssignments=9694 nbFailedAssignments=3767 nbBacktracks=5829 nbVisitedNodes=16559 nbRestartNogoods=50
3.08 => wckTime=2.276 cpuTime=2.17 mem=15M134
4.16
4.16 search
4.16 run=14 nbConstraintChecks=22708175 nbPropagations=839246 nbRevisions=11764231 nbUselessRevisions=9472539
4.16 nbAssignments=14515 nbFailedAssignments=5662 nbBacktracks=8748 nbVisitedNodes=24900 nbRestartNogoods=54
4.16 => wckTime=3.359 cpuTime=3.24 mem=15M134
5.69
5.69 search
5.69 run=15 nbConstraintChecks=33339628 nbPropagations=1255304 nbRevisions=17713041 nbUselessRevisions=14278025
5.69 nbAssignments=21772 nbFailedAssignments=8531 nbBacktracks=13128 nbVisitedNodes=37472 nbRestartNogoods=56
5.69 => wckTime=4.889 cpuTime=4.75 mem=15M134
8.17
8.17 search
8.17 run=16 nbConstraintChecks=51484625 nbPropagations=1886131 nbRevisions=26726842 nbUselessRevisions=21538763
8.17 nbAssignments=32669 nbFailedAssignments=12853 nbBacktracks=19698 nbVisitedNodes=56253 nbRestartNogoods=63
8.17 => wckTime=7.363 cpuTime=7.21 mem=15M134
11.59
11.59 search
11.59 run=17 nbConstraintChecks=75560878 nbPropagations=2820859 nbRevisions=40031589 nbUselessRevisions=32257124
11.59 nbAssignments=48587 nbFailedAssignments=18910 nbBacktracks=29552 nbVisitedNodes=83558 nbRestartNogoods=73
11.59 => wckTime=10.789 cpuTime=10.6 mem=15M134
17.31
17.31 search
17.31 run=18 nbConstraintChecks=115880547 nbPropagations=4251491 nbRevisions=60637142 nbUselessRevisions=48896326
17.31 nbAssignments=73844 nbFailedAssignments=29382 nbBacktracks=44330 nbVisitedNodes=127733 nbRestartNogoods=87
17.31 => wckTime=16.506 cpuTime=16.25 mem=15M134
24.92
24.92 search
24.92 run=19 nbConstraintChecks=168569656 nbPropagations=6370580 nbRevisions=91182736 nbUselessRevisions=73626680
24.92 nbAssignments=110367 nbFailedAssignments=43729 nbBacktracks=66498 nbVisitedNodes=190528 nbRestartNogoods=104
24.92 => wckTime=24.116 cpuTime=23.8 mem=15M134
37.47
37.47 search
37.47 run=20 nbConstraintChecks=260352407 nbPropagations=9576057 nbRevisions=137309381 nbUselessRevisions=110879855
37.47 nbAssignments=165405 nbFailedAssignments=65507 nbBacktracks=99753 nbVisitedNodes=285782 nbRestartNogoods=117
37.47 => wckTime=36.671 cpuTime=36.25 mem=15M134
55.35
55.35 search
55.35 run=21 nbConstraintChecks=386080780 nbPropagations=14367259 nbRevisions=206262588 nbUselessRevisions=166596956
55.35 nbAssignments=248237 nbFailedAssignments=98450 nbBacktracks=149633 nbVisitedNodes=429065 nbRestartNogoods=126
55.35 => wckTime=54.548 cpuTime=54.0 mem=15M134
73.74
73.74 search
73.74 run=22 nbConstraintChecks=516828091 nbPropagations=20780385 nbRevisions=298682661 nbUselessRevisions=241322791
73.74 nbAssignments=331977 nbFailedAssignments=131426 nbBacktracks=200352 nbVisitedNodes=573925 nbRestartNogoods=147
73.74 => wckTime=72.937 cpuTime=72.21 mem=15M134
73.74
73.74 global
73.74 nbConstraintChecks=516828091 nbPropagations=20780430 nbRevisions=298682661 nbUselessRevisions=241322791
73.74 nbRestartNogoods=147 solvingWckTime=72.938 solvingCpuTime=72.21 expiredTime=no totalExploration=no
73.74 nbFoundSolutions=1 globalCpuTime=72.64
73.74 => wckTime=73.453 cpuTime=72.58 mem=15M134
73.75
73.75 s SATISFIABLE
73.75 v 8 8 2 4 1 13 11 20 14 2 12 11 9 18 1 10 12 3 5 19 5 15 6 0 3 20 1 16 17 10 17 13 14 3 7 9 5 12 8 13 15 11 20 11 12
73.75 d NODES 331977
73.75 d CHECKS 516828091
73.75
73.75 totalWckTime=73.53 totalCpuTime=72.64
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-217202-1168079350 -o ROOT/results/node17/solver-217202-1168079350 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217202-1168079350/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.47 1.85 1.90 4/93 13273
/proc/meminfo: memFree=1487384/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=172 CPUtime=0
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156330228 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2859812 0 0 4096 0 0 0 0 17 1 0 0
/proc/13272/statm: 43 24 18 14 0 3 0
[startup+0.105352 s]
/proc/loadavg: 1.47 1.85 1.90 4/93 13273
/proc/meminfo: memFree=1487384/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=914988 CPUtime=0.1
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 3083 0 1 0 8 2 0 0 23 0 8 0 156330228 936947712 2829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3325534 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228747 2829 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.513389 s]
/proc/loadavg: 1.47 1.85 1.90 4/93 13273
/proc/meminfo: memFree=1487384/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915328 CPUtime=0.5
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 7233 0 1 0 46 4 0 0 25 0 8 0 156330228 937295872 6972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916835 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228832 6972 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33447 s]
/proc/loadavg: 1.47 1.85 1.90 3/100 13280
/proc/meminfo: memFree=1462560/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915456 CPUtime=1.31
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 8972 0 1 0 125 6 0 0 25 0 8 0 156330228 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228864 8710 2513 14 0 215334 0
[pid=13272/tid=13274] ppid=13270 vsize=915456 CPUtime=0.03
/proc/13272/task/13274/stat : 13274 (java) S 13270 13272 13205 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 156330232 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13275] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13275/stat : 13275 (java) S 13270 13272 13205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330232 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13276] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13276/stat : 13276 (java) S 13270 13272 13205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330232 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13277] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13277/stat : 13277 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156330235 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13278] ppid=13270 vsize=915456 CPUtime=0.21
/proc/13272/task/13278/stat : 13278 (java) S 13270 13272 13205 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 156330235 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13279] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13279/stat : 13279 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156330235 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13280] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13280/stat : 13280 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330235 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.97164 s]
/proc/loadavg: 1.51 1.85 1.90 3/100 13280
/proc/meminfo: memFree=1462432/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915456 CPUtime=2.94
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 8981 0 1 0 287 7 0 0 25 0 8 0 156330228 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228864 8718 2513 14 0 215334 0
[pid=13272/tid=13274] ppid=13270 vsize=915456 CPUtime=0.03
/proc/13272/task/13274/stat : 13274 (java) S 13270 13272 13205 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 156330232 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13275] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13275/stat : 13275 (java) S 13270 13272 13205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330232 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13276] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13276/stat : 13276 (java) S 13270 13272 13205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330232 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13277] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13277/stat : 13277 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13278] ppid=13270 vsize=915456 CPUtime=0.23
/proc/13272/task/13278/stat : 13278 (java) S 13270 13272 13205 0 -1 64 392 0 0 0 22 1 0 0 15 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13279] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13279/stat : 13279 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13280] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13280/stat : 13280 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.25698 s]
/proc/loadavg: 1.51 1.85 1.90 3/100 13280
/proc/meminfo: memFree=1462368/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915456 CPUtime=6.2
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 8981 0 1 0 613 7 0 0 25 0 8 0 156330228 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797109 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228864 8718 2513 14 0 215334 0
[pid=13272/tid=13274] ppid=13270 vsize=915456 CPUtime=0.03
/proc/13272/task/13274/stat : 13274 (java) S 13270 13272 13205 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 156330232 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13275] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13275/stat : 13275 (java) S 13270 13272 13205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330232 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13276] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13276/stat : 13276 (java) S 13270 13272 13205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330232 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13277] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13277/stat : 13277 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13278] ppid=13270 vsize=915456 CPUtime=0.23
/proc/13272/task/13278/stat : 13278 (java) S 13270 13272 13205 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13279] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13279/stat : 13279 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13280] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13280/stat : 13280 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7347 s]
/proc/loadavg: 1.58 1.86 1.91 3/100 13280
/proc/meminfo: memFree=1462368/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915456 CPUtime=12.62
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 8983 0 1 0 1255 7 0 0 25 0 8 0 156330228 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808249 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228864 8719 2513 14 0 215334 0
[pid=13272/tid=13274] ppid=13270 vsize=915456 CPUtime=0.03
/proc/13272/task/13274/stat : 13274 (java) S 13270 13272 13205 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13275] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13275/stat : 13275 (java) S 13270 13272 13205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13276] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13276/stat : 13276 (java) S 13270 13272 13205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13277] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13277/stat : 13277 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13278] ppid=13270 vsize=915456 CPUtime=0.23
/proc/13272/task/13278/stat : 13278 (java) S 13270 13272 13205 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13279] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13279/stat : 13279 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13280] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13280/stat : 13280 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915456
[startup+25.596 s]
/proc/loadavg: 1.65 1.86 1.91 3/100 13280
/proc/meminfo: memFree=1462432/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915456 CPUtime=25.37
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 8983 0 1 0 2530 7 0 0 25 0 8 0 156330228 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814847 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228864 8719 2513 14 0 215334 0
[pid=13272/tid=13274] ppid=13270 vsize=915456 CPUtime=0.03
/proc/13272/task/13274/stat : 13274 (java) S 13270 13272 13205 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13275] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13275/stat : 13275 (java) S 13270 13272 13205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13276] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13276/stat : 13276 (java) S 13270 13272 13205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13277] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13277/stat : 13277 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13278] ppid=13270 vsize=915456 CPUtime=0.23
/proc/13272/task/13278/stat : 13278 (java) S 13270 13272 13205 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13279] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13279/stat : 13279 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13280] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13280/stat : 13280 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915456
[startup+51.2977 s]
/proc/loadavg: 1.77 1.87 1.91 3/100 13280
/proc/meminfo: memFree=1462496/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915456 CPUtime=50.85
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 8983 0 1 0 5078 7 0 0 25 0 8 0 156330228 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820021 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228864 8719 2513 14 0 215334 0
[pid=13272/tid=13274] ppid=13270 vsize=915456 CPUtime=0.03
/proc/13272/task/13274/stat : 13274 (java) S 13270 13272 13205 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13275] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13275/stat : 13275 (java) S 13270 13272 13205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13276] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13276/stat : 13276 (java) S 13270 13272 13205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13277] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13277/stat : 13277 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13278] ppid=13270 vsize=915456 CPUtime=0.23
/proc/13272/task/13278/stat : 13278 (java) S 13270 13272 13205 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13279] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13279/stat : 13279 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13280] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13280/stat : 13280 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 73.7606
CPU time (s): 73.1119
CPU user time (s): 73.0289
CPU system time (s): 0.082987
CPU usage (%): 99.1206
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.0289
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8991
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= 2615
involuntary context switches= 6128
runsolver used 0.087986 s user time and 0.186971 s system time
The end
Begin job on node17 on Sat Jan 6 10:29:12 UTC 2007
IDJOB= 217202
IDBENCH= 5123
FILE ID= node17/217202-1168079350
PBS_JOBID= 3475837
Free space on /tmp= 66314 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb45-21/frb45-21-2-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217202-1168079350/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-217202-1168079350 -o ROOT/results/node17/solver-217202-1168079350 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217202-1168079350/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ddbfbba4459b91f16b418e879367a5fc
RANDOM SEED= 812324855
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: 1488000 kB
Buffers: 46780 kB
Cached: 243784 kB
SwapCached: 0 kB
Active: 270180 kB
Inactive: 208336 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1488000 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2224 kB
Writeback: 0 kB
Mapped: 216976 kB
Slab: 73924 kB
Committed_AS: 4577572 kB
PageTables: 2544 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= 66314 MiB
End job on node17 on Sat Jan 6 10:30:28 UTC 2007