0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/210209-1168195989/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.48 nbVariables=870 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.48 => wckTime=0.179 cpuTime=0.13 mem=8M869
0.48
0.48 predicates being loaded...
0.49
0.49 constraints being loaded...
0.85 nbConstraints=1458 nbSingletonDomainVariables=208 nbConvertedConstraints=1213 nbConvertConstraintsChecks=457
0.85 nbExtensionStructures=9 nbSharedExtensionStructures=1204 nbConflictsStructures=90
0.85 nbSharedConflictsStructures=1368 nbSharedBinaryRepresentations=21 nbEvaluationManagers=81
0.85 nbSharedEvaluationManagers=164 maxDegree=26 maxArity=5
0.85 => wckTime=0.549 cpuTime=0.42 mem=17M662
0.90
0.90 solver IterativeSystematicSolver being built...
1.11 => wckTime=0.808 cpuTime=0.59 mem=20M556
1.32
1.32 preprocessing
1.32 nbConstraintChecks=7290 nbValidityChecks=558 nbPropagations=3978 nbRevisions=5703 nbUselessRevisions=4104
1.32 nbSingletonTests=1536 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.32 => wckTime=0.203 cpuTime=0.17 mem=20M556
1.39
1.39 search
1.39 run=0 nbConstraintChecks=1765 nbValidityChecks=168 nbPropagations=4451 nbRevisions=6948
1.39 nbUselessRevisions=4874 nbAssignments=146 nbFailedAssignments=1 nbBacktracks=15 nbVisitedNodes=149
1.39 nbRestartNogoods=0 mapSize=1 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.274 cpuTime=0.23 mem=20M556
1.45
1.45 search
1.45 run=1 nbConstraintChecks=3348 nbValidityChecks=348 nbPropagations=9387 nbRevisions=14984
1.45 nbUselessRevisions=10349 nbAssignments=303 nbFailedAssignments=2 nbBacktracks=43 nbVisitedNodes=308
1.45 nbRestartNogoods=1 mapSize=2 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.331 cpuTime=0.28 mem=20M556
1.50
1.50 search
1.50 run=2 nbConstraintChecks=4819 nbValidityChecks=516 nbPropagations=14767 nbRevisions=24026
1.50 nbUselessRevisions=16394 nbAssignments=451 nbFailedAssignments=4 nbBacktracks=75 nbVisitedNodes=459
1.50 nbRestartNogoods=2 mapSize=4 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.38 cpuTime=0.33 mem=20M556
1.56
1.56 search
1.56 run=3 nbConstraintChecks=8467 nbValidityChecks=1023 nbPropagations=21299 nbRevisions=35723
1.56 nbUselessRevisions=23947 nbAssignments=621 nbFailedAssignments=8 nbBacktracks=110 nbVisitedNodes=637
1.56 nbRestartNogoods=3 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.44 cpuTime=0.39 mem=20M556
1.63
1.63 search
1.63 run=4 nbConstraintChecks=12998 nbValidityChecks=1668 nbPropagations=29256 nbRevisions=50726
1.63 nbUselessRevisions=33387 nbAssignments=818 nbFailedAssignments=15 nbBacktracks=161 nbVisitedNodes=848
1.63 nbRestartNogoods=5 mapSize=21 nbInferences=2 nbTooLargeKeys=0
1.63 => wckTime=0.51 cpuTime=0.45 mem=20M556
1.71
1.71 search
1.71 run=5 nbConstraintChecks=20077 nbValidityChecks=2720 nbPropagations=39389 nbRevisions=70943
1.71 nbUselessRevisions=45845 nbAssignments=1049 nbFailedAssignments=24 nbBacktracks=260 nbVisitedNodes=1095
1.71 nbRestartNogoods=8 mapSize=34 nbInferences=2 nbTooLargeKeys=0
1.71 => wckTime=0.595 cpuTime=0.53 mem=20M556
1.81
1.81 search
1.81 run=6 nbConstraintChecks=27494 nbValidityChecks=3868 nbPropagations=51818 nbRevisions=96677
1.81 nbUselessRevisions=61517 nbAssignments=1316 nbFailedAssignments=35 nbBacktracks=374 nbVisitedNodes=1382
1.82 nbRestartNogoods=11 mapSize=51 nbInferences=4 nbTooLargeKeys=0
1.82 => wckTime=0.699 cpuTime=0.63 mem=20M556
1.95
1.95 search
1.95 run=7 nbConstraintChecks=40364 nbValidityChecks=5731 nbPropagations=68128 nbRevisions=131865
1.95 nbUselessRevisions=82686 nbAssignments=1649 nbFailedAssignments=53 nbBacktracks=586 nbVisitedNodes=1751
1.95 nbRestartNogoods=14 mapSize=86 nbInferences=8 nbTooLargeKeys=0
1.95 => wckTime=0.835 cpuTime=0.76 mem=20M556
2.12
2.12 search
2.12 run=8 nbConstraintChecks=53477 nbValidityChecks=7866 nbPropagations=88515 nbRevisions=177014
2.12 nbUselessRevisions=109747 nbAssignments=2072 nbFailedAssignments=66 nbBacktracks=858 nbVisitedNodes=2205
2.12 nbRestartNogoods=15 mapSize=113 nbInferences=13 nbTooLargeKeys=0
2.12 => wckTime=1.006 cpuTime=0.93 mem=21M531
2.38
2.38 search
2.38 run=9 nbConstraintChecks=79763 nbValidityChecks=12195 nbPropagations=117002 nbRevisions=242063
2.38 nbUselessRevisions=148596 nbAssignments=2657 nbFailedAssignments=106 nbBacktracks=1249 nbVisitedNodes=2865
2.38 nbRestartNogoods=19 mapSize=186 nbInferences=22 nbTooLargeKeys=0
2.38 => wckTime=1.264 cpuTime=1.19 mem=21M531
2.75
2.75 search
2.75 run=10 nbConstraintChecks=159228 nbValidityChecks=25341 nbPropagations=169099 nbRevisions=367232
2.75 nbUselessRevisions=223545 nbAssignments=3449 nbFailedAssignments=217 nbBacktracks=1831 nbVisitedNodes=3883
2.75 nbRestartNogoods=21 mapSize=409 nbInferences=44 nbTooLargeKeys=0
2.75 => wckTime=1.636 cpuTime=1.55 mem=21M531
3.24
3.24 search
3.24 run=11 nbConstraintChecks=260762 nbValidityChecks=40369 nbPropagations=251074 nbRevisions=567323
3.24 nbUselessRevisions=342934 nbAssignments=4512 nbFailedAssignments=346 nbBacktracks=2700 nbVisitedNodes=5218
3.24 nbRestartNogoods=24 mapSize=674 nbInferences=80 nbTooLargeKeys=0
3.24 => wckTime=2.119 cpuTime=2.03 mem=21M531
4.01
4.01 search
4.01 run=12 nbConstraintChecks=438300 nbValidityChecks=66818 nbPropagations=384846 nbRevisions=897810
4.01 nbUselessRevisions=539731 nbAssignments=6100 nbFailedAssignments=548 nbBacktracks=4000 nbVisitedNodes=7239
4.01 nbRestartNogoods=28 mapSize=1103 nbInferences=132 nbTooLargeKeys=0
4.01 => wckTime=2.892 cpuTime=2.8 mem=21M531
5.16
5.16 search
5.16 run=13 nbConstraintChecks=792812 nbValidityChecks=117122 nbPropagations=619313 nbRevisions=1485167
5.16 nbUselessRevisions=890066 nbAssignments=8433 nbFailedAssignments=862 nbBacktracks=5958 nbVisitedNodes=10234
5.16 nbRestartNogoods=32 mapSize=1760 nbInferences=151 nbTooLargeKeys=0
5.16 => wckTime=4.039 cpuTime=3.93 mem=22M507
6.82
6.82 search
6.82 run=14 nbConstraintChecks=1159470 nbValidityChecks=168352 nbPropagations=959699 nbRevisions=2338874
6.82 nbUselessRevisions=1398226 nbAssignments=11885 nbFailedAssignments=1255 nbBacktracks=8887 nbVisitedNodes=14543
6.82 nbRestartNogoods=36 mapSize=2610 nbInferences=236 nbTooLargeKeys=0
6.82 => wckTime=5.705 cpuTime=5.59 mem=22M507
9.42
9.42 search
9.42 run=15 nbConstraintChecks=1930858 nbValidityChecks=274038 nbPropagations=1519864 nbRevisions=3751303
9.42 nbUselessRevisions=2240508 nbAssignments=17030 nbFailedAssignments=1850 nbBacktracks=13267 nbVisitedNodes=21052
9.42 nbRestartNogoods=40 mapSize=3948 nbInferences=372 nbTooLargeKeys=0
9.42 => wckTime=8.306 cpuTime=8.19 mem=23M482
13.05
13.05 search
13.05 run=16 nbConstraintChecks=2871849 nbValidityChecks=404722 nbPropagations=2347564 nbRevisions=5844976
13.05 nbUselessRevisions=3487293 nbAssignments=24599 nbFailedAssignments=2696 nbBacktracks=19860 nbVisitedNodes=30367
13.05 nbRestartNogoods=44 mapSize=5680 nbInferences=468 nbTooLargeKeys=0
13.05 => wckTime=11.934 cpuTime=11.81 mem=24M457
18.33
18.33 search
18.33 run=17 nbConstraintChecks=4239088 nbValidityChecks=582993 nbPropagations=3557693 nbRevisions=8918183
18.33 nbUselessRevisions=5317112 nbAssignments=36092 nbFailedAssignments=3931 nbBacktracks=29718 nbVisitedNodes=44691
18.33 nbRestartNogoods=49 mapSize=8423 nbInferences=813 nbTooLargeKeys=0
18.33 => wckTime=17.214 cpuTime=17.09 mem=26M407
26.00
26.00 search
26.00 run=18 nbConstraintChecks=6298290 nbValidityChecks=843761 nbPropagations=5349670 nbRevisions=13450714
26.00 nbUselessRevisions=8006006 nbAssignments=53191 nbFailedAssignments=5859 nbBacktracks=44498 nbVisitedNodes=65910
26.00 nbRestartNogoods=56 mapSize=12562 nbInferences=1094 nbTooLargeKeys=0
26.00 => wckTime=24.886 cpuTime=24.76 mem=28M358
29.63
29.63 search
29.63 run=19 nbConstraintChecks=7411380 nbValidityChecks=987815 nbPropagations=7453950 nbRevisions=18778481
29.63 nbUselessRevisions=11166625 nbAssignments=61442 nbFailedAssignments=6791 nbBacktracks=51593
29.63 nbVisitedNodes=76163 nbRestartNogoods=65 mapSize=14640 nbInferences=1239 nbTooLargeKeys=0
29.63 => wckTime=28.517 cpuTime=28.37 mem=30M308
29.63
29.63 global
29.63 nbConstraintChecks=7418670 nbValidityChecks=988373 nbPropagations=7457928 nbRevisions=18784184
29.63 nbUselessRevisions=11170729 nbRestartNogoods=65 solvingWckTime=28.518 solvingCpuTime=28.38 expiredTime=no
29.63 totalExploration=yes nbFoundSolutions=0 globalCpuTime=29.02
29.64 => wckTime=29.331 cpuTime=28.97 mem=30M308
29.64
29.64 s UNSATISFIABLE
29.64 d NODES 61442
29.64 d CHECKS 7418670
29.64
29.64 totalWckTime=29.406 totalCpuTime=29.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-210209-1168195989 -o ROOT/results/node45/solver-210209-1168195989 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210209-1168195989/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: 0.68 1.40 1.76 2/68 27024
/proc/meminfo: memFree=1426056/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=1784 CPUtime=0
/proc/27023/stat : 27023 (java) D 27021 27023 26577 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 167998411 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/27023/statm: 446 140 106 14 0 91 0
[startup+0.101937 s]
/proc/loadavg: 0.68 1.40 1.76 2/68 27024
/proc/meminfo: memFree=1426056/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=914988 CPUtime=0.07
/proc/27023/stat : 27023 (java) R 27021 27023 26577 0 -1 0 2978 0 1 0 6 1 0 0 22 0 8 0 167998411 936947712 2724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228747 2725 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.510008 s]
/proc/loadavg: 0.68 1.40 1.76 2/68 27024
/proc/meminfo: memFree=1426056/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=915328 CPUtime=0.48
/proc/27023/stat : 27023 (java) S 27021 27023 26577 0 -1 0 6583 0 1 0 44 4 0 0 16 0 8 0 167998411 937295872 6322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228832 6322 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33015 s]
/proc/loadavg: 0.71 1.40 1.76 2/75 27031
/proc/meminfo: memFree=1397136/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=915580 CPUtime=1.3
/proc/27023/stat : 27023 (java) R 27021 27023 26577 0 -1 0 10014 0 1 0 116 14 0 0 16 0 8 0 167998411 937553920 9752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228895 9752 2542 14 0 215365 0
[pid=27023/tid=27025] ppid=27021 vsize=915580 CPUtime=0.04
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26577 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 167998415 937553920 9752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167998419 937553920 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915580 CPUtime=0.24
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26577 0 -1 64 416 0 0 0 23 1 0 0 15 0 8 0 167998419 937553920 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167998419 937553920 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26577 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167998419 937553920 9753 18446744073709551615 134512640 134570532 4294956480 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) 915580
[startup+2.96745 s]
/proc/loadavg: 0.71 1.40 1.76 3/75 27031
/proc/meminfo: memFree=1395920/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=915580 CPUtime=2.94
/proc/27023/stat : 27023 (java) R 27021 27023 26577 0 -1 0 10318 0 1 0 279 15 0 0 17 0 8 0 167998411 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939142 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27023/statm: 228895 10053 2543 14 0 215365 0
[pid=27023/tid=27025] ppid=27021 vsize=915580 CPUtime=0.04
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26577 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 167998415 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167998419 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915580 CPUtime=0.29
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26577 0 -1 64 445 0 0 0 28 1 0 0 16 0 8 0 167998419 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167998419 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26577 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167998419 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915580
[startup+6.26305 s]
/proc/loadavg: 0.73 1.39 1.75 2/75 27241
/proc/meminfo: memFree=1391184/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=915580 CPUtime=6.21
/proc/27023/stat : 27023 (java) R 27021 27023 26577 0 -1 0 10572 0 1 0 606 15 0 0 22 0 8 0 167998411 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073985104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228895 10305 2543 14 0 215365 0
[pid=27023/tid=27025] ppid=27021 vsize=915580 CPUtime=0.04
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26577 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 167998415 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167998419 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915580 CPUtime=0.29
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26577 0 -1 64 447 0 0 0 28 1 0 0 16 0 8 0 167998419 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167998419 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26577 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167998419 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915580
[startup+12.7332 s]
/proc/loadavg: 0.75 1.38 1.75 2/75 27254
/proc/meminfo: memFree=1389392/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=915580 CPUtime=12.67
/proc/27023/stat : 27023 (java) R 27021 27023 26577 0 -1 0 11045 0 1 0 1252 15 0 0 25 0 8 0 167998411 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073973143 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228895 10777 2543 14 0 215365 0
[pid=27023/tid=27025] ppid=27021 vsize=915580 CPUtime=0.04
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26577 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 167998415 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167998419 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915580 CPUtime=0.3
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26577 0 -1 64 448 0 0 0 29 1 0 0 17 0 8 0 167998419 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167998419 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26577 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167998419 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915580
[startup+25.5826 s]
/proc/loadavg: 0.79 1.37 1.74 2/75 27257
/proc/meminfo: memFree=1388560/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=915580 CPUtime=25.52
/proc/27023/stat : 27023 (java) R 27021 27023 26577 0 -1 0 12096 0 1 0 2536 16 0 0 25 0 8 0 167998411 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228895 11828 2543 14 0 215365 0
[pid=27023/tid=27025] ppid=27021 vsize=915580 CPUtime=0.04
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26577 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 167998415 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167998419 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915580 CPUtime=0.3
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26577 0 -1 64 449 0 0 0 29 1 0 0 17 0 8 0 167998419 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167998419 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26577 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167998419 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 29.7326
CPU time (s): 29.5855
CPU user time (s): 29.4095
CPU system time (s): 0.175973
CPU usage (%): 99.5054
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.4095
system time used= 0.175973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12517
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= 1735
involuntary context switches= 883
runsolver used 0.038994 s user time and 0.074988 s system time
The end
Begin job on node45 on Sun Jan 7 18:53:12 UTC 2007
IDJOB= 210209
IDBENCH= 4602
FILE ID= node45/210209-1168195989
PBS_JOBID= 3480694
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ssa/ssa-0432-003.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210209-1168195989/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-210209-1168195989 -o ROOT/results/node45/solver-210209-1168195989 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210209-1168195989/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dc9e2f6f8ccdc90333d37df61624232c
RANDOM SEED= 90655217
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.259
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.259
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: 1426472 kB
Buffers: 43968 kB
Cached: 510796 kB
SwapCached: 3176 kB
Active: 81176 kB
Inactive: 488256 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1426472 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 2000 kB
Writeback: 0 kB
Mapped: 20172 kB
Slab: 45756 kB
Committed_AS: 3187052 kB
PageTables: 1596 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= 66544 MiB
End job on node45 on Sun Jan 7 18:53:45 UTC 2007