0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/210417-1168197862/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.42 nbVariables=215 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.11 cpuTime=0.1 mem=6M951
0.42
0.42 predicates being loaded...
0.43
0.43 constraints being loaded...
0.61 nbConstraints=178 nbConflictsStructures=6 nbSharedConflictsStructures=172 nbSharedBinaryRepresentations=0
0.61 nbEvaluationManagers=6 nbSharedEvaluationManagers=172 maxDegree=12 maxArity=13
0.61 => wckTime=0.299 cpuTime=0.22 mem=10M852
0.65
0.65 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.531 cpuTime=0.38 mem=17M859
0.91
0.92 preprocessing
0.92 nbConstraintChecks=2680 nbValidityChecks=2626 nbPropagations=849 nbRevisions=2250 nbUselessRevisions=2002
0.92 nbSingletonTests=399 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.07 cpuTime=0.05 mem=17M859
0.97
0.98 search
0.98 run=0 nbConstraintChecks=2775 nbValidityChecks=347 nbPropagations=1068 nbRevisions=2664
0.98 nbUselessRevisions=2191 nbAssignments=183 nbFailedAssignments=1 nbBacktracks=117 nbVisitedNodes=186
0.98 nbRestartNogoods=0 mapSize=1 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.133 cpuTime=0.1 mem=17M859
1.02
1.02 search
1.02 run=1 nbConstraintChecks=9086 nbValidityChecks=866 nbPropagations=2400 nbRevisions=5829
1.02 nbUselessRevisions=4603 nbAssignments=379 nbFailedAssignments=3 nbBacktracks=139 nbVisitedNodes=386
1.02 nbRestartNogoods=1 mapSize=4 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.179 cpuTime=0.14 mem=17M859
1.05
1.06 search
1.06 run=2 nbConstraintChecks=13354 nbValidityChecks=1436 nbPropagations=3974 nbRevisions=9561
1.06 nbUselessRevisions=7330 nbAssignments=487 nbFailedAssignments=4 nbBacktracks=180 nbVisitedNodes=497
1.06 nbRestartNogoods=2 mapSize=6 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.21 cpuTime=0.17 mem=17M859
1.09
1.09 search
1.09 run=3 nbConstraintChecks=21268 nbValidityChecks=2280 nbPropagations=5838 nbRevisions=14059
1.09 nbUselessRevisions=10511 nbAssignments=604 nbFailedAssignments=6 nbBacktracks=227 nbVisitedNodes=620
1.09 nbRestartNogoods=3 mapSize=11 nbInferences=1 nbTooLargeKeys=0
1.09 => wckTime=0.247 cpuTime=0.2 mem=17M859
1.15
1.15 search
1.15 run=4 nbConstraintChecks=33859 nbValidityChecks=3452 nbPropagations=8076 nbRevisions=19588
1.15 nbUselessRevisions=14317 nbAssignments=770 nbFailedAssignments=9 nbBacktracks=286 nbVisitedNodes=795
1.15 nbRestartNogoods=4 mapSize=18 nbInferences=3 nbTooLargeKeys=0
1.15 => wckTime=0.303 cpuTime=0.26 mem=18M834
1.20
1.21 search
1.21 run=5 nbConstraintChecks=45427 nbValidityChecks=4524 nbPropagations=10677 nbRevisions=26034
1.21 nbUselessRevisions=18636 nbAssignments=952 nbFailedAssignments=12 nbBacktracks=394 nbVisitedNodes=986
1.21 nbRestartNogoods=6 mapSize=25 nbInferences=4 nbTooLargeKeys=0
1.21 => wckTime=0.358 cpuTime=0.31 mem=18M834
1.26
1.27 search
1.27 run=6 nbConstraintChecks=55726 nbValidityChecks=5900 nbPropagations=13820 nbRevisions=33677
1.27 nbUselessRevisions=23606 nbAssignments=1146 nbFailedAssignments=14 nbBacktracks=509 nbVisitedNodes=1193
1.27 nbRestartNogoods=8 mapSize=33 nbInferences=12 nbTooLargeKeys=0
1.27 => wckTime=0.42 cpuTime=0.36 mem=18M834
1.40
1.41 search
1.41 run=7 nbConstraintChecks=112972 nbValidityChecks=11202 nbPropagations=18462 nbRevisions=45283
1.41 nbUselessRevisions=30984 nbAssignments=1576 nbFailedAssignments=36 nbBacktracks=680 nbVisitedNodes=1538
1.41 nbRestartNogoods=13 mapSize=78 nbInferences=16 nbTooLargeKeys=0
1.41 => wckTime=0.56 cpuTime=0.5 mem=18M834
1.51
1.51 search
1.51 run=8 nbConstraintChecks=133596 nbValidityChecks=15244 nbPropagations=24187 nbRevisions=60104
1.51 nbUselessRevisions=40436 nbAssignments=2040 nbFailedAssignments=49 nbBacktracks=949 nbVisitedNodes=1960
1.51 nbRestartNogoods=17 mapSize=98 nbInferences=16 nbTooLargeKeys=0
1.51 => wckTime=0.665 cpuTime=0.59 mem=18M834
1.73
1.74 search
1.74 run=9 nbConstraintChecks=236317 nbValidityChecks=24413 nbPropagations=32224 nbRevisions=81079
1.74 nbUselessRevisions=53434 nbAssignments=2773 nbFailedAssignments=90 nbBacktracks=1333 nbVisitedNodes=2625
1.74 nbRestartNogoods=22 mapSize=190 nbInferences=16 nbTooLargeKeys=0
1.74 => wckTime=0.888 cpuTime=0.81 mem=18M834
2.08
2.08 search
2.08 run=10 nbConstraintChecks=450775 nbValidityChecks=37554 nbPropagations=43897 nbRevisions=111232
2.08 nbUselessRevisions=71012 nbAssignments=3525 nbFailedAssignments=163 nbBacktracks=1917 nbVisitedNodes=3561
2.08 nbRestartNogoods=26 mapSize=360 nbInferences=16 nbTooLargeKeys=0
2.08 => wckTime=1.237 cpuTime=1.15 mem=18M834
2.54
2.54 search
2.54 run=11 nbConstraintChecks=728124 nbValidityChecks=53328 nbPropagations=60536 nbRevisions=151826
2.54 nbUselessRevisions=93061 nbAssignments=4590 nbFailedAssignments=247 nbBacktracks=2799 nbVisitedNodes=4845
2.54 nbRestartNogoods=28 mapSize=575 nbInferences=16 nbTooLargeKeys=0
2.54 => wckTime=1.698 cpuTime=1.61 mem=18M834
3.24
3.24 search
3.24 run=12 nbConstraintChecks=1166216 nbValidityChecks=72045 nbPropagations=83106 nbRevisions=202940
3.24 nbUselessRevisions=119123 nbAssignments=6136 nbFailedAssignments=392 nbBacktracks=4107 nbVisitedNodes=6724
3.24 nbRestartNogoods=30 mapSize=906 nbInferences=16 nbTooLargeKeys=0
3.24 => wckTime=2.401 cpuTime=2.31 mem=19M809
3.88
3.88 search
3.88 run=13 nbConstraintChecks=1473746 nbValidityChecks=92703 nbPropagations=113072 nbRevisions=265694
3.88 nbUselessRevisions=149139 nbAssignments=8338 nbFailedAssignments=543 nbBacktracks=6054 nbVisitedNodes=9300
3.88 nbRestartNogoods=32 mapSize=1276 nbInferences=16 nbTooLargeKeys=0
3.88 => wckTime=3.034 cpuTime=2.94 mem=19M809
5.26
5.26 search
5.26 run=14 nbConstraintChecks=2299490 nbValidityChecks=140561 nbPropagations=158113 nbRevisions=355513
5.26 nbUselessRevisions=188962 nbAssignments=11626 nbFailedAssignments=816 nbBacktracks=8976 nbVisitedNodes=13485
5.26 nbRestartNogoods=36 mapSize=2169 nbInferences=16 nbTooLargeKeys=0
5.26 => wckTime=4.419 cpuTime=4.32 mem=20M785
7.04
7.04 INFO : Stopping hyperNogood (mapSize=3207, nbTooLargekeys=0, mem=21M760)
7.09
7.09 search
7.09 run=15 nbConstraintChecks=3401441 nbValidityChecks=200300 nbPropagations=223609 nbRevisions=478834
7.09 nbUselessRevisions=240702 nbAssignments=16510 nbFailedAssignments=1221 nbBacktracks=13356 nbVisitedNodes=19461
7.09 nbRestartNogoods=39
7.09 => wckTime=6.25 cpuTime=6.14 mem=21M760
8.84
8.84 search
8.84 run=16 nbConstraintChecks=4574236 nbValidityChecks=275808 nbPropagations=315702 nbRevisions=645714
8.84 nbUselessRevisions=307195 nbAssignments=23784 nbFailedAssignments=1828 nbBacktracks=19924 nbVisitedNodes=28145
8.84 nbRestartNogoods=43
8.84 => wckTime=7.996 cpuTime=7.88 mem=21M760
12.18
12.18 search
12.18 run=17 nbConstraintChecks=6841787 nbValidityChecks=410553 nbPropagations=451505 nbRevisions=889973
12.18 nbUselessRevisions=401236 nbAssignments=34780 nbFailedAssignments=2866 nbBacktracks=29794 nbVisitedNodes=41732
12.18 nbRestartNogoods=47
12.18 => wckTime=11.337 cpuTime=11.22 mem=21M760
16.33
16.33 search
16.33 run=18 nbConstraintChecks=9444999 nbValidityChecks=637687 nbPropagations=666094 nbRevisions=1263293
16.33 nbUselessRevisions=538702 nbAssignments=50910 nbFailedAssignments=4109 nbBacktracks=44603 nbVisitedNodes=62028
16.33 nbRestartNogoods=49
16.33 => wckTime=15.487 cpuTime=15.37 mem=21M760
22.93
22.93 search
22.93 run=19 nbConstraintChecks=13655108 nbValidityChecks=971254 nbPropagations=990784 nbRevisions=1825467
22.93 nbUselessRevisions=742155 nbAssignments=75245 nbFailedAssignments=6169 nbBacktracks=66778 nbVisitedNodes=92871
22.93 nbRestartNogoods=51
22.93 => wckTime=22.089 cpuTime=21.97 mem=21M760
33.05
33.05 search
33.05 run=20 nbConstraintChecks=20268488 nbValidityChecks=1442328 nbPropagations=1468139 nbRevisions=2657227
33.05 nbUselessRevisions=1041989 nbAssignments=111250 nbFailedAssignments=8827 nbBacktracks=100030
33.05 nbVisitedNodes=137085 nbRestartNogoods=56
33.05 => wckTime=32.204 cpuTime=32.08 mem=21M760
50.70
50.70 search
50.70 run=21 nbConstraintChecks=32078291 nbValidityChecks=2225419 nbPropagations=2208420 nbRevisions=3930835
50.70 nbUselessRevisions=1495220 nbAssignments=165923 nbFailedAssignments=13523 nbBacktracks=149918
50.70 nbVisitedNodes=206265 nbRestartNogoods=60
50.70 => wckTime=49.859 cpuTime=49.73 mem=21M760
72.35
72.35 search
72.35 run=22 nbConstraintChecks=46013989 nbValidityChecks=3292400 nbPropagations=3294365 nbRevisions=5807024
72.35 nbUselessRevisions=2157875 nbAssignments=246479 nbFailedAssignments=19170 nbBacktracks=224737
72.35 nbVisitedNodes=305874 nbRestartNogoods=64
72.35 => wckTime=71.511 cpuTime=71.38 mem=21M760
107.06
107.06 search
107.06 run=23 nbConstraintChecks=68481943 nbValidityChecks=4959198 nbPropagations=4920809 nbRevisions=8628511
107.06 nbUselessRevisions=3146457 nbAssignments=367760 nbFailedAssignments=28142 nbBacktracks=336975
107.06 nbVisitedNodes=455014 nbRestartNogoods=68
107.06 => wckTime=106.22 cpuTime=106.08 mem=21M760
125.02
125.02 search
125.02 run=24 nbConstraintChecks=79927779 nbValidityChecks=5852698 nbPropagations=6827082 nbRevisions=11962922
125.02 nbUselessRevisions=4324603 nbAssignments=436418 nbFailedAssignments=32914 nbBacktracks=400646
125.02 nbVisitedNodes=538759 nbRestartNogoods=71
125.02 => wckTime=124.178 cpuTime=124.03 mem=21M760
125.02
125.02 global
125.02 nbConstraintChecks=79930459 nbValidityChecks=5855324 nbPropagations=6827931 nbRevisions=11965172
125.02 nbUselessRevisions=4326605 nbRestartNogoods=71 solvingWckTime=124.179 solvingCpuTime=124.03 expiredTime=no
125.02 totalExploration=no nbFoundSolutions=1 globalCpuTime=124.46
125.02 => wckTime=124.711 cpuTime=124.41 mem=21M760
125.02
125.02 s SATISFIABLE
125.02 v 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1
125.02 d NODES 436418
125.02 d CHECKS 79930459
125.02
125.03 totalWckTime=124.788 totalCpuTime=124.46
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-210417-1168197862 -o ROOT/results/node48/solver-210417-1168197862 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210417-1168197862/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.77 1.94 1.81 3/68 12028
/proc/meminfo: memFree=1679032/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=1784 CPUtime=0
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 168185108 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12027/statm: 446 140 106 14 0 91 0
[startup+0.107988 s]
/proc/loadavg: 1.77 1.94 1.81 3/68 12028
/proc/meminfo: memFree=1679032/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=914988 CPUtime=0.08
/proc/12027/stat : 12027 (java) D 12025 12027 11489 0 -1 0 2989 0 1 0 7 1 0 0 16 0 8 0 168185108 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.520025 s]
/proc/loadavg: 1.77 1.94 1.81 3/68 12028
/proc/meminfo: memFree=1679032/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=0.49
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 6947 0 1 0 45 4 0 0 16 0 8 0 168185108 937431040 6686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073574987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228865 6686 2159 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460
[startup+1.3461 s]
/proc/loadavg: 1.77 1.94 1.81 4/88 12094
/proc/meminfo: memFree=1643416/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=1.31
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 9543 0 1 0 123 8 0 0 16 0 8 0 168185108 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073893915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12027/statm: 228865 9281 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 17 0 8 0 168185112 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.22
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 168185116 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 9281 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) 915460
[startup+2.98225 s]
/proc/loadavg: 1.78 1.94 1.81 2/76 12100
/proc/meminfo: memFree=1650616/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=2.95
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 9796 0 1 0 286 9 0 0 17 0 8 0 168185108 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073636995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228865 9533 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 16 0 8 0 168185112 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.24
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 401 0 0 0 23 1 0 0 15 0 8 0 168185116 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.26755 s]
/proc/loadavg: 1.78 1.94 1.81 3/88 12167
/proc/meminfo: memFree=1605968/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=6.23
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 10294 0 1 0 613 10 0 0 19 0 8 0 168185108 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073636999 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12027/statm: 228865 10029 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 16 0 8 0 168185112 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.24
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 168185116 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7522 s]
/proc/loadavg: 1.90 1.96 1.82 3/91 12228
/proc/meminfo: memFree=1563000/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=12.7
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 10428 0 1 0 1259 11 0 0 25 0 8 0 168185108 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073646986 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228865 10162 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 16 0 8 0 168185112 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.24
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 168185116 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915460
[startup+25.6193 s]
/proc/loadavg: 1.91 1.96 1.82 3/92 12229
/proc/meminfo: memFree=1560240/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=25.57
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 10435 0 1 0 2546 11 0 0 25 0 8 0 168185108 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228865 10169 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 16 0 8 0 168185112 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.25
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 168185116 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915460
[startup+51.2597 s]
/proc/loadavg: 1.94 1.96 1.82 3/92 12229
/proc/meminfo: memFree=1543344/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=51.2
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 10440 0 1 0 5109 11 0 0 25 0 8 0 168185108 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228865 10174 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 16 0 8 0 168185112 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.25
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 168185116 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915460
[startup+102.512 s]
/proc/loadavg: 1.97 1.97 1.83 3/92 12229
/proc/meminfo: memFree=1543408/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=102.44
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 10443 0 1 0 10233 11 0 0 25 0 8 0 168185108 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073897389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228865 10177 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 16 0 8 0 168185112 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.25
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 168185116 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 125.091
CPU time (s): 124.961
CPU user time (s): 124.841
CPU system time (s): 0.119981
CPU usage (%): 99.8963
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.841
system time used= 0.119981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10542
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= 3559
involuntary context switches= 996
runsolver used 0.162975 s user time and 0.379942 s system time
The end
Begin job on node48 on Sun Jan 7 19:24:23 UTC 2007
IDJOB= 210417
IDBENCH= 4618
FILE ID= node48/210417-1168197862
PBS_JOBID= 3480696
Free space on /tmp= 66563 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-13-11.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210417-1168197862/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-210417-1168197862 -o ROOT/results/node48/solver-210417-1168197862 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210417-1168197862/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e3cf89f494b402d682900d8c1ff0cbd2
RANDOM SEED= 83407380
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.218
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.218
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: 1679448 kB
Buffers: 59632 kB
Cached: 238072 kB
SwapCached: 0 kB
Active: 134072 kB
Inactive: 184216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1679448 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 30804 kB
Slab: 43932 kB
Committed_AS: 3707284 kB
PageTables: 1584 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= 66561 MiB
End job on node48 on Sun Jan 7 19:26:29 UTC 2007