0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/208679-1168074804/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.41 variables being loaded...
0.44 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.44 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
0.70
0.70 constraints being loaded...
0.86 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=3
0.86 => wckTime=0.519 cpuTime=0.47 mem=41M374
0.94
0.94 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.76 cpuTime=0.6 mem=21M86
1.10
1.10 preprocessing
1.11 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.11 detectedInconsistency=no
1.11 => wckTime=0.0030 cpuTime=0.0 mem=21M86
1.22
1.22 search
1.22 run=0 nbConstraintChecks=29304 nbValidityChecks=55204 nbPropagations=355 nbRevisions=3677
1.22 nbUselessRevisions=2898 nbAssignments=32 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=58
1.22 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.113 cpuTime=0.08 mem=21M86
1.29
1.29 search
1.29 run=1 nbConstraintChecks=71051 nbValidityChecks=135040 nbPropagations=1287 nbRevisions=13496
1.29 nbUselessRevisions=10629 nbAssignments=89 nbFailedAssignments=54 nbBacktracks=25 nbVisitedNodes=161
1.29 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.186 cpuTime=0.14 mem=21M86
1.35
1.35 search
1.35 run=2 nbConstraintChecks=105508 nbValidityChecks=202587 nbPropagations=2698 nbRevisions=28607
1.35 nbUselessRevisions=22518 nbAssignments=138 nbFailedAssignments=73 nbBacktracks=47 nbVisitedNodes=242
1.35 nbRestartNogoods=16 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.246 cpuTime=0.19 mem=21M86
1.41
1.41 search
1.41 run=3 nbConstraintChecks=146983 nbValidityChecks=287850 nbPropagations=4747 nbRevisions=50935
1.41 nbUselessRevisions=40040 nbAssignments=202 nbFailedAssignments=99 nbBacktracks=80 nbVisitedNodes=348
1.41 nbRestartNogoods=21 mapSize=68 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.312 cpuTime=0.25 mem=21M86
1.55
1.55 search
1.55 run=4 nbConstraintChecks=251985 nbValidityChecks=490166 nbPropagations=8067 nbRevisions=87293
1.55 nbUselessRevisions=68571 nbAssignments=315 nbFailedAssignments=157 nbBacktracks=130 nbVisitedNodes=555
1.55 nbRestartNogoods=25 mapSize=111 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.442 cpuTime=0.38 mem=21M86
1.70
1.70 search
1.70 run=5 nbConstraintChecks=362496 nbValidityChecks=718848 nbPropagations=13209 nbRevisions=142930
1.70 nbUselessRevisions=112353 nbAssignments=494 nbFailedAssignments=256 nbBacktracks=205 nbVisitedNodes=875
1.70 nbRestartNogoods=29 mapSize=174 nbInferences=0 nbTooLargeKeys=0
1.70 => wckTime=0.598 cpuTime=0.53 mem=21M86
1.96
1.96 search
1.96 run=6 nbConstraintChecks=566566 nbValidityChecks=1119922 nbPropagations=21054 nbRevisions=230132
1.96 nbUselessRevisions=180617 nbAssignments=749 nbFailedAssignments=392 nbBacktracks=319 nbVisitedNodes=1334
1.96 nbRestartNogoods=31 mapSize=262 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.86 cpuTime=0.79 mem=21M86
2.25
2.25 search
2.25 run=7 nbConstraintChecks=787090 nbValidityChecks=1568420 nbPropagations=32635 nbRevisions=356639
2.25 nbUselessRevisions=279393 nbAssignments=1090 nbFailedAssignments=558 nbBacktracks=489 nbVisitedNodes=1945
2.25 nbRestartNogoods=35 mapSize=408 nbInferences=0 nbTooLargeKeys=0
2.25 => wckTime=1.149 cpuTime=1.07 mem=21M86
3.12
3.12 search
3.12 run=8 nbConstraintChecks=1452281 nbValidityChecks=2929070 nbPropagations=53345 nbRevisions=588110
3.12 nbUselessRevisions=459771 nbAssignments=1811 nbFailedAssignments=1018 nbBacktracks=746 nbVisitedNodes=3317
3.12 nbRestartNogoods=44 mapSize=648 nbInferences=0 nbTooLargeKeys=0
3.12 => wckTime=2.015 cpuTime=1.91 mem=21M86
3.77
3.77 search
3.77 run=9 nbConstraintChecks=1966048 nbValidityChecks=3960041 nbPropagations=81947 nbRevisions=908316
3.77 nbUselessRevisions=709015 nbAssignments=2580 nbFailedAssignments=1398 nbBacktracks=1134 nbVisitedNodes=4672
3.77 nbRestartNogoods=60 mapSize=961 nbInferences=0 nbTooLargeKeys=0
3.77 => wckTime=2.669 cpuTime=2.55 mem=22M56
3.88
3.88 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=22M56)
4.68
4.68 search
4.68 run=10 nbConstraintChecks=2694786 nbValidityChecks=5454607 nbPropagations=122761 nbRevisions=1359159
4.68 nbUselessRevisions=1059507 nbAssignments=3732 nbFailedAssignments=1972 nbBacktracks=1711 nbVisitedNodes=6704
4.68 nbRestartNogoods=63
4.68 => wckTime=3.583 cpuTime=3.44 mem=22M56
7.30
7.30 search
7.30 run=11 nbConstraintChecks=4955107 nbValidityChecks=9930350 nbPropagations=191615 nbRevisions=2142213
7.30 nbUselessRevisions=1671004 nbAssignments=6122 nbFailedAssignments=3493 nbBacktracks=2575 nbVisitedNodes=11241
7.30 nbRestartNogoods=67
7.30 => wckTime=6.198 cpuTime=6.04 mem=22M56
9.61
9.61 search
9.61 run=12 nbConstraintChecks=6864279 nbValidityChecks=13815787 nbPropagations=291554 nbRevisions=3260839
9.61 nbUselessRevisions=2542344 nbAssignments=8937 nbFailedAssignments=5008 nbBacktracks=3874 nbVisitedNodes=16334
9.61 nbRestartNogoods=84
9.61 => wckTime=8.507 cpuTime=8.32 mem=22M56
12.90
12.90 search
12.90 run=13 nbConstraintChecks=9561251 nbValidityChecks=19303335 nbPropagations=433133 nbRevisions=4843032
12.90 nbUselessRevisions=3773051 nbAssignments=12903 nbFailedAssignments=7023 nbBacktracks=5820 nbVisitedNodes=23393
12.90 nbRestartNogoods=91
12.90 => wckTime=11.798 cpuTime=11.58 mem=22M56
19.85
19.85 search
19.85 run=14 nbConstraintChecks=15348324 nbValidityChecks=31437307 nbPropagations=655037 nbRevisions=7327250
19.85 nbUselessRevisions=5708224 nbAssignments=20424 nbFailedAssignments=11621 nbBacktracks=8741 nbVisitedNodes=37490
19.85 nbRestartNogoods=104
19.85 => wckTime=18.748 cpuTime=18.47 mem=22M56
27.76
27.76 search
27.76 run=15 nbConstraintChecks=21851404 nbValidityChecks=44719051 nbPropagations=980724 nbRevisions=10943906
27.76 nbUselessRevisions=8523014 nbAssignments=29834 nbFailedAssignments=16648 nbBacktracks=13123
27.76 nbVisitedNodes=54559 nbRestartNogoods=119
27.76 => wckTime=26.659 cpuTime=26.31 mem=22M56
39.73
39.73 search
39.73 run=16 nbConstraintChecks=31730782 nbValidityChecks=64767207 nbPropagations=1460782 nbRevisions=16238875
39.73 nbUselessRevisions=12641857 nbAssignments=43844 nbFailedAssignments=24084 nbBacktracks=19691
39.73 nbVisitedNodes=79879 nbRestartNogoods=129
39.73 => wckTime=38.627 cpuTime=38.17 mem=22M56
53.71
53.71 search
53.71 run=17 nbConstraintChecks=43316447 nbValidityChecks=88608850 nbPropagations=2103178 nbRevisions=23361720
53.71 nbUselessRevisions=18188785 nbAssignments=58289 nbFailedAssignments=32630 nbBacktracks=25570
53.71 nbVisitedNodes=106830 nbRestartNogoods=141
53.71 => wckTime=52.608 cpuTime=52.01 mem=22M56
53.71
53.71 global
53.71 nbConstraintChecks=43316447 nbValidityChecks=88608850 nbPropagations=2103198 nbRevisions=23361720
53.71 nbUselessRevisions=18188785 nbRestartNogoods=141 solvingWckTime=52.609 solvingCpuTime=52.01 expiredTime=no
53.71 totalExploration=no nbFoundSolutions=1 globalCpuTime=52.66
53.71 => wckTime=53.372 cpuTime=52.61 mem=22M56
53.71
53.71 s SATISFIABLE
53.71 v 7 8 3 7 18 3 10 10 1 15 14 7 9 10 1 6 4 10 2 17
53.71 d NODES 58289
53.71 d CHECKS 43316447
53.71
53.71 totalWckTime=53.453 totalCpuTime=52.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-208679-1168074804 -o ROOT/results/node18/solver-208679-1168074804 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208679-1168074804/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: 2.02 2.01 1.96 4/93 21244
/proc/meminfo: memFree=1132952/2055920 swapFree=4192812/4192956
[pid=21243] ppid=21241 vsize=18540 CPUtime=0
/proc/21243/stat : 21243 (runsolver) R 21241 21243 20861 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155875269 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21243/statm: 4635 279 244 17 0 2626 0
[startup+0.108032 s]
/proc/loadavg: 2.02 2.01 1.96 4/93 21244
/proc/meminfo: memFree=1132952/2055920 swapFree=4192812/4192956
[pid=21243] ppid=21241 vsize=912432 CPUtime=0.06
/proc/21243/stat : 21243 (java) R 21241 21243 20861 0 -1 0 2721 0 1 0 6 0 0 0 20 0 8 0 155875269 934330368 2468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21243/statm: 228108 2468 1357 14 0 215091 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912432
[startup+0.516073 s]
/proc/loadavg: 2.02 2.01 1.96 4/93 21244
/proc/meminfo: memFree=1132952/2055920 swapFree=4192812/4192956
[pid=21243] ppid=21241 vsize=915328 CPUtime=0.46
/proc/21243/stat : 21243 (java) R 21241 21243 20861 0 -1 0 7134 0 1 0 42 4 0 0 18 0 8 0 155875269 937295872 6873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934644 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21243/statm: 228832 6873 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.34215 s]
/proc/loadavg: 2.10 2.03 1.96 3/100 21251
/proc/meminfo: memFree=1076576/2055920 swapFree=4192812/4192956
[pid=21243] ppid=21241 vsize=915460 CPUtime=1.28
/proc/21243/stat : 21243 (java) R 21241 21243 20861 0 -1 0 16783 0 1 0 118 10 0 0 24 0 8 0 155875269 937431040 16520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21243/statm: 228865 16520 2517 14 0 215335 0
[pid=21243/tid=21245] ppid=21241 vsize=915460 CPUtime=0.06
/proc/21243/task/21245/stat : 21245 (java) S 21241 21243 20861 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155875275 937431040 16520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21246] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21246/stat : 21246 (java) S 21241 21243 20861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875276 937431040 16520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21247] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21247/stat : 21247 (java) S 21241 21243 20861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875276 937431040 16520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21248] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21248/stat : 21248 (java) S 21241 21243 20861 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155875279 937431040 16520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21249] ppid=21241 vsize=915460 CPUtime=0.16
/proc/21243/task/21249/stat : 21249 (java) S 21241 21243 20861 0 -1 64 357 0 0 0 15 1 0 0 15 0 8 0 155875279 937431040 16520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21250] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21250/stat : 21250 (java) S 21241 21243 20861 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875279 937431040 16520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21251] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21251/stat : 21251 (java) S 21241 21243 20861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155875279 937431040 16520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915460
[startup+2.99131 s]
/proc/loadavg: 2.10 2.03 1.96 5/100 21251
/proc/meminfo: memFree=1076448/2055920 swapFree=4192812/4192956
[pid=21243] ppid=21241 vsize=915460 CPUtime=2.92
/proc/21243/stat : 21243 (java) R 21241 21243 20861 0 -1 0 16802 0 1 0 282 10 0 0 25 0 8 0 155875269 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21243/statm: 228865 16538 2517 14 0 215335 0
[pid=21243/tid=21245] ppid=21241 vsize=915460 CPUtime=0.06
/proc/21243/task/21245/stat : 21245 (java) S 21241 21243 20861 0 -1 64 1745 0 0 0 6 0 0 0 17 0 8 0 155875275 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21246] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21246/stat : 21246 (java) S 21241 21243 20861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875276 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21247] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21247/stat : 21247 (java) S 21241 21243 20861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875276 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21248] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21248/stat : 21248 (java) S 21241 21243 20861 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155875279 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21249] ppid=21241 vsize=915460 CPUtime=0.2
/proc/21243/task/21249/stat : 21249 (java) S 21241 21243 20861 0 -1 64 376 0 0 0 19 1 0 0 16 0 8 0 155875279 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21250] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21250/stat : 21250 (java) S 21241 21243 20861 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875279 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21251] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21251/stat : 21251 (java) S 21241 21243 20861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155875279 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.27163 s]
/proc/loadavg: 2.09 2.03 1.96 3/100 21251
/proc/meminfo: memFree=1076384/2055920 swapFree=4192812/4192956
[pid=21243] ppid=21241 vsize=915460 CPUtime=6.16
/proc/21243/stat : 21243 (java) R 21241 21243 20861 0 -1 0 16812 0 1 0 606 10 0 0 25 0 8 0 155875269 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21243/statm: 228865 16546 2517 14 0 215335 0
[pid=21243/tid=21245] ppid=21241 vsize=915460 CPUtime=0.06
/proc/21243/task/21245/stat : 21245 (java) S 21241 21243 20861 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155875275 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21246] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21246/stat : 21246 (java) S 21241 21243 20861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875276 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21247] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21247/stat : 21247 (java) S 21241 21243 20861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875276 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21248] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21248/stat : 21248 (java) S 21241 21243 20861 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155875279 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21249] ppid=21241 vsize=915460 CPUtime=0.22
/proc/21243/task/21249/stat : 21249 (java) S 21241 21243 20861 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 155875279 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21250] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21250/stat : 21250 (java) S 21241 21243 20861 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875279 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21251] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21251/stat : 21251 (java) S 21241 21243 20861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155875279 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915460
[startup+12.7693 s]
/proc/loadavg: 2.08 2.02 1.96 3/100 21251
/proc/meminfo: memFree=1076384/2055920 swapFree=4192812/4192956
[pid=21243] ppid=21241 vsize=915460 CPUtime=12.59
/proc/21243/stat : 21243 (java) R 21241 21243 20861 0 -1 0 16812 0 1 0 1249 10 0 0 25 0 8 0 155875269 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21243/statm: 228865 16546 2517 14 0 215335 0
[pid=21243/tid=21245] ppid=21241 vsize=915460 CPUtime=0.06
/proc/21243/task/21245/stat : 21245 (java) S 21241 21243 20861 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155875275 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21246] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21246/stat : 21246 (java) S 21241 21243 20861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875276 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21247] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21247/stat : 21247 (java) S 21241 21243 20861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875276 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21248] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21248/stat : 21248 (java) S 21241 21243 20861 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155875279 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21249] ppid=21241 vsize=915460 CPUtime=0.22
/proc/21243/task/21249/stat : 21249 (java) S 21241 21243 20861 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 155875279 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21250] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21250/stat : 21250 (java) S 21241 21243 20861 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875279 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21251] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21251/stat : 21251 (java) S 21241 21243 20861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155875279 937431040 16546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915460
[startup+25.6305 s]
/proc/loadavg: 2.07 2.02 1.96 3/100 21251
/proc/meminfo: memFree=1076512/2055920 swapFree=4192812/4192956
[pid=21243] ppid=21241 vsize=915460 CPUtime=25.34
/proc/21243/stat : 21243 (java) R 21241 21243 20861 0 -1 0 16814 0 1 0 2524 10 0 0 25 0 8 0 155875269 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21243/statm: 228865 16547 2517 14 0 215335 0
[pid=21243/tid=21245] ppid=21241 vsize=915460 CPUtime=0.06
/proc/21243/task/21245/stat : 21245 (java) S 21241 21243 20861 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155875275 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21246] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21246/stat : 21246 (java) S 21241 21243 20861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875276 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21247] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21247/stat : 21247 (java) S 21241 21243 20861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875276 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21248] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21248/stat : 21248 (java) S 21241 21243 20861 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155875279 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21249] ppid=21241 vsize=915460 CPUtime=0.22
/proc/21243/task/21249/stat : 21249 (java) S 21241 21243 20861 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 155875279 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21250] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21250/stat : 21250 (java) S 21241 21243 20861 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875279 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21251] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21251/stat : 21251 (java) S 21241 21243 20861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155875279 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915460
[startup+51.26 s]
/proc/loadavg: 2.04 2.02 1.96 3/100 21251
/proc/meminfo: memFree=1076576/2055920 swapFree=4192812/4192956
[pid=21243] ppid=21241 vsize=915460 CPUtime=50.74
/proc/21243/stat : 21243 (java) R 21241 21243 20861 0 -1 0 16814 0 1 0 5063 11 0 0 25 0 8 0 155875269 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21243/statm: 228865 16547 2517 14 0 215335 0
[pid=21243/tid=21245] ppid=21241 vsize=915460 CPUtime=0.06
/proc/21243/task/21245/stat : 21245 (java) S 21241 21243 20861 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155875275 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21246] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21246/stat : 21246 (java) S 21241 21243 20861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875276 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21247] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21247/stat : 21247 (java) S 21241 21243 20861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875276 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21248] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21248/stat : 21248 (java) S 21241 21243 20861 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155875279 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21249] ppid=21241 vsize=915460 CPUtime=0.22
/proc/21243/task/21249/stat : 21249 (java) S 21241 21243 20861 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 155875279 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21250] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21250/stat : 21250 (java) S 21241 21243 20861 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875279 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21243/tid=21251] ppid=21241 vsize=915460 CPUtime=0
/proc/21243/task/21251/stat : 21251 (java) S 21241 21243 20861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155875279 937431040 16547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 53.7348
CPU time (s): 53.1919
CPU user time (s): 53.0689
CPU system time (s): 0.122981
CPU usage (%): 98.9897
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.0689
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16820
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= 2148
involuntary context switches= 4615
runsolver used 0.078987 s user time and 0.175973 s system time
The end
Begin job on node18 on Sat Jan 6 09:13:26 UTC 2007
IDJOB= 208679
IDBENCH= 4425
FILE ID= node18/208679-1168074804
PBS_JOBID= 3475756
Free space on /tmp= 66284 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208679-1168074804/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-208679-1168074804 -o ROOT/results/node18/solver-208679-1168074804 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208679-1168074804/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 183773318bbfeda436ec7ca073b0db0a
RANDOM SEED= 848569182
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.231
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.231
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: 1133432 kB
Buffers: 68932 kB
Cached: 664720 kB
SwapCached: 0 kB
Active: 431784 kB
Inactive: 392248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1133432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2948 kB
Writeback: 0 kB
Mapped: 119432 kB
Slab: 83368 kB
Committed_AS: 4757856 kB
PageTables: 2184 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= 66284 MiB
End job on node18 on Sat Jan 6 09:14:20 UTC 2007