0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/214001-1168227975/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.47 nbVariables=682 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.47 => wckTime=0.16 cpuTime=0.11 mem=8M25
0.47
0.47 predicates being loaded...
0.47
0.47 constraints being loaded...
0.90 nbConstraints=1701 nbConvertedConstraints=463 nbConvertConstraintsChecks=56 nbExtensionStructures=2
0.90 nbSharedExtensionStructures=461 nbConflictsStructures=8 nbSharedConflictsStructures=1693
0.90 nbSharedBinaryRepresentations=5 nbEvaluationManagers=6 nbSharedEvaluationManagers=1232 maxDegree=47 maxArity=3
0.90 => wckTime=0.592 cpuTime=0.43 mem=18M760
0.95
0.95 solver IterativeSystematicSolver being built...
1.20 => wckTime=0.898 cpuTime=0.63 mem=24M312
1.40
1.40 preprocessing
1.40 nbConstraintChecks=4525 nbValidityChecks=2155 nbPropagations=2739 nbRevisions=8449 nbUselessRevisions=7317
1.40 nbSingletonTests=974 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
1.40 => wckTime=0.188 cpuTime=0.15 mem=24M312
1.45
1.45 search
1.45 run=0 nbConstraintChecks=6861 nbValidityChecks=5507 nbPropagations=5101 nbRevisions=18248
1.45 nbUselessRevisions=14750 nbAssignments=42 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=51
1.45 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.242 cpuTime=0.18 mem=25M336
1.48
1.48 search
1.48 run=1 nbConstraintChecks=13074 nbValidityChecks=11293 nbPropagations=12550 nbRevisions=46254
1.48 nbUselessRevisions=36906 nbAssignments=84 nbFailedAssignments=8 nbBacktracks=30 nbVisitedNodes=101
1.48 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.27 cpuTime=0.21 mem=25M336
1.51
1.51 search
1.51 run=2 nbConstraintChecks=23854 nbValidityChecks=21149 nbPropagations=24013 nbRevisions=90730
1.52 nbUselessRevisions=71502 nbAssignments=143 nbFailedAssignments=15 nbBacktracks=53 nbVisitedNodes=174
1.52 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.307 cpuTime=0.25 mem=25M336
1.56
1.56 search
1.56 run=3 nbConstraintChecks=35154 nbValidityChecks=31729 nbPropagations=39694 nbRevisions=153092
1.56 nbUselessRevisions=119753 nbAssignments=213 nbFailedAssignments=22 nbBacktracks=90 nbVisitedNodes=258
1.56 nbRestartNogoods=5 mapSize=36 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.353 cpuTime=0.29 mem=25M336
1.62
1.62 search
1.62 run=4 nbConstraintChecks=50363 nbValidityChecks=45821 nbPropagations=61031 nbRevisions=239072
1.62 nbUselessRevisions=185938 nbAssignments=297 nbFailedAssignments=32 nbBacktracks=146 nbVisitedNodes=362
1.62 nbRestartNogoods=8 mapSize=55 nbInferences=0 nbTooLargeKeys=0
1.62 => wckTime=0.408 cpuTime=0.35 mem=25M336
1.70
1.70 search
1.70 run=5 nbConstraintChecks=74023 nbValidityChecks=67379 nbPropagations=90791 nbRevisions=361732
1.70 nbUselessRevisions=280310 nbAssignments=412 nbFailedAssignments=46 nbBacktracks=221 nbVisitedNodes=508
1.70 nbRestartNogoods=9 mapSize=83 nbInferences=0 nbTooLargeKeys=0
1.70 => wckTime=0.49 cpuTime=0.43 mem=25M336
1.79
1.79 search
1.79 run=6 nbConstraintChecks=94172 nbValidityChecks=85517 nbPropagations=127679 nbRevisions=515702
1.79 nbUselessRevisions=398749 nbAssignments=568 nbFailedAssignments=63 nbBacktracks=334 nbVisitedNodes=703
1.79 nbRestartNogoods=12 mapSize=120 nbInferences=0 nbTooLargeKeys=0
1.79 => wckTime=0.584 cpuTime=0.51 mem=25M336
1.89
1.89 search
1.89 run=7 nbConstraintChecks=112055 nbValidityChecks=101099 nbPropagations=170651 nbRevisions=697519
1.89 nbUselessRevisions=538745 nbAssignments=785 nbFailedAssignments=90 nbBacktracks=506 nbVisitedNodes=975
1.89 nbRestartNogoods=14 mapSize=174 nbInferences=0 nbTooLargeKeys=0
1.89 => wckTime=0.686 cpuTime=0.61 mem=25M336
2.12
2.12 search
2.12 run=8 nbConstraintChecks=178829 nbValidityChecks=163777 nbPropagations=237891 nbRevisions=986872
2.12 nbUselessRevisions=761471 nbAssignments=1109 nbFailedAssignments=133 nbBacktracks=767 nbVisitedNodes=1402
2.12 nbRestartNogoods=15 mapSize=275 nbInferences=0 nbTooLargeKeys=0
2.12 => wckTime=0.911 cpuTime=0.84 mem=25M336
2.41
2.41 search
2.41 run=9 nbConstraintChecks=244747 nbValidityChecks=222058 nbPropagations=327372 nbRevisions=1380908
2.41 nbUselessRevisions=1065609 nbAssignments=1592 nbFailedAssignments=200 nbBacktracks=1157 nbVisitedNodes=2037
2.41 nbRestartNogoods=17 mapSize=424 nbInferences=0 nbTooLargeKeys=0
2.41 => wckTime=1.202 cpuTime=1.11 mem=25M336
2.84
2.84 search
2.84 run=10 nbConstraintChecks=361446 nbValidityChecks=329489 nbPropagations=457163 nbRevisions=1963293
2.84 nbUselessRevisions=1516472 nbAssignments=2278 nbFailedAssignments=288 nbBacktracks=1735 nbVisitedNodes=2924
2.84 nbRestartNogoods=20 mapSize=623 nbInferences=0 nbTooLargeKeys=0
2.84 => wckTime=1.634 cpuTime=1.52 mem=25M336
3.35
3.35 search
3.35 run=11 nbConstraintChecks=482938 nbValidityChecks=444550 nbPropagations=629287 nbRevisions=2749475
3.35 nbUselessRevisions=2125919 nbAssignments=3312 nbFailedAssignments=427 nbBacktracks=2600 nbVisitedNodes=4256
3.35 nbRestartNogoods=22 mapSize=916 nbInferences=0 nbTooLargeKeys=0
3.35 => wckTime=2.144 cpuTime=2.04 mem=26M311
3.56
3.56 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=26M311)
3.95
3.95 search
3.95 run=12 nbConstraintChecks=655175 nbValidityChecks=605853 nbPropagations=861554 nbRevisions=3826561
3.95 nbUselessRevisions=2962472 nbAssignments=4812 nbFailedAssignments=593 nbBacktracks=3910 nbVisitedNodes=6129
3.95 nbRestartNogoods=27
3.95 => wckTime=2.741 cpuTime=2.62 mem=26M311
4.85
4.85 search
4.85 run=13 nbConstraintChecks=966679 nbValidityChecks=895169 nbPropagations=1205149 nbRevisions=5434737
4.85 nbUselessRevisions=4212301 nbAssignments=7073 nbFailedAssignments=874 nbBacktracks=5872 nbVisitedNodes=9006
4.85 nbRestartNogoods=30
4.85 => wckTime=3.643 cpuTime=3.51 mem=26M311
6.41
6.41 search
6.41 run=14 nbConstraintChecks=1529897 nbValidityChecks=1443409 nbPropagations=1747222 nbRevisions=8018412
6.41 nbUselessRevisions=6227633 nbAssignments=10500 nbFailedAssignments=1323 nbBacktracks=8822 nbVisitedNodes=13370
6.41 nbRestartNogoods=34
6.41 => wckTime=5.205 cpuTime=5.06 mem=26M311
8.13
8.13 search
8.13 run=15 nbConstraintChecks=2098370 nbValidityChecks=1957684 nbPropagations=2493933 nbRevisions=11551984
8.13 nbUselessRevisions=8976977 nbAssignments=15416 nbFailedAssignments=1832 nbBacktracks=13203 nbVisitedNodes=19344
8.13 nbRestartNogoods=41
8.13 => wckTime=6.921 cpuTime=6.75 mem=26M311
11.02
11.02 search
11.02 run=16 nbConstraintChecks=3060290 nbValidityChecks=2877936 nbPropagations=3587786 nbRevisions=16753790
11.02 nbUselessRevisions=13026848 nbAssignments=22805 nbFailedAssignments=2607 nbBacktracks=19777
11.02 nbVisitedNodes=28373 nbRestartNogoods=46
11.02 => wckTime=9.808 cpuTime=9.62 mem=26M311
14.87
14.87 search
14.87 run=17 nbConstraintChecks=4251339 nbValidityChecks=4037909 nbPropagations=5107193 nbRevisions=24025136
14.87 nbUselessRevisions=18689520 nbAssignments=33906 nbFailedAssignments=3750 nbBacktracks=29631
14.87 nbVisitedNodes=41750 nbRestartNogoods=55
14.87 => wckTime=13.664 cpuTime=13.43 mem=26M311
20.14
20.14 search
20.14 run=18 nbConstraintChecks=5833215 nbValidityChecks=5548588 nbPropagations=7201459 nbRevisions=34016101
20.14 nbUselessRevisions=26467635 nbAssignments=50158 nbFailedAssignments=5179 nbBacktracks=44413
20.14 nbVisitedNodes=60774 nbRestartNogoods=60
20.14 => wckTime=18.934 cpuTime=18.66 mem=26M311
29.34
29.34 search
29.34 run=19 nbConstraintChecks=8905202 nbValidityChecks=8477791 nbPropagations=10387742 nbRevisions=49278356
29.34 nbUselessRevisions=38360469 nbAssignments=74853 nbFailedAssignments=7657 nbBacktracks=66590
29.34 nbVisitedNodes=90964 nbRestartNogoods=66
29.34 => wckTime=28.135 cpuTime=27.77 mem=26M311
42.06
42.07 search
42.07 run=20 nbConstraintChecks=12747547 nbValidityChecks=12263842 nbPropagations=14962521 nbRevisions=71237187
42.07 nbUselessRevisions=55467819 nbAssignments=111891 nbFailedAssignments=11408 nbBacktracks=99854
42.07 nbVisitedNodes=135490 nbRestartNogoods=73
42.07 => wckTime=40.857 cpuTime=40.37 mem=26M311
62.12
62.12 search
62.12 run=21 nbConstraintChecks=19071158 nbValidityChecks=18439693 nbPropagations=21815075 nbRevisions=104178400
62.12 nbUselessRevisions=81132844 nbAssignments=168087 nbFailedAssignments=17667 nbBacktracks=149772
62.12 nbVisitedNodes=203932 nbRestartNogoods=80
62.12 => wckTime=60.908 cpuTime=60.24 mem=26M311
65.14
65.14 search
65.14 run=22 nbConstraintChecks=20047620 nbValidityChecks=19348266 nbPropagations=29003778 nbRevisions=138718184
65.14 nbUselessRevisions=108041606 nbAssignments=177184 nbFailedAssignments=18486 nbBacktracks=157368
65.14 nbVisitedNodes=214699 nbRestartNogoods=85
65.14 => wckTime=63.936 cpuTime=63.24 mem=26M311
65.15
65.15 global
65.15 nbConstraintChecks=20052145 nbValidityChecks=19350421 nbPropagations=29006517 nbRevisions=138726633
65.15 nbUselessRevisions=108048923 nbRestartNogoods=85 solvingWckTime=63.938 solvingCpuTime=63.24 expiredTime=no
65.15 totalExploration=no nbFoundSolutions=1 globalCpuTime=63.92
65.15 => wckTime=64.84 cpuTime=63.87 mem=26M311
65.15
65.15 s SATISFIABLE
65.15 v 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0
65.15 d NODES 177184
65.15 d CHECKS 20052145
65.15
65.15 totalWckTime=64.917 totalCpuTime=63.92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-214001-1168227975 -o ROOT/results/node40/solver-214001-1168227975 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214001-1168227975/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.81 0.95 0.98 5/70 6985
/proc/meminfo: memFree=1680808/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6981 vsize=18540 CPUtime=0
/proc/6984/stat : 6984 (runsolver) R 6981 6984 6845 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 171196905 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6984/statm: 4635 279 244 17 0 2626 0
[startup+0.106896 s]
/proc/loadavg: 0.81 0.95 0.98 5/70 6985
/proc/meminfo: memFree=1680808/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6981 vsize=914988 CPUtime=0.08
/proc/6984/stat : 6984 (java) R 6981 6984 6845 0 -1 0 2979 0 1 0 6 2 0 0 22 0 8 0 171196905 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6984/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514947 s]
/proc/loadavg: 0.81 0.95 0.98 5/70 6985
/proc/meminfo: memFree=1680808/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6981 vsize=915328 CPUtime=0.48
/proc/6984/stat : 6984 (java) R 6981 6984 6845 0 -1 0 6409 0 1 0 44 4 0 0 25 0 8 0 171196905 937295872 6148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448413 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6984/statm: 228832 6148 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33806 s]
/proc/loadavg: 0.81 0.95 0.98 4/88 7010
/proc/meminfo: memFree=1641176/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6981 vsize=915764 CPUtime=1.28
/proc/6984/stat : 6984 (java) R 6981 6984 6845 0 -1 0 11132 0 1 0 115 13 0 0 25 0 8 0 171196905 937742336 10870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073995181 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6984/statm: 228941 10870 2542 14 0 215411 0
[pid=6984/tid=6997] ppid=6981 vsize=915764 CPUtime=0.04
/proc/6984/task/6997/stat : 6997 (java) S 6981 6984 6845 0 -1 64 417 0 0 0 4 0 0 0 17 0 8 0 171196910 937742336 10870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=6998] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/6998/stat : 6998 (java) S 6981 6984 6845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171196910 937742336 10870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=6999] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/6999/stat : 6999 (java) S 6981 6984 6845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171196910 937742336 10870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=7003] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7003/stat : 7003 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171196914 937742336 10870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=7004] ppid=6981 vsize=915764 CPUtime=0.27
/proc/6984/task/7004/stat : 7004 (java) S 6981 6984 6845 0 -1 64 479 0 0 0 26 1 0 0 15 0 8 0 171196914 937742336 10870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=7005] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7005/stat : 7005 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171196914 937742336 10870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=7006] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7006/stat : 7006 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171196914 937742336 10870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915764
[startup+2.98827 s]
/proc/loadavg: 0.98 0.98 0.99 4/88 7010
/proc/meminfo: memFree=1631512/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6981 vsize=915764 CPUtime=2.92
/proc/6984/stat : 6984 (java) R 6981 6984 6845 0 -1 0 11437 0 1 0 278 14 0 0 25 0 8 0 171196905 937742336 11173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073980450 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6984/statm: 228941 11173 2543 14 0 215411 0
[pid=6984/tid=6997] ppid=6981 vsize=915764 CPUtime=0.04
/proc/6984/task/6997/stat : 6997 (java) S 6981 6984 6845 0 -1 64 417 0 0 0 4 0 0 0 17 0 8 0 171196910 937742336 11173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=6998] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/6998/stat : 6998 (java) S 6981 6984 6845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171196910 937742336 11173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=6999] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/6999/stat : 6999 (java) S 6981 6984 6845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171196910 937742336 11173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=7003] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7003/stat : 7003 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171196914 937742336 11173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=7004] ppid=6981 vsize=915764 CPUtime=0.33
/proc/6984/task/7004/stat : 7004 (java) S 6981 6984 6845 0 -1 64 509 0 0 0 32 1 0 0 15 0 8 0 171196914 937742336 11173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=7005] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7005/stat : 7005 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171196914 937742336 11173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=7006] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7006/stat : 7006 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171196914 937742336 11173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915764
[startup+6.26769 s]
/proc/loadavg: 0.98 0.98 0.99 3/88 7010
/proc/meminfo: memFree=1628504/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6981 vsize=915764 CPUtime=6.17
/proc/6984/stat : 6984 (java) R 6981 6984 6845 0 -1 0 11512 0 1 0 602 15 0 0 25 0 8 0 171196905 937742336 11247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997751 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6984/statm: 228941 11247 2543 14 0 215411 0
[pid=6984/tid=6997] ppid=6981 vsize=915764 CPUtime=0.04
/proc/6984/task/6997/stat : 6997 (java) S 6981 6984 6845 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 171196910 937742336 11247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=6998] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/6998/stat : 6998 (java) S 6981 6984 6845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171196910 937742336 11247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=6999] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/6999/stat : 6999 (java) S 6981 6984 6845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171196910 937742336 11247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=7003] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7003/stat : 7003 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171196914 937742336 11247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=7004] ppid=6981 vsize=915764 CPUtime=0.33
/proc/6984/task/7004/stat : 7004 (java) S 6981 6984 6845 0 -1 64 511 0 0 0 32 1 0 0 16 0 8 0 171196914 937742336 11247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=7005] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7005/stat : 7005 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171196914 937742336 11247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=7006] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7006/stat : 7006 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171196914 937742336 11247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915764
[startup+12.7625 s]
/proc/loadavg: 1.14 1.02 1.00 3/88 7010
/proc/meminfo: memFree=1627752/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6981 vsize=915764 CPUtime=12.6
/proc/6984/stat : 6984 (java) R 6981 6984 6845 0 -1 0 11522 0 1 0 1245 15 0 0 25 0 8 0 171196905 937742336 11256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074064472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6984/statm: 228941 11256 2543 14 0 215411 0
[pid=6984/tid=6997] ppid=6981 vsize=915764 CPUtime=0.04
/proc/6984/task/6997/stat : 6997 (java) S 6981 6984 6845 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 171196910 937742336 11256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=6998] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/6998/stat : 6998 (java) S 6981 6984 6845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171196910 937742336 11256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=6999] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/6999/stat : 6999 (java) S 6981 6984 6845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171196910 937742336 11256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=7003] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7003/stat : 7003 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171196914 937742336 11256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=7004] ppid=6981 vsize=915764 CPUtime=0.33
/proc/6984/task/7004/stat : 7004 (java) S 6981 6984 6845 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 171196914 937742336 11256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=7005] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7005/stat : 7005 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171196914 937742336 11256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=7006] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7006/stat : 7006 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171196914 937742336 11256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915764
[startup+25.6172 s]
/proc/loadavg: 1.27 1.05 1.01 3/88 7010
/proc/meminfo: memFree=1627048/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6981 vsize=915764 CPUtime=25.34
/proc/6984/stat : 6984 (java) R 6981 6984 6845 0 -1 0 11529 0 1 0 2519 15 0 0 25 0 8 0 171196905 937742336 11263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073988344 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6984/statm: 228941 11263 2543 14 0 215411 0
[pid=6984/tid=6997] ppid=6981 vsize=915764 CPUtime=0.04
/proc/6984/task/6997/stat : 6997 (java) S 6981 6984 6845 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 171196910 937742336 11263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=6998] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/6998/stat : 6998 (java) S 6981 6984 6845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171196910 937742336 11263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=6999] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/6999/stat : 6999 (java) S 6981 6984 6845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171196910 937742336 11263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=7003] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7003/stat : 7003 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171196914 937742336 11263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=7004] ppid=6981 vsize=915764 CPUtime=0.33
/proc/6984/task/7004/stat : 7004 (java) S 6981 6984 6845 0 -1 64 513 0 0 0 32 1 0 0 16 0 8 0 171196914 937742336 11263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=7005] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7005/stat : 7005 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171196914 937742336 11263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=7006] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7006/stat : 7006 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171196914 937742336 11263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915764
[startup+51.2445 s]
/proc/loadavg: 1.52 1.12 1.04 3/88 7010
/proc/meminfo: memFree=1626536/2055920 swapFree=4192812/4192956
[pid=6984] ppid=6981 vsize=915764 CPUtime=50.73
/proc/6984/stat : 6984 (java) R 6981 6984 6845 0 -1 0 11535 0 1 0 5058 15 0 0 25 0 8 0 171196905 937742336 11269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007356 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6984/statm: 228941 11269 2543 14 0 215411 0
[pid=6984/tid=6997] ppid=6981 vsize=915764 CPUtime=0.04
/proc/6984/task/6997/stat : 6997 (java) S 6981 6984 6845 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 171196910 937742336 11269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=6998] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/6998/stat : 6998 (java) S 6981 6984 6845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171196910 937742336 11269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=6999] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/6999/stat : 6999 (java) S 6981 6984 6845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171196910 937742336 11269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=7003] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7003/stat : 7003 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171196914 937742336 11269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=7004] ppid=6981 vsize=915764 CPUtime=0.33
/proc/6984/task/7004/stat : 7004 (java) S 6981 6984 6845 0 -1 64 514 0 0 0 32 1 0 0 16 0 8 0 171196914 937742336 11269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6984/tid=7005] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7005/stat : 7005 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171196914 937742336 11269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6984/tid=7006] ppid=6981 vsize=915764 CPUtime=0
/proc/6984/task/7006/stat : 7006 (java) S 6981 6984 6845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171196914 937742336 11269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915764
Child status: 0
Real time (s): 65.1658
CPU time (s): 64.5282
CPU user time (s): 64.3642
CPU system time (s): 0.163975
CPU usage (%): 99.0216
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.3642
system time used= 0.163975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11634
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= 2894
involuntary context switches= 4447
runsolver used 0.095985 s user time and 0.205968 s system time
The end
Begin job on node40 on Mon Jan 8 03:46:16 UTC 2007
IDJOB= 214001
IDBENCH= 4891
FILE ID= node40/214001-1168227975
PBS_JOBID= 3481346
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-5-c.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214001-1168227975/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-214001-1168227975 -o ROOT/results/node40/solver-214001-1168227975 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214001-1168227975/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9a191ad3472ce44d5e746725097d36bd
RANDOM SEED= 16079709
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.239
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.239
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: 1681424 kB
Buffers: 28720 kB
Cached: 253276 kB
SwapCached: 0 kB
Active: 104552 kB
Inactive: 197648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1681424 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2616 kB
Writeback: 0 kB
Mapped: 30368 kB
Slab: 57972 kB
Committed_AS: 3548840 kB
PageTables: 1660 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= 66552 MiB
End job on node40 on Mon Jan 8 03:47:21 UTC 2007