0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/210749-1168202112/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.52 nbVariables=1804 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.52 => wckTime=0.23 cpuTime=0.15 mem=9M844
0.52
0.52 predicates being loaded...
0.53
0.53 constraints being loaded...
1.34 nbConstraints=4706 nbMergedConstraints=224 nbSingletonDomainVariables=17 nbConvertedConstraints=3100
1.34 nbConvertConstraintsChecks=7236 nbExtensionStructures=8 nbSharedExtensionStructures=3092
1.34 nbConflictsStructures=33 nbSharedConflictsStructures=4673 nbSharedBinaryRepresentations=19
1.34 nbEvaluationManagers=25 nbSharedEvaluationManagers=1581 maxDegree=76 maxArity=9
1.34 => wckTime=1.05 cpuTime=0.83 mem=10M483
1.40
1.40 solver IterativeSystematicSolver being built...
1.68 => wckTime=1.391 cpuTime=1.05 mem=34M671
2.96
2.96 preprocessing
2.96 nbConstraintChecks=59373 nbValidityChecks=26103 nbPropagations=11501 nbRevisions=50762 nbUselessRevisions=42989
2.96 nbSingletonTests=2071 nbEffectiveSingletonTests=0 nbESACBranches=13 nbRemovedValues=0 detectedInconsistency=no
2.96 => wckTime=1.272 cpuTime=1.23 mem=34M671
3.30
3.30 search
3.30 run=0 nbConstraintChecks=15030 nbValidityChecks=8896 nbPropagations=14027 nbRevisions=65921
3.30 nbUselessRevisions=55634 nbAssignments=156 nbFailedAssignments=2 nbBacktracks=14 nbVisitedNodes=160
3.30 nbRestartNogoods=0 mapSize=1 nbInferences=0 nbTooLargeKeys=0
3.30 => wckTime=1.618 cpuTime=1.56 mem=35M674
3.62
3.62 search
3.62 run=1 nbConstraintChecks=32716 nbValidityChecks=18386 nbPropagations=31294 nbRevisions=149781
3.62 nbUselessRevisions=125978 nbAssignments=315 nbFailedAssignments=3 nbBacktracks=29 nbVisitedNodes=317
3.62 nbRestartNogoods=2 mapSize=2 nbInferences=0 nbTooLargeKeys=0
3.62 => wckTime=1.937 cpuTime=1.88 mem=35M674
3.97
3.97 search
3.97 run=2 nbConstraintChecks=42496 nbValidityChecks=26898 nbPropagations=50288 nbRevisions=244932
3.97 nbUselessRevisions=205911 nbAssignments=487 nbFailedAssignments=5 nbBacktracks=61 nbVisitedNodes=495
3.97 nbRestartNogoods=3 mapSize=7 nbInferences=0 nbTooLargeKeys=0
3.97 => wckTime=2.281 cpuTime=2.23 mem=35M674
4.32
4.32 search
4.32 run=3 nbConstraintChecks=54608 nbValidityChecks=36707 nbPropagations=71229 nbRevisions=352992
4.32 nbUselessRevisions=296814 nbAssignments=660 nbFailedAssignments=9 nbBacktracks=94 nbVisitedNodes=680
4.32 nbRestartNogoods=4 mapSize=18 nbInferences=0 nbTooLargeKeys=0
4.32 => wckTime=2.63 cpuTime=2.57 mem=35M674
4.76
4.76 search
4.76 run=4 nbConstraintChecks=67597 nbValidityChecks=46051 nbPropagations=94497 nbRevisions=475340
4.76 nbUselessRevisions=399697 nbAssignments=878 nbFailedAssignments=13 nbBacktracks=145 nbVisitedNodes=907
4.76 nbRestartNogoods=5 mapSize=24 nbInferences=0 nbTooLargeKeys=0
4.76 => wckTime=3.079 cpuTime=3.02 mem=35M674
5.30
5.30 search
5.30 run=5 nbConstraintChecks=94032 nbValidityChecks=59157 nbPropagations=122802 nbRevisions=625528
5.30 nbUselessRevisions=525397 nbAssignments=1157 nbFailedAssignments=17 nbBacktracks=228 nbVisitedNodes=1168
5.30 nbRestartNogoods=8 mapSize=33 nbInferences=0 nbTooLargeKeys=0
5.30 => wckTime=3.616 cpuTime=3.55 mem=36M668
5.87
5.87 search
5.87 run=6 nbConstraintChecks=106590 nbValidityChecks=69439 nbPropagations=153504 nbRevisions=791035
5.87 nbUselessRevisions=663963 nbAssignments=1427 nbFailedAssignments=23 nbBacktracks=344 nbVisitedNodes=1454
5.87 nbRestartNogoods=10 mapSize=47 nbInferences=0 nbTooLargeKeys=0
5.87 => wckTime=4.18 cpuTime=4.11 mem=36M668
6.54
6.54 search
6.54 run=7 nbConstraintChecks=134021 nbValidityChecks=87467 nbPropagations=189220 nbRevisions=986488
6.54 nbUselessRevisions=827121 nbAssignments=1752 nbFailedAssignments=52 nbBacktracks=516 nbVisitedNodes=1837
6.54 nbRestartNogoods=12 mapSize=99 nbInferences=0 nbTooLargeKeys=0
6.54 => wckTime=4.854 cpuTime=4.78 mem=36M668
7.26
7.26 search
7.26 run=8 nbConstraintChecks=156713 nbValidityChecks=98060 nbPropagations=229100 nbRevisions=1205095
7.26 nbUselessRevisions=1008993 nbAssignments=2129 nbFailedAssignments=71 nbBacktracks=773 nbVisitedNodes=2263
7.26 nbRestartNogoods=14 mapSize=144 nbInferences=0 nbTooLargeKeys=0
7.26 => wckTime=5.572 cpuTime=5.49 mem=36M668
8.17
8.17 search
8.17 run=9 nbConstraintChecks=199242 nbValidityChecks=117324 nbPropagations=276799 nbRevisions=1466399
8.17 nbUselessRevisions=1225492 nbAssignments=2743 nbFailedAssignments=94 nbBacktracks=1170 nbVisitedNodes=2786
8.17 nbRestartNogoods=18 mapSize=206 nbInferences=0 nbTooLargeKeys=0
8.17 => wckTime=6.483 cpuTime=6.4 mem=36M668
9.34
9.34 search
9.34 run=10 nbConstraintChecks=265541 nbValidityChecks=138466 nbPropagations=336546 nbRevisions=1790429
9.34 nbUselessRevisions=1492262 nbAssignments=3371 nbFailedAssignments=117 nbBacktracks=1758 nbVisitedNodes=3464
9.34 nbRestartNogoods=19 mapSize=254 nbInferences=0 nbTooLargeKeys=0
9.34 => wckTime=7.656 cpuTime=7.56 mem=37M663
11.21
11.21 search
11.21 run=11 nbConstraintChecks=371255 nbValidityChecks=175002 nbPropagations=415482 nbRevisions=2216653
11.21 nbUselessRevisions=1841215 nbAssignments=4348 nbFailedAssignments=165 nbBacktracks=2671 nbVisitedNodes=4526
11.21 nbRestartNogoods=21 mapSize=336 nbInferences=0 nbTooLargeKeys=0
11.21 => wckTime=9.529 cpuTime=9.43 mem=38M658
14.11
14.11 search
14.11 run=12 nbConstraintChecks=633122 nbValidityChecks=305054 nbPropagations=534640 nbRevisions=2888698
14.11 nbUselessRevisions=2393034 nbAssignments=5860 nbFailedAssignments=283 nbBacktracks=3969 nbVisitedNodes=6364
14.11 nbRestartNogoods=24 mapSize=654 nbInferences=54 nbTooLargeKeys=0
14.11 => wckTime=12.426 cpuTime=12.32 mem=39M653
18.38
18.38 search
18.38 run=13 nbConstraintChecks=1106446 nbValidityChecks=479799 nbPropagations=736423 nbRevisions=4007961
18.38 nbUselessRevisions=3305330 nbAssignments=8026 nbFailedAssignments=459 nbBacktracks=5916 nbVisitedNodes=8896
18.38 nbRestartNogoods=32 mapSize=1017 nbInferences=54 nbTooLargeKeys=0
18.38 => wckTime=16.699 cpuTime=16.6 mem=40M647
24.19
24.19 search
24.19 run=14 nbConstraintChecks=1498307 nbValidityChecks=641299 nbPropagations=1006312 nbRevisions=5492768
24.19 nbUselessRevisions=4511654 nbAssignments=11191 nbFailedAssignments=648 nbBacktracks=8861 nbVisitedNodes=12478
24.19 nbRestartNogoods=35 mapSize=1430 nbInferences=54 nbTooLargeKeys=0
24.19 => wckTime=22.507 cpuTime=22.4 mem=42M637
31.77
31.77 search
31.77 run=15 nbConstraintChecks=2354476 nbValidityChecks=909381 nbPropagations=1437830 nbRevisions=7797650
31.77 nbUselessRevisions=6365458 nbAssignments=15894 nbFailedAssignments=898 nbBacktracks=13262 nbVisitedNodes=17762
31.77 nbRestartNogoods=39 mapSize=2003 nbInferences=76 nbTooLargeKeys=0
31.77 => wckTime=30.084 cpuTime=29.97 mem=44M626
41.10
41.10 search
41.10 run=16 nbConstraintChecks=4236168 nbValidityChecks=1518452 nbPropagations=2221624 nbRevisions=11893532
41.10 nbUselessRevisions=9621530 nbAssignments=23113 nbFailedAssignments=1480 nbBacktracks=19840 nbVisitedNodes=26323
41.10 nbRestartNogoods=47 mapSize=3348 nbInferences=95 nbTooLargeKeys=0
41.10 => wckTime=39.412 cpuTime=39.3 mem=48M605
54.89
54.89 search
54.89 run=17 nbConstraintChecks=6512290 nbValidityChecks=2279725 nbPropagations=3431901 nbRevisions=18186036
54.89 nbUselessRevisions=14598747 nbAssignments=34097 nbFailedAssignments=2422 nbBacktracks=29694
54.89 nbVisitedNodes=39527 nbRestartNogoods=54 mapSize=5558 nbInferences=240 nbTooLargeKeys=0
54.89 => wckTime=53.209 cpuTime=53.06 mem=11M323
63.41
63.41 search
63.41 run=18 nbConstraintChecks=7806350 nbValidityChecks=2697415 nbPropagations=4883232 nbRevisions=25715538
63.41 nbUselessRevisions=20548984 nbAssignments=40792 nbFailedAssignments=2933 nbBacktracks=35856
63.41 nbVisitedNodes=47372 nbRestartNogoods=63 mapSize=6728 nbInferences=243 nbTooLargeKeys=0
63.41 => wckTime=61.722 cpuTime=61.57 mem=15M330
63.41
63.41 global
63.41 nbConstraintChecks=7865723 nbValidityChecks=2723518 nbPropagations=4894733 nbRevisions=25766300
63.41 nbUselessRevisions=20591973 nbRestartNogoods=63 solvingWckTime=61.723 solvingCpuTime=61.57 expiredTime=no
63.41 totalExploration=yes nbFoundSolutions=0 globalCpuTime=62.66
63.41 => wckTime=63.12 cpuTime=62.62 mem=15M330
63.41
63.41 s UNSATISFIABLE
63.41 d NODES 40792
63.41 d CHECKS 7865723
63.41
63.41 totalWckTime=63.196 totalCpuTime=62.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-210749-1168202112 -o ROOT/results/node76/solver-210749-1168202112 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210749-1168202112/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.96 0.98 1.03 4/79 3432
/proc/meminfo: memFree=1379808/2055888 swapFree=4095388/4096564
[pid=3431] ppid=3429 vsize=18544 CPUtime=0
/proc/3431/stat : 3431 (runsolver) R 3429 3431 3234 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 168608427 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/3431/statm: 4636 280 245 17 0 2626 0
[startup+0.106628 s]
/proc/loadavg: 0.96 0.98 1.03 4/79 3432
/proc/meminfo: memFree=1379808/2055888 swapFree=4095388/4096564
[pid=3431] ppid=3429 vsize=914992 CPUtime=0.09
/proc/3431/stat : 3431 (java) R 3429 3431 3234 0 -1 0 3079 0 1 0 8 1 0 0 20 0 8 0 168608427 936951808 2827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3431/statm: 228748 2828 1456 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914992
[startup+0.514707 s]
/proc/loadavg: 0.96 0.98 1.03 4/79 3432
/proc/meminfo: memFree=1379808/2055888 swapFree=4095388/4096564
[pid=3431] ppid=3429 vsize=915332 CPUtime=0.49
/proc/3431/stat : 3431 (java) R 3429 3431 3234 0 -1 0 6722 0 1 0 45 4 0 0 19 0 8 0 168608427 937299968 6463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3431/statm: 228833 6463 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33587 s]
/proc/loadavg: 0.96 0.98 1.03 3/86 3439
/proc/meminfo: memFree=1327720/2055888 swapFree=4095388/4096564
[pid=3431] ppid=3429 vsize=915644 CPUtime=1.32
/proc/3431/stat : 3431 (java) R 3429 3431 3234 0 -1 0 18009 0 1 0 107 25 0 0 25 0 8 0 168608427 937619456 17748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072919555 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3431/statm: 228911 17748 2189 14 0 215380 0
[pid=3431/tid=3433] ppid=3429 vsize=915644 CPUtime=0.05
/proc/3431/task/3433/stat : 3433 (java) S 3429 3431 3234 0 -1 64 1360 0 0 0 5 0 0 0 16 0 8 0 168608431 937619456 17748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3434] ppid=3429 vsize=915644 CPUtime=0
/proc/3431/task/3434/stat : 3434 (java) S 3429 3431 3234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168608431 937619456 17748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3435] ppid=3429 vsize=915644 CPUtime=0
/proc/3431/task/3435/stat : 3435 (java) S 3429 3431 3234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168608431 937619456 17748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3436] ppid=3429 vsize=915644 CPUtime=0
/proc/3431/task/3436/stat : 3436 (java) S 3429 3431 3234 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168608434 937619456 17748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3437] ppid=3429 vsize=915644 CPUtime=0.2
/proc/3431/task/3437/stat : 3437 (java) S 3429 3431 3234 0 -1 64 440 0 0 0 19 1 0 0 15 0 8 0 168608434 937619456 17748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3438] ppid=3429 vsize=915644 CPUtime=0
/proc/3431/task/3438/stat : 3438 (java) S 3429 3431 3234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168608434 937619456 17748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3439] ppid=3429 vsize=915644 CPUtime=0
/proc/3431/task/3439/stat : 3439 (java) S 3429 3431 3234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168608434 937619456 17748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915644
[startup+2.97319 s]
/proc/loadavg: 0.96 0.98 1.03 3/86 3439
/proc/meminfo: memFree=1312168/2055888 swapFree=4095388/4096564
[pid=3431] ppid=3429 vsize=915732 CPUtime=2.95
/proc/3431/stat : 3431 (java) R 3429 3431 3234 0 -1 0 19634 0 1 0 268 27 0 0 25 0 8 0 168608427 937709568 19371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3431/statm: 228933 19371 2548 14 0 215402 0
[pid=3431/tid=3433] ppid=3429 vsize=915732 CPUtime=0.1
/proc/3431/task/3433/stat : 3433 (java) S 3429 3431 3234 0 -1 64 2484 0 0 0 10 0 0 0 17 0 8 0 168608431 937709568 19371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3434] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3434/stat : 3434 (java) S 3429 3431 3234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168608431 937709568 19371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3435] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3435/stat : 3435 (java) S 3429 3431 3234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168608431 937709568 19371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3436] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3436/stat : 3436 (java) S 3429 3431 3234 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168608434 937709568 19371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3437] ppid=3429 vsize=915732 CPUtime=0.32
/proc/3431/task/3437/stat : 3437 (java) S 3429 3431 3234 0 -1 64 511 0 0 0 30 2 0 0 15 0 8 0 168608434 937709568 19371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3438] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3438/stat : 3438 (java) S 3429 3431 3234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168608434 937709568 19371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3439] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3439/stat : 3439 (java) S 3429 3431 3234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168608434 937709568 19371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915732
[startup+6.26883 s]
/proc/loadavg: 1.04 1.00 1.03 3/86 3439
/proc/meminfo: memFree=1312048/2055888 swapFree=4095388/4096564
[pid=3431] ppid=3429 vsize=915732 CPUtime=6.24
/proc/3431/stat : 3431 (java) R 3429 3431 3234 0 -1 0 19653 0 1 0 597 27 0 0 25 0 8 0 168608427 937709568 19387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074098423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3431/statm: 228933 19387 2549 14 0 215402 0
[pid=3431/tid=3433] ppid=3429 vsize=915732 CPUtime=0.1
/proc/3431/task/3433/stat : 3433 (java) S 3429 3431 3234 0 -1 64 2484 0 0 0 10 0 0 0 17 0 8 0 168608431 937709568 19387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3434] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3434/stat : 3434 (java) S 3429 3431 3234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168608431 937709568 19387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3435] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3435/stat : 3435 (java) S 3429 3431 3234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168608431 937709568 19387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3436] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3436/stat : 3436 (java) S 3429 3431 3234 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168608434 937709568 19387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3437] ppid=3429 vsize=915732 CPUtime=0.35
/proc/3431/task/3437/stat : 3437 (java) S 3429 3431 3234 0 -1 64 526 0 0 0 33 2 0 0 16 0 8 0 168608434 937709568 19387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3438] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3438/stat : 3438 (java) S 3429 3431 3234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168608434 937709568 19387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3439] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3439/stat : 3439 (java) S 3429 3431 3234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168608434 937709568 19387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915732
[startup+12.7431 s]
/proc/loadavg: 1.12 1.02 1.04 3/86 3439
/proc/meminfo: memFree=1312048/2055888 swapFree=4095388/4096564
[pid=3431] ppid=3429 vsize=915732 CPUtime=12.71
/proc/3431/stat : 3431 (java) R 3429 3431 3234 0 -1 0 19664 0 1 0 1244 27 0 0 25 0 8 0 168608427 937709568 19395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074194467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3431/statm: 228933 19395 2549 14 0 215402 0
[pid=3431/tid=3433] ppid=3429 vsize=915732 CPUtime=0.1
/proc/3431/task/3433/stat : 3433 (java) S 3429 3431 3234 0 -1 64 2484 0 0 0 10 0 0 0 16 0 8 0 168608431 937709568 19395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3434] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3434/stat : 3434 (java) S 3429 3431 3234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168608431 937709568 19395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3435] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3435/stat : 3435 (java) S 3429 3431 3234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168608431 937709568 19395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3436] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3436/stat : 3436 (java) S 3429 3431 3234 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168608434 937709568 19395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3437] ppid=3429 vsize=915732 CPUtime=0.36
/proc/3431/task/3437/stat : 3437 (java) S 3429 3431 3234 0 -1 64 534 0 0 0 34 2 0 0 16 0 8 0 168608434 937709568 19395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3438] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3438/stat : 3438 (java) S 3429 3431 3234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168608434 937709568 19395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3439] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3439/stat : 3439 (java) S 3429 3431 3234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168608434 937709568 19395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915732
[startup+25.5996 s]
/proc/loadavg: 1.31 1.06 1.05 3/86 3439
/proc/meminfo: memFree=1312048/2055888 swapFree=4095388/4096564
[pid=3431] ppid=3429 vsize=915732 CPUtime=25.56
/proc/3431/stat : 3431 (java) R 3429 3431 3234 0 -1 0 19667 0 1 0 2529 27 0 0 25 0 8 0 168608427 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074104343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3431/statm: 228933 19396 2549 14 0 215402 0
[pid=3431/tid=3433] ppid=3429 vsize=915732 CPUtime=0.1
/proc/3431/task/3433/stat : 3433 (java) S 3429 3431 3234 0 -1 64 2484 0 0 0 10 0 0 0 17 0 8 0 168608431 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3434] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3434/stat : 3434 (java) S 3429 3431 3234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168608431 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3435] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3435/stat : 3435 (java) S 3429 3431 3234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168608431 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3436] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3436/stat : 3436 (java) S 3429 3431 3234 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168608434 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3437] ppid=3429 vsize=915732 CPUtime=0.37
/proc/3431/task/3437/stat : 3437 (java) S 3429 3431 3234 0 -1 64 535 0 0 0 35 2 0 0 16 0 8 0 168608434 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3438] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3438/stat : 3438 (java) S 3429 3431 3234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168608434 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3439] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3439/stat : 3439 (java) S 3429 3431 3234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168608434 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915732
[startup+51.2846 s]
/proc/loadavg: 1.55 1.14 1.08 3/86 3439
/proc/meminfo: memFree=1312240/2055888 swapFree=4095388/4096564
[pid=3431] ppid=3429 vsize=915732 CPUtime=51.23
/proc/3431/stat : 3431 (java) R 3429 3431 3234 0 -1 0 19667 0 1 0 5096 27 0 0 25 0 8 0 168608427 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073467877 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3431/statm: 228933 19396 2549 14 0 215402 0
[pid=3431/tid=3433] ppid=3429 vsize=915732 CPUtime=0.1
/proc/3431/task/3433/stat : 3433 (java) S 3429 3431 3234 0 -1 64 2484 0 0 0 10 0 0 0 16 0 8 0 168608431 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3434] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3434/stat : 3434 (java) S 3429 3431 3234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168608431 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3435] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3435/stat : 3435 (java) S 3429 3431 3234 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168608431 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3436] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3436/stat : 3436 (java) S 3429 3431 3234 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168608434 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3437] ppid=3429 vsize=915732 CPUtime=0.37
/proc/3431/task/3437/stat : 3437 (java) S 3429 3431 3234 0 -1 64 535 0 0 0 35 2 0 0 17 0 8 0 168608434 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3438] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3438/stat : 3438 (java) S 3429 3431 3234 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168608434 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3431/tid=3439] ppid=3429 vsize=915732 CPUtime=0
/proc/3431/task/3439/stat : 3439 (java) S 3429 3431 3234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168608434 937709568 19396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915732
Child status: 0
Real time (s): 63.4695
CPU time (s): 63.3844
CPU user time (s): 63.0894
CPU system time (s): 0.294955
CPU usage (%): 99.8658
Max. virtual memory (cumulated for all children) (KiB): 915732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.0894
system time used= 0.294955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20863
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= 3092
involuntary context switches= 3510
runsolver used 0.066989 s user time and 0.171973 s system time
The end
Begin job on node76 on Sun Jan 7 20:35:13 UTC 2007
IDJOB= 210749
IDBENCH= 4643
FILE ID= node76/210749-1168202112
PBS_JOBID= 3480751
Free space on /tmp= 66644 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-rf6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210749-1168202112/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-210749-1168202112 -o ROOT/results/node76/solver-210749-1168202112 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210749-1168202112/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 494d4743e4f40a4d6646c2ba4e64717e
RANDOM SEED= 898259823
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1380096 kB
Buffers: 44204 kB
Cached: 547784 kB
SwapCached: 428 kB
Active: 134488 kB
Inactive: 487772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1380096 kB
SwapTotal: 4096564 kB
SwapFree: 4095388 kB
Dirty: 4960 kB
Writeback: 0 kB
Mapped: 40452 kB
Slab: 39232 kB
Committed_AS: 6344444 kB
PageTables: 1776 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66644 MiB
End job on node76 on Sun Jan 7 20:36:17 UTC 2007