0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.36 name=/tmp/evaluation/208217-1168074646/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.43 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.53
0.53 constraints being loaded...
0.65 nbConstraints=330 nbRelationTypes=330 nbExtensionStructures=330 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=330 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2790 maxDegree=22
0.65 maxArity=2
0.65 => wckTime=0.327 cpuTime=0.25 mem=12M805
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.529 cpuTime=0.37 mem=13M910
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0050 cpuTime=0.01 mem=13M910
0.91
0.91 search
0.91 run=0 nbConstraintChecks=37031 nbPropagations=553 nbRevisions=6028 nbUselessRevisions=4812 nbAssignments=25
0.91 nbFailedAssignments=7 nbBacktracks=13 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.055 cpuTime=0.05 mem=14M885
0.94
0.94 search
0.94 run=1 nbConstraintChecks=100028 nbPropagations=1889 nbRevisions=22198 nbUselessRevisions=17822
0.94 nbAssignments=67 nbFailedAssignments=24 nbBacktracks=29 nbVisitedNodes=113 nbRestartNogoods=1 mapSize=27
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.08 cpuTime=0.06 mem=14M885
0.96
0.96 search
0.96 run=2 nbConstraintChecks=165421 nbPropagations=4089 nbRevisions=49605 nbUselessRevisions=39926
0.96 nbAssignments=119 nbFailedAssignments=46 nbBacktracks=52 nbVisitedNodes=198 nbRestartNogoods=5 mapSize=46
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.103 cpuTime=0.08 mem=14M885
0.98
0.98 search
0.98 run=3 nbConstraintChecks=244201 nbPropagations=7414 nbRevisions=91707 nbUselessRevisions=74002
0.98 nbAssignments=187 nbFailedAssignments=71 nbBacktracks=86 nbVisitedNodes=309 nbRestartNogoods=10 mapSize=73
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.122 cpuTime=0.09 mem=14M885
1.00
1.00 search
1.00 run=4 nbConstraintChecks=355993 nbPropagations=12283 nbRevisions=154730 nbUselessRevisions=125055
1.00 nbAssignments=276 nbFailedAssignments=104 nbBacktracks=138 nbVisitedNodes=455 nbRestartNogoods=13 mapSize=115
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.146 cpuTime=0.12 mem=14M885
1.04
1.04 search
1.04 run=5 nbConstraintChecks=534948 nbPropagations=19485 nbRevisions=248006 nbUselessRevisions=199897
1.04 nbAssignments=411 nbFailedAssignments=158 nbBacktracks=213 nbVisitedNodes=687 nbRestartNogoods=14 mapSize=176
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.184 cpuTime=0.15 mem=14M885
1.08
1.08 search
1.08 run=6 nbConstraintChecks=749044 nbPropagations=29676 nbRevisions=378975 nbUselessRevisions=304515
1.08 nbAssignments=584 nbFailedAssignments=211 nbBacktracks=327 nbVisitedNodes=975 nbRestartNogoods=19 mapSize=263
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.228 cpuTime=0.19 mem=14M885
1.16
1.16 search
1.16 run=7 nbConstraintChecks=1121461 nbPropagations=44970 nbRevisions=581133 nbUselessRevisions=466822
1.16 nbAssignments=878 nbFailedAssignments=330 nbBacktracks=497 nbVisitedNodes=1491 nbRestartNogoods=23 mapSize=409
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.304 cpuTime=0.26 mem=14M885
1.27
1.27 search
1.27 run=8 nbConstraintChecks=1671243 nbPropagations=67974 nbRevisions=883841 nbUselessRevisions=708752
1.27 nbAssignments=1314 nbFailedAssignments=501 nbBacktracks=755 nbVisitedNodes=2230 nbRestartNogoods=27
1.27 mapSize=609 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.414 cpuTime=0.37 mem=14M885
1.44
1.44 search
1.44 run=9 nbConstraintChecks=2540479 nbPropagations=102512 nbRevisions=1339256 nbUselessRevisions=1071512
1.44 nbAssignments=1931 nbFailedAssignments=726 nbBacktracks=1139 nbVisitedNodes=3275 nbRestartNogoods=30
1.44 mapSize=913 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.582 cpuTime=0.52 mem=14M885
1.49
1.49 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=14M885)
1.67
1.67 search
1.67 run=10 nbConstraintChecks=3887251 nbPropagations=155108 nbRevisions=2046497 nbUselessRevisions=1636981
1.67 nbAssignments=2956 nbFailedAssignments=1168 nbBacktracks=1716 nbVisitedNodes=5072 nbRestartNogoods=37
1.67 => wckTime=0.814 cpuTime=0.74 mem=14M885
2.01
2.01 search
2.01 run=11 nbConstraintChecks=6071505 nbPropagations=235651 nbRevisions=3131333 nbUselessRevisions=2501102
2.01 nbAssignments=4441 nbFailedAssignments=1781 nbBacktracks=2581 nbVisitedNodes=7678 nbRestartNogoods=46
2.01 => wckTime=1.152 cpuTime=1.07 mem=14M885
2.52
2.52 search
2.52 run=12 nbConstraintChecks=9293968 nbPropagations=359485 nbRevisions=4822132 nbUselessRevisions=3852941
2.52 nbAssignments=6754 nbFailedAssignments=2791 nbBacktracks=3879 nbVisitedNodes=11791 nbRestartNogoods=55
2.52 => wckTime=1.663 cpuTime=1.58 mem=14M885
3.21
3.21 search
3.21 run=13 nbConstraintChecks=13735071 nbPropagations=541593 nbRevisions=7303965 nbUselessRevisions=5833158
3.21 nbAssignments=10046 nbFailedAssignments=4130 nbBacktracks=5825 nbVisitedNodes=17490 nbRestartNogoods=65
3.21 => wckTime=2.358 cpuTime=2.27 mem=14M885
4.36
4.36 search
4.36 run=14 nbConstraintChecks=21019289 nbPropagations=820400 nbRevisions=11124829 nbUselessRevisions=8887930
4.36 nbAssignments=15119 nbFailedAssignments=6274 nbBacktracks=8747 nbVisitedNodes=26490 nbRestartNogoods=73
4.36 => wckTime=3.505 cpuTime=3.41 mem=14M885
6.01
6.01 search
6.01 run=15 nbConstraintChecks=31541077 nbPropagations=1238673 nbRevisions=16831971 nbUselessRevisions=13439022
6.01 nbAssignments=22675 nbFailedAssignments=9448 nbBacktracks=13126 nbVisitedNodes=39671 nbRestartNogoods=80
6.01 => wckTime=5.149 cpuTime=5.05 mem=14M885
8.39
8.40 search
8.40 run=16 nbConstraintChecks=46903504 nbPropagations=1862401 nbRevisions=25317386 nbUselessRevisions=20206114
8.40 nbAssignments=33730 nbFailedAssignments=13928 nbBacktracks=19696 nbVisitedNodes=58931 nbRestartNogoods=92
8.40 => wckTime=7.539 cpuTime=7.42 mem=14M885
12.02
12.02 search
12.02 run=17 nbConstraintChecks=70681678 nbPropagations=2791333 nbRevisions=37950326 nbUselessRevisions=30267707
12.02 nbAssignments=50293 nbFailedAssignments=20634 nbBacktracks=29551 nbVisitedNodes=87657 nbRestartNogoods=105
12.02 => wckTime=11.164 cpuTime=11.03 mem=14M885
17.68
17.68 search
17.68 run=18 nbConstraintChecks=107055274 nbPropagations=4203490 nbRevisions=57212295 nbUselessRevisions=45631906
17.68 nbAssignments=76187 nbFailedAssignments=31742 nbBacktracks=44333 nbVisitedNodes=133300 nbRestartNogoods=118
17.68 => wckTime=16.821 cpuTime=16.67 mem=14M885
23.94
23.94 search
23.94 run=19 nbConstraintChecks=146818252 nbPropagations=6146790 nbRevisions=83766882 nbUselessRevisions=66829806
23.94 nbAssignments=104867 nbFailedAssignments=43508 nbBacktracks=61207 nbVisitedNodes=183272 nbRestartNogoods=128
23.94 => wckTime=23.085 cpuTime=22.9 mem=14M885
23.94
23.94 global
23.94 nbConstraintChecks=146818252 nbPropagations=6146830 nbRevisions=83766882 nbUselessRevisions=66829806
23.94 nbRestartNogoods=128 solvingWckTime=23.087 solvingCpuTime=22.9 expiredTime=no totalExploration=no
23.94 nbFoundSolutions=1 globalCpuTime=23.33
23.94 => wckTime=23.619 cpuTime=23.28 mem=14M885
23.94
23.95 s SATISFIABLE
23.95 v 4 14 16 16 17 18 7 3 16 14 11 1 15 12 2 14 7 10 16 13 8 14 9 6 12 5 1 8 11 2 1 10 2 5 17 17 11 16 14 13
23.95 d NODES 104867
23.95 d CHECKS 146818252
23.95
23.95 totalWckTime=23.701 totalCpuTime=23.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-208217-1168074646 -o ROOT/results/node12/solver-208217-1168074646 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208217-1168074646/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: 2.07 2.02 1.93 4/93 20598
/proc/meminfo: memFree=1540640/2055920 swapFree=4160348/4192956
[pid=20597] ppid=20595 vsize=18540 CPUtime=0
/proc/20597/stat : 20597 (runsolver) R 20595 20597 20104 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155859625 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20597/statm: 4635 279 244 17 0 2626 0
[startup+0.107164 s]
/proc/loadavg: 2.07 2.02 1.93 4/93 20598
/proc/meminfo: memFree=1540640/2055920 swapFree=4160348/4192956
[pid=20597] ppid=20595 vsize=914988 CPUtime=0.09
/proc/20597/stat : 20597 (java) R 20595 20597 20104 0 -1 0 2973 0 1 0 7 2 0 0 17 0 8 0 155859625 936947712 2719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20597/statm: 228747 2719 1421 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515235 s]
/proc/loadavg: 2.07 2.02 1.93 4/93 20598
/proc/meminfo: memFree=1540640/2055920 swapFree=4160348/4192956
[pid=20597] ppid=20595 vsize=915328 CPUtime=0.49
/proc/20597/stat : 20597 (java) R 20595 20597 20104 0 -1 0 6719 0 1 0 44 5 0 0 18 0 8 0 155859625 937295872 6458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20597/statm: 228832 6458 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33689 s]
/proc/loadavg: 2.07 2.02 1.93 3/100 20605
/proc/meminfo: memFree=1517096/2055920 swapFree=4160348/4192956
[pid=20597] ppid=20595 vsize=915456 CPUtime=1.3
/proc/20597/stat : 20597 (java) R 20595 20597 20104 0 -1 0 8627 0 1 0 122 8 0 0 24 0 8 0 155859625 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20597/statm: 228864 8365 2513 14 0 215334 0
[pid=20597/tid=20599] ppid=20595 vsize=915456 CPUtime=0.03
/proc/20597/task/20599/stat : 20599 (java) S 20595 20597 20104 0 -1 64 284 0 0 0 3 0 0 0 16 0 8 0 155859630 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20600] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20600/stat : 20600 (java) S 20595 20597 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155859630 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20601] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20601/stat : 20601 (java) S 20595 20597 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155859630 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20602] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20602/stat : 20602 (java) S 20595 20597 20104 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155859634 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20603] ppid=20595 vsize=915456 CPUtime=0.21
/proc/20597/task/20603/stat : 20603 (java) S 20595 20597 20104 0 -1 64 380 0 0 0 20 1 0 0 15 0 8 0 155859634 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20604] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20604/stat : 20604 (java) S 20595 20597 20104 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155859634 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20605] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20605/stat : 20605 (java) S 20595 20597 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155859634 937426944 8365 18446744073709551615 134512640 134570532 4294956464 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) 915456
[startup+2.97871 s]
/proc/loadavg: 2.06 2.02 1.93 3/100 20605
/proc/meminfo: memFree=1516776/2055920 swapFree=4160348/4192956
[pid=20597] ppid=20595 vsize=915456 CPUtime=2.94
/proc/20597/stat : 20597 (java) R 20595 20597 20104 0 -1 0 8665 0 1 0 286 8 0 0 25 0 8 0 155859625 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20597/statm: 228864 8402 2513 14 0 215334 0
[pid=20597/tid=20599] ppid=20595 vsize=915456 CPUtime=0.03
/proc/20597/task/20599/stat : 20599 (java) S 20595 20597 20104 0 -1 64 284 0 0 0 3 0 0 0 16 0 8 0 155859630 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20600] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20600/stat : 20600 (java) S 20595 20597 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155859630 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20601] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20601/stat : 20601 (java) S 20595 20597 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155859630 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20602] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20602/stat : 20602 (java) S 20595 20597 20104 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155859634 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20603] ppid=20595 vsize=915456 CPUtime=0.23
/proc/20597/task/20603/stat : 20603 (java) S 20595 20597 20104 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 155859634 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20604] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20604/stat : 20604 (java) S 20595 20597 20104 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155859634 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20605] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20605/stat : 20605 (java) S 20595 20597 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155859634 937426944 8402 18446744073709551615 134512640 134570532 4294956464 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) 915456
[startup+6.27326 s]
/proc/loadavg: 2.06 2.02 1.93 3/100 20605
/proc/meminfo: memFree=1516712/2055920 swapFree=4160348/4192956
[pid=20597] ppid=20595 vsize=915456 CPUtime=6.21
/proc/20597/stat : 20597 (java) R 20595 20597 20104 0 -1 0 8673 0 1 0 613 8 0 0 25 0 8 0 155859625 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794505 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20597/statm: 228864 8409 2513 14 0 215334 0
[pid=20597/tid=20599] ppid=20595 vsize=915456 CPUtime=0.03
/proc/20597/task/20599/stat : 20599 (java) S 20595 20597 20104 0 -1 64 284 0 0 0 3 0 0 0 16 0 8 0 155859630 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20600] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20600/stat : 20600 (java) S 20595 20597 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155859630 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20601] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20601/stat : 20601 (java) S 20595 20597 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155859630 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20602] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20602/stat : 20602 (java) S 20595 20597 20104 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155859634 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20603] ppid=20595 vsize=915456 CPUtime=0.23
/proc/20597/task/20603/stat : 20603 (java) S 20595 20597 20104 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 155859634 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20604] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20604/stat : 20604 (java) S 20595 20597 20104 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155859634 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20605] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20605/stat : 20605 (java) S 20595 20597 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155859634 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915456
[startup+12.7494 s]
/proc/loadavg: 2.05 2.01 1.93 3/100 20605
/proc/meminfo: memFree=1516776/2055920 swapFree=4160348/4192956
[pid=20597] ppid=20595 vsize=915456 CPUtime=12.67
/proc/20597/stat : 20597 (java) R 20595 20597 20104 0 -1 0 8678 0 1 0 1258 9 0 0 25 0 8 0 155859625 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20597/statm: 228864 8414 2513 14 0 215334 0
[pid=20597/tid=20599] ppid=20595 vsize=915456 CPUtime=0.03
/proc/20597/task/20599/stat : 20599 (java) S 20595 20597 20104 0 -1 64 284 0 0 0 3 0 0 0 16 0 8 0 155859630 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20600] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20600/stat : 20600 (java) S 20595 20597 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155859630 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20601] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20601/stat : 20601 (java) S 20595 20597 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155859630 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20602] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20602/stat : 20602 (java) S 20595 20597 20104 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155859634 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20603] ppid=20595 vsize=915456 CPUtime=0.23
/proc/20597/task/20603/stat : 20603 (java) S 20595 20597 20104 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 155859634 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20604] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20604/stat : 20604 (java) S 20595 20597 20104 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155859634 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20597/tid=20605] ppid=20595 vsize=915456 CPUtime=0
/proc/20597/task/20605/stat : 20605 (java) S 20595 20597 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155859634 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 23.9909
CPU time (s): 23.8254
CPU user time (s): 23.7254
CPU system time (s): 0.099984
CPU usage (%): 99.3101
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.7254
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= 8774
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= 1585
involuntary context switches= 2448
runsolver used 0.027995 s user time and 0.087986 s system time
The end
Begin job on node12 on Sat Jan 6 09:10:46 UTC 2007
IDJOB= 208217
IDBENCH= 4358
FILE ID= node12/208217-1168074646
PBS_JOBID= 3475754
Free space on /tmp= 66310 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208217-1168074646/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-208217-1168074646 -o ROOT/results/node12/solver-208217-1168074646 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208217-1168074646/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 07564dafa9ae539e33d971ed3bf22c8a
RANDOM SEED= 567919134
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.265
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.265
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: 1541056 kB
Buffers: 29880 kB
Cached: 250016 kB
SwapCached: 4684 kB
Active: 210508 kB
Inactive: 223184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1541056 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1884 kB
Writeback: 0 kB
Mapped: 173492 kB
Slab: 65612 kB
Committed_AS: 4725536 kB
PageTables: 2360 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= 66310 MiB
End job on node12 on Sat Jan 6 09:11:10 UTC 2007