0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=esac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/231180-1168317659/unknown.xml
0.48
0.48 domains being loaded...
0.48
0.48 variables being loaded...
0.52 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.52 => wckTime=0.112 cpuTime=0.09 mem=6M951
0.52
0.52 relations being loaded...
0.65
0.65 constraints being loaded...
0.79 nbConstraints=469 nbRelationTypes=469 nbExtensionStructures=469 nbSharedExtensionStructures=0
0.79 nbConflictsStructures=469 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4536 maxDegree=30
0.79 maxArity=2
0.79 => wckTime=0.382 cpuTime=0.28 mem=15M762
0.83
0.83 solver IterativeSystematicSolver being built...
1.00 => wckTime=0.59 cpuTime=0.41 mem=15M446
1.06
1.06 preprocessing
1.06 nbConstraintChecks=86387 nbPropagations=1101 nbRevisions=9414 nbUselessRevisions=7888 nbSingletonTests=61
1.06 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
1.06 => wckTime=0.059 cpuTime=0.04 mem=15M446
1.08
1.08 search
1.09 run=0 nbConstraintChecks=41018 nbPropagations=1538 nbRevisions=15431 nbUselessRevisions=12881 nbAssignments=22
1.09 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.09 nbTooLargeKeys=0
1.09 => wckTime=0.086 cpuTime=0.06 mem=15M446
1.11
1.11 search
1.11 run=1 nbConstraintChecks=119693 nbPropagations=3848 nbRevisions=43125 nbUselessRevisions=35950
1.11 nbAssignments=56 nbFailedAssignments=22 nbBacktracks=26 nbVisitedNodes=99 nbRestartNogoods=2 mapSize=25
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.11 cpuTime=0.08 mem=15M446
1.13
1.13 search
1.13 run=2 nbConstraintChecks=216504 nbPropagations=7089 nbRevisions=86549 nbUselessRevisions=72068
1.13 nbAssignments=103 nbFailedAssignments=43 nbBacktracks=48 nbVisitedNodes=185 nbRestartNogoods=5 mapSize=46
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.128 cpuTime=0.09 mem=15M446
1.16
1.16 search
1.16 run=3 nbConstraintChecks=347586 nbPropagations=11621 nbRevisions=151858 nbUselessRevisions=126525
1.16 nbAssignments=168 nbFailedAssignments=70 nbBacktracks=82 nbVisitedNodes=303 nbRestartNogoods=7 mapSize=78
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.158 cpuTime=0.12 mem=15M446
1.20
1.20 search
1.20 run=4 nbConstraintChecks=558567 nbPropagations=18143 nbRevisions=250107 nbUselessRevisions=208177
1.20 nbAssignments=272 nbFailedAssignments=119 nbBacktracks=132 nbVisitedNodes=489 nbRestartNogoods=10 mapSize=126
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.196 cpuTime=0.15 mem=15M446
1.26
1.26 search
1.26 run=5 nbConstraintChecks=936315 nbPropagations=28129 nbRevisions=408114 nbUselessRevisions=339488
1.26 nbAssignments=440 nbFailedAssignments=198 nbBacktracks=207 nbVisitedNodes=784 nbRestartNogoods=18 mapSize=201
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.261 cpuTime=0.21 mem=15M446
1.33
1.33 search
1.33 run=6 nbConstraintChecks=1396891 nbPropagations=42341 nbRevisions=638789 nbUselessRevisions=531103
1.33 nbAssignments=656 nbFailedAssignments=299 nbBacktracks=320 nbVisitedNodes=1175 nbRestartNogoods=23 mapSize=309
1.33 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.336 cpuTime=0.29 mem=15M446
1.45
1.45 search
1.45 run=7 nbConstraintChecks=2118607 nbPropagations=63245 nbRevisions=991323 nbUselessRevisions=824974
1.45 nbAssignments=1004 nbFailedAssignments=472 nbBacktracks=490 nbVisitedNodes=1816 nbRestartNogoods=25
1.45 mapSize=473 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.453 cpuTime=0.4 mem=15M446
1.63
1.63 search
1.63 run=8 nbConstraintChecks=3137627 nbPropagations=93667 nbRevisions=1514901 nbUselessRevisions=1260999
1.63 nbAssignments=1524 nbFailedAssignments=733 nbBacktracks=746 nbVisitedNodes=2775 nbRestartNogoods=30
1.63 mapSize=719 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.631 cpuTime=0.56 mem=15M446
1.82
1.82 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=15M446)
1.86
1.86 search
1.86 run=9 nbConstraintChecks=4648168 nbPropagations=138179 nbRevisions=2291757 nbUselessRevisions=1909794
1.86 nbAssignments=2259 nbFailedAssignments=1078 nbBacktracks=1131 nbVisitedNodes=4133 nbRestartNogoods=37
1.86 => wckTime=0.861 cpuTime=0.78 mem=15M446
2.20
2.20 search
2.20 run=10 nbConstraintChecks=7001016 nbPropagations=204121 nbRevisions=3457351 nbUselessRevisions=2882833
2.20 nbAssignments=3389 nbFailedAssignments=1627 nbBacktracks=1707 nbVisitedNodes=6229 nbRestartNogoods=47
2.20 => wckTime=1.2 cpuTime=1.11 mem=15M446
2.64
2.64 search
2.64 run=11 nbConstraintChecks=10153395 nbPropagations=299521 nbRevisions=5147664 nbUselessRevisions=4295136
2.64 nbAssignments=5004 nbFailedAssignments=2364 nbBacktracks=2572 nbVisitedNodes=9191 nbRestartNogoods=60
2.64 => wckTime=1.646 cpuTime=1.55 mem=15M446
3.35
3.36 search
3.36 run=12 nbConstraintChecks=15300373 nbPropagations=442132 nbRevisions=7690800 nbUselessRevisions=6418806
3.36 nbAssignments=7478 nbFailedAssignments=3536 nbBacktracks=3870 nbVisitedNodes=13793 nbRestartNogoods=73
3.36 => wckTime=2.356 cpuTime=2.26 mem=15M446
4.40
4.40 search
4.40 run=13 nbConstraintChecks=22782435 nbPropagations=653954 nbRevisions=11426240 nbUselessRevisions=9531865
4.40 nbAssignments=11163 nbFailedAssignments=5269 nbBacktracks=5818 nbVisitedNodes=20587 nbRestartNogoods=86
4.40 => wckTime=3.399 cpuTime=3.3 mem=15M446
6.02
6.02 search
6.02 run=14 nbConstraintChecks=34502134 nbPropagations=971833 nbRevisions=16985801 nbUselessRevisions=14149714
6.02 nbAssignments=16722 nbFailedAssignments=7904 nbBacktracks=8738 nbVisitedNodes=30832 nbRestartNogoods=94
6.02 => wckTime=5.021 cpuTime=4.91 mem=15M446
8.46
8.46 search
8.46 run=15 nbConstraintChecks=52096021 nbPropagations=1450503 nbRevisions=25435055 nbUselessRevisions=21179552
8.46 nbAssignments=25151 nbFailedAssignments=11950 nbBacktracks=13116 nbVisitedNodes=46462 nbRestartNogoods=104
8.46 => wckTime=7.457 cpuTime=7.33 mem=15M446
12.04
12.04 search
12.04 run=16 nbConstraintChecks=78123018 nbPropagations=2167446 nbRevisions=38137524 nbUselessRevisions=31757546
12.04 nbAssignments=37658 nbFailedAssignments=17883 nbBacktracks=19684 nbVisitedNodes=69582 nbRestartNogoods=120
12.04 => wckTime=11.037 cpuTime=10.9 mem=15M446
17.21
17.21 search
17.21 run=17 nbConstraintChecks=115566393 nbPropagations=3230698 nbRevisions=57119640 nbUselessRevisions=47599410
17.21 nbAssignments=56390 nbFailedAssignments=26757 nbBacktracks=29538 nbVisitedNodes=104209 nbRestartNogoods=137
17.21 => wckTime=16.211 cpuTime=16.04 mem=15M446
25.56
25.56 search
25.56 run=18 nbConstraintChecks=176625043 nbPropagations=4841445 nbRevisions=85872890 nbUselessRevisions=71573716
25.56 nbAssignments=85002 nbFailedAssignments=40587 nbBacktracks=44316 nbVisitedNodes=157317 nbRestartNogoods=155
25.56 => wckTime=24.564 cpuTime=24.36 mem=15M446
38.00
38.00 search
38.00 run=19 nbConstraintChecks=268120650 nbPropagations=7273123 nbRevisions=129516588 nbUselessRevisions=107989514
38.00 nbAssignments=128070 nbFailedAssignments=61483 nbBacktracks=66485 nbVisitedNodes=237248 nbRestartNogoods=167
38.00 => wckTime=37.006 cpuTime=36.74 mem=15M446
54.03
54.03 search
54.03 run=20 nbConstraintChecks=385690496 nbPropagations=10755296 nbRevisions=192380947 nbUselessRevisions=160477414
54.03 nbAssignments=182021 nbFailedAssignments=88000 nbBacktracks=93920 nbVisitedNodes=337754 nbRestartNogoods=184
54.03 => wckTime=53.028 cpuTime=52.68 mem=15M446
54.03
54.03 global
54.03 nbConstraintChecks=385776883 nbPropagations=10756397 nbRevisions=192390361 nbUselessRevisions=160485302
54.03 nbRestartNogoods=184 solvingWckTime=53.03 solvingCpuTime=52.68 expiredTime=no totalExploration=yes
54.03 nbFoundSolutions=0 globalCpuTime=53.14
54.03 => wckTime=53.623 cpuTime=53.09 mem=15M446
54.03
54.03 s UNSATISFIABLE
54.03 d NODES 182021
54.03 d CHECKS 385776883
54.03
54.03 totalWckTime=53.705 totalCpuTime=53.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-231180-1168317659 -o ROOT/results/node62/solver-231180-1168317659 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231180-1168317659/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.78 1.89 1.82 4/75 1400
/proc/meminfo: memFree=1470728/2055920 swapFree=4192812/4192956
[pid=1399] ppid=1397 vsize=18540 CPUtime=0
/proc/1399/stat : 1399 (runsolver) R 1397 1399 1166 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 180163807 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 236437695783 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1399/statm: 4635 279 244 17 0 2626 0
[startup+0.10698 s]
/proc/loadavg: 1.78 1.89 1.82 4/75 1400
/proc/meminfo: memFree=1470728/2055920 swapFree=4192812/4192956
[pid=1399] ppid=1397 vsize=907808 CPUtime=0.06
/proc/1399/stat : 1399 (java) R 1397 1399 1166 0 -1 0 2509 0 1 0 5 1 0 0 17 0 4 0 180163807 929595392 2256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153795273 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/1399/statm: 226952 2256 1233 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.51806 s]
/proc/loadavg: 1.78 1.89 1.82 4/75 1400
/proc/meminfo: memFree=1470728/2055920 swapFree=4192812/4192956
[pid=1399] ppid=1397 vsize=915328 CPUtime=0.39
/proc/1399/stat : 1399 (java) R 1397 1399 1166 0 -1 0 6111 0 1 0 36 3 0 0 18 0 8 0 180163807 937295872 5850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1399/statm: 228832 5850 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.34522 s]
/proc/loadavg: 1.78 1.89 1.82 3/82 1407
/proc/meminfo: memFree=1445072/2055920 swapFree=4192812/4192956
[pid=1399] ppid=1397 vsize=915460 CPUtime=1.21
/proc/1399/stat : 1399 (java) R 1397 1399 1166 0 -1 0 9124 0 1 0 114 7 0 0 23 0 8 0 180163807 937431040 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1399/statm: 228865 8862 2524 14 0 215335 0
[pid=1399/tid=1401] ppid=1397 vsize=915460 CPUtime=0.03
/proc/1399/task/1401/stat : 1401 (java) S 1397 1399 1166 0 -1 64 374 0 0 0 3 0 0 0 16 0 8 0 180163814 937431040 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1402] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1402/stat : 1402 (java) S 1397 1399 1166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180163814 937431040 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1403] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1403/stat : 1403 (java) S 1397 1399 1166 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180163814 937431040 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1404] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1404/stat : 1404 (java) S 1397 1399 1166 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180163818 937431040 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1405] ppid=1397 vsize=915460 CPUtime=0.21
/proc/1399/task/1405/stat : 1405 (java) S 1397 1399 1166 0 -1 64 380 0 0 0 20 1 0 0 15 0 8 0 180163818 937431040 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1406] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1406/stat : 1406 (java) S 1397 1399 1166 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180163818 937431040 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1407] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1407/stat : 1407 (java) S 1397 1399 1166 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180163818 937431040 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915460
[startup+2.98254 s]
/proc/loadavg: 1.78 1.89 1.82 3/82 1407
/proc/meminfo: memFree=1445008/2055920 swapFree=4192812/4192956
[pid=1399] ppid=1397 vsize=915460 CPUtime=2.85
/proc/1399/stat : 1399 (java) R 1397 1399 1166 0 -1 0 9142 0 1 0 277 8 0 0 25 0 8 0 180163807 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809121 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1399/statm: 228865 8879 2524 14 0 215335 0
[pid=1399/tid=1401] ppid=1397 vsize=915460 CPUtime=0.03
/proc/1399/task/1401/stat : 1401 (java) S 1397 1399 1166 0 -1 64 374 0 0 0 3 0 0 0 17 0 8 0 180163814 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1402] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1402/stat : 1402 (java) S 1397 1399 1166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180163814 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1403] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1403/stat : 1403 (java) S 1397 1399 1166 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180163814 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1404] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1404/stat : 1404 (java) S 1397 1399 1166 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180163818 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1405] ppid=1397 vsize=915460 CPUtime=0.25
/proc/1399/task/1405/stat : 1405 (java) S 1397 1399 1166 0 -1 64 397 0 0 0 24 1 0 0 15 0 8 0 180163818 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1406] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1406/stat : 1406 (java) S 1397 1399 1166 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180163818 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1407] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1407/stat : 1407 (java) S 1397 1399 1166 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180163818 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915460
[startup+6.2802 s]
/proc/loadavg: 1.80 1.89 1.82 3/82 1407
/proc/meminfo: memFree=1444880/2055920 swapFree=4192812/4192956
[pid=1399] ppid=1397 vsize=915460 CPUtime=6.13
/proc/1399/stat : 1399 (java) R 1397 1399 1166 0 -1 0 9144 0 1 0 605 8 0 0 25 0 8 0 180163807 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812941 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1399/statm: 228865 8879 2524 14 0 215335 0
[pid=1399/tid=1401] ppid=1397 vsize=915460 CPUtime=0.03
/proc/1399/task/1401/stat : 1401 (java) S 1397 1399 1166 0 -1 64 374 0 0 0 3 0 0 0 16 0 8 0 180163814 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1402] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1402/stat : 1402 (java) S 1397 1399 1166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180163814 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1403] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1403/stat : 1403 (java) S 1397 1399 1166 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180163814 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1404] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1404/stat : 1404 (java) S 1397 1399 1166 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180163818 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1405] ppid=1397 vsize=915460 CPUtime=0.25
/proc/1399/task/1405/stat : 1405 (java) S 1397 1399 1166 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 180163818 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1406] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1406/stat : 1406 (java) S 1397 1399 1166 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180163818 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1407] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1407/stat : 1407 (java) S 1397 1399 1166 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180163818 937431040 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915460
[startup+12.7565 s]
/proc/loadavg: 1.81 1.90 1.82 3/82 1407
/proc/meminfo: memFree=1444880/2055920 swapFree=4192812/4192956
[pid=1399] ppid=1397 vsize=915460 CPUtime=12.57
/proc/1399/stat : 1399 (java) R 1397 1399 1166 0 -1 0 9145 0 1 0 1249 8 0 0 25 0 8 0 180163807 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843557 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1399/statm: 228865 8880 2524 14 0 215335 0
[pid=1399/tid=1401] ppid=1397 vsize=915460 CPUtime=0.03
/proc/1399/task/1401/stat : 1401 (java) S 1397 1399 1166 0 -1 64 374 0 0 0 3 0 0 0 16 0 8 0 180163814 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1402] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1402/stat : 1402 (java) S 1397 1399 1166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180163814 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1403] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1403/stat : 1403 (java) S 1397 1399 1166 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180163814 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1404] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1404/stat : 1404 (java) S 1397 1399 1166 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180163818 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1405] ppid=1397 vsize=915460 CPUtime=0.25
/proc/1399/task/1405/stat : 1405 (java) S 1397 1399 1166 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 180163818 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1406] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1406/stat : 1406 (java) S 1397 1399 1166 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180163818 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1407] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1407/stat : 1407 (java) S 1397 1399 1166 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180163818 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915460
[startup+25.609 s]
/proc/loadavg: 1.85 1.90 1.82 3/82 1407
/proc/meminfo: memFree=1444880/2055920 swapFree=4192812/4192956
[pid=1399] ppid=1397 vsize=915460 CPUtime=25.36
/proc/1399/stat : 1399 (java) R 1397 1399 1166 0 -1 0 9145 0 1 0 2528 8 0 0 25 0 8 0 180163807 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809094 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1399/statm: 228865 8880 2524 14 0 215335 0
[pid=1399/tid=1401] ppid=1397 vsize=915460 CPUtime=0.03
/proc/1399/task/1401/stat : 1401 (java) S 1397 1399 1166 0 -1 64 374 0 0 0 3 0 0 0 16 0 8 0 180163814 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1402] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1402/stat : 1402 (java) S 1397 1399 1166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180163814 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1403] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1403/stat : 1403 (java) S 1397 1399 1166 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180163814 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1404] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1404/stat : 1404 (java) S 1397 1399 1166 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180163818 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1405] ppid=1397 vsize=915460 CPUtime=0.25
/proc/1399/task/1405/stat : 1405 (java) S 1397 1399 1166 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 180163818 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1406] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1406/stat : 1406 (java) S 1397 1399 1166 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180163818 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1407] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1407/stat : 1407 (java) S 1397 1399 1166 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180163818 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915460
[startup+51.2201 s]
/proc/loadavg: 1.90 1.91 1.83 3/82 1407
/proc/meminfo: memFree=1444944/2055920 swapFree=4192812/4192956
[pid=1399] ppid=1397 vsize=915460 CPUtime=50.85
/proc/1399/stat : 1399 (java) R 1397 1399 1166 0 -1 0 9145 0 1 0 5077 8 0 0 25 0 8 0 180163807 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1399/statm: 228865 8880 2524 14 0 215335 0
[pid=1399/tid=1401] ppid=1397 vsize=915460 CPUtime=0.03
/proc/1399/task/1401/stat : 1401 (java) S 1397 1399 1166 0 -1 64 374 0 0 0 3 0 0 0 16 0 8 0 180163814 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1402] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1402/stat : 1402 (java) S 1397 1399 1166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180163814 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1403] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1403/stat : 1403 (java) S 1397 1399 1166 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180163814 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1404] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1404/stat : 1404 (java) S 1397 1399 1166 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180163818 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1405] ppid=1397 vsize=915460 CPUtime=0.25
/proc/1399/task/1405/stat : 1405 (java) S 1397 1399 1166 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 180163818 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1406] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1406/stat : 1406 (java) S 1397 1399 1166 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180163818 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1399/tid=1407] ppid=1397 vsize=915460 CPUtime=0
/proc/1399/task/1407/stat : 1407 (java) S 1397 1399 1166 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180163818 937431040 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 54.0836
CPU time (s): 53.6668
CPU user time (s): 53.5769
CPU system time (s): 0.089986
CPU usage (%): 99.2293
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.5769
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9153
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= 2306
involuntary context switches= 3068
runsolver used 0.067989 s user time and 0.184971 s system time
The end
Begin job on node62 on Tue Jan 9 04:41:00 UTC 2007
IDJOB= 231180
IDBENCH= 6453
FILE ID= node62/231180-1168317659
PBS_JOBID= 3502512
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231180-1168317659/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-231180-1168317659 -o ROOT/results/node62/solver-231180-1168317659 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231180-1168317659/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f722cd49396bceac77d040b8ed1bfc74
RANDOM SEED= 117128967
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.259
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.259
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: 1471144 kB
Buffers: 47552 kB
Cached: 458776 kB
SwapCached: 0 kB
Active: 168884 kB
Inactive: 361428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1471144 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2056 kB
Writeback: 0 kB
Mapped: 35792 kB
Slab: 39744 kB
Committed_AS: 3999868 kB
PageTables: 1888 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= 66556 MiB
End job on node62 on Tue Jan 9 04:41:55 UTC 2007