0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/247491-1168085849/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.40 => wckTime=0.095 cpuTime=0.07 mem=6M951
0.40
0.40 relations being loaded...
3.82
3.83 INFO : Contraction of relations, mem = 102M862
6.07
6.07 constraints being loaded...
9.38 nbConstraints=18 nbRelationTypes=18 nbExtensionStructures=18 nbSharedExtensionStructures=0
9.38 nbConflictsStructures=18 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=8
9.38 => wckTime=9.078 cpuTime=7.28 mem=229M667
10.22
10.22 solver IterativeSystematicSolver being built...
10.37 => wckTime=10.068 cpuTime=7.41 mem=143M135
10.38
10.38 preprocessing
10.38 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
10.38 detectedInconsistency=no
10.38 => wckTime=0.0020 cpuTime=0.0 mem=143M135
10.46
10.46 search
10.46 run=0 nbConstraintChecks=12209 nbValidityChecks=19358 nbPropagations=157 nbRevisions=2410
10.46 nbUselessRevisions=2096 nbAssignments=32 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=54
10.46 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
10.46 => wckTime=0.082 cpuTime=0.06 mem=143M794
10.50
10.50 search
10.50 run=1 nbConstraintChecks=20904 nbValidityChecks=36815 nbPropagations=439 nbRevisions=7400
10.50 nbUselessRevisions=6526 nbAssignments=67 nbFailedAssignments=26 nbBacktracks=25 nbVisitedNodes=109
10.50 nbRestartNogoods=2 mapSize=19 nbInferences=0 nbTooLargeKeys=0
10.50 => wckTime=0.128 cpuTime=0.1 mem=143M794
10.57
10.57 search
10.57 run=2 nbConstraintChecks=39497 nbValidityChecks=70798 nbPropagations=1005 nbRevisions=17396
10.57 nbUselessRevisions=15345 nbAssignments=120 nbFailedAssignments=49 nbBacktracks=49 nbVisitedNodes=201
10.57 nbRestartNogoods=4 mapSize=40 nbInferences=0 nbTooLargeKeys=0
10.57 => wckTime=0.197 cpuTime=0.17 mem=143M794
10.65
10.65 search
10.65 run=3 nbConstraintChecks=62285 nbValidityChecks=110864 nbPropagations=1894 nbRevisions=33049
10.65 nbUselessRevisions=29148 nbAssignments=186 nbFailedAssignments=72 nbBacktracks=82 nbVisitedNodes=309
10.65 nbRestartNogoods=6 mapSize=67 nbInferences=0 nbTooLargeKeys=0
10.65 => wckTime=0.281 cpuTime=0.24 mem=143M794
10.77
10.77 search
10.77 run=4 nbConstraintChecks=97342 nbValidityChecks=171713 nbPropagations=3276 nbRevisions=57117
10.77 nbUselessRevisions=50229 nbAssignments=291 nbFailedAssignments=119 nbBacktracks=133 nbVisitedNodes=489
10.77 nbRestartNogoods=11 mapSize=109 nbInferences=0 nbTooLargeKeys=0
10.77 => wckTime=0.396 cpuTime=0.35 mem=143M794
10.95
10.95 search
10.95 run=5 nbConstraintChecks=155056 nbValidityChecks=274018 nbPropagations=5463 nbRevisions=95659
10.95 nbUselessRevisions=83976 nbAssignments=444 nbFailedAssignments=189 nbBacktracks=211 nbVisitedNodes=757
10.95 nbRestartNogoods=15 mapSize=171 nbInferences=0 nbTooLargeKeys=0
10.95 => wckTime=0.578 cpuTime=0.54 mem=143M794
11.16
11.16 search
11.16 run=6 nbConstraintChecks=222754 nbValidityChecks=395749 nbPropagations=8751 nbRevisions=151945
11.16 nbUselessRevisions=133101 nbAssignments=661 nbFailedAssignments=284 nbBacktracks=327 nbVisitedNodes=1132
11.16 nbRestartNogoods=17 mapSize=261 nbInferences=0 nbTooLargeKeys=0
11.16 => wckTime=0.791 cpuTime=0.75 mem=143M794
11.50
11.50 search
11.50 run=7 nbConstraintChecks=331333 nbValidityChecks=584416 nbPropagations=13644 nbRevisions=235112
11.50 nbUselessRevisions=205706 nbAssignments=967 nbFailedAssignments=413 nbBacktracks=497 nbVisitedNodes=1655
11.50 nbRestartNogoods=20 mapSize=397 nbInferences=0 nbTooLargeKeys=0
11.50 => wckTime=1.122 cpuTime=1.08 mem=143M794
11.95
11.95 search
11.95 run=8 nbConstraintChecks=474785 nbValidityChecks=842619 nbPropagations=20897 nbRevisions=356328
11.95 nbUselessRevisions=311474 nbAssignments=1419 nbFailedAssignments=600 nbBacktracks=754 nbVisitedNodes=2432
11.95 nbRestartNogoods=27 mapSize=594 nbInferences=0 nbTooLargeKeys=0
11.95 => wckTime=1.572 cpuTime=1.52 mem=143M794
12.66
12.66 search
12.66 run=9 nbConstraintChecks=703432 nbValidityChecks=1255235 nbPropagations=31880 nbRevisions=538372
12.66 nbUselessRevisions=470051 nbAssignments=2116 nbFailedAssignments=904 nbBacktracks=1140 nbVisitedNodes=3634
12.66 nbRestartNogoods=35 mapSize=883 nbInferences=0 nbTooLargeKeys=0
12.66 => wckTime=2.284 cpuTime=2.21 mem=143M794
12.93
12.93 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=143M794)
13.68
13.68 search
13.68 run=10 nbConstraintChecks=1045522 nbValidityChecks=1864293 nbPropagations=48264 nbRevisions=809255
13.68 nbUselessRevisions=705691 nbAssignments=3148 nbFailedAssignments=1353 nbBacktracks=1716 nbVisitedNodes=5421
13.68 nbRestartNogoods=45
13.68 => wckTime=3.305 cpuTime=3.23 mem=143M794
15.17
15.17 search
15.17 run=11 nbConstraintChecks=1553697 nbValidityChecks=2766947 nbPropagations=72739 nbRevisions=1211074
15.17 nbUselessRevisions=1054686 nbAssignments=4736 nbFailedAssignments=2069 nbBacktracks=2580 nbVisitedNodes=8176
15.17 nbRestartNogoods=55
15.17 => wckTime=4.797 cpuTime=4.72 mem=143M794
17.51
17.51 search
17.51 run=12 nbConstraintChecks=2348649 nbValidityChecks=4170159 nbPropagations=109554 nbRevisions=1814272
17.51 nbUselessRevisions=1578083 nbAssignments=7138 nbFailedAssignments=3166 nbBacktracks=3877 nbVisitedNodes=12380
17.51 nbRestartNogoods=61
17.51 => wckTime=7.139 cpuTime=7.06 mem=143M794
21.11
21.11 search
21.11 run=13 nbConstraintChecks=3574005 nbValidityChecks=6347356 nbPropagations=165849 nbRevisions=2732161
21.11 nbUselessRevisions=2373869 nbAssignments=10818 nbFailedAssignments=4892 nbBacktracks=5824 nbVisitedNodes=18841
21.11 nbRestartNogoods=70
21.11 => wckTime=10.734 cpuTime=10.65 mem=143M794
26.72
26.72 search
26.72 run=14 nbConstraintChecks=5478761 nbValidityChecks=9712297 nbPropagations=251913 nbRevisions=4134560
26.72 nbUselessRevisions=3589677 nbAssignments=16273 nbFailedAssignments=7418 nbBacktracks=8745 nbVisitedNodes=28483
26.72 nbRestartNogoods=84
26.72 => wckTime=16.343 cpuTime=16.26 mem=143M794
34.43
34.43 search
34.43 run=15 nbConstraintChecks=8114120 nbValidityChecks=14405123 nbPropagations=380832 nbRevisions=6220960
34.43 nbUselessRevisions=5397722 nbAssignments=24319 nbFailedAssignments=11078 nbBacktracks=13123
34.43 nbVisitedNodes=42571 nbRestartNogoods=95
34.43 => wckTime=24.061 cpuTime=23.97 mem=143M794
46.43
46.43 search
46.43 run=16 nbConstraintChecks=12198793 nbValidityChecks=21635108 nbPropagations=575260 nbRevisions=9358715
46.44 nbUselessRevisions=8115636 nbAssignments=36556 nbFailedAssignments=16739 nbBacktracks=19691
46.44 nbVisitedNodes=64074 nbRestartNogoods=106
46.44 => wckTime=36.061 cpuTime=35.96 mem=143M794
64.20
64.20 search
64.20 run=17 nbConstraintChecks=18231520 nbValidityChecks=32365589 nbPropagations=866244 nbRevisions=14055709
64.20 nbUselessRevisions=12183705 nbAssignments=54876 nbFailedAssignments=25200 nbBacktracks=29544
64.20 nbVisitedNodes=96231 nbRestartNogoods=121
64.20 => wckTime=53.827 cpuTime=53.73 mem=143M794
90.42
90.42 search
90.42 run=18 nbConstraintChecks=27098949 nbValidityChecks=48140727 nbPropagations=1300258 nbRevisions=21053555
90.42 nbUselessRevisions=18244306 nbAssignments=81915 nbFailedAssignments=37453 nbBacktracks=44322
90.42 nbVisitedNodes=143508 nbRestartNogoods=132
90.42 => wckTime=80.042 cpuTime=79.93 mem=143M794
110.54
110.54 search
110.54 run=19 nbConstraintChecks=33925931 nbValidityChecks=60281543 nbPropagations=1844446 nbRevisions=29820306
110.54 nbUselessRevisions=25834511 nbAssignments=102699 nbFailedAssignments=47056 nbBacktracks=55483
110.54 nbVisitedNodes=179965 nbRestartNogoods=141
110.54 => wckTime=100.169 cpuTime=100.05 mem=143M794
110.54
110.54 global
110.54 nbConstraintChecks=33925931 nbValidityChecks=60281543 nbPropagations=1844466 nbRevisions=29820306
110.54 nbUselessRevisions=25834511 nbRestartNogoods=141 solvingWckTime=100.17 solvingCpuTime=100.05 expiredTime=no
110.54 totalExploration=no nbFoundSolutions=1 globalCpuTime=107.51
110.54 => wckTime=110.24 cpuTime=107.46 mem=143M794
110.55
110.55 s SATISFIABLE
110.55 v 0 1 4 3 4 4 2 3 4 2 3 3 4 3 1 0 1 3 3 3
110.55 d NODES 102699
110.55 d CHECKS 33925931
110.55
110.55 totalWckTime=110.314 totalCpuTime=107.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-247491-1168085849 -o ROOT/results/node4/solver-247491-1168085849 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247491-1168085849/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.16 0.29 0.92 2/81 15412
/proc/meminfo: memFree=1541208/2055920 swapFree=4191880/4192956
[pid=15411] ppid=15409 vsize=1500 CPUtime=0
/proc/15411/stat : 15411 (java) R 15409 15411 15083 0 -1 0 77 0 0 0 0 0 0 0 19 0 1 0 156981997 1536000 59 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10560096 0 0 4096 0 0 0 0 17 1 0 0
/proc/15411/statm: 375 68 55 14 0 8 0
[startup+0.102567 s]
/proc/loadavg: 0.16 0.29 0.92 2/81 15412
/proc/meminfo: memFree=1541208/2055920 swapFree=4191880/4192956
[pid=15411] ppid=15409 vsize=914988 CPUtime=0.08
/proc/15411/stat : 15411 (java) R 15409 15411 15083 0 -1 0 2981 0 1 0 6 2 0 0 22 0 8 0 156981997 936947712 2727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15411/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.5106 s]
/proc/loadavg: 0.16 0.29 0.92 2/81 15412
/proc/meminfo: memFree=1541208/2055920 swapFree=4191880/4192956
[pid=15411] ppid=15409 vsize=915328 CPUtime=0.48
/proc/15411/stat : 15411 (java) R 15409 15411 15083 0 -1 0 9879 0 1 0 42 6 0 0 17 0 8 0 156981997 937295872 9618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562846 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 228832 9619 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33167 s]
/proc/loadavg: 0.16 0.29 0.92 2/88 15419
/proc/meminfo: memFree=1471008/2055920 swapFree=4191880/4192956
[pid=15411] ppid=15409 vsize=915328 CPUtime=1.3
/proc/15411/stat : 15411 (java) R 15409 15411 15083 0 -1 0 19892 0 1 0 119 11 0 0 20 0 8 0 156981997 937295872 19630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445349 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 228832 19630 2147 14 0 215302 0
[pid=15411/tid=15413] ppid=15409 vsize=915328 CPUtime=0.04
/proc/15411/task/15413/stat : 15413 (java) S 15409 15411 15083 0 -1 64 3481 0 0 0 3 1 0 0 16 0 8 0 156982001 937295872 19630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=915328 CPUtime=0
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 15083 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156982002 937295872 19630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15415] ppid=15409 vsize=915328 CPUtime=0
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 15083 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156982002 937295872 19630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15416] ppid=15409 vsize=915328 CPUtime=0
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 15083 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156982005 937295872 19630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=915328 CPUtime=0.07
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 15083 0 -1 64 304 0 0 0 7 0 0 0 16 0 8 0 156982005 937295872 19630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=915328 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156982005 937295872 19630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=915328 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156982005 937295872 19630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.96884 s]
/proc/loadavg: 0.23 0.30 0.92 2/88 15419
/proc/meminfo: memFree=1447584/2055920 swapFree=4191880/4192956
[pid=15411] ppid=15409 vsize=915328 CPUtime=2.94
/proc/15411/stat : 15411 (java) R 15409 15411 15083 0 -1 0 30340 0 1 0 277 17 0 0 17 0 8 0 156981997 937295872 30074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073552133 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15411/statm: 228832 30074 2147 14 0 215302 0
[pid=15411/tid=15413] ppid=15409 vsize=915328 CPUtime=0.22
/proc/15411/task/15413/stat : 15413 (java) S 15409 15411 15083 0 -1 64 13923 0 0 0 17 5 0 0 16 0 8 0 156982001 937295872 30074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=915328 CPUtime=0
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 15083 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156982002 937295872 30074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15415] ppid=15409 vsize=915328 CPUtime=0
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 15083 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156982002 937295872 30074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15416] ppid=15409 vsize=915328 CPUtime=0
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 15083 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156982005 937295872 30074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=915328 CPUtime=0.07
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 15083 0 -1 64 306 0 0 0 7 0 0 0 16 0 8 0 156982005 937295872 30074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=915328 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156982005 937295872 30074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=915328 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156982005 937295872 30074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915328
[startup+6.27115 s]
/proc/loadavg: 0.23 0.30 0.92 2/88 15422
/proc/meminfo: memFree=1393888/2055920 swapFree=4191880/4192956
[pid=15411] ppid=15409 vsize=915400 CPUtime=6.23
/proc/15411/stat : 15411 (java) R 15409 15411 15083 0 -1 0 40818 0 1 0 601 22 0 0 16 0 8 0 156981997 937369600 38971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 228850 38971 2162 14 0 215320 0
[pid=15411/tid=15413] ppid=15409 vsize=915400 CPUtime=0.97
/proc/15411/task/15413/stat : 15413 (java) S 15409 15411 15083 0 -1 64 24356 0 0 0 87 10 0 0 16 0 8 0 156982001 937369600 38971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 15083 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156982002 937369600 38971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15415] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 15083 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156982002 937369600 38971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15416] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 15083 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156982005 937369600 38971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=915400 CPUtime=0.09
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 15083 0 -1 64 319 0 0 0 9 0 0 0 16 0 8 0 156982005 937369600 38971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156982005 937369600 38971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156982005 937369600 38971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915400
[startup+12.7368 s]
/proc/loadavg: 0.34 0.32 0.92 2/88 15424
/proc/meminfo: memFree=1300000/2055920 swapFree=4191880/4192956
[pid=15411] ppid=15409 vsize=915400 CPUtime=12.69
/proc/15411/stat : 15411 (java) R 15409 15411 15083 0 -1 0 64504 0 1 0 1237 32 0 0 17 0 8 0 156981997 937369600 62648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073635282 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 228850 62648 2522 14 0 215320 0
[pid=15411/tid=15413] ppid=15409 vsize=915400 CPUtime=2.53
/proc/15411/task/15413/stat : 15413 (java) S 15409 15411 15083 0 -1 64 47543 0 0 0 234 19 0 0 17 0 8 0 156982001 937369600 62648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 15083 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156982002 937369600 62648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15415] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 15083 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156982002 937369600 62648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15416] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 15083 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156982005 937369600 62648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=915400 CPUtime=0.21
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 15083 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 156982005 937369600 62648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156982005 937369600 62648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156982005 937369600 62648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915400
[startup+25.592 s]
/proc/loadavg: 0.44 0.34 0.92 2/88 15466
/proc/meminfo: memFree=1298208/2055920 swapFree=4191880/4192956
[pid=15411] ppid=15409 vsize=915400 CPUtime=25.54
/proc/15411/stat : 15411 (java) R 15409 15411 15083 0 -1 0 64509 0 1 0 2522 32 0 0 25 0 8 0 156981997 937369600 62652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 228850 62652 2522 14 0 215320 0
[pid=15411/tid=15413] ppid=15409 vsize=915400 CPUtime=2.53
/proc/15411/task/15413/stat : 15413 (java) S 15409 15411 15083 0 -1 64 47543 0 0 0 234 19 0 0 16 0 8 0 156982001 937369600 62652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 15083 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156982002 937369600 62652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15415] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 15083 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156982002 937369600 62652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15416] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 15083 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156982005 937369600 62652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=915400 CPUtime=0.22
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 15083 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 156982005 937369600 62652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156982005 937369600 62652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156982005 937369600 62652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915400
[startup+51.2825 s]
/proc/loadavg: 0.63 0.39 0.92 2/88 15474
/proc/meminfo: memFree=1298080/2055920 swapFree=4191880/4192956
[pid=15411] ppid=15409 vsize=915400 CPUtime=51.22
/proc/15411/stat : 15411 (java) R 15409 15411 15083 0 -1 0 64511 0 1 0 5089 33 0 0 25 0 8 0 156981997 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073762521 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 228850 62653 2522 14 0 215320 0
[pid=15411/tid=15413] ppid=15409 vsize=915400 CPUtime=2.53
/proc/15411/task/15413/stat : 15413 (java) S 15409 15411 15083 0 -1 64 47543 0 0 0 234 19 0 0 16 0 8 0 156982001 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 15083 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156982002 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15415] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 15083 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156982002 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15416] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 15083 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156982005 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=915400 CPUtime=0.22
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 15083 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 156982005 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156982005 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156982005 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915400
[startup+102.553 s]
/proc/loadavg: 0.85 0.49 0.92 2/88 15476
/proc/meminfo: memFree=1300128/2055920 swapFree=4191880/4192956
[pid=15411] ppid=15409 vsize=915400 CPUtime=102.47
/proc/15411/stat : 15411 (java) R 15409 15411 15083 0 -1 0 64511 0 1 0 10214 33 0 0 25 0 8 0 156981997 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756948 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 228850 62653 2522 14 0 215320 0
[pid=15411/tid=15413] ppid=15409 vsize=915400 CPUtime=2.53
/proc/15411/task/15413/stat : 15413 (java) S 15409 15411 15083 0 -1 64 47543 0 0 0 234 19 0 0 16 0 8 0 156982001 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15414] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 15083 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156982002 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15415] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 15083 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156982002 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15416] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 15083 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156982005 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=915400 CPUtime=0.22
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 15083 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 156982005 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156982005 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=915400 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156982005 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.47
Current children cumulated vsize (KiB) 915400
Child status: 0
Real time (s): 110.597
CPU time (s): 110.517
CPU user time (s): 110.141
CPU system time (s): 0.375942
CPU usage (%): 99.9279
Max. virtual memory (cumulated for all children) (KiB): 919404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.141
system time used= 0.375942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64521
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= 3154
involuntary context switches= 2540
runsolver used 0.091986 s user time and 0.312952 s system time
The end
Begin job on node4 on Sat Jan 6 12:17:41 UTC 2007
IDJOB= 247491
IDBENCH= 11137
FILE ID= node4/247491-1168085849
PBS_JOBID= 3476334
Free space on /tmp= 66287 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247491-1168085849/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-247491-1168085849 -o ROOT/results/node4/solver-247491-1168085849 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247491-1168085849/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 45d8a09f61b353ccfcec45ac81b8b919
RANDOM SEED= 931381372
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: 1540856 kB
Buffers: 54848 kB
Cached: 326160 kB
SwapCached: 268 kB
Active: 112812 kB
Inactive: 317568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1540856 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 23860 kB
Writeback: 0 kB
Mapped: 67572 kB
Slab: 69692 kB
Committed_AS: 3815456 kB
PageTables: 2232 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= 66287 MiB
End job on node4 on Sat Jan 6 12:19:35 UTC 2007