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/208236-1168074660/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.101 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.64 nbConstraints=342 nbRelationTypes=342 nbExtensionStructures=342 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=342 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3020 maxDegree=24
0.64 maxArity=2
0.64 => wckTime=0.321 cpuTime=0.24 mem=12M811
0.68
0.68 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.516 cpuTime=0.36 mem=13M929
0.85
0.85 preprocessing
0.85 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.85 detectedInconsistency=no
0.85 => wckTime=0.0050 cpuTime=0.0 mem=13M929
0.90
0.90 search
0.90 run=0 nbConstraintChecks=34098 nbPropagations=539 nbRevisions=6017 nbUselessRevisions=4813 nbAssignments=27
0.90 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.054 cpuTime=0.03 mem=14M904
0.92
0.92 search
0.92 run=1 nbConstraintChecks=91029 nbPropagations=1816 nbRevisions=21939 nbUselessRevisions=17607 nbAssignments=66
0.92 nbFailedAssignments=22 nbBacktracks=26 nbVisitedNodes=105 nbRestartNogoods=2 mapSize=22 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.078 cpuTime=0.05 mem=14M904
0.94
0.94 search
0.94 run=2 nbConstraintChecks=155435 nbPropagations=3928 nbRevisions=49122 nbUselessRevisions=39601
0.94 nbAssignments=111 nbFailedAssignments=37 nbBacktracks=50 nbVisitedNodes=179 nbRestartNogoods=8 mapSize=42
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.102 cpuTime=0.07 mem=14M904
0.96
0.96 search
0.96 run=3 nbConstraintChecks=229994 nbPropagations=7103 nbRevisions=90045 nbUselessRevisions=72844
0.96 nbAssignments=176 nbFailedAssignments=61 nbBacktracks=83 nbVisitedNodes=288 nbRestartNogoods=10 mapSize=72
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.119 cpuTime=0.08 mem=14M904
0.99
0.99 search
0.99 run=4 nbConstraintChecks=354790 nbPropagations=12068 nbRevisions=155166 nbUselessRevisions=125677
0.99 nbAssignments=272 nbFailedAssignments=99 nbBacktracks=135 nbVisitedNodes=456 nbRestartNogoods=14 mapSize=117
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.148 cpuTime=0.11 mem=14M904
1.03
1.03 search
1.03 run=5 nbConstraintChecks=520263 nbPropagations=19276 nbRevisions=251488 nbUselessRevisions=203835
1.03 nbAssignments=405 nbFailedAssignments=151 nbBacktracks=211 nbVisitedNodes=680 nbRestartNogoods=18 mapSize=175
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.184 cpuTime=0.14 mem=14M904
1.08
1.08 search
1.08 run=6 nbConstraintChecks=804195 nbPropagations=30344 nbRevisions=398359 nbUselessRevisions=322316
1.08 nbAssignments=614 nbFailedAssignments=238 nbBacktracks=324 nbVisitedNodes=1042 nbRestartNogoods=20 mapSize=273
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.24 cpuTime=0.2 mem=14M904
1.16
1.16 search
1.16 run=7 nbConstraintChecks=1223017 nbPropagations=46804 nbRevisions=619571 nbUselessRevisions=499987
1.16 nbAssignments=924 nbFailedAssignments=372 nbBacktracks=494 nbVisitedNodes=1571 nbRestartNogoods=26 mapSize=414
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.319 cpuTime=0.27 mem=14M904
1.28
1.28 search
1.28 run=8 nbConstraintChecks=1804917 nbPropagations=71014 nbRevisions=950243 nbUselessRevisions=765954
1.28 nbAssignments=1350 nbFailedAssignments=537 nbBacktracks=750 nbVisitedNodes=2312 nbRestartNogoods=31
1.28 mapSize=635 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.435 cpuTime=0.38 mem=14M904
1.45
1.45 search
1.45 run=9 nbConstraintChecks=2787952 nbPropagations=107429 nbRevisions=1446081 nbUselessRevisions=1161967
1.45 nbAssignments=1981 nbFailedAssignments=777 nbBacktracks=1136 nbVisitedNodes=3417 nbRestartNogoods=36
1.45 mapSize=957 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.611 cpuTime=0.54 mem=14M904
1.48
1.48 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=14M904)
1.66
1.66 search
1.66 run=10 nbConstraintChecks=3991068 nbPropagations=160765 nbRevisions=2166030 nbUselessRevisions=1736558
1.66 nbAssignments=2924 nbFailedAssignments=1137 nbBacktracks=1715 nbVisitedNodes=5039 nbRestartNogoods=42
1.66 => wckTime=0.821 cpuTime=0.74 mem=14M904
2.00
2.00 search
2.00 run=11 nbConstraintChecks=6214491 nbPropagations=242210 nbRevisions=3292031 nbUselessRevisions=2638174
2.00 nbAssignments=4454 nbFailedAssignments=1797 nbBacktracks=2579 nbVisitedNodes=7736 nbRestartNogoods=45
2.00 => wckTime=1.162 cpuTime=1.08 mem=14M904
2.46
2.46 search
2.46 run=12 nbConstraintChecks=9162617 nbPropagations=362947 nbRevisions=4950344 nbUselessRevisions=3964116
2.46 nbAssignments=6592 nbFailedAssignments=2633 nbBacktracks=3878 nbVisitedNodes=11429 nbRestartNogoods=55
2.46 => wckTime=1.621 cpuTime=1.53 mem=14M904
3.24
3.24 search
3.24 run=13 nbConstraintChecks=14435720 nbPropagations=548724 nbRevisions=7501590 nbUselessRevisions=5996669
3.24 nbAssignments=10000 nbFailedAssignments=4086 nbBacktracks=5824 nbVisitedNodes=17421 nbRestartNogoods=60
3.24 => wckTime=2.398 cpuTime=2.31 mem=14M904
4.31
4.31 search
4.31 run=14 nbConstraintChecks=21202048 nbPropagations=826392 nbRevisions=11344938 nbUselessRevisions=9067977
4.31 nbAssignments=15020 nbFailedAssignments=6177 nbBacktracks=8746 nbVisitedNodes=26235 nbRestartNogoods=74
4.31 => wckTime=3.468 cpuTime=3.37 mem=14M904
5.96
5.96 search
5.96 run=15 nbConstraintChecks=32031857 nbPropagations=1244941 nbRevisions=17107802 nbUselessRevisions=13664725
5.96 nbAssignments=22490 nbFailedAssignments=9262 nbBacktracks=13126 nbVisitedNodes=39307 nbRestartNogoods=80
5.96 => wckTime=5.121 cpuTime=5.01 mem=14M904
8.35
8.35 search
8.35 run=16 nbConstraintChecks=47490263 nbPropagations=1864781 nbRevisions=25778742 nbUselessRevisions=20613383
8.35 nbAssignments=33601 nbFailedAssignments=13800 nbBacktracks=19696 nbVisitedNodes=58739 nbRestartNogoods=95
8.35 => wckTime=7.511 cpuTime=7.39 mem=14M904
12.09
12.09 search
12.09 run=17 nbConstraintChecks=71559172 nbPropagations=2805333 nbRevisions=38924079 nbUselessRevisions=31159644
12.09 nbAssignments=50625 nbFailedAssignments=20968 nbBacktracks=29548 nbVisitedNodes=88776 nbRestartNogoods=104
12.09 => wckTime=11.249 cpuTime=11.11 mem=14M904
17.66
17.66 search
17.67 run=18 nbConstraintChecks=107738475 nbPropagations=4212270 nbRevisions=58728004 nbUselessRevisions=47065027
17.67 nbAssignments=76051 nbFailedAssignments=31608 nbBacktracks=44326 nbVisitedNodes=133490 nbRestartNogoods=111
17.67 => wckTime=16.823 cpuTime=16.65 mem=14M904
21.35
21.35 search
21.35 run=19 nbConstraintChecks=132053360 nbPropagations=5940960 nbRevisions=83053359 nbUselessRevisions=66616426
21.35 nbAssignments=93178 nbFailedAssignments=38694 nbBacktracks=54327 nbVisitedNodes=163554 nbRestartNogoods=121
21.35 => wckTime=20.513 cpuTime=20.34 mem=14M904
21.36
21.36 global
21.36 nbConstraintChecks=132053360 nbPropagations=5941000 nbRevisions=83053359 nbUselessRevisions=66616426
21.36 nbRestartNogoods=121 solvingWckTime=20.514 solvingCpuTime=20.34 expiredTime=no totalExploration=no
21.36 nbFoundSolutions=1 globalCpuTime=20.76
21.36 => wckTime=21.033 cpuTime=20.7 mem=14M904
21.36
21.36 s SATISFIABLE
21.36 v 10 3 5 1 10 7 8 10 5 11 7 13 14 7 6 3 11 4 8 6 1 3 1 10 5 9 11 11 1 16 9 11 13 11 10 3 3 2 6 12
21.36 d NODES 93178
21.36 d CHECKS 132053360
21.36
21.36 totalWckTime=21.113 totalCpuTime=20.76
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-208236-1168074660 -o ROOT/results/node72/solver-208236-1168074660 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208236-1168074660/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.02 1.22 1.51 5/83 32758
/proc/meminfo: memFree=1463096/2055920 swapFree=4192812/4192956
[pid=32757] ppid=32753 vsize=18540 CPUtime=0
/proc/32757/stat : 32757 (runsolver) R 32753 32757 32648 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155874869 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 234517753127 0 0 4096 24578 0 0 0 17 1 0 0
/proc/32757/statm: 4635 279 244 17 0 2626 0
[startup+0.10692 s]
/proc/loadavg: 1.02 1.22 1.51 5/83 32758
/proc/meminfo: memFree=1463096/2055920 swapFree=4192812/4192956
[pid=32757] ppid=32753 vsize=912760 CPUtime=0.07
/proc/32757/stat : 32757 (java) S 32753 32757 32648 0 -1 0 2788 0 1 0 6 1 0 0 16 0 8 0 155874869 934666240 2534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32757/statm: 228190 2534 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.514957 s]
/proc/loadavg: 1.02 1.22 1.51 5/83 32758
/proc/meminfo: memFree=1463096/2055920 swapFree=4192812/4192956
[pid=32757] ppid=32753 vsize=915328 CPUtime=0.48
/proc/32757/stat : 32757 (java) R 32753 32757 32648 0 -1 0 6748 0 1 0 44 4 0 0 18 0 8 0 155874869 937295872 6487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32757/statm: 228832 6487 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33603 s]
/proc/loadavg: 1.02 1.22 1.51 3/100 331
/proc/meminfo: memFree=1415720/2055920 swapFree=4192812/4192956
[pid=32757] ppid=32753 vsize=915456 CPUtime=1.28
/proc/32757/stat : 32757 (java) R 32753 32757 32648 0 -1 0 8633 0 1 0 123 5 0 0 24 0 8 0 155874869 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32757/statm: 228864 8371 2513 14 0 215334 0
[pid=32757/tid=311] ppid=32753 vsize=915456 CPUtime=0.03
/proc/32757/task/311/stat : 311 (java) S 32753 32757 32648 0 -1 64 290 0 0 0 3 0 0 0 17 0 8 0 155874874 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=314] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/314/stat : 314 (java) S 32753 32757 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874875 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=315] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/315/stat : 315 (java) S 32753 32757 32648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155874875 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=316] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/316/stat : 316 (java) S 32753 32757 32648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155874878 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32757/tid=317] ppid=32753 vsize=915456 CPUtime=0.21
/proc/32757/task/317/stat : 317 (java) S 32753 32757 32648 0 -1 64 381 0 0 0 20 1 0 0 15 0 8 0 155874878 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=318] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/318/stat : 318 (java) S 32753 32757 32648 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155874878 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32757/tid=319] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/319/stat : 319 (java) S 32753 32757 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155874878 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915456
[startup+2.97417 s]
/proc/loadavg: 1.02 1.22 1.51 3/100 331
/proc/meminfo: memFree=1415080/2055920 swapFree=4192812/4192956
[pid=32757] ppid=32753 vsize=915456 CPUtime=2.92
/proc/32757/stat : 32757 (java) R 32753 32757 32648 0 -1 0 8668 0 1 0 286 6 0 0 25 0 8 0 155874869 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32757/statm: 228864 8405 2513 14 0 215334 0
[pid=32757/tid=311] ppid=32753 vsize=915456 CPUtime=0.03
/proc/32757/task/311/stat : 311 (java) S 32753 32757 32648 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155874874 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=314] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/314/stat : 314 (java) S 32753 32757 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874875 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=315] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/315/stat : 315 (java) S 32753 32757 32648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155874875 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=316] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/316/stat : 316 (java) S 32753 32757 32648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155874878 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32757/tid=317] ppid=32753 vsize=915456 CPUtime=0.23
/proc/32757/task/317/stat : 317 (java) S 32753 32757 32648 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 155874878 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=318] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/318/stat : 318 (java) S 32753 32757 32648 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155874878 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32757/tid=319] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/319/stat : 319 (java) S 32753 32757 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155874878 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456
[startup+6.17746 s]
/proc/loadavg: 1.17 1.25 1.52 3/100 331
/proc/meminfo: memFree=1414960/2055920 swapFree=4192812/4192956
[pid=32757] ppid=32753 vsize=915456 CPUtime=6.11
/proc/32757/stat : 32757 (java) R 32753 32757 32648 0 -1 0 8677 0 1 0 605 6 0 0 25 0 8 0 155874869 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815007 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32757/statm: 228864 8413 2513 14 0 215334 0
[pid=32757/tid=311] ppid=32753 vsize=915456 CPUtime=0.03
/proc/32757/task/311/stat : 311 (java) S 32753 32757 32648 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155874874 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=314] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/314/stat : 314 (java) S 32753 32757 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874875 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=315] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/315/stat : 315 (java) S 32753 32757 32648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155874875 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=316] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/316/stat : 316 (java) S 32753 32757 32648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155874878 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32757/tid=317] ppid=32753 vsize=915456 CPUtime=0.23
/proc/32757/task/317/stat : 317 (java) S 32753 32757 32648 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155874878 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=318] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/318/stat : 318 (java) S 32753 32757 32648 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155874878 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32757/tid=319] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/319/stat : 319 (java) S 32753 32757 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155874878 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915456
[startup+12.6411 s]
/proc/loadavg: 1.24 1.26 1.52 4/100 331
/proc/meminfo: memFree=1414968/2055920 swapFree=4192812/4192956
[pid=32757] ppid=32753 vsize=915456 CPUtime=12.54
/proc/32757/stat : 32757 (java) R 32753 32757 32648 0 -1 0 8681 0 1 0 1248 6 0 0 25 0 8 0 155874869 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806512 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32757/statm: 228864 8417 2513 14 0 215334 0
[pid=32757/tid=311] ppid=32753 vsize=915456 CPUtime=0.03
/proc/32757/task/311/stat : 311 (java) S 32753 32757 32648 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155874874 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=314] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/314/stat : 314 (java) S 32753 32757 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874875 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=315] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/315/stat : 315 (java) S 32753 32757 32648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155874875 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=316] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/316/stat : 316 (java) S 32753 32757 32648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155874878 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32757/tid=317] ppid=32753 vsize=915456 CPUtime=0.23
/proc/32757/task/317/stat : 317 (java) S 32753 32757 32648 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155874878 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32757/tid=318] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/318/stat : 318 (java) S 32753 32757 32648 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155874878 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32757/tid=319] ppid=32753 vsize=915456 CPUtime=0
/proc/32757/task/319/stat : 319 (java) S 32753 32757 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155874878 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 21.3992
CPU time (s): 21.2378
CPU user time (s): 21.1668
CPU system time (s): 0.070989
CPU usage (%): 99.2454
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.1668
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8778
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= 1590
involuntary context switches= 2313
runsolver used 0.025996 s user time and 0.069989 s system time
The end
Begin job on node72 on Sat Jan 6 09:11:00 UTC 2007
IDJOB= 208236
IDBENCH= 4360
FILE ID= node72/208236-1168074660
PBS_JOBID= 3476024
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208236-1168074660/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-208236-1168074660 -o ROOT/results/node72/solver-208236-1168074660 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208236-1168074660/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ce607d986bea91dac75aa4b7cf5a42bb
RANDOM SEED= 430262374
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.223
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.223
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: 1465568 kB
Buffers: 40640 kB
Cached: 429444 kB
SwapCached: 0 kB
Active: 141584 kB
Inactive: 376560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1465568 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2300 kB
Writeback: 0 kB
Mapped: 67120 kB
Slab: 57236 kB
Committed_AS: 2569084 kB
PageTables: 2148 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= 66551 MiB
End job on node72 on Sat Jan 6 09:11:22 UTC 2007