0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/240144-1168085190/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.45 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.45 => wckTime=0.148 cpuTime=0.11 mem=7M894
0.45
0.45 relations being loaded...
0.45
0.45 constraints being loaded...
0.81 nbConstraints=5540 nbRelationTypes=22 nbSingletonDomainVariables=213 nbExtensionStructures=41
0.81 nbSharedExtensionStructures=5499 nbConflictsStructures=41 nbSharedConflictsStructures=5499
0.81 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.81 => wckTime=0.504 cpuTime=0.36 mem=24M482
0.88
0.88 solver IterativeSystematicSolver being built...
1.05 => wckTime=0.75 cpuTime=0.5 mem=18M550
1.10
1.10 preprocessing
1.10 nbConstraintChecks=45363 nbPropagations=400 nbRevisions=3974 nbUselessRevisions=1080 nbRemovedValues=2894
1.10 detectedInconsistency=no
1.10 => wckTime=0.043 cpuTime=0.03 mem=18M550
1.18
1.18 search
1.18 run=0 nbConstraintChecks=4975 nbPropagations=861 nbRevisions=5428 nbUselessRevisions=1939 nbAssignments=288
1.18 nbFailedAssignments=7 nbBacktracks=12 nbVisitedNodes=299 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.18 nbTooLargeKeys=0
1.18 => wckTime=0.122 cpuTime=0.1 mem=19M523
1.23
1.23 search
1.23 run=1 nbConstraintChecks=10775 nbPropagations=2249 nbRevisions=12535 nbUselessRevisions=4849 nbAssignments=587
1.23 nbFailedAssignments=16 nbBacktracks=33 nbVisitedNodes=614 nbRestartNogoods=4 mapSize=19 nbInferences=0
1.23 nbTooLargeKeys=0
1.23 => wckTime=0.175 cpuTime=0.14 mem=19M523
1.28
1.28 search
1.28 run=2 nbConstraintChecks=16477 nbPropagations=4192 nbRevisions=21338 nbUselessRevisions=8748 nbAssignments=893
1.28 nbFailedAssignments=27 nbBacktracks=58 nbVisitedNodes=938 nbRestartNogoods=7 mapSize=31 nbInferences=0
1.28 nbTooLargeKeys=0
1.28 => wckTime=0.223 cpuTime=0.19 mem=19M523
1.33
1.33 search
1.33 run=3 nbConstraintChecks=23101 nbPropagations=6698 nbRevisions=32222 nbUselessRevisions=13906
1.33 nbAssignments=1197 nbFailedAssignments=34 nbBacktracks=93 nbVisitedNodes=1256 nbRestartNogoods=12 mapSize=44
1.33 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.273 cpuTime=0.23 mem=19M523
1.39
1.39 search
1.39 run=4 nbConstraintChecks=31550 nbPropagations=9883 nbRevisions=45616 nbUselessRevisions=20498
1.39 nbAssignments=1513 nbFailedAssignments=53 nbBacktracks=143 nbVisitedNodes=1609 nbRestartNogoods=13 mapSize=77
1.39 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.33 cpuTime=0.28 mem=20M496
1.44
1.44 search
1.44 run=5 nbConstraintChecks=43742 nbPropagations=14067 nbRevisions=63054 nbUselessRevisions=29384
1.44 nbAssignments=1866 nbFailedAssignments=83 nbBacktracks=219 nbVisitedNodes=2017 nbRestartNogoods=17 mapSize=127
1.44 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.383 cpuTime=0.33 mem=20M496
1.50
1.50 search
1.50 run=6 nbConstraintChecks=64854 nbPropagations=19517 nbRevisions=86864 nbUselessRevisions=41870
1.50 nbAssignments=2273 nbFailedAssignments=121 nbBacktracks=332 nbVisitedNodes=2487 nbRestartNogoods=18
1.50 mapSize=182 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.444 cpuTime=0.39 mem=20M496
1.53
1.53 search
1.53 run=7 nbConstraintChecks=65865 nbPropagations=25028 nbRevisions=111026 nbUselessRevisions=54600
1.53 nbAssignments=2495 nbFailedAssignments=124 nbBacktracks=525 nbVisitedNodes=2713 nbRestartNogoods=25
1.53 mapSize=184 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.475 cpuTime=0.42 mem=21M469
1.61
1.61 search
1.61 run=8 nbConstraintChecks=96314 nbPropagations=32575 nbRevisions=145327 nbUselessRevisions=73478
1.61 nbAssignments=3050 nbFailedAssignments=202 nbBacktracks=783 nbVisitedNodes=3407 nbRestartNogoods=26
1.61 mapSize=303 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.556 cpuTime=0.5 mem=21M469
1.72
1.72 search
1.72 run=9 nbConstraintChecks=140917 nbPropagations=42598 nbRevisions=204361 nbUselessRevisions=112806
1.72 nbAssignments=3591 nbFailedAssignments=295 nbBacktracks=1179 nbVisitedNodes=4115 nbRestartNogoods=28
1.72 mapSize=458 nbInferences=0 nbTooLargeKeys=0
1.72 => wckTime=0.667 cpuTime=0.6 mem=21M469
1.91
1.91 search
1.91 run=10 nbConstraintChecks=248014 nbPropagations=57139 nbRevisions=321759 nbUselessRevisions=201469
1.91 nbAssignments=4352 nbFailedAssignments=461 nbBacktracks=1757 nbVisitedNodes=5183 nbRestartNogoods=30
1.91 mapSize=732 nbInferences=0 nbTooLargeKeys=0
1.91 => wckTime=0.856 cpuTime=0.78 mem=22M442
2.10
2.10 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=22M442)
2.18
2.18 search
2.18 run=11 nbConstraintChecks=412248 nbPropagations=79655 nbRevisions=529950 nbUselessRevisions=366949
2.18 nbAssignments=5493 nbFailedAssignments=724 nbBacktracks=2621 nbVisitedNodes=6835 nbRestartNogoods=34
2.18 => wckTime=1.128 cpuTime=1.06 mem=22M442
2.66
2.66 search
2.66 run=12 nbConstraintChecks=880055 nbPropagations=119183 nbRevisions=992348 nbUselessRevisions=748232
2.66 nbAssignments=7427 nbFailedAssignments=1347 nbBacktracks=3922 nbVisitedNodes=9916 nbRestartNogoods=39
2.66 => wckTime=1.604 cpuTime=1.53 mem=22M442
3.07
3.07 search
3.07 run=13 nbConstraintChecks=1222549 nbPropagations=171253 nbRevisions=1675549 nbUselessRevisions=1323854
3.07 nbAssignments=9732 nbFailedAssignments=1631 nbBacktracks=5882 nbVisitedNodes=12752 nbRestartNogoods=42
3.07 => wckTime=2.018 cpuTime=1.94 mem=22M442
3.84
3.84 search
3.84 run=14 nbConstraintChecks=1958051 nbPropagations=248486 nbRevisions=2827533 nbUselessRevisions=2313186
3.84 nbAssignments=13205 nbFailedAssignments=2114 nbBacktracks=8803 nbVisitedNodes=17150 nbRestartNogoods=48
3.84 => wckTime=2.789 cpuTime=2.71 mem=23M415
5.32
5.32 search
5.32 run=15 nbConstraintChecks=3436445 nbPropagations=375966 nbRevisions=4909866 nbUselessRevisions=4120271
5.32 nbAssignments=18800 nbFailedAssignments=3299 nbBacktracks=13184 nbVisitedNodes=24775 nbRestartNogoods=56
5.32 => wckTime=4.262 cpuTime=4.19 mem=23M415
7.54
7.54 search
7.54 run=16 nbConstraintChecks=5643365 nbPropagations=579857 nbRevisions=8412194 nbUselessRevisions=7185378
7.54 nbAssignments=27039 nbFailedAssignments=4930 nbBacktracks=19752 nbVisitedNodes=36179 nbRestartNogoods=68
7.54 => wckTime=6.488 cpuTime=6.41 mem=23M415
11.46
11.46 search
11.46 run=17 nbConstraintChecks=9663165 nbPropagations=920254 nbRevisions=14441724 nbUselessRevisions=12470441
11.46 nbAssignments=40016 nbFailedAssignments=8021 nbBacktracks=29608 nbVisitedNodes=54818 nbRestartNogoods=75
11.46 => wckTime=10.402 cpuTime=10.32 mem=23M415
16.62
16.62 search
16.62 run=18 nbConstraintChecks=15139738 nbPropagations=1445049 nbRevisions=23999249 nbUselessRevisions=20873616
16.62 nbAssignments=59158 nbFailedAssignments=12341 nbBacktracks=44398 nbVisitedNodes=82390 nbRestartNogoods=83
16.62 => wckTime=15.56 cpuTime=15.48 mem=23M415
23.89
23.89 search
23.89 run=19 nbConstraintChecks=21934291 nbPropagations=2222343 nbRevisions=37669062 nbUselessRevisions=32856462
23.89 nbAssignments=88619 nbFailedAssignments=19613 nbBacktracks=66567 nbVisitedNodes=125253 nbRestartNogoods=98
23.89 => wckTime=22.831 cpuTime=22.74 mem=23M415
35.05
35.05 search
35.05 run=20 nbConstraintChecks=33251246 nbPropagations=3395120 nbRevisions=58477135 nbUselessRevisions=51114237
35.05 nbAssignments=132810 nbFailedAssignments=30504 nbBacktracks=99820 nbVisitedNodes=189102 nbRestartNogoods=107
35.05 => wckTime=33.998 cpuTime=33.87 mem=23M415
52.32
52.32 search
52.32 run=21 nbConstraintChecks=49692501 nbPropagations=5174880 nbRevisions=88919289 nbUselessRevisions=77676766
52.32 nbAssignments=203639 nbFailedAssignments=51433 nbBacktracks=149699 nbVisitedNodes=297206 nbRestartNogoods=119
52.32 => wckTime=51.268 cpuTime=51.13 mem=23M415
77.34
77.34 search
77.34 run=22 nbConstraintChecks=74571937 nbPropagations=7819526 nbRevisions=135409410 nbUselessRevisions=118450846
77.34 nbAssignments=301183 nbFailedAssignments=74112 nbBacktracks=224521 nbVisitedNodes=436943 nbRestartNogoods=137
77.34 => wckTime=76.289 cpuTime=76.15 mem=23M415
101.45
101.45 search
101.45 run=23 nbConstraintChecks=99825693 nbPropagations=11305994 nbRevisions=198764802 nbUselessRevisions=174285245
101.45 nbAssignments=387617 nbFailedAssignments=93053 nbBacktracks=291614 nbVisitedNodes=558339 nbRestartNogoods=150
101.45 => wckTime=100.392 cpuTime=100.23 mem=23M415
101.45
101.45 global
101.45 nbConstraintChecks=99871056 nbPropagations=11306394 nbRevisions=198768776 nbUselessRevisions=174286325
101.45 nbRestartNogoods=150 solvingWckTime=100.393 solvingCpuTime=100.23 expiredTime=no totalExploration=no
101.45 nbFoundSolutions=1 globalCpuTime=100.8
101.45 => wckTime=101.147 cpuTime=100.74 mem=23M415
101.45
101.45 s SATISFIABLE
101.45 v 6 9 5 3 0 2 7 4 14 1 19 8 11 17 13 18 16 10 15 12 5 6 19 4 10 16 18 13 11 17 7 14 2 12 0 3 15 8 9 1 17 11 2 7 19 5 14 15 3 6 1 12 18 9 8 10 13 16 4 0 9 12 4 14 16 10 15 8 6 19 18 13 1 11 3 17 0 5 7 2 15 18 10 8 13 17 19 1 9 2 3 4 7 5 11 12 6 14 0 16 3 19 13 15 18 6 4 14 0 5 16 7 8 10 9 2 12 17 1 11 16 4 7 11 2 9 0 19 13 12 8 1 6 15 17 14 10 18 3 5 10 2 17 18 9 12 11 16 8 0 14 3 15 1 5 7 4 13 19 6 0 7 16 10 6 18 2 12 5 15 4 11 19 13 1 8 14 3 17 9 8 15 3 6 5 1 13 0 12 16 11 2 17 4 7 19 18 9 14 10 2 8 6 5 11 19 10 7 15 13 9 17 12 18 14 4 1 0 16 3 7 0 15 1 3 8 12 9 19 10 6 5 16 14 4 13 11 2 18 17 4 17 0 12 1 15 9 6 16 18 13 10 14 2 19 5 3 11 8 7 11 10 1 9 7 13 3 2 18 14 15 19 0 8 12 16 17 6 5 4 13 16 14 2 8 4 6 3 17 7 10 18 5 0 15 11 9 1 12 19 1 13 12 17 14 7 16 5 4 3 2 0 9 6 10 15 8 19 11 18 19 1 8 13 12 14 17 11 10 9 5 6 3 16 18 0 7 4 2 15 14 5 11 16 17 0 1 18 7 8 12 9 4 3 2 6 19 15 10 13 18 3 9 19 15 11 8 17 2 4 0 16 10 7 6 1 5 12 13 14 12 14 18 0 4 3 5 10 1 11 17 15 13 19 16 9 2 7 6 8
101.45 d NODES 387617
101.45 d CHECKS 99871056
101.45
101.45 totalWckTime=101.223 totalCpuTime=100.81
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-240144-1168085190 -o ROOT/results/node1/solver-240144-1168085190 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240144-1168085190/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.17 1.79 1.85 3/81 19226
/proc/meminfo: memFree=1257616/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=1784 CPUtime=0
/proc/19225/stat : 19225 (java) D 19223 19225 18776 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 156915995 1826816 158 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/19225/statm: 446 158 123 14 0 91 0
[startup+0.103588 s]
/proc/loadavg: 1.17 1.79 1.85 3/81 19226
/proc/meminfo: memFree=1257616/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=914988 CPUtime=0.07
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 3000 0 1 0 6 1 0 0 16 0 8 0 156915995 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228747 2747 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.511633 s]
/proc/loadavg: 1.17 1.79 1.85 3/81 19226
/proc/meminfo: memFree=1257616/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915328 CPUtime=0.48
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 6517 0 1 0 44 4 0 0 16 0 8 0 156915995 937295872 6256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228832 6256 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33273 s]
/proc/loadavg: 1.17 1.79 1.85 2/88 19233
/proc/meminfo: memFree=1220504/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915676 CPUtime=1.3
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 12006 0 1 0 123 7 0 0 17 0 8 0 156915995 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228919 11744 2513 14 0 215389 0
[pid=19225/tid=19227] ppid=19223 vsize=915676 CPUtime=0.06
/proc/19225/task/19227/stat : 19227 (java) S 19223 19225 18776 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156915999 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19225/tid=19228] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 18776 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 18776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156916003 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=915676 CPUtime=0.24
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 18776 0 -1 64 470 0 0 0 23 1 0 0 16 0 8 0 156916003 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156916003 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156916003 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915676
[startup+2.96992 s]
/proc/loadavg: 1.17 1.79 1.85 2/88 19233
/proc/meminfo: memFree=1220312/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915676 CPUtime=2.94
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 12022 0 1 0 286 8 0 0 17 0 8 0 156915995 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228919 11759 2513 14 0 215389 0
[pid=19225/tid=19227] ppid=19223 vsize=915676 CPUtime=0.06
/proc/19225/task/19227/stat : 19227 (java) S 19223 19225 18776 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156915999 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19228] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 18776 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 18776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=915676 CPUtime=0.28
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 18776 0 -1 64 485 0 0 0 26 2 0 0 16 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915676
[startup+6.2683 s]
/proc/loadavg: 1.16 1.78 1.84 2/88 19233
/proc/meminfo: memFree=1220312/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915676 CPUtime=6.24
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 12023 0 1 0 616 8 0 0 20 0 8 0 156915995 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073960325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228919 11759 2513 14 0 215389 0
[pid=19225/tid=19227] ppid=19223 vsize=915676 CPUtime=0.06
/proc/19225/task/19227/stat : 19227 (java) S 19223 19225 18776 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156915999 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19228] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 18776 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 18776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=915676 CPUtime=0.28
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 18776 0 -1 64 485 0 0 0 26 2 0 0 16 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915676
[startup+12.7311 s]
/proc/loadavg: 1.14 1.77 1.84 2/88 19234
/proc/meminfo: memFree=1220248/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915676 CPUtime=12.7
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 12023 0 1 0 1262 8 0 0 25 0 8 0 156915995 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228919 11759 2513 14 0 215389 0
[pid=19225/tid=19227] ppid=19223 vsize=915676 CPUtime=0.06
/proc/19225/task/19227/stat : 19227 (java) S 19223 19225 18776 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156915999 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19228] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 18776 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 18776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=915676 CPUtime=0.28
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 18776 0 -1 64 485 0 0 0 26 2 0 0 16 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915676
[startup+25.5896 s]
/proc/loadavg: 1.11 1.73 1.82 2/88 19237
/proc/meminfo: memFree=1220248/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915676 CPUtime=25.54
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 12024 0 1 0 2546 8 0 0 25 0 8 0 156915995 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19225/statm: 228919 11759 2513 14 0 215389 0
[pid=19225/tid=19227] ppid=19223 vsize=915676 CPUtime=0.06
/proc/19225/task/19227/stat : 19227 (java) S 19223 19225 18776 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156915999 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19228] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 18776 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 18776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=915676 CPUtime=0.28
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 18776 0 -1 64 485 0 0 0 26 2 0 0 16 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915676
[startup+51.2836 s]
/proc/loadavg: 1.07 1.67 1.80 2/88 19287
/proc/meminfo: memFree=1218264/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915676 CPUtime=51.2
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 12024 0 1 0 5111 9 0 0 25 0 8 0 156915995 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073981136 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228919 11759 2513 14 0 215389 0
[pid=19225/tid=19227] ppid=19223 vsize=915676 CPUtime=0.06
/proc/19225/task/19227/stat : 19227 (java) S 19223 19225 18776 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156915999 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19228] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 18776 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 18776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=915676 CPUtime=0.28
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 18776 0 -1 64 485 0 0 0 26 2 0 0 16 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 101.494
CPU time (s): 101.366
CPU user time (s): 101.259
CPU system time (s): 0.106983
CPU usage (%): 99.8734
Max. virtual memory (cumulated for all children) (KiB): 915676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.259
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12033
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= 3034
involuntary context switches= 2344
runsolver used 0.087986 s user time and 0.284956 s system time
The end
Begin job on node1 on Sat Jan 6 12:06:33 UTC 2007
IDJOB= 240144
IDBENCH= 7108
FILE ID= node1/240144-1168085190
PBS_JOBID= 3476267
Free space on /tmp= 66303 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240144-1168085190/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-240144-1168085190 -o ROOT/results/node1/solver-240144-1168085190 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240144-1168085190/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d44b82b5650bc2d9816df15672c592e5
RANDOM SEED= 437152935
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: 1258088 kB
Buffers: 66104 kB
Cached: 594320 kB
SwapCached: 3664 kB
Active: 195496 kB
Inactive: 505064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1258088 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 2344 kB
Writeback: 0 kB
Mapped: 50112 kB
Slab: 82284 kB
Committed_AS: 4189512 kB
PageTables: 2176 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= 66302 MiB
End job on node1 on Sat Jan 6 12:08:31 UTC 2007