0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=esac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/199768-1168136291/unknown.xml
0.43
0.43 domains being loaded...
0.43
0.43 variables being loaded...
0.46 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.46 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.46
0.46 relations being loaded...
0.55
0.55 constraints being loaded...
0.67 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=860 maxDegree=22
0.67 maxArity=2
0.67 => wckTime=0.306 cpuTime=0.23 mem=12M803
0.71
0.71 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.52 cpuTime=0.38 mem=14M973
0.93
0.93 preprocessing
0.93 nbConstraintChecks=42126 nbPropagations=553 nbRevisions=5296 nbUselessRevisions=4602 nbSingletonTests=30
0.93 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.043 cpuTime=0.02 mem=14M973
0.95
0.95 search
0.95 run=0 nbConstraintChecks=31405 nbPropagations=926 nbRevisions=11196 nbUselessRevisions=9676 nbAssignments=25
0.95 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.065 cpuTime=0.04 mem=14M973
0.97
0.97 search
0.97 run=1 nbConstraintChecks=67643 nbPropagations=2351 nbRevisions=30300 nbUselessRevisions=26084 nbAssignments=61
0.97 nbFailedAssignments=26 nbBacktracks=26 nbVisitedNodes=105 nbRestartNogoods=2 mapSize=26 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.082 cpuTime=0.05 mem=14M973
0.99
0.99 search
0.99 run=2 nbConstraintChecks=127601 nbPropagations=4498 nbRevisions=61971 nbUselessRevisions=53317
0.99 nbAssignments=109 nbFailedAssignments=47 nbBacktracks=48 nbVisitedNodes=192 nbRestartNogoods=3 mapSize=46
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.101 cpuTime=0.06 mem=14M973
1.01
1.01 search
1.01 run=3 nbConstraintChecks=224930 nbPropagations=7822 nbRevisions=114982 nbUselessRevisions=98839
1.01 nbAssignments=187 nbFailedAssignments=87 nbBacktracks=82 nbVisitedNodes=334 nbRestartNogoods=7 mapSize=80
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.126 cpuTime=0.08 mem=14M973
1.04
1.04 search
1.04 run=4 nbConstraintChecks=362881 nbPropagations=12842 nbRevisions=198756 nbUselessRevisions=170861
1.04 nbAssignments=295 nbFailedAssignments=139 nbBacktracks=132 nbVisitedNodes=538 nbRestartNogoods=9 mapSize=130
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.155 cpuTime=0.11 mem=14M973
1.08
1.08 search
1.08 run=5 nbConstraintChecks=568676 nbPropagations=20247 nbRevisions=327074 nbUselessRevisions=281204
1.08 nbAssignments=449 nbFailedAssignments=213 nbBacktracks=208 nbVisitedNodes=828 nbRestartNogoods=14 mapSize=206
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.197 cpuTime=0.15 mem=14M973
1.14
1.14 search
1.14 run=6 nbConstraintChecks=858397 nbPropagations=31025 nbRevisions=519270 nbUselessRevisions=446456
1.14 nbAssignments=675 nbFailedAssignments=324 nbBacktracks=321 nbVisitedNodes=1250 nbRestartNogoods=20 mapSize=317
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.258 cpuTime=0.2 mem=14M973
1.22
1.22 search
1.22 run=7 nbConstraintChecks=1300497 nbPropagations=47071 nbRevisions=810379 nbUselessRevisions=696908
1.22 nbAssignments=1033 nbFailedAssignments=507 nbBacktracks=491 nbVisitedNodes=1913 nbRestartNogoods=21
1.22 mapSize=482 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.339 cpuTime=0.28 mem=14M973
1.35
1.35 search
1.35 run=8 nbConstraintChecks=1899806 nbPropagations=70515 nbRevisions=1236363 nbUselessRevisions=1063594
1.35 nbAssignments=1537 nbFailedAssignments=749 nbBacktracks=748 nbVisitedNodes=2839 nbRestartNogoods=29
1.35 mapSize=726 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.463 cpuTime=0.4 mem=14M973
1.48
1.48 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=14M973)
1.51
1.51 search
1.51 run=9 nbConstraintChecks=2847606 nbPropagations=105392 nbRevisions=1877618 nbUselessRevisions=1615798
1.51 nbAssignments=2318 nbFailedAssignments=1142 nbBacktracks=1132 nbVisitedNodes=4305 nbRestartNogoods=31
1.51 => wckTime=0.627 cpuTime=0.55 mem=14M973
1.74
1.74 search
1.74 run=10 nbConstraintChecks=4266762 nbPropagations=157004 nbRevisions=2838742 nbUselessRevisions=2444424
1.74 nbAssignments=3441 nbFailedAssignments=1684 nbBacktracks=1709 nbVisitedNodes=6400 nbRestartNogoods=38
1.74 => wckTime=0.859 cpuTime=0.77 mem=14M973
2.09
2.09 search
2.09 run=11 nbConstraintChecks=6481044 nbPropagations=234477 nbRevisions=4294708 nbUselessRevisions=3698623
2.09 nbAssignments=5204 nbFailedAssignments=2579 nbBacktracks=2573 nbVisitedNodes=9698 nbRestartNogoods=46
2.09 => wckTime=1.204 cpuTime=1.11 mem=14M973
2.61
2.61 search
2.61 run=12 nbConstraintChecks=9878681 nbPropagations=351252 nbRevisions=6504618 nbUselessRevisions=5602678
2.61 nbAssignments=7838 nbFailedAssignments=3911 nbBacktracks=3870 nbVisitedNodes=14633 nbRestartNogoods=60
2.61 => wckTime=1.721 cpuTime=1.62 mem=14M973
3.34
3.34 search
3.34 run=13 nbConstraintChecks=14640132 nbPropagations=524834 nbRevisions=9782688 nbUselessRevisions=8427202
3.34 nbAssignments=11705 nbFailedAssignments=5816 nbBacktracks=5816 nbVisitedNodes=21822 nbRestartNogoods=68
3.34 => wckTime=2.456 cpuTime=2.35 mem=14M973
4.45
4.45 search
4.45 run=14 nbConstraintChecks=21774803 nbPropagations=783654 nbRevisions=14678889 nbUselessRevisions=12648892
4.45 nbAssignments=17480 nbFailedAssignments=8666 nbBacktracks=8737 nbVisitedNodes=32627 nbRestartNogoods=76
4.45 => wckTime=3.563 cpuTime=3.45 mem=14M973
6.18
6.18 search
6.18 run=15 nbConstraintChecks=33145398 nbPropagations=1174377 nbRevisions=22121995 nbUselessRevisions=19070577
6.18 nbAssignments=26279 nbFailedAssignments=13083 nbBacktracks=13115 nbVisitedNodes=49132 nbRestartNogoods=82
6.18 => wckTime=5.29 cpuTime=5.16 mem=14M973
8.71
8.71 search
8.71 run=16 nbConstraintChecks=49654846 nbPropagations=1758130 nbRevisions=33262785 nbUselessRevisions=28684005
8.71 nbAssignments=39272 nbFailedAssignments=19503 nbBacktracks=19683 nbVisitedNodes=73436 nbRestartNogoods=97
8.71 => wckTime=7.823 cpuTime=7.67 mem=14M973
12.50
12.51 search
12.51 run=17 nbConstraintChecks=74170601 nbPropagations=2629666 nbRevisions=49914710 nbUselessRevisions=43055137
12.51 nbAssignments=58750 nbFailedAssignments=29124 nbBacktracks=29536 nbVisitedNodes=109809 nbRestartNogoods=116
12.51 => wckTime=11.619 cpuTime=11.43 mem=14M973
18.45
18.45 search
18.45 run=18 nbConstraintChecks=113094305 nbPropagations=3948495 nbRevisions=75233588 nbUselessRevisions=64908470
18.45 nbAssignments=88544 nbFailedAssignments=44135 nbBacktracks=44314 nbVisitedNodes=165758 nbRestartNogoods=130
18.45 => wckTime=17.562 cpuTime=17.32 mem=14M973
27.20
27.20 search
27.20 run=19 nbConstraintChecks=170841199 nbPropagations=5932113 nbRevisions=113410154 nbUselessRevisions=97864406
27.20 nbAssignments=133029 nbFailedAssignments=66447 nbBacktracks=66482 nbVisitedNodes=249192 nbRestartNogoods=144
27.20 => wckTime=26.313 cpuTime=25.98 mem=14M973
40.41
40.41 search
40.41 run=20 nbConstraintChecks=257323309 nbPropagations=8910611 nbRevisions=170866841 nbUselessRevisions=147478801
40.41 nbAssignments=199538 nbFailedAssignments=99700 nbBacktracks=99734 nbVisitedNodes=373800 nbRestartNogoods=167
40.41 => wckTime=39.522 cpuTime=39.07 mem=14M973
60.40
60.40 search
60.40 run=21 nbConstraintChecks=388987931 nbPropagations=13393990 nbRevisions=257583444 nbUselessRevisions=222369309
60.40 nbAssignments=299774 nbFailedAssignments=150053 nbBacktracks=149612 nbVisitedNodes=561765 nbRestartNogoods=181
60.40 => wckTime=59.51 cpuTime=58.87 mem=14M973
90.61
90.61 search
90.61 run=22 nbConstraintChecks=588842920 nbPropagations=20146434 nbRevisions=388734275 nbUselessRevisions=335682421
90.61 nbAssignments=450277 nbFailedAssignments=225735 nbBacktracks=224431 nbVisitedNodes=843985 nbRestartNogoods=188
90.61 => wckTime=89.727 cpuTime=88.81 mem=14M973
101.99
101.99 search
101.99 run=23 nbConstraintChecks=664429192 nbPropagations=27744968 nbRevisions=536615885 nbUselessRevisions=463472489
101.99 nbAssignments=506059 nbFailedAssignments=253974 nbBacktracks=251975 nbVisitedNodes=948694 nbRestartNogoods=207
101.99 => wckTime=101.104 cpuTime=100.08 mem=14M973
101.99
101.99 global
101.99 nbConstraintChecks=664471318 nbPropagations=27745521 nbRevisions=536621181 nbUselessRevisions=463477091
101.99 nbRestartNogoods=207 solvingWckTime=101.105 solvingCpuTime=100.08 expiredTime=no totalExploration=yes
101.99 nbFoundSolutions=0 globalCpuTime=100.51
101.99 => wckTime=101.628 cpuTime=100.46 mem=14M973
101.99
101.99 s UNSATISFIABLE
101.99 d NODES 506059
102.00 d CHECKS 664471318
102.00
102.00 totalWckTime=101.712 totalCpuTime=100.52
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-199768-1168136291 -o ROOT/results/node15/solver-199768-1168136291 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199768-1168136291/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.91 1.97 1.99 2/95 2784
/proc/meminfo: memFree=1657784/2055920 swapFree=4174172/4192956
[pid=2783] ppid=2781 vsize=18540 CPUtime=0
/proc/2783/stat : 2783 (runsolver) D 2781 2783 2281 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 162024083 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/2783/statm: 4635 279 244 17 0 2626 0
[startup+0.10204 s]
/proc/loadavg: 1.91 1.97 1.99 2/95 2784
/proc/meminfo: memFree=1657784/2055920 swapFree=4174172/4192956
[pid=2783] ppid=2781 vsize=907676 CPUtime=0.04
/proc/2783/stat : 2783 (java) R 2781 2783 2281 0 -1 0 2332 0 1 0 3 1 0 0 16 0 4 0 162024083 929460224 2079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155274573 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/2783/statm: 226919 2079 1166 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.510108 s]
/proc/loadavg: 1.91 1.97 1.99 2/95 2784
/proc/meminfo: memFree=1657784/2055920 swapFree=4174172/4192956
[pid=2783] ppid=2781 vsize=915328 CPUtime=0.43
/proc/2783/stat : 2783 (java) R 2781 2783 2281 0 -1 0 6299 0 1 0 39 4 0 0 18 0 8 0 162024083 937295872 6038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445682 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2783/statm: 228832 6038 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33325 s]
/proc/loadavg: 1.91 1.97 1.99 3/102 2791
/proc/meminfo: memFree=1634112/2055920 swapFree=4174172/4192956
[pid=2783] ppid=2781 vsize=915452 CPUtime=1.24
/proc/2783/stat : 2783 (java) R 2781 2783 2281 0 -1 0 8668 0 1 0 118 6 0 0 24 0 8 0 162024083 937422848 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789837 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2783/statm: 228863 8406 2524 14 0 215333 0
[pid=2783/tid=2785] ppid=2781 vsize=915452 CPUtime=0.03
/proc/2783/task/2785/stat : 2785 (java) S 2781 2783 2281 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 162024092 937422848 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2786] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2786/stat : 2786 (java) S 2781 2783 2281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162024092 937422848 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2787] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2787/stat : 2787 (java) S 2781 2783 2281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162024092 937422848 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2788] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2788/stat : 2788 (java) S 2781 2783 2281 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162024096 937422848 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2789] ppid=2781 vsize=915452 CPUtime=0.19
/proc/2783/task/2789/stat : 2789 (java) S 2781 2783 2281 0 -1 64 377 0 0 0 19 0 0 0 15 0 8 0 162024096 937422848 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2790] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2790/stat : 2790 (java) S 2781 2783 2281 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162024096 937422848 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2791] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2791/stat : 2791 (java) S 2781 2783 2281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162024096 937422848 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915452
[startup+2.98653 s]
/proc/loadavg: 1.91 1.97 1.99 3/102 2791
/proc/meminfo: memFree=1633856/2055920 swapFree=4174172/4192956
[pid=2783] ppid=2781 vsize=915452 CPUtime=2.89
/proc/2783/stat : 2783 (java) R 2781 2783 2281 0 -1 0 8703 0 1 0 282 7 0 0 25 0 8 0 162024083 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2783/statm: 228863 8440 2524 14 0 215333 0
[pid=2783/tid=2785] ppid=2781 vsize=915452 CPUtime=0.03
/proc/2783/task/2785/stat : 2785 (java) S 2781 2783 2281 0 -1 64 269 0 0 0 3 0 0 0 17 0 8 0 162024092 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2786] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2786/stat : 2786 (java) S 2781 2783 2281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162024092 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2787] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2787/stat : 2787 (java) S 2781 2783 2281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162024092 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2788] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2788/stat : 2788 (java) S 2781 2783 2281 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162024096 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2789] ppid=2781 vsize=915452 CPUtime=0.21
/proc/2783/task/2789/stat : 2789 (java) S 2781 2783 2281 0 -1 64 389 0 0 0 21 0 0 0 15 0 8 0 162024096 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2790] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2790/stat : 2790 (java) S 2781 2783 2281 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162024096 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2791] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2791/stat : 2791 (java) S 2781 2783 2281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162024096 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915452
[startup+6.26809 s]
/proc/loadavg: 1.92 1.97 1.99 3/102 2791
/proc/meminfo: memFree=1633728/2055920 swapFree=4174172/4192956
[pid=2783] ppid=2781 vsize=915452 CPUtime=6.14
/proc/2783/stat : 2783 (java) R 2781 2783 2281 0 -1 0 8714 0 1 0 607 7 0 0 25 0 8 0 162024083 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816730 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2783/statm: 228863 8449 2524 14 0 215333 0
[pid=2783/tid=2785] ppid=2781 vsize=915452 CPUtime=0.03
/proc/2783/task/2785/stat : 2785 (java) S 2781 2783 2281 0 -1 64 269 0 0 0 3 0 0 0 17 0 8 0 162024092 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2786] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2786/stat : 2786 (java) S 2781 2783 2281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162024092 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2787] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2787/stat : 2787 (java) S 2781 2783 2281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162024092 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2788] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2788/stat : 2788 (java) S 2781 2783 2281 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162024096 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2789] ppid=2781 vsize=915452 CPUtime=0.22
/proc/2783/task/2789/stat : 2789 (java) S 2781 2783 2281 0 -1 64 391 0 0 0 22 0 0 0 16 0 8 0 162024096 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2790] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2790/stat : 2790 (java) S 2781 2783 2281 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162024096 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2791] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2791/stat : 2791 (java) S 2781 2783 2281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162024096 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915452
[startup+12.7562 s]
/proc/loadavg: 1.93 1.97 1.99 3/102 2791
/proc/meminfo: memFree=1633728/2055920 swapFree=4174172/4192956
[pid=2783] ppid=2781 vsize=915452 CPUtime=12.57
/proc/2783/stat : 2783 (java) R 2781 2783 2281 0 -1 0 8719 0 1 0 1250 7 0 0 25 0 8 0 162024083 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2783/statm: 228863 8454 2524 14 0 215333 0
[pid=2783/tid=2785] ppid=2781 vsize=915452 CPUtime=0.03
/proc/2783/task/2785/stat : 2785 (java) S 2781 2783 2281 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 162024092 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2786] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2786/stat : 2786 (java) S 2781 2783 2281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162024092 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2787] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2787/stat : 2787 (java) S 2781 2783 2281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162024092 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2788] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2788/stat : 2788 (java) S 2781 2783 2281 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162024096 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2789] ppid=2781 vsize=915452 CPUtime=0.22
/proc/2783/task/2789/stat : 2789 (java) S 2781 2783 2281 0 -1 64 391 0 0 0 22 0 0 0 16 0 8 0 162024096 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2790] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2790/stat : 2790 (java) S 2781 2783 2281 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162024096 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2791] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2791/stat : 2791 (java) S 2781 2783 2281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162024096 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915452
[startup+25.6054 s]
/proc/loadavg: 1.94 1.97 1.99 3/102 2793
/proc/meminfo: memFree=1633664/2055920 swapFree=4174172/4192956
[pid=2783] ppid=2781 vsize=915452 CPUtime=25.3
/proc/2783/stat : 2783 (java) R 2781 2783 2281 0 -1 0 8722 0 1 0 2523 7 0 0 25 0 8 0 162024083 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789430 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2783/statm: 228863 8457 2524 14 0 215333 0
[pid=2783/tid=2785] ppid=2781 vsize=915452 CPUtime=0.03
/proc/2783/task/2785/stat : 2785 (java) S 2781 2783 2281 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 162024092 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2786] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2786/stat : 2786 (java) S 2781 2783 2281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162024092 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2787] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2787/stat : 2787 (java) S 2781 2783 2281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162024092 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2788] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2788/stat : 2788 (java) S 2781 2783 2281 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162024096 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2789] ppid=2781 vsize=915452 CPUtime=0.22
/proc/2783/task/2789/stat : 2789 (java) S 2781 2783 2281 0 -1 64 391 0 0 0 22 0 0 0 16 0 8 0 162024096 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2790] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2790/stat : 2790 (java) S 2781 2783 2281 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162024096 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2791] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2791/stat : 2791 (java) S 2781 2783 2281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162024096 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915452
[startup+51.2118 s]
/proc/loadavg: 1.96 1.97 1.99 3/102 2793
/proc/meminfo: memFree=1633664/2055920 swapFree=4174172/4192956
[pid=2783] ppid=2781 vsize=915452 CPUtime=50.67
/proc/2783/stat : 2783 (java) R 2781 2783 2281 0 -1 0 8727 0 1 0 5060 7 0 0 25 0 8 0 162024083 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810137 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2783/statm: 228863 8462 2524 14 0 215333 0
[pid=2783/tid=2785] ppid=2781 vsize=915452 CPUtime=0.03
/proc/2783/task/2785/stat : 2785 (java) S 2781 2783 2281 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 162024092 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2786] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2786/stat : 2786 (java) S 2781 2783 2281 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162024092 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2787] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2787/stat : 2787 (java) S 2781 2783 2281 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162024092 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2788] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2788/stat : 2788 (java) S 2781 2783 2281 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162024096 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2789] ppid=2781 vsize=915452 CPUtime=0.22
/proc/2783/task/2789/stat : 2789 (java) S 2781 2783 2281 0 -1 64 391 0 0 0 22 0 0 0 16 0 8 0 162024096 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2790] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2790/stat : 2790 (java) S 2781 2783 2281 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162024096 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2783/tid=2791] ppid=2781 vsize=915452 CPUtime=0
/proc/2783/task/2791/stat : 2791 (java) S 2781 2783 2281 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162024096 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 102.031
CPU time (s): 101.002
CPU user time (s): 100.919
CPU system time (s): 0.082987
CPU usage (%): 98.991
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.919
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8823
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= 3170
involuntary context switches= 6899
runsolver used 0.123981 s user time and 0.340948 s system time
The end
Begin job on node15 on Sun Jan 7 02:18:12 UTC 2007
IDJOB= 199768
IDBENCH= 3635
FILE ID= node15/199768-1168136291
PBS_JOBID= 3477795
Free space on /tmp= 66282 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-46021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199768-1168136291/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-199768-1168136291 -o ROOT/results/node15/solver-199768-1168136291 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199768-1168136291/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a641d5227836e99889f0b65812e13203
RANDOM SEED= 450847796
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.276
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.276
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: 1658264 kB
Buffers: 15308 kB
Cached: 211044 kB
SwapCached: 5800 kB
Active: 295388 kB
Inactive: 54276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1658264 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 1948 kB
Writeback: 0 kB
Mapped: 142128 kB
Slab: 32332 kB
Committed_AS: 5198688 kB
PageTables: 2668 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= 66282 MiB
End job on node15 on Sun Jan 7 02:19:54 UTC 2007