0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/227928-1168080838/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.45 => wckTime=0.106 cpuTime=0.09 mem=6M951
0.45
0.45 relations being loaded...
0.54
0.55 constraints being loaded...
0.65 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8214 maxDegree=28
0.65 maxArity=2
0.65 => wckTime=0.306 cpuTime=0.22 mem=10M861
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.503 cpuTime=0.35 mem=13M696
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.0080 cpuTime=0.0 mem=13M696
0.90
0.90 search
0.90 run=0 nbConstraintChecks=17771 nbPropagations=401 nbRevisions=4393 nbUselessRevisions=3614 nbAssignments=20
0.90 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=32 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.047 cpuTime=0.03 mem=14M671
0.92
0.92 search
0.92 run=1 nbConstraintChecks=39029 nbPropagations=1230 nbRevisions=14029 nbUselessRevisions=11468 nbAssignments=45
0.92 nbFailedAssignments=11 nbBacktracks=26 nbVisitedNodes=71 nbRestartNogoods=1 mapSize=19 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.07 cpuTime=0.04 mem=14M671
0.94
0.94 search
0.94 run=2 nbConstraintChecks=68855 nbPropagations=2656 nbRevisions=31338 nbUselessRevisions=25632 nbAssignments=81
0.94 nbFailedAssignments=21 nbBacktracks=48 nbVisitedNodes=128 nbRestartNogoods=3 mapSize=35 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.09 cpuTime=0.06 mem=14M671
0.96
0.96 search
0.96 run=3 nbConstraintChecks=115329 nbPropagations=4978 nbRevisions=60399 nbUselessRevisions=49478
0.96 nbAssignments=135 nbFailedAssignments=35 nbBacktracks=83 nbVisitedNodes=216 nbRestartNogoods=5 mapSize=62
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.107 cpuTime=0.07 mem=14M671
0.98
0.98 search
0.98 run=4 nbConstraintChecks=203920 nbPropagations=8824 nbRevisions=111563 nbUselessRevisions=91450
0.98 nbAssignments=224 nbFailedAssignments=66 nbBacktracks=136 nbVisitedNodes=370 nbRestartNogoods=7 mapSize=110
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.132 cpuTime=0.09 mem=14M671
1.02
1.02 search
1.02 run=5 nbConstraintChecks=306746 nbPropagations=14549 nbRevisions=189906 nbUselessRevisions=155997
1.02 nbAssignments=347 nbFailedAssignments=106 nbBacktracks=212 nbVisitedNodes=573 nbRestartNogoods=11 mapSize=173
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.166 cpuTime=0.12 mem=14M671
1.06
1.06 search
1.06 run=6 nbConstraintChecks=436433 nbPropagations=22730 nbRevisions=302956 nbUselessRevisions=249334
1.06 nbAssignments=518 nbFailedAssignments=158 nbBacktracks=326 nbVisitedNodes=849 nbRestartNogoods=13 mapSize=258
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.204 cpuTime=0.16 mem=14M671
1.12
1.12 search
1.12 run=7 nbConstraintChecks=684038 nbPropagations=35224 nbRevisions=478918 nbUselessRevisions=394544
1.12 nbAssignments=791 nbFailedAssignments=255 nbBacktracks=497 nbVisitedNodes=1305 nbRestartNogoods=17 mapSize=404
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.269 cpuTime=0.22 mem=14M671
1.23
1.23 search
1.23 run=8 nbConstraintChecks=1062853 nbPropagations=54266 nbRevisions=753026 nbUselessRevisions=621144
1.23 nbAssignments=1204 nbFailedAssignments=406 nbBacktracks=753 nbVisitedNodes=2009 nbRestartNogoods=20
1.23 mapSize=624 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.376 cpuTime=0.32 mem=14M671
1.40
1.40 search
1.40 run=9 nbConstraintChecks=1681893 nbPropagations=83943 nbRevisions=1186470 nbUselessRevisions=978618
1.40 nbAssignments=1840 nbFailedAssignments=652 nbBacktracks=1138 nbVisitedNodes=3118 nbRestartNogoods=23
1.40 mapSize=967 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.543 cpuTime=0.48 mem=14M671
1.42
1.42 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=14M671)
1.59
1.59 search
1.59 run=10 nbConstraintChecks=2472385 nbPropagations=127627 nbRevisions=1829563 nbUselessRevisions=1509526
1.59 nbAssignments=2740 nbFailedAssignments=971 nbBacktracks=1714 nbVisitedNodes=4650 nbRestartNogoods=30
1.59 => wckTime=0.739 cpuTime=0.65 mem=14M671
1.85
1.85 search
1.85 run=11 nbConstraintChecks=3659500 nbPropagations=191902 nbRevisions=2777269 nbUselessRevisions=2291334
1.85 nbAssignments=4072 nbFailedAssignments=1433 nbBacktracks=2578 nbVisitedNodes=6884 nbRestartNogoods=36
1.85 => wckTime=0.996 cpuTime=0.91 mem=14M671
2.23
2.23 search
2.23 run=12 nbConstraintChecks=5436012 nbPropagations=287581 nbRevisions=4182551 nbUselessRevisions=3450058
2.23 nbAssignments=6090 nbFailedAssignments=2147 nbBacktracks=3877 nbVisitedNodes=10271 nbRestartNogoods=43
2.23 => wckTime=1.379 cpuTime=1.29 mem=14M671
2.80
2.80 search
2.80 run=13 nbConstraintChecks=8050870 nbPropagations=429979 nbRevisions=6277566 nbUselessRevisions=5179763
2.80 nbAssignments=9062 nbFailedAssignments=3165 nbBacktracks=5827 nbVisitedNodes=15305 nbRestartNogoods=49
2.80 => wckTime=1.951 cpuTime=1.85 mem=14M671
3.67
3.67 search
3.67 run=14 nbConstraintChecks=12106053 nbPropagations=642797 nbRevisions=9432978 nbUselessRevisions=7787062
3.67 nbAssignments=13569 nbFailedAssignments=4746 nbBacktracks=8746 nbVisitedNodes=22956 nbRestartNogoods=57
3.67 => wckTime=2.818 cpuTime=2.71 mem=14M671
5.01
5.01 search
5.01 run=15 nbConstraintChecks=18312416 nbPropagations=964365 nbRevisions=14215859 nbUselessRevisions=11738159
5.01 nbAssignments=20319 nbFailedAssignments=7111 nbBacktracks=13126 nbVisitedNodes=34485 nbRestartNogoods=69
5.01 => wckTime=4.155 cpuTime=4.03 mem=14M671
7.03
7.03 search
7.03 run=16 nbConstraintChecks=27824610 nbPropagations=1450008 nbRevisions=21446591 nbUselessRevisions=17704297
7.03 nbAssignments=30587 nbFailedAssignments=10807 nbBacktracks=19695 nbVisitedNodes=51964 nbRestartNogoods=79
7.03 => wckTime=6.175 cpuTime=6.03 mem=14M671
10.14
10.14 search
10.14 run=17 nbConstraintChecks=42500108 nbPropagations=2187578 nbRevisions=32455635 nbUselessRevisions=26784129
10.14 nbAssignments=46150 nbFailedAssignments=16511 nbBacktracks=29549 nbVisitedNodes=78594 nbRestartNogoods=84
10.14 => wckTime=9.29 cpuTime=9.12 mem=14M671
14.54
14.54 search
14.54 run=18 nbConstraintChecks=63094242 nbPropagations=3277451 nbRevisions=48718898 nbUselessRevisions=40186085
14.54 nbAssignments=67875 nbFailedAssignments=24532 nbBacktracks=43254 nbVisitedNodes=115698 nbRestartNogoods=89
14.54 => wckTime=13.689 cpuTime=13.48 mem=14M671
14.54
14.54 global
14.54 nbConstraintChecks=63094242 nbPropagations=3277491 nbRevisions=48718898 nbUselessRevisions=40186085
14.54 nbRestartNogoods=89 solvingWckTime=13.69 solvingCpuTime=13.48 expiredTime=no totalExploration=yes
14.54 nbFoundSolutions=0 globalCpuTime=13.87
14.54 => wckTime=14.197 cpuTime=13.83 mem=14M671
14.54
14.55 s UNSATISFIABLE
14.55 d NODES 67875
14.55 d CHECKS 63094242
14.55
14.55 totalWckTime=14.278 totalCpuTime=13.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-227928-1168080838 -o ROOT/results/node2/solver-227928-1168080838 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227928-1168080838/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.04 1.38 1.70 4/93 5635
/proc/meminfo: memFree=1036968/2055920 swapFree=4191880/4192956
[pid=5634] ppid=5632 vsize=18540 CPUtime=0
/proc/5634/stat : 5634 (runsolver) R 5632 5634 5511 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156480674 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5634/statm: 4635 279 244 17 0 2626 0
[startup+0.107914 s]
/proc/loadavg: 1.04 1.38 1.70 4/93 5635
/proc/meminfo: memFree=1036968/2055920 swapFree=4191880/4192956
[pid=5634] ppid=5632 vsize=909356 CPUtime=0.06
/proc/5634/stat : 5634 (java) R 5632 5634 5511 0 -1 0 2530 0 1 0 5 1 0 0 19 0 7 0 156480674 931180544 2277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5634/statm: 227339 2277 1241 14 0 214922 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 909356
[startup+0.51599 s]
/proc/loadavg: 1.04 1.38 1.70 4/93 5635
/proc/meminfo: memFree=1036968/2055920 swapFree=4191880/4192956
[pid=5634] ppid=5632 vsize=915328 CPUtime=0.46
/proc/5634/stat : 5634 (java) R 5632 5634 5511 0 -1 0 6291 0 1 0 42 4 0 0 18 0 8 0 156480674 937295872 6030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073604371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5634/statm: 228832 6030 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.34314 s]
/proc/loadavg: 1.04 1.38 1.70 3/100 5642
/proc/meminfo: memFree=1013552/2055920 swapFree=4191880/4192956
[pid=5634] ppid=5632 vsize=915456 CPUtime=1.27
/proc/5634/stat : 5634 (java) R 5632 5634 5511 0 -1 0 8566 0 1 0 121 6 0 0 24 0 8 0 156480674 937426944 8304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826283 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5634/statm: 228864 8304 2513 14 0 215334 0
[pid=5634/tid=5636] ppid=5632 vsize=915456 CPUtime=0.03
/proc/5634/task/5636/stat : 5636 (java) S 5632 5634 5511 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 156480681 937426944 8304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5637] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5637/stat : 5637 (java) S 5632 5634 5511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156480682 937426944 8304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5638] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5638/stat : 5638 (java) S 5632 5634 5511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156480682 937426944 8304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5639] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5639/stat : 5639 (java) S 5632 5634 5511 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156480685 937426944 8304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5640] ppid=5632 vsize=915456 CPUtime=0.22
/proc/5634/task/5640/stat : 5640 (java) S 5632 5634 5511 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 156480685 937426944 8304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5641] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5641/stat : 5641 (java) S 5632 5634 5511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156480685 937426944 8304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5642] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5642/stat : 5642 (java) S 5632 5634 5511 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156480685 937426944 8304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915456
[startup+2.98344 s]
/proc/loadavg: 1.04 1.38 1.70 3/100 5642
/proc/meminfo: memFree=1013232/2055920 swapFree=4191880/4192956
[pid=5634] ppid=5632 vsize=915456 CPUtime=2.89
/proc/5634/stat : 5634 (java) R 5632 5634 5511 0 -1 0 8595 0 1 0 283 6 0 0 25 0 8 0 156480674 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793926 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5634/statm: 228864 8332 2513 14 0 215334 0
[pid=5634/tid=5636] ppid=5632 vsize=915456 CPUtime=0.03
/proc/5634/task/5636/stat : 5636 (java) S 5632 5634 5511 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 156480681 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5637] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5637/stat : 5637 (java) S 5632 5634 5511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156480682 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5638] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5638/stat : 5638 (java) S 5632 5634 5511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156480682 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5639] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5639/stat : 5639 (java) S 5632 5634 5511 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156480685 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5640] ppid=5632 vsize=915456 CPUtime=0.24
/proc/5634/task/5640/stat : 5640 (java) S 5632 5634 5511 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 156480685 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5641] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5641/stat : 5641 (java) S 5632 5634 5511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156480685 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5642] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5642/stat : 5642 (java) S 5632 5634 5511 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156480685 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915456
[startup+6.27705 s]
/proc/loadavg: 1.12 1.39 1.71 3/100 5642
/proc/meminfo: memFree=1013232/2055920 swapFree=4191880/4192956
[pid=5634] ppid=5632 vsize=915456 CPUtime=6.15
/proc/5634/stat : 5634 (java) R 5632 5634 5511 0 -1 0 8601 0 1 0 609 6 0 0 25 0 8 0 156480674 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5634/statm: 228864 8337 2513 14 0 215334 0
[pid=5634/tid=5636] ppid=5632 vsize=915456 CPUtime=0.03
/proc/5634/task/5636/stat : 5636 (java) S 5632 5634 5511 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 156480681 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5637] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5637/stat : 5637 (java) S 5632 5634 5511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156480682 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5638] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5638/stat : 5638 (java) S 5632 5634 5511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156480682 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5639] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5639/stat : 5639 (java) S 5632 5634 5511 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156480685 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5640] ppid=5632 vsize=915456 CPUtime=0.24
/proc/5634/task/5640/stat : 5640 (java) S 5632 5634 5511 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 156480685 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5641] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5641/stat : 5641 (java) S 5632 5634 5511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156480685 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5642] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5642/stat : 5642 (java) S 5632 5634 5511 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156480685 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915456
[startup+12.7532 s]
/proc/loadavg: 1.25 1.41 1.71 3/100 5642
/proc/meminfo: memFree=1013360/2055920 swapFree=4191880/4192956
[pid=5634] ppid=5632 vsize=915456 CPUtime=12.58
/proc/5634/stat : 5634 (java) R 5632 5634 5511 0 -1 0 8606 0 1 0 1251 7 0 0 25 0 8 0 156480674 937426944 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853291 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5634/statm: 228864 8342 2513 14 0 215334 0
[pid=5634/tid=5636] ppid=5632 vsize=915456 CPUtime=0.03
/proc/5634/task/5636/stat : 5636 (java) S 5632 5634 5511 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 156480681 937426944 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5637] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5637/stat : 5637 (java) S 5632 5634 5511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156480682 937426944 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5638] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5638/stat : 5638 (java) S 5632 5634 5511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156480682 937426944 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5639] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5639/stat : 5639 (java) S 5632 5634 5511 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156480685 937426944 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5640] ppid=5632 vsize=915456 CPUtime=0.24
/proc/5634/task/5640/stat : 5640 (java) S 5632 5634 5511 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 156480685 937426944 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5641] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5641/stat : 5641 (java) S 5632 5634 5511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156480685 937426944 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5634/tid=5642] ppid=5632 vsize=915456 CPUtime=0
/proc/5634/task/5642/stat : 5642 (java) S 5632 5634 5511 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156480685 937426944 8342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 14.6023
CPU time (s): 14.3738
CPU user time (s): 14.2938
CPU system time (s): 0.079987
CPU usage (%): 98.4353
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.2938
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= 8699
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= 1394
involuntary context switches= 1898
runsolver used 0.020996 s user time and 0.052991 s system time
The end
Begin job on node2 on Sat Jan 6 10:54:07 UTC 2007
IDJOB= 227928
IDBENCH= 6135
FILE ID= node2/227928-1168080838
PBS_JOBID= 3475875
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227928-1168080838/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-227928-1168080838 -o ROOT/results/node2/solver-227928-1168080838 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227928-1168080838/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 219ecb9c51efd9f3c4a28153a8d21bfd
RANDOM SEED= 578810232
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.259
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 : 5931.00
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.259
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: 1037448 kB
Buffers: 73968 kB
Cached: 715244 kB
SwapCached: 268 kB
Active: 383652 kB
Inactive: 537508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1037448 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1748 kB
Writeback: 0 kB
Mapped: 160256 kB
Slab: 81648 kB
Committed_AS: 4310808 kB
PageTables: 2576 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= 66324 MiB
End job on node2 on Sat Jan 6 10:54:36 UTC 2007