0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/228832-1168080913/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.42 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.49
0.50 constraints being loaded...
0.60 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1350 maxDegree=18
0.60 maxArity=2
0.60 => wckTime=0.271 cpuTime=0.2 mem=11M827
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.458 cpuTime=0.32 mem=13M735
0.79
0.79 preprocessing
0.79 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0030 cpuTime=0.0 mem=13M735
0.84
0.84 search
0.84 run=0 nbConstraintChecks=35861 nbPropagations=639 nbRevisions=6535 nbUselessRevisions=5033 nbAssignments=29
0.84 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.051 cpuTime=0.03 mem=14M710
0.85
0.85 search
0.85 run=1 nbConstraintChecks=68343 nbPropagations=1886 nbRevisions=19103 nbUselessRevisions=14739 nbAssignments=62
0.85 nbFailedAssignments=25 nbBacktracks=25 nbVisitedNodes=103 nbRestartNogoods=1 mapSize=22 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.068 cpuTime=0.04 mem=14M710
0.87
0.87 search
0.87 run=2 nbConstraintChecks=127023 nbPropagations=4128 nbRevisions=42433 nbUselessRevisions=32704
0.87 nbAssignments=116 nbFailedAssignments=49 nbBacktracks=49 nbVisitedNodes=195 nbRestartNogoods=4 mapSize=44
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.089 cpuTime=0.05 mem=14M710
0.89
0.89 search
0.89 run=3 nbConstraintChecks=196283 nbPropagations=7599 nbRevisions=78931 nbUselessRevisions=60782
0.89 nbAssignments=186 nbFailedAssignments=78 nbBacktracks=84 nbVisitedNodes=316 nbRestartNogoods=6 mapSize=73
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.105 cpuTime=0.07 mem=14M710
0.91
0.91 search
0.91 run=4 nbConstraintChecks=275610 nbPropagations=12593 nbRevisions=131721 nbUselessRevisions=101558
0.91 nbAssignments=281 nbFailedAssignments=114 nbBacktracks=135 nbVisitedNodes=473 nbRestartNogoods=9 mapSize=114
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.124 cpuTime=0.08 mem=14M710
0.94
0.94 search
0.94 run=5 nbConstraintChecks=410348 nbPropagations=20082 nbRevisions=211304 nbUselessRevisions=163144
0.94 nbAssignments=425 nbFailedAssignments=173 nbBacktracks=212 nbVisitedNodes=722 nbRestartNogoods=14 mapSize=184
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.156 cpuTime=0.11 mem=14M710
0.98
0.98 search
0.98 run=6 nbConstraintChecks=581336 nbPropagations=30761 nbRevisions=325009 nbUselessRevisions=251039
0.98 nbAssignments=614 nbFailedAssignments=242 nbBacktracks=327 nbVisitedNodes=1043 nbRestartNogoods=19 mapSize=276
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.193 cpuTime=0.15 mem=14M710
1.04
1.04 search
1.04 run=7 nbConstraintChecks=864524 nbPropagations=46642 nbRevisions=495193 nbUselessRevisions=382303
1.04 nbAssignments=915 nbFailedAssignments=368 nbBacktracks=499 nbVisitedNodes=1562 nbRestartNogoods=23 mapSize=415
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.251 cpuTime=0.2 mem=14M710
1.14
1.14 search
1.14 run=8 nbConstraintChecks=1315195 nbPropagations=71102 nbRevisions=757740 nbUselessRevisions=584779
1.14 nbAssignments=1383 nbFailedAssignments=571 nbBacktracks=758 nbVisitedNodes=2401 nbRestartNogoods=25
1.14 mapSize=644 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.35 cpuTime=0.29 mem=14M710
1.27
1.27 search
1.27 run=9 nbConstraintChecks=2005795 nbPropagations=107631 nbRevisions=1154293 nbUselessRevisions=890519
1.27 nbAssignments=2058 nbFailedAssignments=854 nbBacktracks=1142 nbVisitedNodes=3578 nbRestartNogoods=29
1.27 mapSize=983 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.489 cpuTime=0.42 mem=14M710
1.30
1.30 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=14M710)
1.45
1.45 search
1.45 run=10 nbConstraintChecks=2932818 nbPropagations=161622 nbRevisions=1737671 nbUselessRevisions=1340975
1.45 nbAssignments=3031 nbFailedAssignments=1243 nbBacktracks=1719 nbVisitedNodes=5255 nbRestartNogoods=36
1.45 => wckTime=0.66 cpuTime=0.58 mem=14M710
1.68
1.68 search
1.68 run=11 nbConstraintChecks=4288096 nbPropagations=241991 nbRevisions=2604304 nbUselessRevisions=2009972
1.68 nbAssignments=4525 nbFailedAssignments=1868 nbBacktracks=2583 nbVisitedNodes=7876 nbRestartNogoods=45
1.68 => wckTime=0.898 cpuTime=0.82 mem=14M710
2.05
2.05 search
2.05 run=12 nbConstraintChecks=6549222 nbPropagations=363197 nbRevisions=3921526 nbUselessRevisions=3028398
2.05 nbAssignments=6727 nbFailedAssignments=2768 nbBacktracks=3881 nbVisitedNodes=11738 nbRestartNogoods=52
2.05 => wckTime=1.269 cpuTime=1.19 mem=14M710
2.59
2.59 search
2.59 run=13 nbConstraintChecks=9919302 nbPropagations=545920 nbRevisions=5913159 nbUselessRevisions=4569122
2.59 nbAssignments=9995 nbFailedAssignments=4082 nbBacktracks=5827 nbVisitedNodes=17502 nbRestartNogoods=58
2.59 => wckTime=1.804 cpuTime=1.73 mem=14M710
3.35
3.35 search
3.35 run=14 nbConstraintChecks=14843387 nbPropagations=818270 nbRevisions=8874459 nbUselessRevisions=6856472
3.35 nbAssignments=14871 nbFailedAssignments=6034 nbBacktracks=8747 nbVisitedNodes=25975 nbRestartNogoods=67
3.35 => wckTime=2.564 cpuTime=2.49 mem=14M710
4.44
4.44 search
4.44 run=15 nbConstraintChecks=21843468 nbPropagations=1221275 nbRevisions=13249523 nbUselessRevisions=10238048
4.44 nbAssignments=22107 nbFailedAssignments=8884 nbBacktracks=13125 nbVisitedNodes=38524 nbRestartNogoods=70
4.44 => wckTime=3.659 cpuTime=3.58 mem=14M710
6.15
6.15 search
6.15 run=16 nbConstraintChecks=33116138 nbPropagations=1824235 nbRevisions=19775665 nbUselessRevisions=15268374
6.15 nbAssignments=32752 nbFailedAssignments=12956 nbBacktracks=19693 nbVisitedNodes=56896 nbRestartNogoods=83
6.15 => wckTime=5.368 cpuTime=5.29 mem=14M710
8.87
8.87 search
8.87 run=17 nbConstraintChecks=51070995 nbPropagations=2744875 nbRevisions=29798836 nbUselessRevisions=22995699
8.87 nbAssignments=49673 nbFailedAssignments=20020 nbBacktracks=29545 nbVisitedNodes=86669 nbRestartNogoods=85
8.87 => wckTime=8.084 cpuTime=8.0 mem=14M710
12.58
12.58 search
12.58 run=18 nbConstraintChecks=75204654 nbPropagations=4108560 nbRevisions=44634614 nbUselessRevisions=34445377
12.58 nbAssignments=74048 nbFailedAssignments=29610 nbBacktracks=44324 nbVisitedNodes=128956 nbRestartNogoods=97
12.58 => wckTime=11.799 cpuTime=11.71 mem=14M710
18.44
18.44 search
18.45 run=19 nbConstraintChecks=113622710 nbPropagations=6154118 nbRevisions=66897584 nbUselessRevisions=51613919
18.45 nbAssignments=110654 nbFailedAssignments=44038 nbBacktracks=66497 nbVisitedNodes=192574 nbRestartNogoods=107
18.45 => wckTime=17.659 cpuTime=17.56 mem=14M710
26.99
26.99 search
26.99 run=20 nbConstraintChecks=169979731 nbPropagations=9201819 nbRevisions=100099713 nbUselessRevisions=77213174
26.99 nbAssignments=165038 nbFailedAssignments=65164 nbBacktracks=99751 nbVisitedNodes=286548 nbRestartNogoods=109
26.99 => wckTime=26.201 cpuTime=26.1 mem=14M710
32.64
32.64 search
32.64 run=21 nbConstraintChecks=207265454 nbPropagations=12914722 nbRevisions=140563809 nbUselessRevisions=108414292
32.64 nbAssignments=200880 nbFailedAssignments=79089 nbBacktracks=121669 nbVisitedNodes=348434 nbRestartNogoods=118
32.64 => wckTime=31.853 cpuTime=31.75 mem=14M710
32.64
32.64 global
32.64 nbConstraintChecks=207265454 nbPropagations=12914762 nbRevisions=140563809 nbUselessRevisions=108414292
32.64 nbRestartNogoods=118 solvingWckTime=31.854 solvingCpuTime=31.75 expiredTime=no totalExploration=yes
32.64 nbFoundSolutions=0 globalCpuTime=32.12
32.64 => wckTime=32.315 cpuTime=32.07 mem=14M710
32.64
32.64 s UNSATISFIABLE
32.64 d NODES 200880
32.64 d CHECKS 207265454
32.64
32.64 totalWckTime=32.39 totalCpuTime=32.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-228832-1168080913 -o ROOT/results/node14/solver-228832-1168080913 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228832-1168080913/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.06 1.73 1.90 4/81 26297
/proc/meminfo: memFree=1459744/2055920 swapFree=4182236/4192956
[pid=26296] ppid=26294 vsize=292 CPUtime=0
/proc/26296/stat : 26296 (java) R 26294 26296 25731 0 -1 0 49 0 0 0 0 0 0 0 20 0 1 0 156487397 299008 33 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6880391 0 0 4096 0 0 0 0 17 1 0 0
/proc/26296/statm: 73 35 27 14 0 5 0
[startup+0.10596 s]
/proc/loadavg: 1.06 1.73 1.90 4/81 26297
/proc/meminfo: memFree=1459744/2055920 swapFree=4182236/4192956
[pid=26296] ppid=26294 vsize=911488 CPUtime=0.06
/proc/26296/stat : 26296 (java) R 26294 26296 25731 0 -1 0 2621 0 1 0 5 1 0 0 22 0 8 0 156487397 933363712 2368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26296/statm: 227872 2369 1280 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.513998 s]
/proc/loadavg: 1.06 1.73 1.90 4/81 26297
/proc/meminfo: memFree=1459744/2055920 swapFree=4182236/4192956
[pid=26296] ppid=26294 vsize=915328 CPUtime=0.47
/proc/26296/stat : 26296 (java) S 26294 26296 25731 0 -1 0 6674 0 1 0 42 5 0 0 16 0 8 0 156487397 937295872 6413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26296/statm: 228832 6413 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33608 s]
/proc/loadavg: 1.06 1.71 1.90 2/88 26304
/proc/meminfo: memFree=1436328/2055920 swapFree=4182236/4192956
[pid=26296] ppid=26294 vsize=915452 CPUtime=1.28
/proc/26296/stat : 26296 (java) R 26294 26296 25731 0 -1 0 8593 0 1 0 122 6 0 0 17 0 8 0 156487397 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26296/statm: 228863 8331 2513 14 0 215333 0
[pid=26296/tid=26298] ppid=26294 vsize=915452 CPUtime=0.03
/proc/26296/task/26298/stat : 26298 (java) S 26294 26296 25731 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487401 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26296/tid=26299] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26299/stat : 26299 (java) S 26294 26296 25731 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156487401 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26300] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26300/stat : 26300 (java) S 26294 26296 25731 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487401 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26301] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26301/stat : 26301 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156487406 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26302] ppid=26294 vsize=915452 CPUtime=0.2
/proc/26296/task/26302/stat : 26302 (java) S 26294 26296 25731 0 -1 64 384 0 0 0 20 0 0 0 16 0 8 0 156487407 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26303] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26303/stat : 26303 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156487407 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26304] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26304/stat : 26304 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487407 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915452
[startup+2.98823 s]
/proc/loadavg: 1.06 1.71 1.90 2/88 26304
/proc/meminfo: memFree=1436136/2055920 swapFree=4182236/4192956
[pid=26296] ppid=26294 vsize=915452 CPUtime=2.93
/proc/26296/stat : 26296 (java) R 26294 26296 25731 0 -1 0 8608 0 1 0 287 6 0 0 18 0 8 0 156487397 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812191 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26296/statm: 228863 8345 2513 14 0 215333 0
[pid=26296/tid=26298] ppid=26294 vsize=915452 CPUtime=0.03
/proc/26296/task/26298/stat : 26298 (java) S 26294 26296 25731 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487401 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26296/tid=26299] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26299/stat : 26299 (java) S 26294 26296 25731 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156487401 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26300] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26300/stat : 26300 (java) S 26294 26296 25731 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487401 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26301] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26301/stat : 26301 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156487406 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26302] ppid=26294 vsize=915452 CPUtime=0.21
/proc/26296/task/26302/stat : 26302 (java) S 26294 26296 25731 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 156487407 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26303] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26303/stat : 26303 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156487407 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26304] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26304/stat : 26304 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487407 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.26854 s]
/proc/loadavg: 1.05 1.70 1.89 2/88 26305
/proc/meminfo: memFree=1437544/2055920 swapFree=4182236/4192956
[pid=26296] ppid=26294 vsize=915452 CPUtime=6.21
/proc/26296/stat : 26296 (java) R 26294 26296 25731 0 -1 0 8616 0 1 0 615 6 0 0 19 0 8 0 156487397 937422848 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794161 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26296/statm: 228863 8352 2513 14 0 215333 0
[pid=26296/tid=26298] ppid=26294 vsize=915452 CPUtime=0.03
/proc/26296/task/26298/stat : 26298 (java) S 26294 26296 25731 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487401 937422848 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26296/tid=26299] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26299/stat : 26299 (java) S 26294 26296 25731 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156487401 937422848 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26300] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26300/stat : 26300 (java) S 26294 26296 25731 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487401 937422848 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26301] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26301/stat : 26301 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156487406 937422848 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26302] ppid=26294 vsize=915452 CPUtime=0.21
/proc/26296/task/26302/stat : 26302 (java) S 26294 26296 25731 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 156487407 937422848 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26303] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26303/stat : 26303 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156487407 937422848 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26304] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26304/stat : 26304 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487407 937422848 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915452
[startup+12.7522 s]
/proc/loadavg: 1.05 1.69 1.89 2/88 26305
/proc/meminfo: memFree=1437544/2055920 swapFree=4182236/4192956
[pid=26296] ppid=26294 vsize=915452 CPUtime=12.7
/proc/26296/stat : 26296 (java) R 26294 26296 25731 0 -1 0 8621 0 1 0 1263 7 0 0 25 0 8 0 156487397 937422848 8357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26296/statm: 228863 8357 2513 14 0 215333 0
[pid=26296/tid=26298] ppid=26294 vsize=915452 CPUtime=0.03
/proc/26296/task/26298/stat : 26298 (java) S 26294 26296 25731 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487401 937422848 8357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26296/tid=26299] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26299/stat : 26299 (java) S 26294 26296 25731 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156487401 937422848 8357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26300] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26300/stat : 26300 (java) S 26294 26296 25731 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487401 937422848 8357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26301] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26301/stat : 26301 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156487406 937422848 8357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26302] ppid=26294 vsize=915452 CPUtime=0.21
/proc/26296/task/26302/stat : 26302 (java) S 26294 26296 25731 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 156487407 937422848 8357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26303] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26303/stat : 26303 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156487407 937422848 8357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26304] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26304/stat : 26304 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487407 937422848 8357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915452
[startup+25.5864 s]
/proc/loadavg: 1.04 1.67 1.88 2/88 26307
/proc/meminfo: memFree=1437032/2055920 swapFree=4182236/4192956
[pid=26296] ppid=26294 vsize=915452 CPUtime=25.51
/proc/26296/stat : 26296 (java) R 26294 26296 25731 0 -1 0 8623 0 1 0 2544 7 0 0 25 0 8 0 156487397 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814273 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26296/statm: 228863 8359 2513 14 0 215333 0
[pid=26296/tid=26298] ppid=26294 vsize=915452 CPUtime=0.03
/proc/26296/task/26298/stat : 26298 (java) S 26294 26296 25731 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487401 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26296/tid=26299] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26299/stat : 26299 (java) S 26294 26296 25731 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156487401 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26300] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26300/stat : 26300 (java) S 26294 26296 25731 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487401 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26301] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26301/stat : 26301 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156487406 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26302] ppid=26294 vsize=915452 CPUtime=0.21
/proc/26296/task/26302/stat : 26302 (java) S 26294 26296 25731 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 156487407 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26303] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26303/stat : 26303 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156487407 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26296/tid=26304] ppid=26294 vsize=915452 CPUtime=0
/proc/26296/task/26304/stat : 26304 (java) S 26294 26296 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487407 937422848 8359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 32.6725
CPU time (s): 32.585
CPU user time (s): 32.5051
CPU system time (s): 0.079987
CPU usage (%): 99.7322
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.5051
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8719
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= 1472
involuntary context switches= 1541
runsolver used 0.045993 s user time and 0.083987 s system time
The end
Begin job on node14 on Sat Jan 6 10:55:17 UTC 2007
IDJOB= 228832
IDBENCH= 6239
FILE ID= node14/228832-1168080913
PBS_JOBID= 3475826
Free space on /tmp= 66328 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-79_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228832-1168080913/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-228832-1168080913 -o ROOT/results/node14/solver-228832-1168080913 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228832-1168080913/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0cebde6b7f7e3f4380287619f01d2e2c
RANDOM SEED= 192902396
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.227
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.227
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: 1460208 kB
Buffers: 57956 kB
Cached: 385312 kB
SwapCached: 3696 kB
Active: 140764 kB
Inactive: 355612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1460208 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 62528 kB
Slab: 84564 kB
Committed_AS: 4685132 kB
PageTables: 2016 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= 66330 MiB
End job on node14 on Sat Jan 6 10:56:00 UTC 2007