0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/247412-1168392345/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.41 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
3.82
3.82 INFO : Contraction of relations, mem = 102M790
6.11
6.11 constraints being loaded...
9.64 nbConstraints=18 nbRelationTypes=18 nbExtensionStructures=18 nbSharedExtensionStructures=0
9.64 nbConflictsStructures=18 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=8
9.64 => wckTime=9.32 cpuTime=7.41 mem=229M655
10.57
10.57 solver IterativeSystematicSolver being built...
10.73 => wckTime=10.407 cpuTime=7.55 mem=143M405
10.78
10.78 preprocessing
10.78 nbConstraintChecks=4499 nbValidityChecks=8415 nbPropagations=63 nbRevisions=1111 nbUselessRevisions=1071
10.78 nbSingletonTests=23 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
10.78 => wckTime=0.049 cpuTime=0.03 mem=143M405
10.83
10.83 search
10.83 run=0 nbConstraintChecks=10435 nbValidityChecks=15866 nbPropagations=172 nbRevisions=3059
10.83 nbUselessRevisions=2827 nbAssignments=25 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=40
10.83 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
10.83 => wckTime=0.097 cpuTime=0.07 mem=144M32
10.89
10.89 search
10.89 run=1 nbConstraintChecks=27851 nbValidityChecks=47175 nbPropagations=596 nbRevisions=10737
10.89 nbUselessRevisions=9741 nbAssignments=66 nbFailedAssignments=25 nbBacktracks=26 nbVisitedNodes=111
10.89 nbRestartNogoods=2 mapSize=23 nbInferences=0 nbTooLargeKeys=0
10.89 => wckTime=0.165 cpuTime=0.14 mem=144M32
10.96
10.96 search
10.96 run=2 nbConstraintChecks=44964 nbValidityChecks=76558 nbPropagations=1257 nbRevisions=22305
10.96 nbUselessRevisions=20028 nbAssignments=119 nbFailedAssignments=48 nbBacktracks=48 nbVisitedNodes=200
10.96 nbRestartNogoods=6 mapSize=40 nbInferences=0 nbTooLargeKeys=0
10.96 => wckTime=0.233 cpuTime=0.2 mem=144M32
11.09
11.09 search
11.09 run=3 nbConstraintChecks=82576 nbValidityChecks=137700 nbPropagations=2365 nbRevisions=41970
11.09 nbUselessRevisions=37487 nbAssignments=196 nbFailedAssignments=82 nbBacktracks=85 nbVisitedNodes=332
11.09 nbRestartNogoods=10 mapSize=71 nbInferences=0 nbTooLargeKeys=0
11.09 => wckTime=0.357 cpuTime=0.31 mem=144M32
11.23
11.23 search
11.23 run=4 nbConstraintChecks=128048 nbValidityChecks=211723 nbPropagations=4086 nbRevisions=71567
11.23 nbUselessRevisions=63587 nbAssignments=305 nbFailedAssignments=131 nbBacktracks=137 nbVisitedNodes=520
11.23 nbRestartNogoods=12 mapSize=116 nbInferences=0 nbTooLargeKeys=0
11.23 => wckTime=0.499 cpuTime=0.45 mem=144M32
11.41
11.41 search
11.41 run=5 nbConstraintChecks=185744 nbValidityChecks=317123 nbPropagations=6671 nbRevisions=116747
11.41 nbUselessRevisions=103356 nbAssignments=470 nbFailedAssignments=214 nbBacktracks=213 nbVisitedNodes=814
11.41 nbRestartNogoods=20 mapSize=183 nbInferences=0 nbTooLargeKeys=0
11.41 => wckTime=0.682 cpuTime=0.62 mem=144M32
11.66
11.66 search
11.66 run=6 nbConstraintChecks=261725 nbValidityChecks=450188 nbPropagations=10424 nbRevisions=181373
11.66 nbUselessRevisions=160147 nbAssignments=679 nbFailedAssignments=302 nbBacktracks=326 nbVisitedNodes=1171
11.66 nbRestartNogoods=22 mapSize=276 nbInferences=0 nbTooLargeKeys=0
11.66 => wckTime=0.934 cpuTime=0.88 mem=144M32
12.06
12.06 search
12.06 run=7 nbConstraintChecks=391011 nbValidityChecks=665508 nbPropagations=15991 nbRevisions=275638
12.06 nbUselessRevisions=242598 nbAssignments=1010 nbFailedAssignments=454 nbBacktracks=496 nbVisitedNodes=1753
12.06 nbRestartNogoods=28 mapSize=420 nbInferences=0 nbTooLargeKeys=0
12.06 => wckTime=1.328 cpuTime=1.27 mem=144M32
12.67
12.67 search
12.67 run=8 nbConstraintChecks=592456 nbValidityChecks=1018827 nbPropagations=24501 nbRevisions=421073
12.67 nbUselessRevisions=369700 nbAssignments=1538 nbFailedAssignments=701 nbBacktracks=754 nbVisitedNodes=2657
12.67 nbRestartNogoods=38 mapSize=648 nbInferences=0 nbTooLargeKeys=0
12.68 => wckTime=1.946 cpuTime=1.87 mem=144M32
13.64
13.64 search
13.64 run=9 nbConstraintChecks=924491 nbValidityChecks=1591897 nbPropagations=37993 nbRevisions=649730
13.64 nbUselessRevisions=568552 nbAssignments=2375 nbFailedAssignments=1145 nbBacktracks=1139 nbVisitedNodes=4188
13.64 nbRestartNogoods=43 mapSize=992 nbInferences=0 nbTooLargeKeys=0
13.64 => wckTime=2.91 cpuTime=2.83 mem=144M32
13.68
13.68 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=144M32)
15.08
15.08 search
15.08 run=10 nbConstraintChecks=1436593 nbValidityChecks=2473162 nbPropagations=58968 nbRevisions=1006263
15.08 nbUselessRevisions=878220 nbAssignments=3609 nbFailedAssignments=1795 nbBacktracks=1715 nbVisitedNodes=6430
15.08 nbRestartNogoods=49
15.08 => wckTime=4.354 cpuTime=4.26 mem=144M32
17.30
17.30 search
17.30 run=11 nbConstraintChecks=2222076 nbValidityChecks=3817226 nbPropagations=91324 nbRevisions=1555579
17.30 nbUselessRevisions=1354467 nbAssignments=5524 nbFailedAssignments=2837 nbBacktracks=2580 nbVisitedNodes=9935
17.30 nbRestartNogoods=59
17.30 => wckTime=6.573 cpuTime=6.47 mem=144M32
20.32
20.32 search
20.32 run=12 nbConstraintChecks=3300855 nbValidityChecks=5684788 nbPropagations=139438 nbRevisions=2375520
20.32 nbUselessRevisions=2066401 nbAssignments=8192 nbFailedAssignments=4202 nbBacktracks=3877 nbVisitedNodes=14749
20.32 nbRestartNogoods=69
20.32 => wckTime=9.589 cpuTime=9.49 mem=144M32
24.98
24.98 search
24.98 run=13 nbConstraintChecks=4971323 nbValidityChecks=8550388 nbPropagations=211784 nbRevisions=3607520
24.98 nbUselessRevisions=3135558 nbAssignments=12248 nbFailedAssignments=6306 nbBacktracks=5823 nbVisitedNodes=22126
24.98 nbRestartNogoods=75
24.98 => wckTime=14.253 cpuTime=14.15 mem=144M32
31.65
31.65 search
31.65 run=14 nbConstraintChecks=7401149 nbValidityChecks=12731070 nbPropagations=319246 nbRevisions=5438622
31.65 nbUselessRevisions=4725954 nbAssignments=18119 nbFailedAssignments=9250 nbBacktracks=8743 nbVisitedNodes=32755
31.65 nbRestartNogoods=83
31.65 => wckTime=20.922 cpuTime=20.81 mem=144M32
42.18
42.18 search
42.18 run=15 nbConstraintChecks=11166164 nbValidityChecks=19194374 nbPropagations=481439 nbRevisions=8200158
42.18 nbUselessRevisions=7122870 nbAssignments=27300 nbFailedAssignments=14045 nbBacktracks=13122
42.18 nbVisitedNodes=49456 nbRestartNogoods=89
42.18 => wckTime=31.447 cpuTime=31.29 mem=144M32
57.63
57.63 search
57.63 run=16 nbConstraintChecks=16711316 nbValidityChecks=28728649 nbPropagations=724118 nbRevisions=12335065
57.63 nbUselessRevisions=10711870 nbAssignments=40848 nbFailedAssignments=21018 nbBacktracks=19690
57.63 nbVisitedNodes=74082 nbRestartNogoods=94
57.63 => wckTime=46.898 cpuTime=46.72 mem=144M32
81.00
81.00 search
81.00 run=17 nbConstraintChecks=25103879 nbValidityChecks=43134492 nbPropagations=1088395 nbRevisions=18542370
81.00 nbUselessRevisions=16100943 nbAssignments=61101 nbFailedAssignments=31410 nbBacktracks=29542
81.00 nbVisitedNodes=110820 nbRestartNogoods=102
81.00 => wckTime=70.274 cpuTime=70.07 mem=144M32
110.47
110.47 search
110.47 run=18 nbConstraintChecks=35610003 nbValidityChecks=61296323 nbPropagations=1608936 nbRevisions=27397932
110.47 nbUselessRevisions=23783950 nbAssignments=87468 nbFailedAssignments=45073 nbBacktracks=42226
110.47 nbVisitedNodes=158714 nbRestartNogoods=111
110.47 => wckTime=99.743 cpuTime=99.52 mem=144M32
110.47
110.47 global
110.47 nbConstraintChecks=35614502 nbValidityChecks=61304738 nbPropagations=1608999 nbRevisions=27399043
110.47 nbUselessRevisions=23785021 nbRestartNogoods=111 solvingWckTime=99.744 solvingCpuTime=99.52 expiredTime=no
110.47 totalExploration=no nbFoundSolutions=1 globalCpuTime=107.11
110.47 => wckTime=110.153 cpuTime=107.07 mem=144M32
110.48
110.48 s SATISFIABLE
110.48 v 2 0 4 0 0 4 4 1 3 2 1 0 0 4 0 1 2 1 1 3
110.48 d NODES 87468
110.48 d CHECKS 35614502
110.48
110.48 totalWckTime=110.235 totalCpuTime=107.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-247412-1168392345 -o ROOT/results/node1/solver-247412-1168392345 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247412-1168392345/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.05 1.01 1.00 5/82 23052
/proc/meminfo: memFree=1677760/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=906644 CPUtime=0.02
/proc/23051/stat : 23051 (java) S 23049 23051 22946 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 187630264 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/23051/statm: 226661 1818 1036 14 0 214244 0
[pid=23051/tid=23053] ppid=23049 vsize=906644 CPUtime=0
/proc/23051/task/23053/stat : 23053 (java) R 23049 23051 22946 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 187630267 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104687 s]
/proc/loadavg: 1.05 1.01 1.00 5/82 23052
/proc/meminfo: memFree=1677760/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=914988 CPUtime=0.08
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 187630264 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154329384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23051/statm: 228747 2735 1426 14 0 215242 0
[pid=23051/tid=23053] ppid=23049 vsize=914988 CPUtime=0
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 187630267 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512734 s]
/proc/loadavg: 1.05 1.01 1.00 5/82 23052
/proc/meminfo: memFree=1677760/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915328 CPUtime=0.49
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 9677 0 1 0 44 5 0 0 20 0 8 0 187630264 937295872 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562862 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228832 9417 2137 14 0 215302 0
[pid=23051/tid=23053] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 187630267 937295872 9418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33684 s]
/proc/loadavg: 1.05 1.01 1.00 3/101 23111
/proc/meminfo: memFree=1543904/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915328 CPUtime=1.31
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 19903 0 1 0 120 11 0 0 25 0 8 0 187630264 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565311 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228832 19641 2147 14 0 215302 0
[pid=23051/tid=23053] ppid=23049 vsize=915328 CPUtime=0.04
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 3492 0 0 0 3 1 0 0 17 0 8 0 187630267 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 187630268 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 187630268 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915328 CPUtime=0.07
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 304 0 0 0 7 0 0 0 16 0 8 0 187630271 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328
[startup+2.99003 s]
/proc/loadavg: 1.13 1.03 1.01 4/101 23111
/proc/meminfo: memFree=1476960/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915328 CPUtime=2.96
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 30324 0 1 0 279 17 0 0 25 0 8 0 187630264 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153473365 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228832 30058 2147 14 0 215302 0
[pid=23051/tid=23053] ppid=23049 vsize=915328 CPUtime=0.23
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 13907 0 0 0 17 6 0 0 16 0 8 0 187630267 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 187630268 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 187630268 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915328 CPUtime=0.07
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 306 0 0 0 7 0 0 0 16 0 8 0 187630271 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915328
[startup+6.27442 s]
/proc/loadavg: 1.13 1.03 1.01 3/101 23111
/proc/meminfo: memFree=1375840/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915400 CPUtime=6.23
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 40805 0 1 0 600 23 0 0 25 0 8 0 187630264 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155213455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228850 38958 2160 14 0 215320 0
[pid=23051/tid=23053] ppid=23049 vsize=915400 CPUtime=1.01
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 24349 0 0 0 90 11 0 0 16 0 8 0 187630267 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187630268 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187630268 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915400 CPUtime=0.1
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 317 0 0 0 10 0 0 0 16 0 8 0 187630271 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937369600 38958 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.6802 s]
/proc/loadavg: 1.26 1.06 1.02 3/101 23111
/proc/meminfo: memFree=1214688/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915400 CPUtime=12.62
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 64496 0 1 0 1228 34 0 0 25 0 8 0 187630264 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228850 62642 2532 14 0 215320 0
[pid=23051/tid=23053] ppid=23049 vsize=915400 CPUtime=2.72
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 47523 0 0 0 252 20 0 0 17 0 8 0 187630267 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187630268 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187630268 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915400 CPUtime=0.22
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 380 0 0 0 21 1 0 0 15 0 8 0 187630271 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915400
[startup+25.5216 s]
/proc/loadavg: 1.38 1.09 1.03 3/101 23111
/proc/meminfo: memFree=1214696/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915400 CPUtime=25.47
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 64508 0 1 0 2512 35 0 0 25 0 8 0 187630264 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228850 62651 2532 14 0 215320 0
[pid=23051/tid=23053] ppid=23049 vsize=915400 CPUtime=2.72
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 47523 0 0 0 252 20 0 0 16 0 8 0 187630267 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187630268 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187630268 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915400 CPUtime=0.24
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915400
[startup+51.1356 s]
/proc/loadavg: 1.66 1.18 1.06 3/101 23111
/proc/meminfo: memFree=1214760/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915400 CPUtime=51.02
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 64508 0 1 0 5067 35 0 0 25 0 8 0 187630264 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228850 62651 2532 14 0 215320 0
[pid=23051/tid=23053] ppid=23049 vsize=915400 CPUtime=2.72
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 47523 0 0 0 252 20 0 0 16 0 8 0 187630267 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187630268 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187630268 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915400 CPUtime=0.24
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915400
[startup+102.39 s]
/proc/loadavg: 1.85 1.30 1.11 3/101 23111
/proc/meminfo: memFree=1214824/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915400 CPUtime=102.2
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 64508 0 1 0 10185 35 0 0 25 0 8 0 187630264 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228850 62651 2532 14 0 215320 0
[pid=23051/tid=23053] ppid=23049 vsize=915400 CPUtime=2.72
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 47523 0 0 0 252 20 0 0 16 0 8 0 187630267 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187630268 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187630268 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915400 CPUtime=0.24
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 915400
Child status: 0
Real time (s): 110.55
CPU time (s): 110.339
CPU user time (s): 109.948
CPU system time (s): 0.39094
CPU usage (%): 99.8096
Max. virtual memory (cumulated for all children) (KiB): 919404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.948
system time used= 0.39094
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64516
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= 3468
involuntary context switches= 4411
runsolver used 0.157975 s user time and 0.348946 s system time
The end
Begin job on node1 on Wed Jan 10 01:25:45 UTC 2007
IDJOB= 247412
IDBENCH= 11124
FILE ID= node1/247412-1168392345
PBS_JOBID= 3522783
Free space on /tmp= 66486 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247412-1168392345/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-247412-1168392345 -o ROOT/results/node1/solver-247412-1168392345 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247412-1168392345/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 07cc20594b576bffb0ac8b08e4394825
RANDOM SEED= 114480417
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.234
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.234
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: 1682272 kB
Buffers: 46668 kB
Cached: 228408 kB
SwapCached: 4064 kB
Active: 188616 kB
Inactive: 125816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1682272 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 32164 kB
Writeback: 0 kB
Mapped: 48900 kB
Slab: 44188 kB
Committed_AS: 6237852 kB
PageTables: 2216 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= 66470 MiB
End job on node1 on Wed Jan 10 01:27:36 UTC 2007