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/210196-1168195971/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.55 nbVariables=2718 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.55 => wckTime=0.247 cpuTime=0.16 mem=11M795
0.55
0.55 predicates being loaded...
0.55
0.55 constraints being loaded...
1.27 nbConstraints=4676 nbSingletonDomainVariables=114 nbConvertedConstraints=3813 nbConvertConstraintsChecks=1001
1.27 nbExtensionStructures=9 nbSharedExtensionStructures=3804 nbConflictsStructures=105
1.27 nbSharedConflictsStructures=4571 nbSharedBinaryRepresentations=21 nbEvaluationManagers=96
1.27 nbSharedEvaluationManagers=767 maxDegree=32 maxArity=5
1.27 => wckTime=0.971 cpuTime=0.79 mem=40M75
1.37
1.37 solver IterativeSystematicSolver being built...
1.67 => wckTime=1.368 cpuTime=1.02 mem=35M578
5.38
5.38 preprocessing
5.38 nbConstraintChecks=36115 nbValidityChecks=3430 nbPropagations=14158 nbRevisions=27959 nbUselessRevisions=20099
5.38 nbSingletonTests=3713 nbEffectiveSingletonTests=0 nbESACBranches=11 nbRemovedValues=0 detectedInconsistency=no
5.38 => wckTime=3.706 cpuTime=3.64 mem=35M578
6.32
6.32 search
6.32 run=0 nbConstraintChecks=10438 nbValidityChecks=1286 nbPropagations=16891 nbRevisions=35550
6.32 nbUselessRevisions=24978 nbAssignments=439 nbFailedAssignments=3 nbBacktracks=24 nbVisitedNodes=445
6.32 nbRestartNogoods=0 mapSize=2 nbInferences=0 nbTooLargeKeys=0
6.32 => wckTime=4.642 cpuTime=4.53 mem=36M552
7.35
7.35 search
7.35 run=1 nbConstraintChecks=33559 nbValidityChecks=4072 nbPropagations=40234 nbRevisions=87522
7.35 nbUselessRevisions=60054 nbAssignments=1144 nbFailedAssignments=5 nbBacktracks=54 nbVisitedNodes=925
7.35 nbRestartNogoods=3 mapSize=4 nbInferences=0 nbTooLargeKeys=0
7.35 => wckTime=5.67 cpuTime=5.55 mem=36M552
8.34
8.34 search
8.34 run=2 nbConstraintChecks=41352 nbValidityChecks=5215 nbPropagations=65812 nbRevisions=145303
8.34 nbUselessRevisions=98722 nbAssignments=1628 nbFailedAssignments=8 nbBacktracks=108 nbVisitedNodes=1414
8.34 nbRestartNogoods=5 mapSize=7 nbInferences=0 nbTooLargeKeys=0
8.34 => wckTime=6.666 cpuTime=6.52 mem=37M526
9.44
9.44 search
9.44 run=3 nbConstraintChecks=63531 nbValidityChecks=8379 nbPropagations=97697 nbRevisions=219681
9.44 nbUselessRevisions=147826 nbAssignments=2868 nbFailedAssignments=12 nbBacktracks=177 nbVisitedNodes=1911
9.44 nbRestartNogoods=7 mapSize=12 nbInferences=0 nbTooLargeKeys=0
9.44 => wckTime=7.759 cpuTime=7.59 mem=37M526
10.43
10.43 search
10.43 run=4 nbConstraintChecks=90984 nbValidityChecks=11983 nbPropagations=137331 nbRevisions=314154
10.43 nbUselessRevisions=209441 nbAssignments=3735 nbFailedAssignments=14 nbBacktracks=231 nbVisitedNodes=2391
10.43 nbRestartNogoods=10 mapSize=16 nbInferences=1 nbTooLargeKeys=0
10.43 => wckTime=8.751 cpuTime=8.57 mem=37M526
11.47
11.47 search
11.47 run=5 nbConstraintChecks=106834 nbValidityChecks=14610 nbPropagations=181497 nbRevisions=420667
11.47 nbUselessRevisions=278512 nbAssignments=4276 nbFailedAssignments=30 nbBacktracks=313 nbVisitedNodes=2958
11.47 nbRestartNogoods=12 mapSize=37 nbInferences=1 nbTooLargeKeys=0
11.47 => wckTime=9.797 cpuTime=9.61 mem=38M500
12.61
12.61 search
12.61 run=6 nbConstraintChecks=146466 nbValidityChecks=20530 nbPropagations=236950 nbRevisions=557373
12.61 nbUselessRevisions=366652 nbAssignments=5394 nbFailedAssignments=37 nbBacktracks=452 nbVisitedNodes=3489
12.61 nbRestartNogoods=16 mapSize=51 nbInferences=1 nbTooLargeKeys=0
12.61 => wckTime=10.938 cpuTime=10.74 mem=38M500
13.78
13.78 search
13.78 run=7 nbConstraintChecks=164632 nbValidityChecks=23363 nbPropagations=297563 nbRevisions=707723
13.78 nbUselessRevisions=463217 nbAssignments=5986 nbFailedAssignments=50 nbBacktracks=815 nbVisitedNodes=4102
13.78 nbRestartNogoods=17 mapSize=71 nbInferences=1 nbTooLargeKeys=0
13.78 => wckTime=12.105 cpuTime=11.9 mem=38M500
15.08
15.08 search
15.08 run=8 nbConstraintChecks=185552 nbValidityChecks=26558 nbPropagations=364061 nbRevisions=873562
15.08 nbUselessRevisions=569318 nbAssignments=6673 nbFailedAssignments=64 nbBacktracks=1072 nbVisitedNodes=4815
15.08 nbRestartNogoods=18 mapSize=93 nbInferences=1 nbTooLargeKeys=0
15.08 => wckTime=13.399 cpuTime=13.18 mem=39M474
16.78
16.78 search
16.78 run=9 nbConstraintChecks=226934 nbValidityChecks=33219 nbPropagations=442207 nbRevisions=1070633
16.78 nbUselessRevisions=695017 nbAssignments=7863 nbFailedAssignments=88 nbBacktracks=1488 nbVisitedNodes=5687
16.78 nbRestartNogoods=22 mapSize=135 nbInferences=1 nbTooLargeKeys=0
16.78 => wckTime=15.101 cpuTime=14.86 mem=39M474
18.89
18.89 search
18.89 run=10 nbConstraintChecks=293683 nbValidityChecks=43857 nbPropagations=539104 nbRevisions=1317957
18.89 nbUselessRevisions=852140 nbAssignments=9250 nbFailedAssignments=135 nbBacktracks=2082 nbVisitedNodes=6791
18.89 nbRestartNogoods=25 mapSize=218 nbInferences=2 nbTooLargeKeys=0
18.89 => wckTime=17.214 cpuTime=16.95 mem=39M474
21.55
21.55 search
21.55 run=11 nbConstraintChecks=410744 nbValidityChecks=63466 nbPropagations=669141 nbRevisions=1654862
21.55 nbUselessRevisions=1065205 nbAssignments=10543 nbFailedAssignments=210 nbBacktracks=2951 nbVisitedNodes=8222
21.55 nbRestartNogoods=28 mapSize=355 nbInferences=3 nbTooLargeKeys=0
21.55 => wckTime=19.872 cpuTime=19.57 mem=40M449
25.04
25.04 search
25.04 run=12 nbConstraintChecks=485649 nbValidityChecks=80114 nbPropagations=819813 nbRevisions=2051522
25.04 nbUselessRevisions=1316868 nbAssignments=12238 nbFailedAssignments=288 nbBacktracks=4253 nbVisitedNodes=10084
25.04 nbRestartNogoods=29 mapSize=518 nbInferences=3 nbTooLargeKeys=0
25.04 => wckTime=23.366 cpuTime=23.04 mem=41M423
30.01
30.01 search
30.01 run=13 nbConstraintChecks=585453 nbValidityChecks=95694 nbPropagations=997949 nbRevisions=2522648
30.01 nbUselessRevisions=1615063 nbAssignments=14685 nbFailedAssignments=370 nbBacktracks=6204 nbVisitedNodes=12635
30.01 nbRestartNogoods=33 mapSize=686 nbInferences=4 nbTooLargeKeys=0
30.01 => wckTime=28.333 cpuTime=27.96 mem=42M397
36.15
36.15 search
36.15 run=14 nbConstraintChecks=766607 nbValidityChecks=123213 nbPropagations=1225550 nbRevisions=3127444
36.15 nbUselessRevisions=1996161 nbAssignments=17964 nbFailedAssignments=502 nbBacktracks=9129 nbVisitedNodes=16209
36.15 nbRestartNogoods=36 mapSize=977 nbInferences=5 nbTooLargeKeys=0
36.15 => wckTime=34.477 cpuTime=34.05 mem=45M319
36.67
36.67 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=45M319)
39.30
39.30 search
39.30 run=15 nbConstraintChecks=1045258 nbValidityChecks=169138 nbPropagations=1530119 nbRevisions=3942766
39.30 nbUselessRevisions=2508373 nbAssignments=22887 nbFailedAssignments=691 nbBacktracks=13519 nbVisitedNodes=21527
39.30 nbRestartNogoods=40
39.30 => wckTime=37.624 cpuTime=37.16 mem=45M319
43.59
43.59 search
43.59 run=16 nbConstraintChecks=1531624 nbValidityChecks=255525 nbPropagations=1968770 nbRevisions=5136263
43.59 nbUselessRevisions=3261743 nbAssignments=30110 nbFailedAssignments=1082 nbBacktracks=20097 nbVisitedNodes=29402
43.59 nbRestartNogoods=50
43.59 => wckTime=41.914 cpuTime=41.42 mem=45M319
50.22
50.22 search
50.23 run=17 nbConstraintChecks=2438261 nbValidityChecks=389595 nbPropagations=2650969 nbRevisions=7003658
50.23 nbUselessRevisions=4438596 nbAssignments=40738 nbFailedAssignments=1734 nbBacktracks=29957 nbVisitedNodes=41230
50.23 nbRestartNogoods=57
50.23 => wckTime=48.55 cpuTime=48.0 mem=45M319
60.95
60.95 search
60.95 run=18 nbConstraintChecks=4307454 nbValidityChecks=655482 nbPropagations=3837371 nbRevisions=10250376
60.95 nbUselessRevisions=6477085 nbAssignments=57027 nbFailedAssignments=3087 nbBacktracks=44740 nbVisitedNodes=59985
60.95 nbRestartNogoods=65
60.95 => wckTime=59.273 cpuTime=58.61 mem=45M319
77.03
77.03 search
77.03 run=19 nbConstraintChecks=7265026 nbValidityChecks=1074397 nbPropagations=5824997 nbRevisions=15687808
77.03 nbUselessRevisions=9885193 nbAssignments=81329 nbFailedAssignments=5051 nbBacktracks=66928 nbVisitedNodes=88131
77.03 nbRestartNogoods=74
77.03 => wckTime=75.354 cpuTime=74.55 mem=45M319
100.91
100.91 search
100.91 run=20 nbConstraintChecks=11460073 nbValidityChecks=1614015 nbPropagations=8935193 nbRevisions=24169159
100.91 nbUselessRevisions=15182155 nbAssignments=117595 nbFailedAssignments=7985 nbBacktracks=100213
100.91 nbVisitedNodes=130177 nbRestartNogoods=81
100.91 => wckTime=99.235 cpuTime=98.2 mem=45M319
137.52
137.52 search
137.52 run=21 nbConstraintChecks=18603914 nbValidityChecks=2605476 nbPropagations=13974020 nbRevisions=37927080
137.52 nbUselessRevisions=23777952 nbAssignments=172385 nbFailedAssignments=12817 nbBacktracks=150094
137.52 nbVisitedNodes=194081 nbRestartNogoods=84
137.52 => wckTime=135.846 cpuTime=134.51 mem=45M319
168.04
168.04 search
168.04 run=22 nbConstraintChecks=24827743 nbValidityChecks=3441236 nbPropagations=20685655 nbRevisions=56241881
168.04 nbUselessRevisions=35209157 nbAssignments=217794 nbFailedAssignments=16687 nbBacktracks=191579
168.04 nbVisitedNodes=247108 nbRestartNogoods=91
168.04 => wckTime=166.365 cpuTime=164.75 mem=45M319
168.04
168.04 global
168.04 nbConstraintChecks=24863858 nbValidityChecks=3444666 nbPropagations=20699813 nbRevisions=56269840
168.04 nbUselessRevisions=35229256 nbRestartNogoods=91 solvingWckTime=166.366 solvingCpuTime=164.75 expiredTime=no
168.04 totalExploration=yes nbFoundSolutions=0 globalCpuTime=165.82
168.04 => wckTime=167.741 cpuTime=165.77 mem=45M319
168.04
168.05 s UNSATISFIABLE
168.05 d NODES 217794
168.05 d CHECKS 24863858
168.05
168.05 totalWckTime=167.819 totalCpuTime=165.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-210196-1168195971 -o ROOT/results/node62/solver-210196-1168195971 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210196-1168195971/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.69 0.74 1.35 4/81 7527
/proc/meminfo: memFree=1403880/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=18540 CPUtime=0
/proc/7526/stat : 7526 (runsolver) R 7524 7526 6877 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 167995372 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 236437695783 0 0 4096 24578 0 0 0 17 1 0 0
/proc/7526/statm: 4635 279 244 17 0 2626 0
[startup+0.107217 s]
/proc/loadavg: 0.69 0.74 1.35 4/81 7527
/proc/meminfo: memFree=1403880/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=914988 CPUtime=0.08
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 3021 0 1 0 7 1 0 0 24 0 8 0 167995372 936947712 2767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155517169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228747 2767 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.518308 s]
/proc/loadavg: 0.69 0.74 1.35 4/81 7527
/proc/meminfo: memFree=1403880/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915328 CPUtime=0.49
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 6707 0 1 0 45 4 0 0 25 0 8 0 167995372 937295872 6446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228832 6446 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33946 s]
/proc/loadavg: 0.69 0.74 1.35 3/88 7534
/proc/meminfo: memFree=1358128/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915824 CPUtime=1.31
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 14509 0 1 0 105 26 0 0 25 0 8 0 167995372 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228956 14246 2182 14 0 215426 0
[pid=7526/tid=7528] ppid=7524 vsize=915824 CPUtime=0.06
/proc/7526/task/7528/stat : 7528 (java) R 7524 7526 6877 0 -1 64 38 0 0 0 6 0 0 0 16 0 8 0 167995376 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035714 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915824 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 167995377 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915824 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 167995377 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915824 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915824 CPUtime=0.2
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 435 0 0 0 19 1 0 0 15 0 8 0 167995380 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915824 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915824 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915824
[startup+2.97678 s]
/proc/loadavg: 0.79 0.76 1.35 3/88 7534
/proc/meminfo: memFree=1347568/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=2.93
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16483 0 1 0 265 28 0 0 25 0 8 0 167995372 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074107368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16219 2544 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 17 0 8 0 167995376 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.31
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 494 0 0 0 29 2 0 0 15 0 8 0 167995380 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915728
[startup+6.27544 s]
/proc/loadavg: 0.79 0.76 1.35 3/88 7534
/proc/meminfo: memFree=1346224/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=6.18
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16504 0 1 0 590 28 0 0 25 0 8 0 167995372 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074104695 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16238 2545 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 16 0 8 0 167995376 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.34
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 512 0 0 0 32 2 0 0 15 0 8 0 167995380 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915728
[startup+12.7527 s]
/proc/loadavg: 1.06 0.82 1.37 3/88 7534
/proc/meminfo: memFree=1341944/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=12.59
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16520 0 1 0 1231 28 0 0 25 0 8 0 167995372 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074090202 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16250 2545 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 16 0 8 0 167995376 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.36
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 525 0 0 0 34 2 0 0 15 0 8 0 167995380 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915728
[startup+25.6163 s]
/proc/loadavg: 1.20 0.86 1.37 3/88 7534
/proc/meminfo: memFree=1336184/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=25.35
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16531 0 1 0 2506 29 0 0 25 0 8 0 167995372 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074196685 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16258 2545 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 16 0 8 0 167995376 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.38
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 533 0 0 0 36 2 0 0 16 0 8 0 167995380 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915728
[startup+51.2373 s]
/proc/loadavg: 1.47 0.95 1.39 3/88 7534
/proc/meminfo: memFree=1325048/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=50.72
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16535 0 1 0 5043 29 0 0 25 0 8 0 167995372 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16259 2545 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 16 0 8 0 167995376 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.38
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 534 0 0 0 36 2 0 0 17 0 8 0 167995380 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915728
[startup+102.467 s]
/proc/loadavg: 1.77 1.11 1.42 3/88 7534
/proc/meminfo: memFree=1296696/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=101.49
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16536 0 1 0 10120 29 0 0 25 0 8 0 167995372 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16260 2545 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 16 0 8 0 167995376 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.38
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 535 0 0 0 36 2 0 0 16 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915728
[startup+162.537 s]
/proc/loadavg: 1.91 1.27 1.45 3/88 7534
/proc/meminfo: memFree=1272312/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=161.03
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16536 0 1 0 16073 30 0 0 25 0 8 0 167995372 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074158283 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16260 2545 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 16 0 8 0 167995376 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.38
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 535 0 0 0 36 2 0 0 16 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (KiB) 915728
Child status: 0
Real time (s): 168.068
CPU time (s): 166.516
CPU user time (s): 166.203
CPU system time (s): 0.312952
CPU usage (%): 99.0764
Max. virtual memory (cumulated for all children) (KiB): 915824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 166.203
system time used= 0.312952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16543
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= 5175
involuntary context switches= 9147
runsolver used 0.206968 s user time and 0.487925 s system time
The end
Begin job on node62 on Sun Jan 7 18:52:54 UTC 2007
IDJOB= 210196
IDBENCH= 4601
FILE ID= node62/210196-1168195971
PBS_JOBID= 3480685
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ssa/ssa-2670-130.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210196-1168195971/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-210196-1168195971 -o ROOT/results/node62/solver-210196-1168195971 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210196-1168195971/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 57800f3be1a3b9f1d83790577cb388cf
RANDOM SEED= 36446059
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: 1405640 kB
Buffers: 47676 kB
Cached: 460556 kB
SwapCached: 0 kB
Active: 282324 kB
Inactive: 311688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1405640 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2364 kB
Writeback: 0 kB
Mapped: 103808 kB
Slab: 41344 kB
Committed_AS: 3488416 kB
PageTables: 2064 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= 66547 MiB
End job on node62 on Sun Jan 7 18:55:44 UTC 2007