0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/208769-1168189904/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.40 => wckTime=0.092 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.67
0.67 constraints being loaded...
0.83 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.83 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
0.83 => wckTime=0.521 cpuTime=0.47 mem=42M348
0.93
0.93 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.792 cpuTime=0.61 mem=21M143
1.18
1.18 preprocessing
1.18 nbConstraintChecks=16498 nbValidityChecks=27457 nbPropagations=157 nbRevisions=1406 nbUselessRevisions=1208
1.18 nbSingletonTests=27 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.18 => wckTime=0.075 cpuTime=0.05 mem=21M143
1.22
1.22 search
1.22 run=0 nbConstraintChecks=14810 nbValidityChecks=28571 nbPropagations=333 nbRevisions=3345
1.22 nbUselessRevisions=2735 nbAssignments=23 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=36
1.22 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.122 cpuTime=0.08 mem=22M130
1.29
1.29 search
1.29 run=1 nbConstraintChecks=58745 nbValidityChecks=119719 nbPropagations=1276 nbRevisions=13346
1.29 nbUselessRevisions=10552 nbAssignments=85 nbFailedAssignments=51 nbBacktracks=26 nbVisitedNodes=152
1.29 nbRestartNogoods=2 mapSize=19 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.192 cpuTime=0.15 mem=22M130
1.40
1.40 search
1.40 run=2 nbConstraintChecks=130453 nbValidityChecks=265210 nbPropagations=2938 nbRevisions=32821
1.40 nbUselessRevisions=26135 nbAssignments=169 nbFailedAssignments=91 nbBacktracks=49 nbVisitedNodes=274
1.40 nbRestartNogoods=11 mapSize=40 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.301 cpuTime=0.24 mem=22M130
1.51
1.51 search
1.51 run=3 nbConstraintChecks=208896 nbValidityChecks=413019 nbPropagations=5454 nbRevisions=62633
1.51 nbUselessRevisions=49891 nbAssignments=245 nbFailedAssignments=131 nbBacktracks=82 nbVisitedNodes=413
1.51 nbRestartNogoods=16 mapSize=68 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.404 cpuTime=0.34 mem=22M130
1.63
1.63 search
1.63 run=4 nbConstraintChecks=308317 nbValidityChecks=606524 nbPropagations=9173 nbRevisions=105475
1.63 nbUselessRevisions=83867 nbAssignments=363 nbFailedAssignments=187 nbBacktracks=133 nbVisitedNodes=615
1.63 nbRestartNogoods=25 mapSize=113 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.525 cpuTime=0.46 mem=22M130
1.82
1.82 search
1.82 run=5 nbConstraintChecks=456519 nbValidityChecks=882936 nbPropagations=14382 nbRevisions=167500
1.82 nbUselessRevisions=133335 nbAssignments=514 nbFailedAssignments=257 nbBacktracks=211 nbVisitedNodes=879
1.82 nbRestartNogoods=30 mapSize=175 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.719 cpuTime=0.64 mem=22M130
2.11
2.11 search
2.11 run=6 nbConstraintChecks=695518 nbValidityChecks=1330364 nbPropagations=22026 nbRevisions=258952
2.11 nbUselessRevisions=206161 nbAssignments=763 nbFailedAssignments=389 nbBacktracks=324 nbVisitedNodes=1326
2.11 nbRestartNogoods=42 mapSize=261 nbInferences=0 nbTooLargeKeys=0
2.11 => wckTime=1.01 cpuTime=0.93 mem=22M130
2.56
2.56 search
2.56 run=7 nbConstraintChecks=1058177 nbValidityChecks=2007442 nbPropagations=33431 nbRevisions=394915
2.56 nbUselessRevisions=314118 nbAssignments=1133 nbFailedAssignments=585 nbBacktracks=494 nbVisitedNodes=2000
2.56 nbRestartNogoods=49 mapSize=407 nbInferences=0 nbTooLargeKeys=0
2.56 => wckTime=1.461 cpuTime=1.37 mem=22M130
3.36
3.36 search
3.36 run=8 nbConstraintChecks=1646883 nbValidityChecks=3120438 nbPropagations=51111 nbRevisions=606204
3.36 nbUselessRevisions=481626 nbAssignments=1697 nbFailedAssignments=876 nbBacktracks=750 nbVisitedNodes=3002
3.36 nbRestartNogoods=65 mapSize=624 nbInferences=0 nbTooLargeKeys=0
3.36 => wckTime=2.254 cpuTime=2.14 mem=22M130
4.43
4.43 search
4.43 run=9 nbConstraintChecks=2535646 nbValidityChecks=4811556 nbPropagations=78191 nbRevisions=930862
4.43 nbUselessRevisions=738708 nbAssignments=2572 nbFailedAssignments=1359 nbBacktracks=1134 nbVisitedNodes=4607
4.43 nbRestartNogoods=70 mapSize=972 nbInferences=0 nbTooLargeKeys=0
4.43 => wckTime=3.33 cpuTime=3.2 mem=22M130
4.60
4.60 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=22M130)
6.65
6.65 search
6.65 run=10 nbConstraintChecks=4353551 nbValidityChecks=8337044 nbPropagations=124644 nbRevisions=1494249
6.65 nbUselessRevisions=1183399 nbAssignments=4332 nbFailedAssignments=2527 nbBacktracks=1711 nbVisitedNodes=7959
6.65 nbRestartNogoods=82
6.65 => wckTime=5.551 cpuTime=5.39 mem=22M130
8.91
8.91 search
8.91 run=11 nbConstraintChecks=6259392 nbValidityChecks=11988007 nbPropagations=192315 nbRevisions=2303743
8.91 nbUselessRevisions=1822151 nbAssignments=6309 nbFailedAssignments=3638 nbBacktracks=2575 nbVisitedNodes=11628
8.91 nbRestartNogoods=88
8.91 => wckTime=7.81 cpuTime=7.63 mem=22M130
14.74
14.74 search
14.74 run=12 nbConstraintChecks=10900411 nbValidityChecks=20985394 nbPropagations=308691 nbRevisions=3728616
14.74 nbUselessRevisions=2948208 nbAssignments=10579 nbFailedAssignments=6607 nbBacktracks=3873 nbVisitedNodes=19898
14.74 nbRestartNogoods=100
14.74 => wckTime=13.636 cpuTime=13.38 mem=22M130
19.90
19.90 search
19.90 run=13 nbConstraintChecks=15294797 nbValidityChecks=29294339 nbPropagations=471726 nbRevisions=5701305
19.90 nbUselessRevisions=4506327 nbAssignments=14806 nbFailedAssignments=8885 nbBacktracks=5819 nbVisitedNodes=27682
19.90 nbRestartNogoods=102
19.90 => wckTime=18.798 cpuTime=18.5 mem=22M130
26.83
26.83 search
26.83 run=14 nbConstraintChecks=21283303 nbValidityChecks=41008111 nbPropagations=703839 nbRevisions=8485109
26.83 nbUselessRevisions=6700445 nbAssignments=21786 nbFailedAssignments=12942 nbBacktracks=8740 nbVisitedNodes=40540
26.83 nbRestartNogoods=124
26.83 => wckTime=25.732 cpuTime=25.37 mem=22M130
41.08
41.08 search
41.08 run=15 nbConstraintChecks=33072833 nbValidityChecks=63964246 nbPropagations=1063540 nbRevisions=12814545
41.08 nbUselessRevisions=10112325 nbAssignments=33650 nbFailedAssignments=20422 nbBacktracks=13123
41.08 nbVisitedNodes=62941 nbRestartNogoods=137
41.08 => wckTime=39.981 cpuTime=39.46 mem=22M130
59.06
59.06 search
59.06 run=16 nbConstraintChecks=48160692 nbValidityChecks=92735469 nbPropagations=1585788 nbRevisions=19088403
59.06 nbUselessRevisions=15057829 nbAssignments=48912 nbFailedAssignments=29115 nbBacktracks=19691
59.06 nbVisitedNodes=91149 nbRestartNogoods=153
59.06 => wckTime=57.956 cpuTime=57.27 mem=22M130
59.57
59.57 search
59.57 run=17 nbConstraintChecks=48605037 nbValidityChecks=93607489 nbPropagations=2113304 nbRevisions=25423336
59.57 nbUselessRevisions=20051101 nbAssignments=49456 nbFailedAssignments=29440 nbBacktracks=19890
59.57 nbVisitedNodes=92141 nbRestartNogoods=171
59.57 => wckTime=58.465 cpuTime=57.77 mem=22M130
59.57
59.57 global
59.57 nbConstraintChecks=48621535 nbValidityChecks=93634946 nbPropagations=2113461 nbRevisions=25424742
59.57 nbUselessRevisions=20052309 nbRestartNogoods=171 solvingWckTime=58.466 solvingCpuTime=57.77 expiredTime=no
59.57 totalExploration=no nbFoundSolutions=1 globalCpuTime=58.44
59.57 => wckTime=59.261 cpuTime=58.39 mem=22M130
59.57
59.57 s SATISFIABLE
59.57 v 18 4 0 7 4 6 4 12 13 1 5 18 1 19 14 14 12 6 12 15
59.57 d NODES 49456
59.57 d CHECKS 48621535
59.57
59.57 totalWckTime=59.338 totalCpuTime=58.44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-208769-1168189904 -o ROOT/results/node41/solver-208769-1168189904 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208769-1168189904/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: 2.51 2.54 2.24 4/81 8820
/proc/meminfo: memFree=1162952/2055920 swapFree=4191892/4192956
[pid=8819] ppid=8817 vsize=18540 CPUtime=0
/proc/8819/stat : 8819 (runsolver) R 8817 8819 7987 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 167389677 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238390144295 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/8819/statm: 4635 279 244 17 0 2626 0
[startup+0.104481 s]
/proc/loadavg: 2.51 2.54 2.24 4/81 8820
/proc/meminfo: memFree=1162952/2055920 swapFree=4191892/4192956
[pid=8819] ppid=8817 vsize=914988 CPUtime=0.08
/proc/8819/stat : 8819 (java) R 8817 8819 7987 0 -1 0 2976 0 1 0 7 1 0 0 25 0 8 0 167389677 936947712 2722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153551975 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8819/statm: 228747 2722 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512513 s]
/proc/loadavg: 2.51 2.54 2.24 4/81 8820
/proc/meminfo: memFree=1162952/2055920 swapFree=4191892/4192956
[pid=8819] ppid=8817 vsize=915328 CPUtime=0.48
/proc/8819/stat : 8819 (java) R 8817 8819 7987 0 -1 0 7844 0 1 0 44 4 0 0 25 0 8 0 167389677 937295872 7583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8819/statm: 228832 7583 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33359 s]
/proc/loadavg: 2.51 2.54 2.24 5/88 8827
/proc/meminfo: memFree=1108432/2055920 swapFree=4191892/4192956
[pid=8819] ppid=8817 vsize=915460 CPUtime=1.3
/proc/8819/stat : 8819 (java) R 8817 8819 7987 0 -1 0 17094 0 1 0 120 10 0 0 25 0 8 0 167389677 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8819/statm: 228865 16832 2527 14 0 215335 0
[pid=8819/tid=8821] ppid=8817 vsize=915460 CPUtime=0.08
/proc/8819/task/8821/stat : 8821 (java) S 8817 8819 7987 0 -1 64 1792 0 0 0 7 1 0 0 16 0 8 0 167389681 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8822] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8822/stat : 8822 (java) S 8817 8819 7987 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167389681 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8823] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8823/stat : 8823 (java) S 8817 8819 7987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167389681 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8824] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8824/stat : 8824 (java) S 8817 8819 7987 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167389685 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8825] ppid=8817 vsize=915460 CPUtime=0.16
/proc/8819/task/8825/stat : 8825 (java) R 8817 8819 7987 0 -1 64 356 0 0 0 16 0 0 0 16 0 8 0 167389685 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153942817 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8826] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8826/stat : 8826 (java) S 8817 8819 7987 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167389685 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8827] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8827/stat : 8827 (java) S 8817 8819 7987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167389685 937431040 16832 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+2.97473 s]
/proc/loadavg: 2.51 2.54 2.24 4/88 8827
/proc/meminfo: memFree=1099536/2055920 swapFree=4191892/4192956
[pid=8819] ppid=8817 vsize=915460 CPUtime=2.92
/proc/8819/stat : 8819 (java) R 8817 8819 7987 0 -1 0 17106 0 1 0 281 11 0 0 25 0 8 0 167389677 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8819/statm: 228865 16843 2527 14 0 215335 0
[pid=8819/tid=8821] ppid=8817 vsize=915460 CPUtime=0.08
/proc/8819/task/8821/stat : 8821 (java) S 8817 8819 7987 0 -1 64 1792 0 0 0 7 1 0 0 17 0 8 0 167389681 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8822] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8822/stat : 8822 (java) S 8817 8819 7987 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167389681 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8823] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8823/stat : 8823 (java) S 8817 8819 7987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167389681 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8824] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8824/stat : 8824 (java) S 8817 8819 7987 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167389685 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8825] ppid=8817 vsize=915460 CPUtime=0.19
/proc/8819/task/8825/stat : 8825 (java) S 8817 8819 7987 0 -1 64 367 0 0 0 18 1 0 0 15 0 8 0 167389685 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8826] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8826/stat : 8826 (java) S 8817 8819 7987 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167389685 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8827] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8827/stat : 8827 (java) S 8817 8819 7987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167389685 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.18201 s]
/proc/loadavg: 2.47 2.53 2.24 3/88 8827
/proc/meminfo: memFree=1093464/2055920 swapFree=4191892/4192956
[pid=8819] ppid=8817 vsize=915460 CPUtime=6.1
/proc/8819/stat : 8819 (java) R 8817 8819 7987 0 -1 0 17124 0 1 0 599 11 0 0 25 0 8 0 167389677 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609072 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8819/statm: 228865 16858 2527 14 0 215335 0
[pid=8819/tid=8821] ppid=8817 vsize=915460 CPUtime=0.08
/proc/8819/task/8821/stat : 8821 (java) S 8817 8819 7987 0 -1 64 1792 0 0 0 7 1 0 0 17 0 8 0 167389681 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8822] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8822/stat : 8822 (java) S 8817 8819 7987 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167389681 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8823] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8823/stat : 8823 (java) S 8817 8819 7987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167389681 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8824] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8824/stat : 8824 (java) S 8817 8819 7987 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8825] ppid=8817 vsize=915460 CPUtime=0.23
/proc/8819/task/8825/stat : 8825 (java) S 8817 8819 7987 0 -1 64 383 0 0 0 22 1 0 0 15 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8826] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8826/stat : 8826 (java) S 8817 8819 7987 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8827] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8827/stat : 8827 (java) S 8817 8819 7987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915460
[startup+12.6566 s]
/proc/loadavg: 2.43 2.52 2.23 4/88 8827
/proc/meminfo: memFree=1092952/2055920 swapFree=4191892/4192956
[pid=8819] ppid=8817 vsize=915460 CPUtime=12.5
/proc/8819/stat : 8819 (java) R 8817 8819 7987 0 -1 0 17125 0 1 0 1239 11 0 0 25 0 8 0 167389677 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073731832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8819/statm: 228865 16858 2527 14 0 215335 0
[pid=8819/tid=8821] ppid=8817 vsize=915460 CPUtime=0.08
/proc/8819/task/8821/stat : 8821 (java) S 8817 8819 7987 0 -1 64 1792 0 0 0 7 1 0 0 16 0 8 0 167389681 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8822] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8822/stat : 8822 (java) S 8817 8819 7987 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167389681 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8823] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8823/stat : 8823 (java) S 8817 8819 7987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167389681 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8824] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8824/stat : 8824 (java) S 8817 8819 7987 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8825] ppid=8817 vsize=915460 CPUtime=0.23
/proc/8819/task/8825/stat : 8825 (java) S 8817 8819 7987 0 -1 64 383 0 0 0 22 1 0 0 15 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8826] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8826/stat : 8826 (java) S 8817 8819 7987 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8827] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8827/stat : 8827 (java) S 8817 8819 7987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915460
[startup+25.5297 s]
/proc/loadavg: 2.42 2.52 2.24 4/88 8827
/proc/meminfo: memFree=1081688/2055920 swapFree=4191892/4192956
[pid=8819] ppid=8817 vsize=915460 CPUtime=25.26
/proc/8819/stat : 8819 (java) R 8817 8819 7987 0 -1 0 17125 0 1 0 2515 11 0 0 25 0 8 0 167389677 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722356 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8819/statm: 228865 16858 2527 14 0 215335 0
[pid=8819/tid=8821] ppid=8817 vsize=915460 CPUtime=0.08
/proc/8819/task/8821/stat : 8821 (java) S 8817 8819 7987 0 -1 64 1792 0 0 0 7 1 0 0 16 0 8 0 167389681 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8822] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8822/stat : 8822 (java) S 8817 8819 7987 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167389681 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8823] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8823/stat : 8823 (java) S 8817 8819 7987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167389681 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8824] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8824/stat : 8824 (java) S 8817 8819 7987 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8825] ppid=8817 vsize=915460 CPUtime=0.23
/proc/8819/task/8825/stat : 8825 (java) S 8817 8819 7987 0 -1 64 383 0 0 0 22 1 0 0 15 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8826] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8826/stat : 8826 (java) S 8817 8819 7987 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8827] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8827/stat : 8827 (java) S 8817 8819 7987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915460
[startup+51.1659 s]
/proc/loadavg: 2.61 2.55 2.25 4/88 8827
/proc/meminfo: memFree=1085144/2055920 swapFree=4191892/4192956
[pid=8819] ppid=8817 vsize=915460 CPUtime=50.63
/proc/8819/stat : 8819 (java) R 8817 8819 7987 0 -1 0 17125 0 1 0 5052 11 0 0 25 0 8 0 167389677 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8819/statm: 228865 16858 2527 14 0 215335 0
[pid=8819/tid=8821] ppid=8817 vsize=915460 CPUtime=0.08
/proc/8819/task/8821/stat : 8821 (java) S 8817 8819 7987 0 -1 64 1792 0 0 0 7 1 0 0 16 0 8 0 167389681 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8822] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8822/stat : 8822 (java) S 8817 8819 7987 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167389681 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8823] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8823/stat : 8823 (java) S 8817 8819 7987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167389681 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8824] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8824/stat : 8824 (java) S 8817 8819 7987 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8825] ppid=8817 vsize=915460 CPUtime=0.23
/proc/8819/task/8825/stat : 8825 (java) S 8817 8819 7987 0 -1 64 383 0 0 0 22 1 0 0 15 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8826] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8826/stat : 8826 (java) S 8817 8819 7987 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8819/tid=8827] ppid=8817 vsize=915460 CPUtime=0
/proc/8819/task/8827/stat : 8827 (java) S 8817 8819 7987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167389685 937431040 16858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 59.606
CPU time (s): 58.977
CPU user time (s): 58.8481
CPU system time (s): 0.12898
CPU usage (%): 98.9448
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.8481
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17133
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= 2337
involuntary context switches= 4105
runsolver used 0.080987 s user time and 0.19497 s system time
The end
Begin job on node41 on Sun Jan 7 17:11:44 UTC 2007
IDJOB= 208769
IDBENCH= 4443
FILE ID= node41/208769-1168189904
PBS_JOBID= 3479286
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208769-1168189904/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-208769-1168189904 -o ROOT/results/node41/solver-208769-1168189904 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208769-1168189904/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1e864a8745df3f0f84768ccb297394c0
RANDOM SEED= 482889283
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: 1163432 kB
Buffers: 34660 kB
Cached: 288820 kB
SwapCached: 268 kB
Active: 569736 kB
Inactive: 256080 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1163432 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2876 kB
Writeback: 0 kB
Mapped: 517968 kB
Slab: 50856 kB
Committed_AS: 3568088 kB
PageTables: 2908 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= 66543 MiB
End job on node41 on Sun Jan 7 17:12:44 UTC 2007