0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/229245-1168304833/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.39 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.46
0.46 constraints being loaded...
0.56 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.56 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1448 maxDegree=18
0.56 maxArity=2
0.56 => wckTime=0.265 cpuTime=0.2 mem=11M893
0.60
0.60 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.456 cpuTime=0.32 mem=14M824
0.80
0.80 preprocessing
0.80 nbConstraintChecks=52701 nbPropagations=876 nbRevisions=6371 nbUselessRevisions=5246 nbSingletonTests=54
0.80 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.80 => wckTime=0.045 cpuTime=0.02 mem=14M824
0.82
0.82 search
0.82 run=0 nbConstraintChecks=26543 nbPropagations=1340 nbRevisions=10968 nbUselessRevisions=8940 nbAssignments=27
0.82 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.066 cpuTime=0.05 mem=14M824
0.83
0.83 search
0.83 run=1 nbConstraintChecks=54299 nbPropagations=3193 nbRevisions=26676 nbUselessRevisions=21550 nbAssignments=54
0.83 nbFailedAssignments=15 nbBacktracks=25 nbVisitedNodes=86 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.083 cpuTime=0.06 mem=14M824
0.85
0.85 search
0.85 run=2 nbConstraintChecks=114799 nbPropagations=6090 nbRevisions=51952 nbUselessRevisions=41371
0.85 nbAssignments=112 nbFailedAssignments=30 nbBacktracks=47 nbVisitedNodes=160 nbRestartNogoods=5 mapSize=38
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.099 cpuTime=0.07 mem=14M824
0.86
0.86 search
0.86 run=3 nbConstraintChecks=180533 nbPropagations=10101 nbRevisions=89685 nbUselessRevisions=70817
0.86 nbAssignments=178 nbFailedAssignments=57 nbBacktracks=81 nbVisitedNodes=271 nbRestartNogoods=8 mapSize=65
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.113 cpuTime=0.09 mem=14M824
0.88
0.88 search
0.88 run=4 nbConstraintChecks=261118 nbPropagations=15600 nbRevisions=142207 nbUselessRevisions=111496
0.88 nbAssignments=267 nbFailedAssignments=88 nbBacktracks=133 nbVisitedNodes=417 nbRestartNogoods=10 mapSize=105
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.132 cpuTime=0.1 mem=14M824
0.91
0.91 search
0.91 run=5 nbConstraintChecks=410766 nbPropagations=23742 nbRevisions=222806 nbUselessRevisions=173632
0.91 nbAssignments=411 nbFailedAssignments=150 nbBacktracks=210 nbVisitedNodes=671 nbRestartNogoods=13 mapSize=170
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.165 cpuTime=0.13 mem=14M824
0.95
0.95 search
0.95 run=6 nbConstraintChecks=585642 nbPropagations=35213 nbRevisions=336844 nbUselessRevisions=261149
0.95 nbAssignments=605 nbFailedAssignments=225 nbBacktracks=323 nbVisitedNodes=1001 nbRestartNogoods=17 mapSize=264
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.201 cpuTime=0.17 mem=14M824
1.01
1.01 search
1.01 run=7 nbConstraintChecks=923786 nbPropagations=52349 nbRevisions=513186 nbUselessRevisions=396384
1.01 nbAssignments=912 nbFailedAssignments=354 nbBacktracks=494 nbVisitedNodes=1539 nbRestartNogoods=23 mapSize=409
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.262 cpuTime=0.23 mem=14M824
1.10
1.10 search
1.10 run=8 nbConstraintChecks=1355990 nbPropagations=77702 nbRevisions=774050 nbUselessRevisions=595719
1.10 nbAssignments=1355 nbFailedAssignments=533 nbBacktracks=753 nbVisitedNodes=2305 nbRestartNogoods=28
1.10 mapSize=625 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.347 cpuTime=0.31 mem=14M824
1.24
1.24 search
1.24 run=9 nbConstraintChecks=2139710 nbPropagations=116238 nbRevisions=1179393 nbUselessRevisions=904564
1.24 nbAssignments=2025 nbFailedAssignments=813 nbBacktracks=1139 nbVisitedNodes=3508 nbRestartNogoods=34
1.24 mapSize=967 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.488 cpuTime=0.43 mem=14M824
1.26
1.26 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=14M824)
1.39
1.39 search
1.39 run=10 nbConstraintChecks=2963587 nbPropagations=171151 nbRevisions=1753970 nbUselessRevisions=1342625
1.39 nbAssignments=2955 nbFailedAssignments=1157 nbBacktracks=1716 nbVisitedNodes=5092 nbRestartNogoods=42
1.39 => wckTime=0.639 cpuTime=0.57 mem=14M824
1.63
1.63 search
1.63 run=11 nbConstraintChecks=4544091 nbPropagations=254040 nbRevisions=2637837 nbUselessRevisions=2020641
1.63 nbAssignments=4446 nbFailedAssignments=1779 nbBacktracks=2581 nbVisitedNodes=7709 nbRestartNogoods=47
1.63 => wckTime=0.884 cpuTime=0.81 mem=14M824
1.95
1.95 search
1.95 run=12 nbConstraintChecks=6576346 nbPropagations=374531 nbRevisions=3909326 nbUselessRevisions=2993483
1.95 nbAssignments=6483 nbFailedAssignments=2513 nbBacktracks=3880 nbVisitedNodes=11193 nbRestartNogoods=55
1.95 => wckTime=1.198 cpuTime=1.13 mem=14M824
2.46
2.46 search
2.46 run=13 nbConstraintChecks=9877955 nbPropagations=555313 nbRevisions=5825577 nbUselessRevisions=4460883
2.46 nbAssignments=9771 nbFailedAssignments=3849 nbBacktracks=5826 nbVisitedNodes=16947 nbRestartNogoods=60
2.46 => wckTime=1.707 cpuTime=1.63 mem=14M824
3.20
3.21 search
3.21 run=14 nbConstraintChecks=14771394 nbPropagations=824208 nbRevisions=8675341 nbUselessRevisions=6641198
3.21 nbAssignments=14558 nbFailedAssignments=5710 nbBacktracks=8747 nbVisitedNodes=25197 nbRestartNogoods=66
3.21 => wckTime=2.455 cpuTime=2.38 mem=14M824
4.33
4.33 search
4.33 run=15 nbConstraintChecks=22079723 nbPropagations=1225308 nbRevisions=12942808 nbUselessRevisions=9906965
4.33 nbAssignments=21767 nbFailedAssignments=8534 nbBacktracks=13125 nbVisitedNodes=37677 nbRestartNogoods=70
4.33 => wckTime=3.581 cpuTime=3.51 mem=14M824
6.10
6.10 search
6.10 run=16 nbConstraintChecks=33654539 nbPropagations=1830948 nbRevisions=19408792 nbUselessRevisions=14849584
6.10 nbAssignments=32838 nbFailedAssignments=13030 nbBacktracks=19695 nbVisitedNodes=56946 nbRestartNogoods=81
6.10 => wckTime=5.349 cpuTime=5.27 mem=14M824
8.69
8.69 search
8.69 run=17 nbConstraintChecks=50822734 nbPropagations=2736380 nbRevisions=29095969 nbUselessRevisions=22250980
8.69 nbAssignments=48934 nbFailedAssignments=19266 nbBacktracks=29549 nbVisitedNodes=84761 nbRestartNogoods=86
8.69 => wckTime=7.944 cpuTime=7.87 mem=14M824
12.62
12.62 search
12.62 run=18 nbConstraintChecks=76810007 nbPropagations=4094628 nbRevisions=43661357 nbUselessRevisions=33379755
12.62 nbAssignments=73411 nbFailedAssignments=28959 nbBacktracks=44329 nbVisitedNodes=127234 nbRestartNogoods=96
12.62 => wckTime=11.873 cpuTime=11.79 mem=14M824
18.81
18.81 search
18.81 run=19 nbConstraintChecks=118177060 nbPropagations=6169552 nbRevisions=66064016 nbUselessRevisions=50524342
18.81 nbAssignments=111034 nbFailedAssignments=44406 nbBacktracks=66502 nbVisitedNodes=193312 nbRestartNogoods=106
18.81 => wckTime=18.063 cpuTime=17.98 mem=14M824
26.74
26.74 search
26.74 run=20 nbConstraintChecks=171377416 nbPropagations=9156329 nbRevisions=98389546 nbUselessRevisions=75260198
26.74 nbAssignments=159018 nbFailedAssignments=64008 nbBacktracks=94885 nbVisitedNodes=277232 nbRestartNogoods=109
26.74 => wckTime=25.99 cpuTime=25.9 mem=14M824
26.74
26.74 global
26.74 nbConstraintChecks=171430117 nbPropagations=9157205 nbRevisions=98395917 nbUselessRevisions=75265444
26.74 nbRestartNogoods=109 solvingWckTime=25.991 solvingCpuTime=25.9 expiredTime=no totalExploration=yes
26.74 nbFoundSolutions=0 globalCpuTime=26.27
26.74 => wckTime=26.45 cpuTime=26.22 mem=15M799
26.74
26.74 s UNSATISFIABLE
26.74 d NODES 159018
26.74 d CHECKS 171430117
26.74
26.74 totalWckTime=26.525 totalCpuTime=26.28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-229245-1168304833 -o ROOT/results/node13/solver-229245-1168304833 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229245-1168304833/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.13 1.81 1.67 4/88 25490
/proc/meminfo: memFree=1407432/2055920 swapFree=4192812/4192956
[pid=25489] ppid=25487 vsize=172 CPUtime=0
/proc/25489/stat : 25489 (java) R 25487 25489 23842 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 178878274 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11879204 0 0 4096 0 0 0 0 17 0 0 0
/proc/25489/statm: 43 24 18 14 0 3 0
[startup+0.108366 s]
/proc/loadavg: 2.13 1.81 1.67 4/88 25490
/proc/meminfo: memFree=1407432/2055920 swapFree=4192812/4192956
[pid=25489] ppid=25487 vsize=914988 CPUtime=0.09
/proc/25489/stat : 25489 (java) R 25487 25489 23842 0 -1 0 3079 0 1 0 7 2 0 0 22 0 8 0 178878274 936947712 2825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155770466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25489/statm: 228747 2826 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516419 s]
/proc/loadavg: 2.13 1.81 1.67 4/88 25490
/proc/meminfo: memFree=1407432/2055920 swapFree=4192812/4192956
[pid=25489] ppid=25487 vsize=915328 CPUtime=0.5
/proc/25489/stat : 25489 (java) R 25487 25489 23842 0 -1 0 6931 0 1 0 45 5 0 0 25 0 8 0 178878274 937295872 6670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25489/statm: 228832 6670 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33853 s]
/proc/loadavg: 2.12 1.82 1.67 3/95 25497
/proc/meminfo: memFree=1383760/2055920 swapFree=4192812/4192956
[pid=25489] ppid=25487 vsize=915452 CPUtime=1.32
/proc/25489/stat : 25489 (java) R 25487 25489 23842 0 -1 0 8697 0 1 0 126 6 0 0 25 0 8 0 178878274 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25489/statm: 228863 8435 2524 14 0 215333 0
[pid=25489/tid=25491] ppid=25487 vsize=915452 CPUtime=0.02
/proc/25489/task/25491/stat : 25491 (java) S 25487 25489 23842 0 -1 64 241 0 0 0 2 0 0 0 16 0 8 0 178878277 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25492] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25492/stat : 25492 (java) S 25487 25489 23842 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 178878278 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25493] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25493/stat : 25493 (java) S 25487 25489 23842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178878278 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25494] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25494/stat : 25494 (java) S 25487 25489 23842 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178878281 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25495] ppid=25487 vsize=915452 CPUtime=0.21
/proc/25489/task/25495/stat : 25495 (java) R 25487 25489 23842 0 -1 64 387 0 0 0 20 1 0 0 16 0 8 0 178878281 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25496] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25496/stat : 25496 (java) S 25487 25489 23842 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 178878281 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25497] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25497/stat : 25497 (java) S 25487 25489 23842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178878281 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452
[startup+2.99175 s]
/proc/loadavg: 2.12 1.82 1.67 3/95 25497
/proc/meminfo: memFree=1383568/2055920 swapFree=4192812/4192956
[pid=25489] ppid=25487 vsize=915452 CPUtime=2.97
/proc/25489/stat : 25489 (java) R 25487 25489 23842 0 -1 0 8711 0 1 0 291 6 0 0 25 0 8 0 178878274 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789552 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25489/statm: 228863 8448 2524 14 0 215333 0
[pid=25489/tid=25491] ppid=25487 vsize=915452 CPUtime=0.02
/proc/25489/task/25491/stat : 25491 (java) S 25487 25489 23842 0 -1 64 241 0 0 0 2 0 0 0 16 0 8 0 178878277 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25492] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25492/stat : 25492 (java) S 25487 25489 23842 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 178878278 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25493] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25493/stat : 25493 (java) S 25487 25489 23842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178878278 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25494] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25494/stat : 25494 (java) S 25487 25489 23842 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178878281 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25495] ppid=25487 vsize=915452 CPUtime=0.22
/proc/25489/task/25495/stat : 25495 (java) S 25487 25489 23842 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 178878281 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25496] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25496/stat : 25496 (java) S 25487 25489 23842 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 178878281 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25497] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25497/stat : 25497 (java) S 25487 25489 23842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178878281 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915452
[startup+6.29019 s]
/proc/loadavg: 2.12 1.82 1.67 3/95 25497
/proc/meminfo: memFree=1383440/2055920 swapFree=4192812/4192956
[pid=25489] ppid=25487 vsize=915452 CPUtime=6.26
/proc/25489/stat : 25489 (java) R 25487 25489 23842 0 -1 0 8719 0 1 0 620 6 0 0 25 0 8 0 178878274 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810305 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25489/statm: 228863 8455 2524 14 0 215333 0
[pid=25489/tid=25491] ppid=25487 vsize=915452 CPUtime=0.02
/proc/25489/task/25491/stat : 25491 (java) S 25487 25489 23842 0 -1 64 241 0 0 0 2 0 0 0 16 0 8 0 178878277 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25492] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25492/stat : 25492 (java) S 25487 25489 23842 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 178878278 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25493] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25493/stat : 25493 (java) S 25487 25489 23842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178878278 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25494] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25494/stat : 25494 (java) S 25487 25489 23842 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178878281 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25495] ppid=25487 vsize=915452 CPUtime=0.22
/proc/25489/task/25495/stat : 25495 (java) S 25487 25489 23842 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 178878281 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25496] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25496/stat : 25496 (java) S 25487 25489 23842 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 178878281 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25497] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25497/stat : 25497 (java) S 25487 25489 23842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178878281 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915452
[startup+12.7741 s]
/proc/loadavg: 2.10 1.82 1.67 3/95 25497
/proc/meminfo: memFree=1383440/2055920 swapFree=4192812/4192956
[pid=25489] ppid=25487 vsize=915452 CPUtime=12.74
/proc/25489/stat : 25489 (java) R 25487 25489 23842 0 -1 0 8724 0 1 0 1268 6 0 0 25 0 8 0 178878274 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25489/statm: 228863 8460 2524 14 0 215333 0
[pid=25489/tid=25491] ppid=25487 vsize=915452 CPUtime=0.02
/proc/25489/task/25491/stat : 25491 (java) S 25487 25489 23842 0 -1 64 241 0 0 0 2 0 0 0 16 0 8 0 178878277 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25492] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25492/stat : 25492 (java) S 25487 25489 23842 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 178878278 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25493] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25493/stat : 25493 (java) S 25487 25489 23842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178878278 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25494] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25494/stat : 25494 (java) S 25487 25489 23842 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178878281 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25495] ppid=25487 vsize=915452 CPUtime=0.22
/proc/25489/task/25495/stat : 25495 (java) S 25487 25489 23842 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 178878281 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25496] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25496/stat : 25496 (java) S 25487 25489 23842 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 178878281 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25497] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25497/stat : 25497 (java) S 25487 25489 23842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178878281 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915452
[startup+25.6228 s]
/proc/loadavg: 2.08 1.83 1.68 3/95 25497
/proc/meminfo: memFree=1383440/2055920 swapFree=4192812/4192956
[pid=25489] ppid=25487 vsize=915452 CPUtime=25.59
/proc/25489/stat : 25489 (java) R 25487 25489 23842 0 -1 0 8726 0 1 0 2553 6 0 0 25 0 8 0 178878274 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25489/statm: 228863 8462 2524 14 0 215333 0
[pid=25489/tid=25491] ppid=25487 vsize=915452 CPUtime=0.02
/proc/25489/task/25491/stat : 25491 (java) S 25487 25489 23842 0 -1 64 241 0 0 0 2 0 0 0 16 0 8 0 178878277 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25492] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25492/stat : 25492 (java) S 25487 25489 23842 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 178878278 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25493] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25493/stat : 25493 (java) S 25487 25489 23842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178878278 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25494] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25494/stat : 25494 (java) S 25487 25489 23842 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178878281 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25495] ppid=25487 vsize=915452 CPUtime=0.22
/proc/25489/task/25495/stat : 25495 (java) S 25487 25489 23842 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 178878281 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25496] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25496/stat : 25496 (java) S 25487 25489 23842 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 178878281 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25489/tid=25497] ppid=25487 vsize=915452 CPUtime=0
/proc/25489/task/25497/stat : 25497 (java) S 25487 25489 23842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178878281 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 26.767
CPU time (s): 26.7299
CPU user time (s): 26.6549
CPU system time (s): 0.074988
CPU usage (%): 99.8614
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.6549
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8820
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= 1696
involuntary context switches= 2589
runsolver used 0.033994 s user time and 0.095985 s system time
The end
Begin job on node13 on Tue Jan 9 01:07:13 UTC 2007
IDJOB= 229245
IDBENCH= 6288
FILE ID= node13/229245-1168304833
PBS_JOBID= 3502263
Free space on /tmp= 66327 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229245-1168304833/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-229245-1168304833 -o ROOT/results/node13/solver-229245-1168304833 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229245-1168304833/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d4f87ac654423fce43e15062f9d6d02d
RANDOM SEED= 517367571
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.247
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.247
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: 1407912 kB
Buffers: 88788 kB
Cached: 444604 kB
SwapCached: 0 kB
Active: 319504 kB
Inactive: 265832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1407912 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1860 kB
Writeback: 0 kB
Mapped: 72492 kB
Slab: 47208 kB
Committed_AS: 4858688 kB
PageTables: 2416 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 node13 on Tue Jan 9 01:07:40 UTC 2007