0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/206957-1168074174/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=61 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.42 => wckTime=0.109 cpuTime=0.09 mem=7M931
0.42
0.42 relations being loaded...
0.48
0.48 constraints being loaded...
0.63 nbConstraints=230 nbRelationTypes=23 nbSingletonDomainVariables=2 nbExtensionStructures=24
0.63 nbSharedExtensionStructures=206 nbConflictsStructures=24 nbSharedConflictsStructures=206
0.63 nbSharedBinaryRepresentations=20290 maxDegree=20 maxArity=3
0.63 => wckTime=0.315 cpuTime=0.25 mem=16M524
0.68
0.68 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.532 cpuTime=0.38 mem=18M594
0.93
0.93 preprocessing
0.93 nbConstraintChecks=54625 nbValidityChecks=37056 nbPropagations=111 nbRevisions=165 nbUselessRevisions=41
0.93 nbRemovedValues=21900 detectedInconsistency=no
0.93 => wckTime=0.073 cpuTime=0.05 mem=18M594
1.01
1.01 search
1.01 run=0 nbConstraintChecks=54004 nbValidityChecks=54795 nbPropagations=1953 nbRevisions=4808
1.01 nbUselessRevisions=2443 nbAssignments=28 nbFailedAssignments=12 nbBacktracks=14 nbVisitedNodes=49
1.01 nbRestartNogoods=0 mapSize=14 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.152 cpuTime=0.11 mem=18M594
1.08
1.08 search
1.08 run=1 nbConstraintChecks=151511 nbValidityChecks=152896 nbPropagations=6279 nbRevisions=15811
1.08 nbUselessRevisions=7891 nbAssignments=70 nbFailedAssignments=32 nbBacktracks=32 nbVisitedNodes=119
1.08 nbRestartNogoods=1 mapSize=28 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.225 cpuTime=0.18 mem=18M594
1.18
1.18 search
1.18 run=2 nbConstraintChecks=292904 nbValidityChecks=302416 nbPropagations=14319 nbRevisions=36058
1.18 nbUselessRevisions=17868 nbAssignments=125 nbFailedAssignments=55 nbBacktracks=54 nbVisitedNodes=214
1.18 nbRestartNogoods=6 mapSize=48 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.325 cpuTime=0.27 mem=18M594
1.28
1.28 search
1.28 run=3 nbConstraintChecks=453574 nbValidityChecks=472669 nbPropagations=26868 nbRevisions=67129
1.28 nbUselessRevisions=32696 nbAssignments=214 nbFailedAssignments=95 nbBacktracks=89 nbVisitedNodes=358
1.28 nbRestartNogoods=14 mapSize=73 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.427 cpuTime=0.37 mem=19M569
1.39
1.39 search
1.39 run=4 nbConstraintChecks=622939 nbValidityChecks=655052 nbPropagations=43945 nbRevisions=109121
1.39 nbUselessRevisions=52555 nbAssignments=316 nbFailedAssignments=136 nbBacktracks=143 nbVisitedNodes=524
1.39 nbRestartNogoods=29 mapSize=112 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.538 cpuTime=0.48 mem=19M569
1.59
1.59 search
1.59 run=5 nbConstraintChecks=941006 nbValidityChecks=988817 nbPropagations=69650 nbRevisions=171999
1.59 nbUselessRevisions=82326 nbAssignments=466 nbFailedAssignments=202 nbBacktracks=219 nbVisitedNodes=778
1.59 nbRestartNogoods=40 mapSize=165 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.741 cpuTime=0.68 mem=19M569
1.82
1.82 search
1.82 run=6 nbConstraintChecks=1295375 nbValidityChecks=1362144 nbPropagations=105386 nbRevisions=260055
1.82 nbUselessRevisions=124352 nbAssignments=664 nbFailedAssignments=277 nbBacktracks=332 nbVisitedNodes=1102
1.82 nbRestartNogoods=53 mapSize=235 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.972 cpuTime=0.91 mem=20M544
2.25
2.25 search
2.25 run=7 nbConstraintChecks=1975367 nbValidityChecks=2076600 nbPropagations=158579 nbRevisions=388795
2.25 nbUselessRevisions=184748 nbAssignments=979 nbFailedAssignments=414 nbBacktracks=503 nbVisitedNodes=1631
2.25 nbRestartNogoods=64 mapSize=350 nbInferences=0 nbTooLargeKeys=0
2.25 => wckTime=1.4 cpuTime=1.33 mem=20M544
2.74
2.74 search
2.74 run=8 nbConstraintChecks=2715668 nbValidityChecks=2854837 nbPropagations=232297 nbRevisions=565217
2.74 nbUselessRevisions=266929 nbAssignments=1401 nbFailedAssignments=568 nbBacktracks=762 nbVisitedNodes=2307
2.74 nbRestartNogoods=81 mapSize=492 nbInferences=0 nbTooLargeKeys=0
2.74 => wckTime=1.885 cpuTime=1.8 mem=21M519
3.40
3.40 search
3.40 run=9 nbConstraintChecks=3716197 nbValidityChecks=3897791 nbPropagations=334489 nbRevisions=810877
3.40 nbUselessRevisions=382329 nbAssignments=1993 nbFailedAssignments=768 nbBacktracks=1147 nbVisitedNodes=3250
3.40 nbRestartNogoods=99 mapSize=704 nbInferences=0 nbTooLargeKeys=0
3.40 => wckTime=2.547 cpuTime=2.43 mem=22M495
4.38
4.38 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=24M445)
4.40
4.40 search
4.40 run=10 nbConstraintChecks=5277398 nbValidityChecks=5586692 nbPropagations=482699 nbRevisions=1164947
4.40 nbUselessRevisions=548714 nbAssignments=2910 nbFailedAssignments=1103 nbBacktracks=1724 nbVisitedNodes=4737
4.40 nbRestartNogoods=111
4.40 => wckTime=3.552 cpuTime=3.42 mem=24M445
5.58
5.58 search
5.58 run=11 nbConstraintChecks=7220091 nbValidityChecks=7632550 nbPropagations=695766 nbRevisions=1676982
5.58 nbUselessRevisions=791992 nbAssignments=4193 nbFailedAssignments=1511 nbBacktracks=2590 nbVisitedNodes=6831
5.58 nbRestartNogoods=117
5.58 => wckTime=4.732 cpuTime=4.59 mem=24M445
7.58
7.58 search
7.58 run=12 nbConstraintChecks=10533179 nbValidityChecks=11232982 nbPropagations=1010983 nbRevisions=2438149
7.58 nbUselessRevisions=1153429 nbAssignments=6245 nbFailedAssignments=2252 nbBacktracks=3890 nbVisitedNodes=10190
7.58 nbRestartNogoods=133
7.58 => wckTime=6.73 cpuTime=6.57 mem=24M445
10.67
10.67 search
10.67 run=13 nbConstraintChecks=15731852 nbValidityChecks=16769897 nbPropagations=1482764 nbRevisions=3580435
10.67 nbUselessRevisions=1697577 nbAssignments=9321 nbFailedAssignments=3371 nbBacktracks=5836 nbVisitedNodes=15268
10.67 nbRestartNogoods=147
10.67 => wckTime=9.817 cpuTime=9.62 mem=24M445
15.22
15.22 search
15.22 run=14 nbConstraintChecks=23411275 nbValidityChecks=24981962 nbPropagations=2178708 nbRevisions=5282046
15.22 nbUselessRevisions=2513679 nbAssignments=13907 nbFailedAssignments=5026 nbBacktracks=8758 nbVisitedNodes=22769
15.22 nbRestartNogoods=162
15.22 => wckTime=14.364 cpuTime=14.13 mem=24M445
18.59
18.59 search
18.59 run=15 nbConstraintChecks=29489979 nbValidityChecks=31479412 nbPropagations=3060866 nbRevisions=7448400
18.59 nbUselessRevisions=3559746 nbAssignments=17602 nbFailedAssignments=6271 nbBacktracks=11147 nbVisitedNodes=28807
18.59 nbRestartNogoods=181
18.59 => wckTime=17.738 cpuTime=17.5 mem=24M445
18.59
18.59 global
18.59 nbConstraintChecks=29544604 nbValidityChecks=31516468 nbPropagations=3060977 nbRevisions=7448565
18.59 nbUselessRevisions=3559787 nbRestartNogoods=181 solvingWckTime=17.739 solvingCpuTime=17.5 expiredTime=no
18.59 totalExploration=no nbFoundSolutions=1 globalCpuTime=17.94
18.59 => wckTime=18.277 cpuTime=17.88 mem=24M445
18.59
18.59 s SATISFIABLE
18.59 v 7 7 19 20 14 19 10 0 15 14 17 8 18 12 9 6 3 0 2 4 4 1 8 21 5 7 6 11 1 18 13 1 11 2 12 13 20 8 16 23 27 46 46 60 68 80 86 86 90 91 112 119 130 148 149 151 164 172 195 195 0
18.59 d NODES 17602
18.59 d CHECKS 29544604
18.59
18.59 totalWckTime=18.357 totalCpuTime=17.94
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-206957-1168074174 -o ROOT/results/node42/solver-206957-1168074174 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206957-1168074174/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.21 1.07 1.32 5/80 22612
/proc/meminfo: memFree=1328520/2055920 swapFree=4191892/4192956
[pid=22611] ppid=22609 vsize=18540 CPUtime=0
/proc/22611/stat : 22611 (runsolver) R 22609 22611 22301 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 155816676 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259412524530 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22611/statm: 4635 279 244 17 0 2626 0
[startup+0.108371 s]
/proc/loadavg: 1.21 1.07 1.32 5/80 22612
/proc/meminfo: memFree=1328520/2055920 swapFree=4191892/4192956
[pid=22611] ppid=22609 vsize=914988 CPUtime=0.09
/proc/22611/stat : 22611 (java) R 22609 22611 22301 0 -1 0 3020 0 1 0 7 2 0 0 17 0 8 0 155816676 936947712 2766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155476850 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22611/statm: 228747 2766 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516416 s]
/proc/loadavg: 1.21 1.07 1.32 5/80 22612
/proc/meminfo: memFree=1328520/2055920 swapFree=4191892/4192956
[pid=22611] ppid=22609 vsize=915328 CPUtime=0.5
/proc/22611/stat : 22611 (java) R 22609 22611 22301 0 -1 0 7117 0 1 0 45 5 0 0 18 0 8 0 155816676 937295872 6856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22611/statm: 228832 6856 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34351 s]
/proc/loadavg: 1.21 1.07 1.32 4/87 22619
/proc/meminfo: memFree=1299920/2055920 swapFree=4191892/4192956
[pid=22611] ppid=22609 vsize=915444 CPUtime=1.31
/proc/22611/stat : 22611 (java) R 22609 22611 22301 0 -1 0 9848 0 1 0 125 6 0 0 19 0 8 0 155816676 937414656 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628461 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22611/statm: 228861 9585 2517 14 0 215331 0
[pid=22611/tid=22613] ppid=22609 vsize=915444 CPUtime=0.04
/proc/22611/task/22613/stat : 22613 (java) S 22609 22611 22301 0 -1 64 836 0 0 0 4 0 0 0 16 0 8 0 155816680 937414656 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22614] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22614/stat : 22614 (java) S 22609 22611 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155816680 937414656 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22615] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22615/stat : 22615 (java) S 22609 22611 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155816680 937414656 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22616] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22616/stat : 22616 (java) S 22609 22611 22301 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155816684 937414656 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22617] ppid=22609 vsize=915444 CPUtime=0.21
/proc/22611/task/22617/stat : 22617 (java) R 22609 22611 22301 0 -1 64 373 0 0 0 20 1 0 0 20 0 8 0 155816684 937414656 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22618] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22618/stat : 22618 (java) S 22609 22611 22301 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155816684 937414656 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22619] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22619/stat : 22619 (java) S 22609 22611 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155816684 937414656 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.98969 s]
/proc/loadavg: 1.21 1.07 1.32 3/87 22619
/proc/meminfo: memFree=1299280/2055920 swapFree=4191892/4192956
[pid=22611] ppid=22609 vsize=915444 CPUtime=2.95
/proc/22611/stat : 22611 (java) R 22609 22611 22301 0 -1 0 10328 0 1 0 288 7 0 0 25 0 8 0 155816676 937414656 10064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628461 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22611/statm: 228861 10064 2517 14 0 215331 0
[pid=22611/tid=22613] ppid=22609 vsize=915444 CPUtime=0.04
/proc/22611/task/22613/stat : 22613 (java) S 22609 22611 22301 0 -1 64 836 0 0 0 4 0 0 0 17 0 8 0 155816680 937414656 10064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22614] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22614/stat : 22614 (java) S 22609 22611 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155816680 937414656 10064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22615] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22615/stat : 22615 (java) S 22609 22611 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155816680 937414656 10064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22616] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22616/stat : 22616 (java) S 22609 22611 22301 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155816684 937414656 10064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22617] ppid=22609 vsize=915444 CPUtime=0.23
/proc/22611/task/22617/stat : 22617 (java) S 22609 22611 22301 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 155816684 937414656 10064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22618] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22618/stat : 22618 (java) S 22609 22611 22301 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155816684 937414656 10064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22619] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22619/stat : 22619 (java) S 22609 22611 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155816684 937414656 10064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.26905 s]
/proc/loadavg: 1.27 1.09 1.33 3/87 22619
/proc/meminfo: memFree=1295504/2055920 swapFree=4191892/4192956
[pid=22611] ppid=22609 vsize=915444 CPUtime=6.2
/proc/22611/stat : 22611 (java) R 22609 22611 22301 0 -1 0 10960 0 1 0 613 7 0 0 25 0 8 0 155816676 937414656 10693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073766659 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22611/statm: 228861 10693 2517 14 0 215331 0
[pid=22611/tid=22613] ppid=22609 vsize=915444 CPUtime=0.04
/proc/22611/task/22613/stat : 22613 (java) S 22609 22611 22301 0 -1 64 836 0 0 0 4 0 0 0 16 0 8 0 155816680 937414656 10693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22614] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22614/stat : 22614 (java) S 22609 22611 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155816680 937414656 10693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22615] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22615/stat : 22615 (java) S 22609 22611 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155816680 937414656 10693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22616] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22616/stat : 22616 (java) S 22609 22611 22301 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155816684 937414656 10693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22617] ppid=22609 vsize=915444 CPUtime=0.25
/proc/22611/task/22617/stat : 22617 (java) S 22609 22611 22301 0 -1 64 398 0 0 0 24 1 0 0 17 0 8 0 155816684 937414656 10693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22618] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22618/stat : 22618 (java) S 22609 22611 22301 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155816684 937414656 10693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22619] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22619/stat : 22619 (java) S 22609 22611 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155816684 937414656 10693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915444
[startup+12.7578 s]
/proc/loadavg: 1.33 1.10 1.33 4/87 22619
/proc/meminfo: memFree=1295440/2055920 swapFree=4191892/4192956
[pid=22611] ppid=22609 vsize=915444 CPUtime=12.62
/proc/22611/stat : 22611 (java) R 22609 22611 22301 0 -1 0 10966 0 1 0 1255 7 0 0 25 0 8 0 155816676 937414656 10699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073633276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22611/statm: 228861 10699 2517 14 0 215331 0
[pid=22611/tid=22613] ppid=22609 vsize=915444 CPUtime=0.04
/proc/22611/task/22613/stat : 22613 (java) S 22609 22611 22301 0 -1 64 836 0 0 0 4 0 0 0 16 0 8 0 155816680 937414656 10699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22614] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22614/stat : 22614 (java) S 22609 22611 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155816680 937414656 10699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22615] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22615/stat : 22615 (java) S 22609 22611 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155816680 937414656 10699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22616] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22616/stat : 22616 (java) S 22609 22611 22301 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155816684 937414656 10699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22617] ppid=22609 vsize=915444 CPUtime=0.25
/proc/22611/task/22617/stat : 22617 (java) S 22609 22611 22301 0 -1 64 398 0 0 0 24 1 0 0 17 0 8 0 155816684 937414656 10699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22618] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22618/stat : 22618 (java) S 22609 22611 22301 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155816684 937414656 10699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22611/tid=22619] ppid=22609 vsize=915444 CPUtime=0
/proc/22611/task/22619/stat : 22619 (java) S 22609 22611 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155816684 937414656 10699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 18.6172
CPU time (s): 18.4442
CPU user time (s): 18.3582
CPU system time (s): 0.085986
CPU usage (%): 99.0709
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.3582
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11060
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= 1280
involuntary context switches= 2076
runsolver used 0.028995 s user time and 0.06199 s system time
The end
Begin job on node42 on Sat Jan 6 09:02:54 UTC 2007
IDJOB= 206957
IDBENCH= 4248
FILE ID= node42/206957-1168074174
PBS_JOBID= 3476011
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-20/tsp-20-901_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206957-1168074174/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-206957-1168074174 -o ROOT/results/node42/solver-206957-1168074174 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206957-1168074174/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ca0da3dc324e11d235214b7a2f0bb23c
RANDOM SEED= 798064678
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.229
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.229
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: 1329000 kB
Buffers: 49496 kB
Cached: 550404 kB
SwapCached: 268 kB
Active: 133456 kB
Inactive: 518280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1329000 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3812 kB
Writeback: 0 kB
Mapped: 70892 kB
Slab: 60496 kB
Committed_AS: 3445472 kB
PageTables: 1892 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= 66543 MiB
End job on node42 on Sat Jan 6 09:03:15 UTC 2007