0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/229283-1168305558/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.41 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1436 maxDegree=20
0.60 maxArity=2
0.60 => wckTime=0.283 cpuTime=0.21 mem=11M893
0.64
0.64 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.486 cpuTime=0.34 mem=14M824
0.85
0.85 preprocessing
0.85 nbConstraintChecks=54040 nbPropagations=833 nbRevisions=6138 nbUselessRevisions=4913 nbSingletonTests=54
0.85 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.85 => wckTime=0.049 cpuTime=0.03 mem=14M824
0.87
0.88 search
0.88 run=0 nbConstraintChecks=29900 nbPropagations=1384 nbRevisions=11604 nbUselessRevisions=9147 nbAssignments=29
0.88 nbFailedAssignments=12 nbBacktracks=13 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=13 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.072 cpuTime=0.04 mem=14M824
0.89
0.89 search
0.89 run=1 nbConstraintChecks=58576 nbPropagations=3368 nbRevisions=28518 nbUselessRevisions=22400 nbAssignments=64
0.89 nbFailedAssignments=22 nbBacktracks=30 nbVisitedNodes=103 nbRestartNogoods=2 mapSize=27 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.091 cpuTime=0.05 mem=14M824
0.91
0.91 search
0.91 run=2 nbConstraintChecks=109339 nbPropagations=6272 nbRevisions=54823 nbUselessRevisions=42937
0.91 nbAssignments=109 nbFailedAssignments=38 nbBacktracks=53 nbVisitedNodes=178 nbRestartNogoods=4 mapSize=47
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.107 cpuTime=0.08 mem=14M824
0.93
0.93 search
0.93 run=3 nbConstraintChecks=193976 nbPropagations=10506 nbRevisions=95545 nbUselessRevisions=73989
0.93 nbAssignments=176 nbFailedAssignments=67 nbBacktracks=88 nbVisitedNodes=296 nbRestartNogoods=8 mapSize=76
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.125 cpuTime=0.09 mem=14M824
0.95
0.95 search
0.95 run=4 nbConstraintChecks=287375 nbPropagations=16423 nbRevisions=153797 nbUselessRevisions=118381
0.95 nbAssignments=268 nbFailedAssignments=105 nbBacktracks=138 nbVisitedNodes=457 nbRestartNogoods=11 mapSize=118
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.148 cpuTime=0.11 mem=14M824
0.98
0.98 search
0.98 run=5 nbConstraintChecks=425762 nbPropagations=24703 nbRevisions=237207 nbUselessRevisions=181793
0.98 nbAssignments=395 nbFailedAssignments=151 nbBacktracks=214 nbVisitedNodes=674 nbRestartNogoods=14 mapSize=180
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.18 cpuTime=0.14 mem=14M824
1.03
1.03 search
1.03 run=6 nbConstraintChecks=671085 nbPropagations=37215 nbRevisions=367921 nbUselessRevisions=281223
1.03 nbAssignments=606 nbFailedAssignments=245 nbBacktracks=327 nbVisitedNodes=1051 nbRestartNogoods=18 mapSize=277
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.23 cpuTime=0.19 mem=14M824
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1046291 nbPropagations=55828 nbRevisions=565162 nbUselessRevisions=431054
1.10 nbAssignments=913 nbFailedAssignments=373 nbBacktracks=497 nbVisitedNodes=1589 nbRestartNogoods=25 mapSize=420
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.301 cpuTime=0.26 mem=14M824
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1578810 nbPropagations=83807 nbRevisions=863136 nbUselessRevisions=657760
1.22 nbAssignments=1360 nbFailedAssignments=560 nbBacktracks=753 nbVisitedNodes=2390 nbRestartNogoods=33
1.22 mapSize=650 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.413 cpuTime=0.36 mem=14M824
1.38
1.38 search
1.38 run=9 nbConstraintChecks=2377146 nbPropagations=125192 nbRevisions=1306856 nbUselessRevisions=995075
1.38 nbAssignments=2023 nbFailedAssignments=833 nbBacktracks=1137 nbVisitedNodes=3564 nbRestartNogoods=36
1.38 mapSize=990 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.577 cpuTime=0.5 mem=14M824
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=14M824)
1.58
1.58 search
1.58 run=10 nbConstraintChecks=3501233 nbPropagations=186446 nbRevisions=1966742 nbUselessRevisions=1498033
1.58 nbAssignments=3034 nbFailedAssignments=1262 nbBacktracks=1715 nbVisitedNodes=5351 nbRestartNogoods=45
1.58 => wckTime=0.779 cpuTime=0.69 mem=14M824
1.86
1.86 search
1.86 run=11 nbConstraintChecks=5190291 nbPropagations=276283 nbRevisions=2936409 nbUselessRevisions=2237106
1.86 nbAssignments=4513 nbFailedAssignments=1870 nbBacktracks=2581 nbVisitedNodes=7916 nbRestartNogoods=51
1.86 => wckTime=1.055 cpuTime=0.97 mem=14M824
2.26
2.26 search
2.26 run=12 nbConstraintChecks=7545800 nbPropagations=409517 nbRevisions=4377192 nbUselessRevisions=3338490
2.26 nbAssignments=6747 nbFailedAssignments=2802 nbBacktracks=3879 nbVisitedNodes=11860 nbRestartNogoods=61
2.26 => wckTime=1.458 cpuTime=1.37 mem=14M824
2.88
2.88 search
2.88 run=13 nbConstraintChecks=11233770 nbPropagations=607920 nbRevisions=6523929 nbUselessRevisions=4980059
2.88 nbAssignments=10110 nbFailedAssignments=4211 nbBacktracks=5825 nbVisitedNodes=17799 nbRestartNogoods=69
2.88 => wckTime=2.073 cpuTime=1.97 mem=14M824
3.75
3.75 search
3.75 run=14 nbConstraintChecks=16600058 nbPropagations=897145 nbRevisions=9655509 nbUselessRevisions=7368257
3.75 nbAssignments=15003 nbFailedAssignments=6179 nbBacktracks=8745 nbVisitedNodes=26314 nbRestartNogoods=80
3.75 => wckTime=2.951 cpuTime=2.84 mem=14M824
5.11
5.11 search
5.11 run=15 nbConstraintChecks=24853488 nbPropagations=1330526 nbRevisions=14346504 nbUselessRevisions=10949185
5.11 nbAssignments=22368 nbFailedAssignments=9164 nbBacktracks=13123 nbVisitedNodes=39272 nbRestartNogoods=91
5.11 => wckTime=4.309 cpuTime=4.18 mem=14M824
7.00
7.00 search
7.00 run=16 nbConstraintChecks=37286134 nbPropagations=1978397 nbRevisions=21343474 nbUselessRevisions=16283428
7.00 nbAssignments=33192 nbFailedAssignments=13413 nbBacktracks=19693 nbVisitedNodes=58195 nbRestartNogoods=94
7.00 => wckTime=6.201 cpuTime=6.07 mem=14M824
9.81
9.81 search
9.81 run=17 nbConstraintChecks=55734651 nbPropagations=2947664 nbRevisions=31833602 nbUselessRevisions=24291573
9.81 nbAssignments=49768 nbFailedAssignments=20131 nbBacktracks=29545 nbVisitedNodes=87261 nbRestartNogoods=109
9.81 => wckTime=9.01 cpuTime=8.88 mem=14M824
11.01
11.01 search
11.01 run=18 nbConstraintChecks=63759012 nbPropagations=4050944 nbRevisions=43798913 nbUselessRevisions=33423846
11.01 nbAssignments=56738 nbFailedAssignments=22873 nbBacktracks=33733 nbVisitedNodes=99409 nbRestartNogoods=120
11.01 => wckTime=10.205 cpuTime=10.07 mem=14M824
11.01
11.01 global
11.01 nbConstraintChecks=63813052 nbPropagations=4051777 nbRevisions=43805051 nbUselessRevisions=33428759
11.01 nbRestartNogoods=120 solvingWckTime=10.206 solvingCpuTime=10.07 expiredTime=no totalExploration=no
11.01 nbFoundSolutions=1 globalCpuTime=10.46
11.01 => wckTime=10.695 cpuTime=10.41 mem=14M824
11.01
11.01 s SATISFIABLE
11.01 v 1 10 13 13 7 3 2 6 2 13 0 2 8 0 9 6 12 12 14 5 1 5 4 0 1 14 5 10 14 3 13 13 15 1 8 14 5 11 10 12
11.01 d NODES 56738
11.01 d CHECKS 63813052
11.01
11.01 totalWckTime=10.775 totalCpuTime=10.47
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-229283-1168305558 -o ROOT/results/node12/solver-229283-1168305558 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229283-1168305558/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.45 1.18 1.30 2/88 18047
/proc/meminfo: memFree=1501704/2055920 swapFree=4160348/4192956
[pid=18046] ppid=18044 vsize=18540 CPUtime=0
/proc/18046/stat : 18046 (runsolver) R 18044 18046 17490 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 178950851 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18046/statm: 4635 279 244 17 0 2626 0
[startup+0.102054 s]
/proc/loadavg: 1.45 1.18 1.30 2/88 18047
/proc/meminfo: memFree=1501704/2055920 swapFree=4160348/4192956
[pid=18046] ppid=18044 vsize=914988 CPUtime=0.09
/proc/18046/stat : 18046 (java) R 18044 18046 17490 0 -1 0 2996 0 1 0 7 2 0 0 20 0 8 0 178950851 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18046/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51013 s]
/proc/loadavg: 1.45 1.18 1.30 2/88 18047
/proc/meminfo: memFree=1501704/2055920 swapFree=4160348/4192956
[pid=18046] ppid=18044 vsize=915328 CPUtime=0.48
/proc/18046/stat : 18046 (java) R 18044 18046 17490 0 -1 0 6668 0 1 0 44 4 0 0 18 0 8 0 178950851 937295872 6407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18046/statm: 228832 6407 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33127 s]
/proc/loadavg: 1.58 1.21 1.31 3/95 18054
/proc/meminfo: memFree=1477904/2055920 swapFree=4160348/4192956
[pid=18046] ppid=18044 vsize=915452 CPUtime=1.3
/proc/18046/stat : 18046 (java) R 18044 18046 17490 0 -1 0 8684 0 1 0 124 6 0 0 24 0 8 0 178950851 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789320 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18046/statm: 228863 8422 2524 14 0 215333 0
[pid=18046/tid=18048] ppid=18044 vsize=915452 CPUtime=0.03
/proc/18046/task/18048/stat : 18048 (java) S 18044 18046 17490 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 178950855 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18049] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18049/stat : 18049 (java) S 18044 18046 17490 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178950856 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18050] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18050/stat : 18050 (java) S 18044 18046 17490 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178950856 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18051] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18051/stat : 18051 (java) S 18044 18046 17490 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178950859 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18052] ppid=18044 vsize=915452 CPUtime=0.21
/proc/18046/task/18052/stat : 18052 (java) S 18044 18046 17490 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 178950859 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18053] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18053/stat : 18053 (java) S 18044 18046 17490 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178950859 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18054] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18054/stat : 18054 (java) S 18044 18046 17490 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178950859 937422848 8422 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.97157 s]
/proc/loadavg: 1.58 1.21 1.31 3/95 18054
/proc/meminfo: memFree=1477712/2055920 swapFree=4160348/4192956
[pid=18046] ppid=18044 vsize=915452 CPUtime=2.92
/proc/18046/stat : 18046 (java) R 18044 18046 17490 0 -1 0 8711 0 1 0 286 6 0 0 25 0 8 0 178950851 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18046/statm: 228863 8448 2524 14 0 215333 0
[pid=18046/tid=18048] ppid=18044 vsize=915452 CPUtime=0.03
/proc/18046/task/18048/stat : 18048 (java) S 18044 18046 17490 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 178950855 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18049] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18049/stat : 18049 (java) S 18044 18046 17490 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178950856 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18050] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18050/stat : 18050 (java) S 18044 18046 17490 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178950856 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18051] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18051/stat : 18051 (java) S 18044 18046 17490 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178950859 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18052] ppid=18044 vsize=915452 CPUtime=0.23
/proc/18046/task/18052/stat : 18052 (java) S 18044 18046 17490 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 178950859 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18053] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18053/stat : 18053 (java) S 18044 18046 17490 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178950859 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18054] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18054/stat : 18054 (java) S 18044 18046 17490 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178950859 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915452
[startup+6.26715 s]
/proc/loadavg: 1.58 1.21 1.31 2/88 18064
/proc/meminfo: memFree=1479688/2055920 swapFree=4160348/4192956
[pid=18046] ppid=18044 vsize=915452 CPUtime=6.19
/proc/18046/stat : 18046 (java) R 18044 18046 17490 0 -1 0 8717 0 1 0 612 7 0 0 25 0 8 0 178950851 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815737 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18046/statm: 228863 8453 2524 14 0 215333 0
[pid=18046/tid=18048] ppid=18044 vsize=915452 CPUtime=0.03
/proc/18046/task/18048/stat : 18048 (java) S 18044 18046 17490 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 178950855 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18049] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18049/stat : 18049 (java) S 18044 18046 17490 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178950856 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18050] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18050/stat : 18050 (java) S 18044 18046 17490 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178950856 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18051] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18051/stat : 18051 (java) S 18044 18046 17490 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178950859 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18052] ppid=18044 vsize=915452 CPUtime=0.23
/proc/18046/task/18052/stat : 18052 (java) S 18044 18046 17490 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 178950859 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18053] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18053/stat : 18053 (java) S 18044 18046 17490 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178950859 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18046/tid=18054] ppid=18044 vsize=915452 CPUtime=0
/proc/18046/task/18054/stat : 18054 (java) S 18044 18046 17490 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178950859 937422848 8453 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): 11.0728
CPU time (s): 10.9533
CPU user time (s): 10.8753
CPU system time (s): 0.077988
CPU usage (%): 98.9211
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8753
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8815
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= 1341
involuntary context switches= 1762
runsolver used 0.019996 s user time and 0.041993 s system time
The end
Begin job on node12 on Tue Jan 9 01:19:18 UTC 2007
IDJOB= 229283
IDBENCH= 6291
FILE ID= node12/229283-1168305558
PBS_JOBID= 3502273
Free space on /tmp= 66326 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229283-1168305558/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-229283-1168305558 -o ROOT/results/node12/solver-229283-1168305558 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229283-1168305558/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fbd78a7b57afd433723f2e31085dcad0
RANDOM SEED= 413244295
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.265
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.265
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: 1502184 kB
Buffers: 92856 kB
Cached: 369104 kB
SwapCached: 5132 kB
Active: 317864 kB
Inactive: 179996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1502184 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2832 kB
Writeback: 0 kB
Mapped: 46748 kB
Slab: 40832 kB
Committed_AS: 5211040 kB
PageTables: 2104 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= 66327 MiB
End job on node12 on Tue Jan 9 01:19:29 UTC 2007