0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=mac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/242259-1168085484/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.48 nbVariables=84 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.48 => wckTime=0.093 cpuTime=0.09 mem=6M951
0.48
0.48 relations being loaded...
0.48
0.48 constraints being loaded...
0.52 nbConstraints=56 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=54
0.52 nbConflictsStructures=2 nbSharedConflictsStructures=54 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.52 => wckTime=0.13 cpuTime=0.12 mem=6M951
0.55
0.55 solver IterativeSystematicSolver being built...
0.72 => wckTime=0.334 cpuTime=0.26 mem=14M365
0.72
0.73 preprocessing
0.73 nbConstraintChecks=0 nbPropagations=84 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.73 detectedInconsistency=no
0.73 => wckTime=0.0020 cpuTime=0.0 mem=15M340
0.76
0.76 search
0.76 run=0 nbConstraintChecks=252 nbValidityChecks=448 nbPropagations=193 nbRevisions=250 nbUselessRevisions=168
0.76 nbAssignments=55 nbFailedAssignments=1 nbBacktracks=27 nbVisitedNodes=58 nbRestartNogoods=0 mapSize=1
0.76 nbInferences=0 nbTooLargeKeys=0
0.76 => wckTime=0.037 cpuTime=0.03 mem=15M340
0.78
0.78 search
0.78 run=1 nbConstraintChecks=440 nbValidityChecks=1056 nbPropagations=524 nbRevisions=781 nbUselessRevisions=508
0.78 nbAssignments=128 nbFailedAssignments=7 nbBacktracks=45 nbVisitedNodes=145 nbRestartNogoods=1 mapSize=12
0.78 nbInferences=2 nbTooLargeKeys=0
0.78 => wckTime=0.055 cpuTime=0.04 mem=15M340
0.79
0.79 search
0.79 run=2 nbConstraintChecks=643 nbValidityChecks=1746 nbPropagations=1010 nbRevisions=1616
0.79 nbUselessRevisions=1024 nbAssignments=208 nbFailedAssignments=14 nbBacktracks=72 nbVisitedNodes=239
0.79 nbRestartNogoods=2 mapSize=25 nbInferences=3 nbTooLargeKeys=0
0.79 => wckTime=0.069 cpuTime=0.05 mem=15M340
0.81
0.81 search
0.81 run=3 nbConstraintChecks=910 nbValidityChecks=2606 nbPropagations=1687 nbRevisions=2818
0.81 nbUselessRevisions=1745 nbAssignments=301 nbFailedAssignments=23 nbBacktracks=105 nbVisitedNodes=351
0.81 nbRestartNogoods=3 mapSize=40 nbInferences=5 nbTooLargeKeys=0
0.81 => wckTime=0.085 cpuTime=0.06 mem=15M340
0.83
0.83 search
0.83 run=4 nbConstraintChecks=1280 nbValidityChecks=3750 nbPropagations=2615 nbRevisions=4505
0.83 nbUselessRevisions=2740 nbAssignments=418 nbFailedAssignments=34 nbBacktracks=157 nbVisitedNodes=496
0.83 nbRestartNogoods=6 mapSize=64 nbInferences=12 nbTooLargeKeys=0
0.83 => wckTime=0.103 cpuTime=0.08 mem=15M340
0.85
0.85 search
0.85 run=5 nbConstraintChecks=1877 nbValidityChecks=5504 nbPropagations=3930 nbRevisions=6927
0.85 nbUselessRevisions=4149 nbAssignments=576 nbFailedAssignments=47 nbBacktracks=236 nbVisitedNodes=699
0.85 nbRestartNogoods=8 mapSize=104 nbInferences=32 nbTooLargeKeys=0
0.85 => wckTime=0.125 cpuTime=0.09 mem=15M340
0.87
0.87 search
0.87 run=6 nbConstraintChecks=2596 nbValidityChecks=7714 nbPropagations=5746 nbRevisions=10309
0.87 nbUselessRevisions=6121 nbAssignments=773 nbFailedAssignments=57 nbBacktracks=353 nbVisitedNodes=956
0.87 nbRestartNogoods=10 mapSize=163 nbInferences=73 nbTooLargeKeys=0
0.87 => wckTime=0.144 cpuTime=0.1 mem=15M340
0.88
0.88 search
0.88 run=7 nbConstraintChecks=3570 nbValidityChecks=10688 nbPropagations=8255 nbRevisions=14981
0.88 nbUselessRevisions=8825 nbAssignments=1035 nbFailedAssignments=62 nbBacktracks=527 nbVisitedNodes=1284
0.88 nbRestartNogoods=11 mapSize=227 nbInferences=130 nbTooLargeKeys=0
0.88 => wckTime=0.162 cpuTime=0.12 mem=15M340
0.91
0.91 search
0.91 run=8 nbConstraintChecks=5273 nbValidityChecks=15964 nbPropagations=12031 nbRevisions=21968
0.91 nbUselessRevisions=12765 nbAssignments=1416 nbFailedAssignments=71 nbBacktracks=788 nbVisitedNodes=1765
0.91 nbRestartNogoods=13 mapSize=323 nbInferences=212 nbTooLargeKeys=0
0.91 => wckTime=0.187 cpuTime=0.15 mem=15M340
0.96
0.96 search
0.96 run=9 nbConstraintChecks=7391 nbValidityChecks=22293 nbPropagations=17336 nbRevisions=31730
0.96 nbUselessRevisions=18226 nbAssignments=1969 nbFailedAssignments=83 nbBacktracks=1174 nbVisitedNodes=2465
0.96 nbRestartNogoods=17 mapSize=464 nbInferences=338 nbTooLargeKeys=0
0.96 => wckTime=0.235 cpuTime=0.17 mem=15M340
1.01
1.01 search
1.01 run=10 nbConstraintChecks=14998 nbValidityChecks=45131 nbPropagations=28459 nbRevisions=51485
1.01 nbUselessRevisions=28642 nbAssignments=2933 nbFailedAssignments=83 nbBacktracks=1752 nbVisitedNodes=3800
1.01 nbRestartNogoods=23 mapSize=833 nbInferences=709 nbTooLargeKeys=0
1.01 => wckTime=0.291 cpuTime=0.22 mem=15M340
1.09
1.09 search
1.09 run=11 nbConstraintChecks=27401 nbValidityChecks=82312 nbPropagations=49003 nbRevisions=87345
1.09 nbUselessRevisions=46963 nbAssignments=4418 nbFailedAssignments=83 nbBacktracks=2619 nbVisitedNodes=5883
1.09 nbRestartNogoods=25 mapSize=1427 nbInferences=1307 nbTooLargeKeys=0
1.09 => wckTime=0.363 cpuTime=0.29 mem=15M340
1.20
1.20 search
1.20 run=12 nbConstraintChecks=47105 nbValidityChecks=141146 nbPropagations=84739 nbRevisions=148996
1.20 nbUselessRevisions=77807 nbAssignments=6686 nbFailedAssignments=84 nbBacktracks=3916 nbVisitedNodes=9106
1.20 nbRestartNogoods=29 mapSize=2378 nbInferences=2260 nbTooLargeKeys=0
1.20 => wckTime=0.474 cpuTime=0.4 mem=15M340
1.37
1.37 search
1.37 run=13 nbConstraintChecks=79852 nbValidityChecks=240044 nbPropagations=145749 nbRevisions=253295
1.37 nbUselessRevisions=129183 nbAssignments=10228 nbFailedAssignments=84 nbBacktracks=5862 nbVisitedNodes=14217
1.37 nbRestartNogoods=33 mapSize=3941 nbInferences=3829 nbTooLargeKeys=0
1.37 => wckTime=0.65 cpuTime=0.58 mem=16M315
1.63
1.63 search
1.63 run=14 nbConstraintChecks=128347 nbValidityChecks=386073 nbPropagations=244211 nbRevisions=420814
1.63 nbUselessRevisions=211002 nbAssignments=15501 nbFailedAssignments=84 nbBacktracks=8781 nbVisitedNodes=21814
1.63 nbRestartNogoods=39 mapSize=6259 nbInferences=6153 nbTooLargeKeys=0
1.63 => wckTime=0.91 cpuTime=0.84 mem=16M315
2.02
2.02 search
2.02 run=15 nbConstraintChecks=200944 nbValidityChecks=604900 nbPropagations=398717 nbRevisions=682909
2.02 nbUselessRevisions=338343 nbAssignments=23388 nbFailedAssignments=84 nbBacktracks=13159 nbVisitedNodes=33185
2.02 nbRestartNogoods=45 mapSize=9739 nbInferences=9637 nbTooLargeKeys=0
2.02 => wckTime=1.299 cpuTime=1.22 mem=17M290
2.60
2.60 search
2.60 run=16 nbConstraintChecks=309431 nbValidityChecks=931416 nbPropagations=636997 nbRevisions=1086387
2.60 nbUselessRevisions=533723 nbAssignments=35188 nbFailedAssignments=84 nbBacktracks=19730 nbVisitedNodes=50189
2.60 nbRestartNogoods=49 mapSize=14939 nbInferences=14841 nbTooLargeKeys=0
2.60 => wckTime=1.878 cpuTime=1.8 mem=18M265
3.42
3.42 search
3.42 run=17 nbConstraintChecks=456902 nbValidityChecks=1371330 nbPropagations=985652 nbRevisions=1678391
3.42 nbUselessRevisions=821919 nbAssignments=52359 nbFailedAssignments=85 nbBacktracks=29582 nbVisitedNodes=74651
3.42 nbRestartNogoods=53 mapSize=22225 nbInferences=22130 nbTooLargeKeys=0
3.42 => wckTime=2.694 cpuTime=2.63 mem=19M241
4.79
4.79 search
4.79 run=18 nbConstraintChecks=714389 nbValidityChecks=2140844 nbPropagations=1528667 nbRevisions=2598210
4.79 nbUselessRevisions=1267771 nbAssignments=79221 nbFailedAssignments=85 nbBacktracks=44360 nbVisitedNodes=113572
4.79 nbRestartNogoods=58 mapSize=34278 nbInferences=34189 nbTooLargeKeys=0
4.79 => wckTime=4.067 cpuTime=3.99 mem=21M191
6.74
6.74 search
6.74 run=19 nbConstraintChecks=1065415 nbValidityChecks=3191947 nbPropagations=2338987 nbRevisions=3971201
6.74 nbUselessRevisions=1933608 nbAssignments=118457 nbFailedAssignments=85 nbBacktracks=66529 nbVisitedNodes=169857
6.74 nbRestartNogoods=64 mapSize=51321 nbInferences=51238 nbTooLargeKeys=0
6.74 => wckTime=6.022 cpuTime=5.94 mem=24M641
9.66
9.66 search
9.66 run=20 nbConstraintChecks=1598014 nbValidityChecks=4778358 nbPropagations=3548743 nbRevisions=6022197
9.66 nbUselessRevisions=2929405 nbAssignments=177415 nbFailedAssignments=85 nbBacktracks=99781 nbVisitedNodes=254500
9.66 nbRestartNogoods=70 mapSize=77001 nbInferences=76923 nbTooLargeKeys=0
9.66 => wckTime=8.939 cpuTime=8.86 mem=29M517
14.09
14.09 search
14.09 run=21 nbConstraintChecks=2406142 nbValidityChecks=7193926 nbPropagations=5370615 nbRevisions=9109970
14.09 nbUselessRevisions=4427690 nbAssignments=266227 nbFailedAssignments=85 nbBacktracks=149662
14.09 nbVisitedNodes=382216 nbRestartNogoods=75 mapSize=115897 nbInferences=115827 nbTooLargeKeys=0
14.09 => wckTime=13.368 cpuTime=13.3 mem=37M391
20.67
20.67 search
20.67 run=22 nbConstraintChecks=3617990 nbValidityChecks=10816152 nbPropagations=8110416 nbRevisions=13752488
20.67 nbUselessRevisions=6679505 nbAssignments=399420 nbFailedAssignments=85 nbBacktracks=224480
20.67 nbVisitedNodes=573754 nbRestartNogoods=83 mapSize=174232 nbInferences=174172 nbTooLargeKeys=0
20.67 => wckTime=19.943 cpuTime=19.87 mem=47M143
30.63
30.63 search
30.63 run=23 nbConstraintChecks=5430474 nbValidityChecks=16229203 nbPropagations=12220013 nbRevisions=20716200
30.63 nbUselessRevisions=10057317 nbAssignments=598962 nbFailedAssignments=85 nbBacktracks=336709
30.63 nbVisitedNodes=860583 nbRestartNogoods=93 mapSize=261513 nbInferences=261459 nbTooLargeKeys=0
30.63 => wckTime=29.909 cpuTime=29.6 mem=35M158
41.63
41.63 search
41.63 run=24 nbConstraintChecks=7077203 nbValidityChecks=20849702 nbPropagations=17388153 nbRevisions=29645517
41.63 nbUselessRevisions=14543096 nbAssignments=867768 nbFailedAssignments=85 nbBacktracks=505051
41.63 nbVisitedNodes=1229832 nbRestartNogoods=99 mapSize=361948 nbInferences=361902 nbTooLargeKeys=0
41.63 => wckTime=40.912 cpuTime=40.6 mem=54M857
48.43
48.43 search
48.43 run=25 nbConstraintChecks=7927593 nbValidityChecks=23152822 nbPropagations=23046734 nbRevisions=39549039
48.43 nbUselessRevisions=19630295 nbAssignments=1037268 nbFailedAssignments=85 nbBacktracks=615727
48.43 nbVisitedNodes=1458156 nbRestartNogoods=106 mapSize=420772 nbInferences=420727 nbTooLargeKeys=0
48.43 => wckTime=47.706 cpuTime=47.07 mem=46M280
48.43
48.43 global
48.43 nbConstraintChecks=7927593 nbValidityChecks=23152822 nbPropagations=23046818 nbRevisions=39549039
48.43 nbUselessRevisions=19630295 nbRestartNogoods=106 solvingWckTime=47.708 solvingCpuTime=47.07 expiredTime=no
48.43 totalExploration=yes nbFoundSolutions=0 globalCpuTime=47.37
48.43 => wckTime=48.044 cpuTime=47.33 mem=46M280
48.43
48.43 s UNSATISFIABLE
48.43 d NODES 1037268
48.43 d CHECKS 7927593
48.43
48.43 totalWckTime=48.119 totalCpuTime=47.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-242259-1168085484 -o ROOT/results/node60/solver-242259-1168085484 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242259-1168085484/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.02 0.76 1.40 3/65 14379
/proc/meminfo: memFree=1468456/2055920 swapFree=4192812/4192956
[pid=14378] ppid=14376 vsize=18540 CPUtime=0
/proc/14378/stat : 14378 (runsolver) R 14376 14378 14249 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156947675 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271894244647 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/14378/statm: 4635 279 244 17 0 2626 0
[startup+0.103923 s]
/proc/loadavg: 0.02 0.76 1.40 3/65 14379
/proc/meminfo: memFree=1468456/2055920 swapFree=4192812/4192956
[pid=14378] ppid=14376 vsize=907808 CPUtime=0.05
/proc/14378/stat : 14378 (java) R 14376 14378 14249 0 -1 0 2435 0 1 0 4 1 0 0 20 0 4 0 156947675 929595392 2182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/14378/statm: 226952 2182 1205 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.511959 s]
/proc/loadavg: 0.02 0.76 1.40 3/65 14379
/proc/meminfo: memFree=1468456/2055920 swapFree=4192812/4192956
[pid=14378] ppid=14376 vsize=915328 CPUtime=0.39
/proc/14378/stat : 14378 (java) R 14376 14378 14249 0 -1 0 6173 0 1 0 36 3 0 0 16 0 8 0 156947675 937295872 5912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14378/statm: 228832 5912 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.33403 s]
/proc/loadavg: 0.02 0.76 1.40 2/72 14386
/proc/meminfo: memFree=1444400/2055920 swapFree=4192812/4192956
[pid=14378] ppid=14376 vsize=915460 CPUtime=1.22
/proc/14378/stat : 14378 (java) R 14376 14378 14249 0 -1 0 8855 0 1 0 116 6 0 0 17 0 8 0 156947675 937431040 8593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073666138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14378/statm: 228865 8593 2516 14 0 215335 0
[pid=14378/tid=14380] ppid=14376 vsize=915460 CPUtime=0.02
/proc/14378/task/14380/stat : 14380 (java) S 14376 14378 14249 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 156947682 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14378/tid=14381] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14381/stat : 14381 (java) S 14376 14378 14249 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156947683 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14382] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14382/stat : 14382 (java) S 14376 14378 14249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156947683 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14383] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14383/stat : 14383 (java) S 14376 14378 14249 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156947691 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14384] ppid=14376 vsize=915460 CPUtime=0.16
/proc/14378/task/14384/stat : 14384 (java) S 14376 14378 14249 0 -1 64 366 0 0 0 15 1 0 0 15 0 8 0 156947691 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14385] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14385/stat : 14385 (java) S 14376 14378 14249 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156947691 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14386] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14386/stat : 14386 (java) S 14376 14378 14249 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156947691 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915460
[startup+2.9862 s]
/proc/loadavg: 0.02 0.76 1.40 2/72 14386
/proc/meminfo: memFree=1442544/2055920 swapFree=4192812/4192956
[pid=14378] ppid=14376 vsize=915460 CPUtime=2.87
/proc/14378/stat : 14378 (java) R 14376 14378 14249 0 -1 0 9502 0 1 0 281 6 0 0 18 0 8 0 156947675 937431040 9239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073684284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14378/statm: 228865 9239 2516 14 0 215335 0
[pid=14378/tid=14380] ppid=14376 vsize=915460 CPUtime=0.02
/proc/14378/task/14380/stat : 14380 (java) S 14376 14378 14249 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 156947682 937431040 9239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14378/tid=14381] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14381/stat : 14381 (java) S 14376 14378 14249 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156947683 937431040 9239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14382] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14382/stat : 14382 (java) S 14376 14378 14249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156947683 937431040 9239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14383] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14383/stat : 14383 (java) S 14376 14378 14249 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156947691 937431040 9239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14384] ppid=14376 vsize=915460 CPUtime=0.16
/proc/14378/task/14384/stat : 14384 (java) S 14376 14378 14249 0 -1 64 368 0 0 0 15 1 0 0 15 0 8 0 156947691 937431040 9239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14385] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14385/stat : 14385 (java) S 14376 14378 14249 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156947691 937431040 9239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14386] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14386/stat : 14386 (java) S 14376 14378 14249 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156947691 937431040 9239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915460
[startup+6.26952 s]
/proc/loadavg: 0.09 0.77 1.40 2/72 14386
/proc/meminfo: memFree=1437168/2055920 swapFree=4192812/4192956
[pid=14378] ppid=14376 vsize=915460 CPUtime=6.15
/proc/14378/stat : 14378 (java) R 14376 14378 14249 0 -1 0 10763 0 1 0 608 7 0 0 18 0 8 0 156947675 937431040 10499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14378/statm: 228865 10499 2516 14 0 215335 0
[pid=14378/tid=14380] ppid=14376 vsize=915460 CPUtime=0.02
/proc/14378/task/14380/stat : 14380 (java) S 14376 14378 14249 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 156947682 937431040 10499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14378/tid=14381] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14381/stat : 14381 (java) S 14376 14378 14249 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156947683 937431040 10499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14382] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14382/stat : 14382 (java) S 14376 14378 14249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156947683 937431040 10499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14383] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14383/stat : 14383 (java) S 14376 14378 14249 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156947691 937431040 10499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14384] ppid=14376 vsize=915460 CPUtime=0.16
/proc/14378/task/14384/stat : 14384 (java) S 14376 14378 14249 0 -1 64 369 0 0 0 15 1 0 0 16 0 8 0 156947691 937431040 10499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14385] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14385/stat : 14385 (java) S 14376 14378 14249 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156947691 937431040 10499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14386] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14386/stat : 14386 (java) S 14376 14378 14249 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156947691 937431040 10499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915460
[startup+12.7482 s]
/proc/loadavg: 0.17 0.77 1.40 2/72 14386
/proc/meminfo: memFree=1425968/2055920 swapFree=4192812/4192956
[pid=14378] ppid=14376 vsize=915460 CPUtime=12.63
/proc/14378/stat : 14378 (java) R 14376 14378 14249 0 -1 0 13472 0 1 0 1255 8 0 0 25 0 8 0 156947675 937431040 13208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073670295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14378/statm: 228865 13208 2516 14 0 215335 0
[pid=14378/tid=14380] ppid=14376 vsize=915460 CPUtime=0.02
/proc/14378/task/14380/stat : 14380 (java) S 14376 14378 14249 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 156947682 937431040 13208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14378/tid=14381] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14381/stat : 14381 (java) S 14376 14378 14249 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156947683 937431040 13208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14382] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14382/stat : 14382 (java) S 14376 14378 14249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156947683 937431040 13208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14383] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14383/stat : 14383 (java) S 14376 14378 14249 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156947691 937431040 13208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14384] ppid=14376 vsize=915460 CPUtime=0.16
/proc/14378/task/14384/stat : 14384 (java) S 14376 14378 14249 0 -1 64 370 0 0 0 15 1 0 0 16 0 8 0 156947691 937431040 13208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14385] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14385/stat : 14385 (java) S 14376 14378 14249 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156947691 937431040 13208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14386] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14386/stat : 14386 (java) S 14376 14378 14249 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156947691 937431040 13208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460
[startup+25.5714 s]
/proc/loadavg: 0.35 0.78 1.39 2/72 14386
/proc/meminfo: memFree=1391664/2055920 swapFree=4192812/4192956
[pid=14378] ppid=14376 vsize=915460 CPUtime=25.45
/proc/14378/stat : 14378 (java) R 14376 14378 14249 0 -1 0 21926 0 1 0 2533 12 0 0 20 0 8 0 156947675 937431040 21661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14378/statm: 228865 21661 2520 14 0 215335 0
[pid=14378/tid=14380] ppid=14376 vsize=915460 CPUtime=0.24
/proc/14378/task/14380/stat : 14380 (java) S 14376 14378 14249 0 -1 64 4974 0 0 0 22 2 0 0 16 0 8 0 156947682 937431040 21661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14378/tid=14381] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14381/stat : 14381 (java) S 14376 14378 14249 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156947683 937431040 21661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14382] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14382/stat : 14382 (java) S 14376 14378 14249 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156947683 937431040 21661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14378/tid=14383] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14383/stat : 14383 (java) S 14376 14378 14249 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156947691 937431040 21661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14384] ppid=14376 vsize=915460 CPUtime=0.16
/proc/14378/task/14384/stat : 14384 (java) S 14376 14378 14249 0 -1 64 370 0 0 0 15 1 0 0 16 0 8 0 156947691 937431040 21661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14385] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14385/stat : 14385 (java) S 14376 14378 14249 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156947691 937431040 21661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14378/tid=14386] ppid=14376 vsize=915460 CPUtime=0
/proc/14378/task/14386/stat : 14386 (java) S 14376 14378 14249 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156947691 937431040 21661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 48.4693
CPU time (s): 48.3377
CPU user time (s): 48.1557
CPU system time (s): 0.181972
CPU usage (%): 99.7283
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.1557
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29324
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= 1728
involuntary context switches= 257
runsolver used 0.048992 s user time and 0.131979 s system time
The end
Begin job on node60 on Sat Jan 6 12:11:31 UTC 2007
IDJOB= 242259
IDBENCH= 7379
FILE ID= node60/242259-1168085484
PBS_JOBID= 3476318
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-28_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242259-1168085484/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-242259-1168085484 -o ROOT/results/node60/solver-242259-1168085484 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242259-1168085484/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 89a7bdc0688dd60fc398280167384593
RANDOM SEED= 350786690
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: 1469064 kB
Buffers: 48668 kB
Cached: 449228 kB
SwapCached: 0 kB
Active: 62648 kB
Inactive: 450400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1469064 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1708 kB
Writeback: 0 kB
Mapped: 25372 kB
Slab: 59776 kB
Committed_AS: 3318944 kB
PageTables: 1464 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 12:12:34 UTC 2007