0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/223914-1168080472/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.41 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=14 maxArity=2
0.62 => wckTime=0.309 cpuTime=0.23 mem=13M827
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.506 cpuTime=0.36 mem=13M749
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0020 cpuTime=0.0 mem=13M749
0.88
0.88 search
0.88 run=0 nbConstraintChecks=43117 nbPropagations=747 nbRevisions=5466 nbUselessRevisions=3756 nbAssignments=32
0.88 nbFailedAssignments=16 nbBacktracks=11 nbVisitedNodes=56 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.057 cpuTime=0.04 mem=14M724
0.90
0.90 search
0.90 run=1 nbConstraintChecks=103958 nbPropagations=2394 nbRevisions=18310 nbUselessRevisions=12589
0.90 nbAssignments=74 nbFailedAssignments=36 nbBacktracks=28 nbVisitedNodes=129 nbRestartNogoods=2 mapSize=24
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.08 cpuTime=0.06 mem=14M724
0.92
0.92 search
0.92 run=2 nbConstraintChecks=157310 nbPropagations=4928 nbRevisions=37813 nbUselessRevisions=26101
0.92 nbAssignments=119 nbFailedAssignments=53 nbBacktracks=51 nbVisitedNodes=205 nbRestartNogoods=4 mapSize=43
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.102 cpuTime=0.07 mem=14M724
0.94
0.94 search
0.94 run=3 nbConstraintChecks=227953 nbPropagations=8728 nbRevisions=66744 nbUselessRevisions=46250
0.94 nbAssignments=184 nbFailedAssignments=78 nbBacktracks=85 nbVisitedNodes=313 nbRestartNogoods=7 mapSize=68
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.12 cpuTime=0.08 mem=14M724
0.96
0.96 search
0.96 run=4 nbConstraintChecks=368529 nbPropagations=14773 nbRevisions=113446 nbUselessRevisions=78733
0.96 nbAssignments=290 nbFailedAssignments=128 nbBacktracks=136 nbVisitedNodes=504 nbRestartNogoods=13 mapSize=113
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.145 cpuTime=0.1 mem=14M724
1.00
1.00 search
1.00 run=5 nbConstraintChecks=537332 nbPropagations=23427 nbRevisions=180516 nbUselessRevisions=125275
1.00 nbAssignments=410 nbFailedAssignments=167 nbBacktracks=212 nbVisitedNodes=705 nbRestartNogoods=16 mapSize=168
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.176 cpuTime=0.13 mem=14M724
1.05
1.05 search
1.05 run=6 nbConstraintChecks=860230 nbPropagations=37486 nbRevisions=290709 nbUselessRevisions=201606
1.05 nbAssignments=664 nbFailedAssignments=298 nbBacktracks=327 nbVisitedNodes=1173 nbRestartNogoods=19 mapSize=273
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.234 cpuTime=0.19 mem=14M724
1.14
1.14 search
1.14 run=7 nbConstraintChecks=1339310 nbPropagations=59200 nbRevisions=461137 nbUselessRevisions=318626
1.14 nbAssignments=998 nbFailedAssignments=456 nbBacktracks=498 nbVisitedNodes=1774 nbRestartNogoods=24 mapSize=422
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.318 cpuTime=0.26 mem=14M724
1.25
1.25 search
1.25 run=8 nbConstraintChecks=1996974 nbPropagations=91814 nbRevisions=718527 nbUselessRevisions=495769
1.25 nbAssignments=1487 nbFailedAssignments=685 nbBacktracks=754 nbVisitedNodes=2654 nbRestartNogoods=27
1.25 mapSize=640 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.432 cpuTime=0.37 mem=14M724
1.40
1.40 search
1.40 run=9 nbConstraintChecks=2831474 nbPropagations=138822 nbRevisions=1085382 nbUselessRevisions=747578
1.40 nbAssignments=2167 nbFailedAssignments=976 nbBacktracks=1140 nbVisitedNodes=3843 nbRestartNogoods=33
1.40 mapSize=953 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.579 cpuTime=0.5 mem=14M724
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=14M724)
1.59
1.59 search
1.59 run=10 nbConstraintChecks=4130626 nbPropagations=207356 nbRevisions=1624281 nbUselessRevisions=1118672
1.59 nbAssignments=3202 nbFailedAssignments=1430 nbBacktracks=1716 nbVisitedNodes=5661 nbRestartNogoods=35
1.59 => wckTime=0.773 cpuTime=0.69 mem=14M724
1.92
1.92 search
1.92 run=11 nbConstraintChecks=6531978 nbPropagations=314115 nbRevisions=2463591 nbUselessRevisions=1694660
1.92 nbAssignments=4879 nbFailedAssignments=2240 nbBacktracks=2582 nbVisitedNodes=8715 nbRestartNogoods=45
1.92 => wckTime=1.099 cpuTime=1.01 mem=14M724
2.33
2.33 search
2.33 run=12 nbConstraintChecks=9437836 nbPropagations=470083 nbRevisions=3687860 nbUselessRevisions=2535945
2.33 nbAssignments=7182 nbFailedAssignments=3242 nbBacktracks=3880 nbVisitedNodes=12809 nbRestartNogoods=46
2.33 => wckTime=1.512 cpuTime=1.41 mem=14M724
2.96
2.96 search
2.96 run=13 nbConstraintChecks=13987920 nbPropagations=702584 nbRevisions=5506198 nbUselessRevisions=3785192
2.96 nbAssignments=10681 nbFailedAssignments=4789 nbBacktracks=5826 nbVisitedNodes=19054 nbRestartNogoods=51
2.96 => wckTime=2.14 cpuTime=2.04 mem=14M724
4.00
4.00 search
4.00 run=14 nbConstraintChecks=21484617 nbPropagations=1059401 nbRevisions=8306787 nbUselessRevisions=5711282
4.00 nbAssignments=16246 nbFailedAssignments=7428 nbBacktracks=8746 nbVisitedNodes=29128 nbRestartNogoods=61
4.00 => wckTime=3.178 cpuTime=3.07 mem=14M724
5.45
5.45 search
5.45 run=15 nbConstraintChecks=31954359 nbPropagations=1592210 nbRevisions=12470265 nbUselessRevisions=8571887
5.45 nbAssignments=24183 nbFailedAssignments=10979 nbBacktracks=13124 nbVisitedNodes=43302 nbRestartNogoods=73
5.45 => wckTime=4.634 cpuTime=4.51 mem=14M724
7.54
7.54 search
7.54 run=16 nbConstraintChecks=47184739 nbPropagations=2375150 nbRevisions=18617809 nbUselessRevisions=12805725
7.54 nbAssignments=35458 nbFailedAssignments=16030 nbBacktracks=19308 nbVisitedNodes=63452 nbRestartNogoods=82
7.54 => wckTime=6.717 cpuTime=6.58 mem=14M724
7.54
7.54 global
7.54 nbConstraintChecks=47184739 nbPropagations=2375190 nbRevisions=18617809 nbUselessRevisions=12805725
7.54 nbRestartNogoods=82 solvingWckTime=6.719 solvingCpuTime=6.58 expiredTime=no totalExploration=no
7.54 nbFoundSolutions=1 globalCpuTime=7.0
7.54 => wckTime=7.228 cpuTime=6.95 mem=14M724
7.54
7.54 s SATISFIABLE
7.54 v 11 23 19 0 18 24 8 20 6 2 13 22 8 8 8 17 3 0 10 6 13 16 19 13 17 10 0 5 7 24 10 0 19 13 16 19 8 13 21 23
7.54 d NODES 35458
7.54 d CHECKS 47184739
7.54
7.54 totalWckTime=7.309 totalCpuTime=7.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-223914-1168080472 -o ROOT/results/node17/solver-223914-1168080472 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223914-1168080472/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.23 1.65 1.80 4/93 14585
/proc/meminfo: memFree=1480488/2055920 swapFree=4192812/4192956
[pid=14584] ppid=14582 vsize=907676 CPUtime=0.03
/proc/14584/stat : 14584 (java) S 14582 14584 14461 0 -1 0 2169 0 1 0 2 1 0 0 19 0 4 0 156442168 929460224 1918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/14584/statm: 226919 1918 1089 14 0 214502 0
[pid=14584/tid=14586] ppid=14582 vsize=907676 CPUtime=0
/proc/14584/task/14586/stat : 14586 (java) S 14582 14584 14461 0 -1 64 5 0 0 0 0 0 0 0 19 0 4 0 156442171 929460224 1918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=14584/tid=14587] ppid=14582 vsize=907676 CPUtime=0
/proc/14584/task/14587/stat : 14587 (java) S 14582 14584 14461 0 -1 64 9 0 0 0 0 0 0 0 19 0 4 0 156442172 929460224 1918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=14584/tid=14588] ppid=14582 vsize=907676 CPUtime=0
/proc/14584/task/14588/stat : 14588 (java) R 14582 14584 14461 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 156442172 929460224 1918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3706840 0 4 0 7368 0 0 0 -1 1 0 0
[startup+0.103166 s]
/proc/loadavg: 1.23 1.65 1.80 4/93 14585
/proc/meminfo: memFree=1480488/2055920 swapFree=4192812/4192956
[pid=14584] ppid=14582 vsize=914988 CPUtime=0.09
/proc/14584/stat : 14584 (java) R 14582 14584 14461 0 -1 0 3004 0 1 0 7 2 0 0 17 0 8 0 156442168 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155518291 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14584/statm: 228747 2750 1430 14 0 215242 0
[pid=14584/tid=14586] ppid=14582 vsize=914988 CPUtime=0
/proc/14584/task/14586/stat : 14586 (java) S 14582 14584 14461 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 156442171 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14587] ppid=14582 vsize=914988 CPUtime=0
/proc/14584/task/14587/stat : 14587 (java) S 14582 14584 14461 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 156442172 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14588] ppid=14582 vsize=914988 CPUtime=0
/proc/14584/task/14588/stat : 14588 (java) S 14582 14584 14461 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156442172 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511207 s]
/proc/loadavg: 1.23 1.65 1.80 4/93 14585
/proc/meminfo: memFree=1480488/2055920 swapFree=4192812/4192956
[pid=14584] ppid=14582 vsize=915328 CPUtime=0.5
/proc/14584/stat : 14584 (java) R 14582 14584 14461 0 -1 0 7154 0 1 0 45 5 0 0 18 0 8 0 156442168 937295872 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14584/statm: 228832 6893 2137 14 0 215302 0
[pid=14584/tid=14586] ppid=14582 vsize=915328 CPUtime=0
/proc/14584/task/14586/stat : 14586 (java) S 14582 14584 14461 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 156442171 937295872 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14587] ppid=14582 vsize=915328 CPUtime=0
/proc/14584/task/14587/stat : 14587 (java) S 14582 14584 14461 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 156442172 937295872 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14588] ppid=14582 vsize=915328 CPUtime=0
/proc/14584/task/14588/stat : 14588 (java) S 14582 14584 14461 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156442172 937295872 6893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33229 s]
/proc/loadavg: 1.23 1.65 1.80 4/100 14592
/proc/meminfo: memFree=1456944/2055920 swapFree=4192812/4192956
[pid=14584] ppid=14582 vsize=915452 CPUtime=1.3
/proc/14584/stat : 14584 (java) R 14582 14584 14461 0 -1 0 8641 0 1 0 124 6 0 0 19 0 8 0 156442168 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819840 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14584/statm: 228863 8379 2513 14 0 215333 0
[pid=14584/tid=14586] ppid=14582 vsize=915452 CPUtime=0.02
/proc/14584/task/14586/stat : 14586 (java) S 14582 14584 14461 0 -1 64 243 0 0 0 2 0 0 0 16 0 8 0 156442171 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14587] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14587/stat : 14587 (java) S 14582 14584 14461 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156442172 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14588] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14588/stat : 14588 (java) S 14582 14584 14461 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442172 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14589] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14589/stat : 14589 (java) S 14582 14584 14461 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156442175 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14590] ppid=14582 vsize=915452 CPUtime=0.21
/proc/14584/task/14590/stat : 14590 (java) S 14582 14584 14461 0 -1 64 381 0 0 0 20 1 0 0 18 0 8 0 156442175 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14591] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14591/stat : 14591 (java) S 14582 14584 14461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442175 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14592] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14592/stat : 14592 (java) S 14582 14584 14461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156442175 937422848 8379 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) 915452
[startup+2.96946 s]
/proc/loadavg: 1.23 1.65 1.80 3/100 14592
/proc/meminfo: memFree=1456816/2055920 swapFree=4192812/4192956
[pid=14584] ppid=14582 vsize=915452 CPUtime=2.93
/proc/14584/stat : 14584 (java) R 14582 14584 14461 0 -1 0 8647 0 1 0 287 6 0 0 25 0 8 0 156442168 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14584/statm: 228863 8384 2513 14 0 215333 0
[pid=14584/tid=14586] ppid=14582 vsize=915452 CPUtime=0.02
/proc/14584/task/14586/stat : 14586 (java) S 14582 14584 14461 0 -1 64 243 0 0 0 2 0 0 0 16 0 8 0 156442171 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14587] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14587/stat : 14587 (java) S 14582 14584 14461 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156442172 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14588] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14588/stat : 14588 (java) S 14582 14584 14461 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442172 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14589] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14589/stat : 14589 (java) S 14582 14584 14461 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156442175 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14590] ppid=14582 vsize=915452 CPUtime=0.22
/proc/14584/task/14590/stat : 14590 (java) S 14582 14584 14461 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 156442175 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14591] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14591/stat : 14591 (java) S 14582 14584 14461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442175 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14592] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14592/stat : 14592 (java) S 14582 14584 14461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156442175 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.2578 s]
/proc/loadavg: 1.29 1.66 1.80 3/100 14592
/proc/meminfo: memFree=1456752/2055920 swapFree=4192812/4192956
[pid=14584] ppid=14582 vsize=915452 CPUtime=6.19
/proc/14584/stat : 14584 (java) R 14582 14584 14461 0 -1 0 8648 0 1 0 613 6 0 0 25 0 8 0 156442168 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14584/statm: 228863 8384 2513 14 0 215333 0
[pid=14584/tid=14586] ppid=14582 vsize=915452 CPUtime=0.02
/proc/14584/task/14586/stat : 14586 (java) S 14582 14584 14461 0 -1 64 243 0 0 0 2 0 0 0 16 0 8 0 156442171 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14587] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14587/stat : 14587 (java) S 14582 14584 14461 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156442172 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14588] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14588/stat : 14588 (java) S 14582 14584 14461 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442172 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14589] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14589/stat : 14589 (java) S 14582 14584 14461 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156442175 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14590] ppid=14582 vsize=915452 CPUtime=0.22
/proc/14584/task/14590/stat : 14590 (java) S 14582 14584 14461 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 156442175 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14591] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14591/stat : 14591 (java) S 14582 14584 14461 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442175 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14584/tid=14592] ppid=14582 vsize=915452 CPUtime=0
/proc/14584/task/14592/stat : 14592 (java) S 14582 14584 14461 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156442175 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 7.58539
CPU time (s): 7.48086
CPU user time (s): 7.40587
CPU system time (s): 0.074988
CPU usage (%): 98.6219
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.40587
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8730
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= 919
involuntary context switches= 1276
runsolver used 0.013997 s user time and 0.026995 s system time
The end
Begin job on node17 on Sat Jan 6 10:47:54 UTC 2007
IDJOB= 223914
IDBENCH= 5692
FILE ID= node17/223914-1168080472
PBS_JOBID= 3475862
Free space on /tmp= 66314 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-63_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223914-1168080472/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-223914-1168080472 -o ROOT/results/node17/solver-223914-1168080472 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223914-1168080472/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7ddc91627024e57b76d582094d28a6e2
RANDOM SEED= 585831880
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.236
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.236
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: 1480904 kB
Buffers: 47140 kB
Cached: 250224 kB
SwapCached: 0 kB
Active: 274716 kB
Inactive: 210656 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1480904 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2084 kB
Writeback: 0 kB
Mapped: 217068 kB
Slab: 73964 kB
Committed_AS: 4624904 kB
PageTables: 2544 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= 66314 MiB
End job on node17 on Sat Jan 6 10:48:02 UTC 2007