0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/207778-1168074360/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.40 nbVariables=76 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.40 => wckTime=0.106 cpuTime=0.09 mem=7M931
0.40
0.40 relations being loaded...
0.44
0.44 constraints being loaded...
0.60 nbConstraints=350 nbRelationTypes=28 nbSingletonDomainVariables=2 nbExtensionStructures=29
0.60 nbSharedExtensionStructures=321 nbConflictsStructures=29 nbSharedConflictsStructures=321
0.60 nbSharedBinaryRepresentations=25502 maxDegree=25 maxArity=3
0.60 => wckTime=0.312 cpuTime=0.21 mem=15M388
0.65
0.65 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.518 cpuTime=0.34 mem=18M770
0.88
0.88 preprocessing
0.88 nbConstraintChecks=53032 nbValidityChecks=30380 nbPropagations=165 nbRevisions=220 nbUselessRevisions=39
0.88 nbRemovedValues=26428 detectedInconsistency=no
0.88 => wckTime=0.063 cpuTime=0.04 mem=18M770
0.97
0.97 search
0.97 run=0 nbConstraintChecks=96124 nbValidityChecks=92005 nbPropagations=1786 nbRevisions=4832
0.97 nbUselessRevisions=2607 nbAssignments=28 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=45
0.97 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.152 cpuTime=0.11 mem=18M770
1.04
1.04 search
1.04 run=1 nbConstraintChecks=194937 nbValidityChecks=191529 nbPropagations=6289 nbRevisions=17228
1.04 nbUselessRevisions=9306 nbAssignments=67 nbFailedAssignments=25 nbBacktracks=31 nbVisitedNodes=111
1.04 nbRestartNogoods=5 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.223 cpuTime=0.17 mem=18M770
1.12
1.12 search
1.12 run=2 nbConstraintChecks=340119 nbValidityChecks=334265 nbPropagations=14703 nbRevisions=40429
1.12 nbUselessRevisions=21889 nbAssignments=113 nbFailedAssignments=45 nbBacktracks=53 nbVisitedNodes=193
1.12 nbRestartNogoods=10 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.309 cpuTime=0.25 mem=18M770
1.22
1.22 search
1.22 run=3 nbConstraintChecks=518866 nbValidityChecks=506973 nbPropagations=28355 nbRevisions=78271
1.22 nbUselessRevisions=42685 nbAssignments=171 nbFailedAssignments=67 nbBacktracks=87 nbVisitedNodes=294
1.22 nbRestartNogoods=16 mapSize=74 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.409 cpuTime=0.35 mem=18M770
1.36
1.36 search
1.36 run=4 nbConstraintChecks=749163 nbValidityChecks=733509 nbPropagations=48339 nbRevisions=134128
1.36 nbUselessRevisions=73330 nbAssignments=276 nbFailedAssignments=109 nbBacktracks=144 nbVisitedNodes=467
1.36 nbRestartNogoods=20 mapSize=116 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.54 cpuTime=0.48 mem=19M745
1.55
1.55 search
1.55 run=5 nbConstraintChecks=1087027 nbValidityChecks=1071806 nbPropagations=78505 nbRevisions=218211
1.55 nbUselessRevisions=119285 nbAssignments=420 nbFailedAssignments=169 nbBacktracks=220 nbVisitedNodes=710
1.55 nbRestartNogoods=25 mapSize=167 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.732 cpuTime=0.67 mem=19M745
1.75
1.75 search
1.75 run=6 nbConstraintChecks=1421268 nbValidityChecks=1406845 nbPropagations=119895 nbRevisions=333843
1.75 nbUselessRevisions=182779 nbAssignments=616 nbFailedAssignments=239 nbBacktracks=334 nbVisitedNodes=1023
1.75 nbRestartNogoods=37 mapSize=237 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.934 cpuTime=0.87 mem=19M745
2.11
2.11 search
2.11 run=7 nbConstraintChecks=2038316 nbValidityChecks=2028704 nbPropagations=178900 nbRevisions=495936
2.11 nbUselessRevisions=270839 nbAssignments=898 nbFailedAssignments=343 nbBacktracks=506 nbVisitedNodes=1485
2.11 nbRestartNogoods=55 mapSize=341 nbInferences=0 nbTooLargeKeys=0
2.11 => wckTime=1.293 cpuTime=1.22 mem=20M720
2.47
2.47 search
2.47 run=8 nbConstraintChecks=2599056 nbValidityChecks=2616780 nbPropagations=257571 nbRevisions=710935
2.47 nbUselessRevisions=386958 nbAssignments=1285 nbFailedAssignments=464 nbBacktracks=763 nbVisitedNodes=2091
2.47 nbRestartNogoods=64 mapSize=482 nbInferences=0 nbTooLargeKeys=0
2.47 => wckTime=1.651 cpuTime=1.58 mem=21M695
3.06
3.06 search
3.06 run=9 nbConstraintChecks=3551321 nbValidityChecks=3546541 nbPropagations=367134 nbRevisions=1011897
3.06 nbUselessRevisions=550356 nbAssignments=1855 nbFailedAssignments=640 nbBacktracks=1147 nbVisitedNodes=2987
3.06 nbRestartNogoods=73 mapSize=690 nbInferences=0 nbTooLargeKeys=0
3.06 => wckTime=2.248 cpuTime=2.15 mem=23M646
4.01
4.01 search
4.01 run=10 nbConstraintChecks=5193591 nbValidityChecks=5174512 nbPropagations=528456 nbRevisions=1453077
4.01 nbUselessRevisions=789222 nbAssignments=2734 nbFailedAssignments=931 nbBacktracks=1723 nbVisitedNodes=4404
4.01 nbRestartNogoods=82 mapSize=1015 nbInferences=0 nbTooLargeKeys=0
4.01 => wckTime=3.195 cpuTime=3.08 mem=25M596
4.09
4.09 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=25M596)
5.39
5.39 search
5.39 run=11 nbConstraintChecks=7705583 nbValidityChecks=7913028 nbPropagations=771902 nbRevisions=2107007
5.39 nbUselessRevisions=1137430 nbAssignments=4113 nbFailedAssignments=1427 nbBacktracks=2588 nbVisitedNodes=6700
5.39 nbRestartNogoods=95
5.39 => wckTime=4.58 cpuTime=4.46 mem=25M596
6.88
6.88 search
6.88 run=12 nbConstraintChecks=10485977 nbValidityChecks=10609596 nbPropagations=1116395 nbRevisions=3052740
6.88 nbUselessRevisions=1649616 nbAssignments=5955 nbFailedAssignments=1965 nbBacktracks=3887 nbVisitedNodes=9671
6.88 nbRestartNogoods=101
6.88 => wckTime=6.067 cpuTime=5.95 mem=25M596
9.23
9.23 search
9.23 run=13 nbConstraintChecks=14787579 nbValidityChecks=14992318 nbPropagations=1615402 nbRevisions=4420307
9.23 nbUselessRevisions=2389185 nbAssignments=8822 nbFailedAssignments=2876 nbBacktracks=5835 nbVisitedNodes=14297
9.23 nbRestartNogoods=108
9.24 => wckTime=8.419 cpuTime=8.3 mem=25M596
12.71
12.71 search
12.71 run=14 nbConstraintChecks=20958692 nbValidityChecks=21632036 nbPropagations=2337124 nbRevisions=6396060
12.71 nbUselessRevisions=3458709 nbAssignments=12975 nbFailedAssignments=4090 nbBacktracks=8757 nbVisitedNodes=20980
12.71 nbRestartNogoods=113
12.71 => wckTime=11.894 cpuTime=11.77 mem=25M596
18.03
18.03 search
18.03 run=15 nbConstraintChecks=30481066 nbValidityChecks=31642424 nbPropagations=3407082 nbRevisions=9317714
18.03 nbUselessRevisions=5034295 nbAssignments=19507 nbFailedAssignments=6228 nbBacktracks=13136 nbVisitedNodes=31681
18.03 nbRestartNogoods=128
18.03 => wckTime=17.216 cpuTime=17.09 mem=25M596
26.23
26.23 search
26.23 run=16 nbConstraintChecks=45431807 nbValidityChecks=47360664 nbPropagations=4999452 nbRevisions=13629899
26.23 nbUselessRevisions=7353620 nbAssignments=28957 nbFailedAssignments=9093 nbBacktracks=19706 nbVisitedNodes=46979
26.23 nbRestartNogoods=143
26.23 => wckTime=25.416 cpuTime=25.28 mem=25M596
37.83
37.83 search
37.83 run=17 nbConstraintChecks=65703517 nbValidityChecks=69856518 nbPropagations=7356544 nbRevisions=19901477
37.83 nbUselessRevisions=10680123 nbAssignments=41883 nbFailedAssignments=13054 nbBacktracks=28595
37.83 nbVisitedNodes=68335 nbRestartNogoods=159
37.83 => wckTime=37.012 cpuTime=36.88 mem=25M596
37.83
37.83 global
37.83 nbConstraintChecks=65756549 nbValidityChecks=69886898 nbPropagations=7356709 nbRevisions=19901697
37.83 nbUselessRevisions=10680162 nbRestartNogoods=159 solvingWckTime=37.014 solvingCpuTime=36.88 expiredTime=no
37.83 totalExploration=no nbFoundSolutions=1 globalCpuTime=37.28
37.83 => wckTime=37.537 cpuTime=37.22 mem=25M596
37.83
37.83 s SATISFIABLE
37.83 v 4 3 3 1 22 2 6 2 9 7 8 23 11 8 7 1 2 9 23 0 24 21 17 9 21 12 13 6 25 10 12 1 1 3 15 4 20 0 10 0 14 1 5 3 18 20 19 3 16 6 4 6 8 15 38 46 47 56 56 77 86 98 104 114 115 118 122 122 122 123 126 146 149 155 155 0
37.83 d NODES 41883
37.83 d CHECKS 65756549
37.83
37.83 totalWckTime=37.616 totalCpuTime=37.29
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-207778-1168074360 -o ROOT/results/node1/solver-207778-1168074360 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207778-1168074360/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.69 1.90 1.90 4/93 16452
/proc/meminfo: memFree=1115816/2055920 swapFree=4165584/4192956
[pid=16451] ppid=16449 vsize=1784 CPUtime=0
/proc/16451/stat : 16451 (java) D 16449 16451 16216 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 155831771 1826816 140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/16451/statm: 446 140 106 14 0 91 0
[startup+0.107471 s]
/proc/loadavg: 1.69 1.90 1.90 4/93 16452
/proc/meminfo: memFree=1115816/2055920 swapFree=4165584/4192956
[pid=16451] ppid=16449 vsize=914988 CPUtime=0.1
/proc/16451/stat : 16451 (java) R 16449 16451 16216 0 -1 0 3110 0 1 0 8 2 0 0 22 0 8 0 155831771 936947712 2856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16451/statm: 228747 2857 1466 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.515515 s]
/proc/loadavg: 1.69 1.90 1.90 4/93 16452
/proc/meminfo: memFree=1115816/2055920 swapFree=4165584/4192956
[pid=16451] ppid=16449 vsize=915328 CPUtime=0.5
/proc/16451/stat : 16451 (java) R 16449 16451 16216 0 -1 0 7169 0 1 0 45 5 0 0 25 0 8 0 155831771 937295872 6908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154646871 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16451/statm: 228832 6908 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33661 s]
/proc/loadavg: 1.69 1.90 1.90 3/100 16459
/proc/meminfo: memFree=1088240/2055920 swapFree=4165584/4192956
[pid=16451] ppid=16449 vsize=915460 CPUtime=1.32
/proc/16451/stat : 16451 (java) R 16449 16451 16216 0 -1 0 9709 0 1 0 125 7 0 0 25 0 8 0 155831771 937431040 9446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16451/statm: 228865 9446 2517 14 0 215335 0
[pid=16451/tid=16453] ppid=16449 vsize=915460 CPUtime=0.03
/proc/16451/task/16453/stat : 16453 (java) S 16449 16451 16216 0 -1 64 739 0 0 0 3 0 0 0 16 0 8 0 155831775 937431040 9446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16454] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16454/stat : 16454 (java) S 16449 16451 16216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831775 937431040 9446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16455] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16455/stat : 16455 (java) S 16449 16451 16216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155831775 937431040 9446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16456] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16456/stat : 16456 (java) S 16449 16451 16216 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831778 937431040 9446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16457] ppid=16449 vsize=915460 CPUtime=0.23
/proc/16451/task/16457/stat : 16457 (java) S 16449 16451 16216 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 155831778 937431040 9446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16458] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16458/stat : 16458 (java) S 16449 16451 16216 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831778 937431040 9446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16459] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16459/stat : 16459 (java) S 16449 16451 16216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831778 937431040 9446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
[startup+2.9738 s]
/proc/loadavg: 1.71 1.90 1.90 3/100 16459
/proc/meminfo: memFree=1086000/2055920 swapFree=4165584/4192956
[pid=16451] ppid=16449 vsize=915460 CPUtime=2.94
/proc/16451/stat : 16451 (java) R 16449 16451 16216 0 -1 0 10648 0 1 0 286 8 0 0 25 0 8 0 155831771 937431040 10384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073913687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16451/statm: 228865 10384 2517 14 0 215335 0
[pid=16451/tid=16453] ppid=16449 vsize=915460 CPUtime=0.03
/proc/16451/task/16453/stat : 16453 (java) S 16449 16451 16216 0 -1 64 739 0 0 0 3 0 0 0 17 0 8 0 155831775 937431040 10384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16454] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16454/stat : 16454 (java) S 16449 16451 16216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831775 937431040 10384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16455] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16455/stat : 16455 (java) S 16449 16451 16216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155831775 937431040 10384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16456] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16456/stat : 16456 (java) S 16449 16451 16216 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831778 937431040 10384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16457] ppid=16449 vsize=915460 CPUtime=0.26
/proc/16451/task/16457/stat : 16457 (java) S 16449 16451 16216 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 155831778 937431040 10384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16458] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16458/stat : 16458 (java) S 16449 16451 16216 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831778 937431040 10384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16459] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16459/stat : 16459 (java) S 16449 16451 16216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831778 937431040 10384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.18018 s]
/proc/loadavg: 1.71 1.90 1.90 4/100 16459
/proc/meminfo: memFree=1081520/2055920 swapFree=4165584/4192956
[pid=16451] ppid=16449 vsize=915460 CPUtime=6.14
/proc/16451/stat : 16451 (java) R 16449 16451 16216 0 -1 0 11299 0 1 0 606 8 0 0 25 0 8 0 155831771 937431040 11032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16451/statm: 228865 11032 2517 14 0 215335 0
[pid=16451/tid=16453] ppid=16449 vsize=915460 CPUtime=0.03
/proc/16451/task/16453/stat : 16453 (java) S 16449 16451 16216 0 -1 64 739 0 0 0 3 0 0 0 16 0 8 0 155831775 937431040 11032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16454] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16454/stat : 16454 (java) S 16449 16451 16216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831775 937431040 11032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16455] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16455/stat : 16455 (java) S 16449 16451 16216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155831775 937431040 11032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16456] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16456/stat : 16456 (java) S 16449 16451 16216 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831778 937431040 11032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16457] ppid=16449 vsize=915460 CPUtime=0.27
/proc/16451/task/16457/stat : 16457 (java) S 16449 16451 16216 0 -1 64 411 0 0 0 25 2 0 0 17 0 8 0 155831778 937431040 11032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16458] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16458/stat : 16458 (java) S 16449 16451 16216 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831778 937431040 11032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16459] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16459/stat : 16459 (java) S 16449 16451 16216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831778 937431040 11032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915460
[startup+12.6559 s]
/proc/loadavg: 1.76 1.90 1.90 3/100 16459
/proc/meminfo: memFree=1081520/2055920 swapFree=4165584/4192956
[pid=16451] ppid=16449 vsize=915460 CPUtime=12.61
/proc/16451/stat : 16451 (java) R 16449 16451 16216 0 -1 0 11306 0 1 0 1253 8 0 0 25 0 8 0 155831771 937431040 11038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852596 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16451/statm: 228865 11038 2517 14 0 215335 0
[pid=16451/tid=16453] ppid=16449 vsize=915460 CPUtime=0.03
/proc/16451/task/16453/stat : 16453 (java) S 16449 16451 16216 0 -1 64 739 0 0 0 3 0 0 0 16 0 8 0 155831775 937431040 11038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16454] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16454/stat : 16454 (java) S 16449 16451 16216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831775 937431040 11038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16455] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16455/stat : 16455 (java) S 16449 16451 16216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155831775 937431040 11038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16456] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16456/stat : 16456 (java) S 16449 16451 16216 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831778 937431040 11038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16457] ppid=16449 vsize=915460 CPUtime=0.28
/proc/16451/task/16457/stat : 16457 (java) S 16449 16451 16216 0 -1 64 411 0 0 0 26 2 0 0 16 0 8 0 155831778 937431040 11038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16458] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16458/stat : 16458 (java) S 16449 16451 16216 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831778 937431040 11038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16459] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16459/stat : 16459 (java) S 16449 16451 16216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831778 937431040 11038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.5314 s]
/proc/loadavg: 1.79 1.90 1.90 3/100 16459
/proc/meminfo: memFree=1081520/2055920 swapFree=4165584/4192956
[pid=16451] ppid=16449 vsize=915460 CPUtime=25.48
/proc/16451/stat : 16451 (java) R 16449 16451 16216 0 -1 0 11311 0 1 0 2540 8 0 0 25 0 8 0 155831771 937431040 11043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073698922 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16451/statm: 228865 11043 2517 14 0 215335 0
[pid=16451/tid=16453] ppid=16449 vsize=915460 CPUtime=0.03
/proc/16451/task/16453/stat : 16453 (java) S 16449 16451 16216 0 -1 64 739 0 0 0 3 0 0 0 16 0 8 0 155831775 937431040 11043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16454] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16454/stat : 16454 (java) S 16449 16451 16216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831775 937431040 11043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16455] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16455/stat : 16455 (java) S 16449 16451 16216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155831775 937431040 11043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16456] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16456/stat : 16456 (java) S 16449 16451 16216 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831778 937431040 11043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16457] ppid=16449 vsize=915460 CPUtime=0.28
/proc/16451/task/16457/stat : 16457 (java) S 16449 16451 16216 0 -1 64 411 0 0 0 26 2 0 0 16 0 8 0 155831778 937431040 11043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16458] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16458/stat : 16458 (java) S 16449 16451 16216 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831778 937431040 11043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16451/tid=16459] ppid=16449 vsize=915460 CPUtime=0
/proc/16451/task/16459/stat : 16459 (java) S 16449 16451 16216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831778 937431040 11043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 37.8486
CPU time (s): 37.8013
CPU user time (s): 37.7013
CPU system time (s): 0.099984
CPU usage (%): 99.875
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.7013
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11407
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= 2021
involuntary context switches= 2467
runsolver used 0.06099 s user time and 0.118981 s system time
The end
Begin job on node1 on Sat Jan 6 09:06:00 UTC 2007
IDJOB= 207778
IDBENCH= 4333
FILE ID= node1/207778-1168074360
PBS_JOBID= 3475780
Free space on /tmp= 66296 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-843_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207778-1168074360/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-207778-1168074360 -o ROOT/results/node1/solver-207778-1168074360 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207778-1168074360/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dc26c52f8f326d22ddbb7a0f34897f67
RANDOM SEED= 218780016
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.234
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.234
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: 1116296 kB
Buffers: 69600 kB
Cached: 613576 kB
SwapCached: 3692 kB
Active: 489004 kB
Inactive: 353048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1116296 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 2160 kB
Writeback: 0 kB
Mapped: 178788 kB
Slab: 81952 kB
Committed_AS: 4932092 kB
PageTables: 2616 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= 66296 MiB
End job on node1 on Sat Jan 6 09:06:38 UTC 2007