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/228889-1168080913/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.41 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1352 maxDegree=20
0.58 maxArity=2
0.58 => wckTime=0.275 cpuTime=0.2 mem=11M827
0.62
0.62 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.466 cpuTime=0.33 mem=13M735
0.78
0.78 preprocessing
0.78 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.78 detectedInconsistency=no
0.78 => wckTime=0.0030 cpuTime=0.0 mem=13M735
0.83
0.83 search
0.83 run=0 nbConstraintChecks=27392 nbPropagations=533 nbRevisions=4900 nbUselessRevisions=3775 nbAssignments=31
0.83 nbFailedAssignments=11 nbBacktracks=13 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.05 cpuTime=0.04 mem=14M710
0.84
0.84 search
0.85 run=1 nbConstraintChecks=66350 nbPropagations=1756 nbRevisions=16853 nbUselessRevisions=13061 nbAssignments=63
0.85 nbFailedAssignments=21 nbBacktracks=30 nbVisitedNodes=106 nbRestartNogoods=3 mapSize=25 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.068 cpuTime=0.05 mem=14M710
0.86
0.86 search
0.86 run=2 nbConstraintChecks=104383 nbPropagations=3631 nbRevisions=35361 nbUselessRevisions=27401
0.86 nbAssignments=100 nbFailedAssignments=31 nbBacktracks=52 nbVisitedNodes=165 nbRestartNogoods=5 mapSize=42
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.086 cpuTime=0.06 mem=14M710
0.88
0.88 search
0.88 run=3 nbConstraintChecks=184818 nbPropagations=6848 nbRevisions=68803 nbUselessRevisions=53065
0.88 nbAssignments=173 nbFailedAssignments=64 nbBacktracks=88 nbVisitedNodes=295 nbRestartNogoods=7 mapSize=73
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.103 cpuTime=0.08 mem=14M710
0.90
0.90 search
0.90 run=4 nbConstraintChecks=298644 nbPropagations=11967 nbRevisions=122330 nbUselessRevisions=93986
0.90 nbAssignments=271 nbFailedAssignments=109 nbBacktracks=138 nbVisitedNodes=472 nbRestartNogoods=8 mapSize=119
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.127 cpuTime=0.1 mem=14M710
0.94
0.94 search
0.94 run=5 nbConstraintChecks=450351 nbPropagations=19575 nbRevisions=202677 nbUselessRevisions=155277
0.94 nbAssignments=404 nbFailedAssignments=161 nbBacktracks=214 nbVisitedNodes=702 nbRestartNogoods=12 mapSize=185
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.16 cpuTime=0.13 mem=14M710
0.98
0.98 search
0.98 run=6 nbConstraintChecks=676388 nbPropagations=31142 nbRevisions=324480 nbUselessRevisions=247641
0.98 nbAssignments=616 nbFailedAssignments=255 nbBacktracks=327 nbVisitedNodes=1075 nbRestartNogoods=15 mapSize=283
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.207 cpuTime=0.17 mem=14M710
1.05
1.05 search
1.05 run=7 nbConstraintChecks=1035984 nbPropagations=48910 nbRevisions=513815 nbUselessRevisions=391768
1.05 nbAssignments=920 nbFailedAssignments=383 nbBacktracks=498 nbVisitedNodes=1619 nbRestartNogoods=20 mapSize=431
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.276 cpuTime=0.24 mem=14M710
1.15
1.15 search
1.15 run=8 nbConstraintChecks=1517246 nbPropagations=75303 nbRevisions=795430 nbUselessRevisions=606381
1.15 nbAssignments=1372 nbFailedAssignments=572 nbBacktracks=755 nbVisitedNodes=2414 nbRestartNogoods=28
1.15 mapSize=655 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.375 cpuTime=0.34 mem=14M710
1.29
1.29 search
1.29 run=9 nbConstraintChecks=2208984 nbPropagations=113873 nbRevisions=1210301 nbUselessRevisions=923375
1.29 nbAssignments=2016 nbFailedAssignments=826 nbBacktracks=1139 nbVisitedNodes=3537 nbRestartNogoods=36
1.29 mapSize=979 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.515 cpuTime=0.46 mem=14M710
1.32
1.32 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=14M710)
1.50
1.50 search
1.50 run=10 nbConstraintChecks=3369848 nbPropagations=173197 nbRevisions=1852632 nbUselessRevisions=1414928
1.50 nbAssignments=3070 nbFailedAssignments=1295 nbBacktracks=1719 nbVisitedNodes=5439 nbRestartNogoods=41
1.50 => wckTime=0.724 cpuTime=0.66 mem=14M710
1.78
1.78 search
1.78 run=11 nbConstraintChecks=5059025 nbPropagations=261001 nbRevisions=2810762 nbUselessRevisions=2147506
1.78 nbAssignments=4568 nbFailedAssignments=1926 nbBacktracks=2583 nbVisitedNodes=8093 nbRestartNogoods=46
1.78 => wckTime=0.999 cpuTime=0.93 mem=14M710
2.17
2.17 search
2.17 run=12 nbConstraintChecks=7492104 nbPropagations=390944 nbRevisions=4226908 nbUselessRevisions=3230676
2.17 nbAssignments=6793 nbFailedAssignments=2848 nbBacktracks=3881 nbVisitedNodes=12001 nbRestartNogoods=49
2.17 => wckTime=1.394 cpuTime=1.33 mem=14M710
2.73
2.73 search
2.73 run=13 nbConstraintChecks=10964265 nbPropagations=580837 nbRevisions=6291459 nbUselessRevisions=4807283
2.73 nbAssignments=10011 nbFailedAssignments=4113 nbBacktracks=5830 nbVisitedNodes=17605 nbRestartNogoods=55
2.73 => wckTime=1.956 cpuTime=1.89 mem=14M710
3.61
3.61 search
3.61 run=14 nbConstraintChecks=16335983 nbPropagations=864885 nbRevisions=9369885 nbUselessRevisions=7158384
3.61 nbAssignments=14947 nbFailedAssignments=6124 nbBacktracks=8750 nbVisitedNodes=26258 nbRestartNogoods=64
3.61 => wckTime=2.829 cpuTime=2.76 mem=14M710
5.00
5.00 search
5.00 run=15 nbConstraintChecks=25174981 nbPropagations=1295935 nbRevisions=14053404 nbUselessRevisions=10730876
5.00 nbAssignments=22470 nbFailedAssignments=9264 nbBacktracks=13128 nbVisitedNodes=39514 nbRestartNogoods=73
5.00 => wckTime=4.223 cpuTime=4.16 mem=14M710
6.90
6.90 search
6.90 run=16 nbConstraintChecks=36891409 nbPropagations=1933484 nbRevisions=20954571 nbUselessRevisions=15998569
6.90 nbAssignments=33546 nbFailedAssignments=13767 nbBacktracks=19696 nbVisitedNodes=58810 nbRestartNogoods=86
6.90 => wckTime=6.126 cpuTime=6.06 mem=14M710
9.78
9.78 search
9.78 run=17 nbConstraintChecks=54868425 nbPropagations=2881678 nbRevisions=31216363 nbUselessRevisions=23826158
9.78 nbAssignments=49999 nbFailedAssignments=20361 nbBacktracks=29551 nbVisitedNodes=87525 nbRestartNogoods=93
9.78 => wckTime=9.007 cpuTime=8.94 mem=14M710
14.33
14.33 search
14.33 run=18 nbConstraintChecks=83425628 nbPropagations=4318714 nbRevisions=46854111 nbUselessRevisions=35774819
14.33 nbAssignments=75397 nbFailedAssignments=30976 nbBacktracks=44329 nbVisitedNodes=132310 nbRestartNogoods=109
14.33 => wckTime=13.557 cpuTime=13.49 mem=14M710
17.32
17.32 search
17.32 run=19 nbConstraintChecks=102340197 nbPropagations=6073828 nbRevisions=66047089 nbUselessRevisions=50456263
17.33 nbAssignments=91593 nbFailedAssignments=37892 nbBacktracks=53610 nbVisitedNodes=160987 nbRestartNogoods=119
17.33 => wckTime=16.548 cpuTime=16.48 mem=14M710
17.33
17.33 global
17.33 nbConstraintChecks=102340197 nbPropagations=6073868 nbRevisions=66047089 nbUselessRevisions=50456263
17.33 nbRestartNogoods=119 solvingWckTime=16.549 solvingCpuTime=16.48 expiredTime=no totalExploration=yes
17.33 nbFoundSolutions=0 globalCpuTime=16.86
17.33 => wckTime=17.018 cpuTime=16.81 mem=14M710
17.33
17.33 s UNSATISFIABLE
17.33 d NODES 91593
17.33 d CHECKS 102340197
17.33
17.33 totalWckTime=17.095 totalCpuTime=16.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-228889-1168080913 -o ROOT/results/node1/solver-228889-1168080913 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228889-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: 0.42 1.11 1.59 3/81 18022
/proc/meminfo: memFree=1206744/2055920 swapFree=4165584/4192956
[pid=18021] ppid=18019 vsize=1784 CPUtime=0
/proc/18021/stat : 18021 (java) D 18019 18021 17954 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 156488361 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/18021/statm: 446 142 108 14 0 91 0
[startup+0.107204 s]
/proc/loadavg: 0.42 1.11 1.59 3/81 18022
/proc/meminfo: memFree=1206744/2055920 swapFree=4165584/4192956
[pid=18021] ppid=18019 vsize=914988 CPUtime=0.09
/proc/18021/stat : 18021 (java) S 18019 18021 17954 0 -1 0 2997 0 1 0 7 2 0 0 17 0 8 0 156488361 936947712 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515252 s]
/proc/loadavg: 0.42 1.11 1.59 3/81 18022
/proc/meminfo: memFree=1206744/2055920 swapFree=4165584/4192956
[pid=18021] ppid=18019 vsize=915328 CPUtime=0.49
/proc/18021/stat : 18021 (java) S 18019 18021 17954 0 -1 0 6701 0 1 0 44 5 0 0 16 0 8 0 156488361 937295872 6440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 228832 6440 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33634 s]
/proc/loadavg: 0.46 1.11 1.59 2/88 18029
/proc/meminfo: memFree=1183456/2055920 swapFree=4165584/4192956
[pid=18021] ppid=18019 vsize=915452 CPUtime=1.31
/proc/18021/stat : 18021 (java) R 18019 18021 17954 0 -1 0 8593 0 1 0 124 7 0 0 17 0 8 0 156488361 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811414 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 228863 8331 2513 14 0 215333 0
[pid=18021/tid=18023] ppid=18019 vsize=915452 CPUtime=0.03
/proc/18021/task/18023/stat : 18023 (java) S 18019 18021 17954 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156488365 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18021/tid=18024] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17954 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156488366 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18025] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488366 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18026] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17954 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156488369 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18027] ppid=18019 vsize=915452 CPUtime=0.19
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17954 0 -1 64 383 0 0 0 18 1 0 0 16 0 8 0 156488369 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18028] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17954 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156488369 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18029] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17954 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488369 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.31
Current children cumulated vsize (KiB) 915452
[startup+2.97853 s]
/proc/loadavg: 0.46 1.11 1.59 2/88 18029
/proc/meminfo: memFree=1183200/2055920 swapFree=4165584/4192956
[pid=18021] ppid=18019 vsize=915452 CPUtime=2.95
/proc/18021/stat : 18021 (java) R 18019 18021 17954 0 -1 0 8607 0 1 0 288 7 0 0 17 0 8 0 156488361 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 228863 8344 2513 14 0 215333 0
[pid=18021/tid=18023] ppid=18019 vsize=915452 CPUtime=0.03
/proc/18021/task/18023/stat : 18023 (java) S 18019 18021 17954 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156488365 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18021/tid=18024] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17954 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156488366 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18025] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488366 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18026] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17954 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156488369 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18027] ppid=18019 vsize=915452 CPUtime=0.2
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17954 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 156488369 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18028] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17954 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156488369 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18029] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17954 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488369 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452
[startup+6.27992 s]
/proc/loadavg: 0.46 1.11 1.59 2/88 18030
/proc/meminfo: memFree=1184800/2055920 swapFree=4165584/4192956
[pid=18021] ppid=18019 vsize=915452 CPUtime=6.25
/proc/18021/stat : 18021 (java) R 18019 18021 17954 0 -1 0 8613 0 1 0 618 7 0 0 22 0 8 0 156488361 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822181 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 228863 8349 2513 14 0 215333 0
[pid=18021/tid=18023] ppid=18019 vsize=915452 CPUtime=0.03
/proc/18021/task/18023/stat : 18023 (java) S 18019 18021 17954 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156488365 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18021/tid=18024] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17954 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156488366 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18025] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488366 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18026] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17954 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156488369 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18027] ppid=18019 vsize=915452 CPUtime=0.2
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17954 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 156488369 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18028] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17954 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156488369 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18029] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17954 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488369 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915452
[startup+12.7487 s]
/proc/loadavg: 0.55 1.11 1.58 2/88 18030
/proc/meminfo: memFree=1184800/2055920 swapFree=4165584/4192956
[pid=18021] ppid=18019 vsize=915452 CPUtime=12.72
/proc/18021/stat : 18021 (java) R 18019 18021 17954 0 -1 0 8618 0 1 0 1265 7 0 0 25 0 8 0 156488361 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18021/statm: 228863 8354 2513 14 0 215333 0
[pid=18021/tid=18023] ppid=18019 vsize=915452 CPUtime=0.03
/proc/18021/task/18023/stat : 18023 (java) S 18019 18021 17954 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156488365 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18021/tid=18024] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18024/stat : 18024 (java) S 18019 18021 17954 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156488366 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18025] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18025/stat : 18025 (java) S 18019 18021 17954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488366 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18026] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18026/stat : 18026 (java) S 18019 18021 17954 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156488369 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18027] ppid=18019 vsize=915452 CPUtime=0.2
/proc/18021/task/18027/stat : 18027 (java) S 18019 18021 17954 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 156488369 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18028] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18028/stat : 18028 (java) S 18019 18021 17954 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156488369 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18021/tid=18029] ppid=18019 vsize=915452 CPUtime=0
/proc/18021/task/18029/stat : 18029 (java) S 18019 18021 17954 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488369 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 17.3595
CPU time (s): 17.3174
CPU user time (s): 17.2334
CPU system time (s): 0.083987
CPU usage (%): 99.7575
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.2334
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8712
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= 1160
involuntary context switches= 139
runsolver used 0.017997 s user time and 0.054991 s system time
The end
Begin job on node1 on Sat Jan 6 10:55:17 UTC 2007
IDJOB= 228889
IDBENCH= 6243
FILE ID= node1/228889-1168080913
PBS_JOBID= 3475881
Free space on /tmp= 66302 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228889-1168080913/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-228889-1168080913 -o ROOT/results/node1/solver-228889-1168080913 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228889-1168080913/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7ea56df0c9f45164a375bfe9b3378fb6
RANDOM SEED= 514113680
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: 1207416 kB
Buffers: 70108 kB
Cached: 642308 kB
SwapCached: 3692 kB
Active: 373104 kB
Inactive: 378712 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1207416 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 1892 kB
Writeback: 0 kB
Mapped: 49236 kB
Slab: 81800 kB
Committed_AS: 4159384 kB
PageTables: 2172 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= 66304 MiB
End job on node1 on Sat Jan 6 10:55:54 UTC 2007