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/199637-1168135469/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.40 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=833 maxDegree=22
0.59 maxArity=2
0.59 => wckTime=0.287 cpuTime=0.22 mem=12M803
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.479 cpuTime=0.34 mem=14M973
0.83
0.83 preprocessing
0.83 nbConstraintChecks=41048 nbPropagations=552 nbRevisions=5155 nbUselessRevisions=4434 nbSingletonTests=30
0.83 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.83 => wckTime=0.04 cpuTime=0.02 mem=14M973
0.85
0.85 search
0.85 run=0 nbConstraintChecks=40118 nbPropagations=1030 nbRevisions=13149 nbUselessRevisions=11326 nbAssignments=29
0.85 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=52 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.061 cpuTime=0.04 mem=14M973
0.87
0.87 search
0.87 run=1 nbConstraintChecks=102730 nbPropagations=2835 nbRevisions=37735 nbUselessRevisions=32490
0.87 nbAssignments=77 nbFailedAssignments=30 nbBacktracks=25 nbVisitedNodes=118 nbRestartNogoods=4 mapSize=25
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.081 cpuTime=0.05 mem=14M973
0.88
0.88 search
0.88 run=2 nbConstraintChecks=153791 nbPropagations=5322 nbRevisions=73389 nbUselessRevisions=63235
0.88 nbAssignments=121 nbFailedAssignments=47 nbBacktracks=47 nbVisitedNodes=196 nbRestartNogoods=9 mapSize=46
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.096 cpuTime=0.06 mem=14M973
0.91
0.91 search
0.91 run=3 nbConstraintChecks=250197 nbPropagations=8950 nbRevisions=129894 nbUselessRevisions=111824
0.91 nbAssignments=200 nbFailedAssignments=89 nbBacktracks=80 nbVisitedNodes=343 nbRestartNogoods=12 mapSize=79
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.119 cpuTime=0.08 mem=14M973
0.93
0.93 search
0.93 run=4 nbConstraintChecks=389281 nbPropagations=14226 nbRevisions=216778 nbUselessRevisions=186728
0.93 nbAssignments=307 nbFailedAssignments=141 nbBacktracks=131 nbVisitedNodes=538 nbRestartNogoods=18 mapSize=129
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.143 cpuTime=0.11 mem=14M973
0.97
0.97 search
0.97 run=5 nbConstraintChecks=584740 nbPropagations=21781 nbRevisions=346735 nbUselessRevisions=298725
0.97 nbAssignments=456 nbFailedAssignments=210 nbBacktracks=207 nbVisitedNodes=814 nbRestartNogoods=21 mapSize=202
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.181 cpuTime=0.14 mem=14M973
1.02
1.02 search
1.02 run=6 nbConstraintChecks=915782 nbPropagations=33044 nbRevisions=547922 nbUselessRevisions=471903
1.02 nbAssignments=698 nbFailedAssignments=334 nbBacktracks=320 nbVisitedNodes=1271 nbRestartNogoods=29 mapSize=313
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.236 cpuTime=0.19 mem=14M973
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1359776 nbPropagations=49532 nbRevisions=847410 nbUselessRevisions=729716
1.10 nbAssignments=1048 nbFailedAssignments=510 nbBacktracks=490 nbVisitedNodes=1927 nbRestartNogoods=41
1.10 mapSize=481 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.312 cpuTime=0.26 mem=14M973
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1960058 nbPropagations=73418 nbRevisions=1282837 nbUselessRevisions=1104451
1.22 nbAssignments=1551 nbFailedAssignments=752 nbBacktracks=747 nbVisitedNodes=2868 nbRestartNogoods=48
1.22 mapSize=733 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.434 cpuTime=0.36 mem=14M973
1.35
1.35 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=14M973)
1.38
1.38 search
1.38 run=9 nbConstraintChecks=2941276 nbPropagations=108910 nbRevisions=1940075 nbUselessRevisions=1670556
1.38 nbAssignments=2326 nbFailedAssignments=1137 nbBacktracks=1133 nbVisitedNodes=4315 nbRestartNogoods=57
1.38 => wckTime=0.589 cpuTime=0.51 mem=14M973
1.60
1.60 search
1.60 run=10 nbConstraintChecks=4426358 nbPropagations=161720 nbRevisions=2925070 nbUselessRevisions=2519127
1.60 nbAssignments=3478 nbFailedAssignments=1709 nbBacktracks=1709 nbVisitedNodes=6465 nbRestartNogoods=62
1.60 => wckTime=0.813 cpuTime=0.72 mem=14M973
1.91
1.91 search
1.91 run=11 nbConstraintChecks=6535573 nbPropagations=239710 nbRevisions=4387698 nbUselessRevisions=3779585
1.91 nbAssignments=5185 nbFailedAssignments=2547 nbBacktracks=2574 nbVisitedNodes=9656 nbRestartNogoods=71
1.91 => wckTime=1.118 cpuTime=1.03 mem=14M973
2.40
2.40 search
2.40 run=12 nbConstraintChecks=10002695 nbPropagations=357694 nbRevisions=6615250 nbUselessRevisions=5699326
2.40 nbAssignments=7817 nbFailedAssignments=3877 nbBacktracks=3871 nbVisitedNodes=14599 nbRestartNogoods=82
2.40 => wckTime=1.616 cpuTime=1.52 mem=14M973
3.17
3.17 search
3.17 run=13 nbConstraintChecks=15109006 nbPropagations=534717 nbRevisions=9978089 nbUselessRevisions=8596617
3.17 nbAssignments=11828 nbFailedAssignments=5938 nbBacktracks=5817 nbVisitedNodes=22118 nbRestartNogoods=90
3.17 => wckTime=2.378 cpuTime=2.29 mem=14M973
4.24
4.24 search
4.24 run=14 nbConstraintChecks=22099322 nbPropagations=796541 nbRevisions=14931470 nbUselessRevisions=12865513
4.24 nbAssignments=17625 nbFailedAssignments=8812 nbBacktracks=8736 nbVisitedNodes=32945 nbRestartNogoods=102
4.24 => wckTime=3.451 cpuTime=3.36 mem=14M973
5.95
5.95 search
5.95 run=15 nbConstraintChecks=33641064 nbPropagations=1190705 nbRevisions=22442289 nbUselessRevisions=19339978
5.95 nbAssignments=26488 nbFailedAssignments=13294 nbBacktracks=13114 nbVisitedNodes=49558 nbRestartNogoods=111
5.95 => wckTime=5.164 cpuTime=5.07 mem=14M973
8.51
8.51 search
8.51 run=16 nbConstraintChecks=50797846 nbPropagations=1783098 nbRevisions=33779615 nbUselessRevisions=29118878
8.51 nbAssignments=39674 nbFailedAssignments=19907 nbBacktracks=19683 nbVisitedNodes=74313 nbRestartNogoods=121
8.51 => wckTime=7.723 cpuTime=7.63 mem=14M973
12.39
12.39 search
12.39 run=17 nbConstraintChecks=76766667 nbPropagations=2672629 nbRevisions=50879314 nbUselessRevisions=43874287
12.39 nbAssignments=59479 nbFailedAssignments=29855 nbBacktracks=29535 nbVisitedNodes=111428 nbRestartNogoods=134
12.39 => wckTime=11.598 cpuTime=11.51 mem=14M973
18.20
18.20 search
18.20 run=18 nbConstraintChecks=115953561 nbPropagations=4011811 nbRevisions=76686627 nbUselessRevisions=66146923
18.20 nbAssignments=89364 nbFailedAssignments=44957 nbBacktracks=44313 nbVisitedNodes=167521 nbRestartNogoods=139
18.20 => wckTime=17.416 cpuTime=17.32 mem=14M973
26.89
26.89 search
26.89 run=19 nbConstraintChecks=174699436 nbPropagations=6023476 nbRevisions=115516683 nbUselessRevisions=99657794
26.89 nbAssignments=134073 nbFailedAssignments=67493 nbBacktracks=66481 nbVisitedNodes=251388 nbRestartNogoods=151
26.89 => wckTime=26.101 cpuTime=26.0 mem=14M973
40.17
40.17 search
40.17 run=20 nbConstraintChecks=264229651 nbPropagations=9053550 nbRevisions=174163292 nbUselessRevisions=150275474
40.17 nbAssignments=201655 nbFailedAssignments=101810 nbBacktracks=99733 nbVisitedNodes=378236 nbRestartNogoods=168
40.17 => wckTime=39.387 cpuTime=39.28 mem=14M973
59.87
59.87 search
59.87 run=21 nbConstraintChecks=396642545 nbPropagations=13598707 nbRevisions=262293759 nbUselessRevisions=226360693
59.87 nbAssignments=302058 nbFailedAssignments=152331 nbBacktracks=149611 nbVisitedNodes=566668 nbRestartNogoods=181
59.87 => wckTime=59.084 cpuTime=58.97 mem=14M973
62.88
62.88 search
62.88 run=22 nbConstraintChecks=417137796 nbPropagations=18374555 nbRevisions=354949673 nbUselessRevisions=306353723
62.88 nbAssignments=317237 nbFailedAssignments=160072 nbBacktracks=157026 nbVisitedNodes=595186 nbRestartNogoods=191
62.88 => wckTime=62.091 cpuTime=61.97 mem=14M973
62.88
62.88 global
62.88 nbConstraintChecks=417178844 nbPropagations=18375107 nbRevisions=354954828 nbUselessRevisions=306358157
62.88 nbRestartNogoods=191 solvingWckTime=62.092 solvingCpuTime=61.97 expiredTime=no totalExploration=no
62.88 nbFoundSolutions=1 globalCpuTime=62.35
62.88 => wckTime=62.574 cpuTime=62.31 mem=14M973
62.88
62.88 s SATISFIABLE
62.88 v 17 8 5 14 1 1 9 1 8 17 4 6 2 7 3 4 5 5 13 22 16 1 11
62.88 d NODES 317237
62.88 d CHECKS 417178844
62.88
62.88 totalWckTime=62.653 totalCpuTime=62.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-199637-1168135469 -o ROOT/results/node22/solver-199637-1168135469 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199637-1168135469/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.00 1.00 1.10 3/78 24755
/proc/meminfo: memFree=1121208/2055920 swapFree=4157532/4192956
[pid=24754] ppid=24752 vsize=168 CPUtime=0
/proc/24754/stat : 24754 (java) R 24752 24754 23523 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 161941387 172032 23 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4678436 0 0 4096 0 0 0 0 17 1 0 0
/proc/24754/statm: 42 23 18 14 0 2 0
[startup+0.107765 s]
/proc/loadavg: 1.00 1.00 1.10 3/78 24755
/proc/meminfo: memFree=1121208/2055920 swapFree=4157532/4192956
[pid=24754] ppid=24752 vsize=914988 CPUtime=0.08
/proc/24754/stat : 24754 (java) R 24752 24754 23523 0 -1 0 3023 0 1 0 7 1 0 0 16 0 8 0 161941387 936947712 2769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24754/statm: 228747 2770 1437 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517826 s]
/proc/loadavg: 1.00 1.00 1.10 3/78 24755
/proc/meminfo: memFree=1121208/2055920 swapFree=4157532/4192956
[pid=24754] ppid=24752 vsize=915328 CPUtime=0.5
/proc/24754/stat : 24754 (java) S 24752 24754 23523 0 -1 0 6907 0 1 0 46 4 0 0 16 0 8 0 161941387 937295872 6646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24754/statm: 228832 6646 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33795 s]
/proc/loadavg: 1.00 1.00 1.10 2/85 24762
/proc/meminfo: memFree=1097408/2055920 swapFree=4157532/4192956
[pid=24754] ppid=24752 vsize=915452 CPUtime=1.31
/proc/24754/stat : 24754 (java) R 24752 24754 23523 0 -1 0 8687 0 1 0 125 6 0 0 17 0 8 0 161941387 937422848 8425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805329 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24754/statm: 228863 8425 2524 14 0 215333 0
[pid=24754/tid=24756] ppid=24752 vsize=915452 CPUtime=0.03
/proc/24754/task/24756/stat : 24756 (java) S 24752 24754 23523 0 -1 64 270 0 0 0 3 0 0 0 16 0 8 0 161941391 937422848 8425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24754/tid=24757] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24757/stat : 24757 (java) S 24752 24754 23523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161941392 937422848 8425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24758] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24758/stat : 24758 (java) S 24752 24754 23523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161941392 937422848 8425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24759] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24759/stat : 24759 (java) S 24752 24754 23523 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 161941395 937422848 8425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24760] ppid=24752 vsize=915452 CPUtime=0.21
/proc/24754/task/24760/stat : 24760 (java) S 24752 24754 23523 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 161941395 937422848 8425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24754/tid=24761] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24761/stat : 24761 (java) S 24752 24754 23523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161941395 937422848 8425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24762] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24762/stat : 24762 (java) S 24752 24754 23523 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161941395 937422848 8425 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) 915452
[startup+2.9742 s]
/proc/loadavg: 1.00 1.00 1.10 2/85 24762
/proc/meminfo: memFree=1097216/2055920 swapFree=4157532/4192956
[pid=24754] ppid=24752 vsize=915452 CPUtime=2.94
/proc/24754/stat : 24754 (java) R 24752 24754 23523 0 -1 0 8704 0 1 0 288 6 0 0 18 0 8 0 161941387 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24754/statm: 228863 8441 2524 14 0 215333 0
[pid=24754/tid=24756] ppid=24752 vsize=915452 CPUtime=0.03
/proc/24754/task/24756/stat : 24756 (java) S 24752 24754 23523 0 -1 64 270 0 0 0 3 0 0 0 16 0 8 0 161941391 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24754/tid=24757] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24757/stat : 24757 (java) S 24752 24754 23523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161941392 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24758] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24758/stat : 24758 (java) S 24752 24754 23523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161941392 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24759] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24759/stat : 24759 (java) S 24752 24754 23523 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 161941395 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24760] ppid=24752 vsize=915452 CPUtime=0.22
/proc/24754/task/24760/stat : 24760 (java) S 24752 24754 23523 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 161941395 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24754/tid=24761] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24761/stat : 24761 (java) S 24752 24754 23523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161941395 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24762] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24762/stat : 24762 (java) S 24752 24754 23523 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161941395 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.26971 s]
/proc/loadavg: 1.00 1.00 1.10 2/85 24762
/proc/meminfo: memFree=1097088/2055920 swapFree=4157532/4192956
[pid=24754] ppid=24752 vsize=915452 CPUtime=6.23
/proc/24754/stat : 24754 (java) R 24752 24754 23523 0 -1 0 8712 0 1 0 617 6 0 0 25 0 8 0 161941387 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793800 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24754/statm: 228863 8448 2524 14 0 215333 0
[pid=24754/tid=24756] ppid=24752 vsize=915452 CPUtime=0.03
/proc/24754/task/24756/stat : 24756 (java) S 24752 24754 23523 0 -1 64 270 0 0 0 3 0 0 0 16 0 8 0 161941391 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24754/tid=24757] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24757/stat : 24757 (java) S 24752 24754 23523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161941392 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24758] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24758/stat : 24758 (java) S 24752 24754 23523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161941392 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24759] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24759/stat : 24759 (java) S 24752 24754 23523 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 161941395 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24760] ppid=24752 vsize=915452 CPUtime=0.22
/proc/24754/task/24760/stat : 24760 (java) S 24752 24754 23523 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 161941395 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24754/tid=24761] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24761/stat : 24761 (java) S 24752 24754 23523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161941395 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24762] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24762/stat : 24762 (java) S 24752 24754 23523 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161941395 937422848 8448 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) 915452
[startup+12.7387 s]
/proc/loadavg: 1.00 1.00 1.10 2/85 24762
/proc/meminfo: memFree=1097088/2055920 swapFree=4157532/4192956
[pid=24754] ppid=24752 vsize=915452 CPUtime=12.7
/proc/24754/stat : 24754 (java) R 24752 24754 23523 0 -1 0 8719 0 1 0 1264 6 0 0 25 0 8 0 161941387 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24754/statm: 228863 8455 2524 14 0 215333 0
[pid=24754/tid=24756] ppid=24752 vsize=915452 CPUtime=0.03
/proc/24754/task/24756/stat : 24756 (java) S 24752 24754 23523 0 -1 64 270 0 0 0 3 0 0 0 16 0 8 0 161941391 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24754/tid=24757] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24757/stat : 24757 (java) S 24752 24754 23523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161941392 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24758] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24758/stat : 24758 (java) S 24752 24754 23523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161941392 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24759] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24759/stat : 24759 (java) S 24752 24754 23523 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 161941395 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24760] ppid=24752 vsize=915452 CPUtime=0.22
/proc/24754/task/24760/stat : 24760 (java) S 24752 24754 23523 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 161941395 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24754/tid=24761] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24761/stat : 24761 (java) S 24752 24754 23523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161941395 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24762] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24762/stat : 24762 (java) S 24752 24754 23523 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161941395 937422848 8455 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) 915452
[startup+25.5827 s]
/proc/loadavg: 1.00 1.00 1.10 2/85 24762
/proc/meminfo: memFree=1097088/2055920 swapFree=4157532/4192956
[pid=24754] ppid=24752 vsize=915452 CPUtime=25.53
/proc/24754/stat : 24754 (java) R 24752 24754 23523 0 -1 0 8721 0 1 0 2547 6 0 0 25 0 8 0 161941387 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24754/statm: 228863 8457 2524 14 0 215333 0
[pid=24754/tid=24756] ppid=24752 vsize=915452 CPUtime=0.03
/proc/24754/task/24756/stat : 24756 (java) S 24752 24754 23523 0 -1 64 270 0 0 0 3 0 0 0 16 0 8 0 161941391 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24754/tid=24757] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24757/stat : 24757 (java) S 24752 24754 23523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161941392 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24758] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24758/stat : 24758 (java) S 24752 24754 23523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161941392 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24759] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24759/stat : 24759 (java) S 24752 24754 23523 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 161941395 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24760] ppid=24752 vsize=915452 CPUtime=0.22
/proc/24754/task/24760/stat : 24760 (java) S 24752 24754 23523 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 161941395 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24754/tid=24761] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24761/stat : 24761 (java) S 24752 24754 23523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161941395 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24762] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24762/stat : 24762 (java) S 24752 24754 23523 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161941395 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915452
[startup+51.2646 s]
/proc/loadavg: 1.00 1.00 1.09 2/85 24762
/proc/meminfo: memFree=1097152/2055920 swapFree=4157532/4192956
[pid=24754] ppid=24752 vsize=915452 CPUtime=51.2
/proc/24754/stat : 24754 (java) R 24752 24754 23523 0 -1 0 8726 0 1 0 5114 6 0 0 25 0 8 0 161941387 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24754/statm: 228863 8462 2524 14 0 215333 0
[pid=24754/tid=24756] ppid=24752 vsize=915452 CPUtime=0.03
/proc/24754/task/24756/stat : 24756 (java) S 24752 24754 23523 0 -1 64 270 0 0 0 3 0 0 0 16 0 8 0 161941391 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24754/tid=24757] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24757/stat : 24757 (java) S 24752 24754 23523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161941392 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24758] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24758/stat : 24758 (java) S 24752 24754 23523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161941392 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24759] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24759/stat : 24759 (java) S 24752 24754 23523 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 161941395 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24760] ppid=24752 vsize=915452 CPUtime=0.22
/proc/24754/task/24760/stat : 24760 (java) S 24752 24754 23523 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 161941395 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24754/tid=24761] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24761/stat : 24761 (java) S 24752 24754 23523 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161941395 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24754/tid=24762] ppid=24752 vsize=915452 CPUtime=0
/proc/24754/task/24762/stat : 24762 (java) S 24752 24754 23523 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161941395 937422848 8462 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) 915452
Child status: 0
Real time (s): 62.9284
CPU time (s): 62.8434
CPU user time (s): 62.7675
CPU system time (s): 0.075988
CPU usage (%): 99.865
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.7675
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8820
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= 2124
involuntary context switches= 1514
runsolver used 0.073988 s user time and 0.157975 s system time
The end
Begin job on node22 on Sun Jan 7 02:04:30 UTC 2007
IDJOB= 199637
IDBENCH= 3630
FILE ID= node22/199637-1168135469
PBS_JOBID= 3477917
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-48021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199637-1168135469/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-199637-1168135469 -o ROOT/results/node22/solver-199637-1168135469 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199637-1168135469/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5ac92d33b0665a202bbb2fa978351295
RANDOM SEED= 319702627
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.279
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.279
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: 1121688 kB
Buffers: 53188 kB
Cached: 772592 kB
SwapCached: 13680 kB
Active: 153316 kB
Inactive: 710496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1121688 kB
SwapTotal: 4192956 kB
SwapFree: 4157532 kB
Dirty: 1848 kB
Writeback: 0 kB
Mapped: 53240 kB
Slab: 55900 kB
Committed_AS: 2796316 kB
PageTables: 1916 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= 66549 MiB
End job on node22 on Sun Jan 7 02:05:33 UTC 2007