0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/208330-1168186951/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.104 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.54
0.54 constraints being loaded...
0.65 nbConstraints=348 nbRelationTypes=348 nbExtensionStructures=348 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=348 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3159 maxDegree=22
0.65 maxArity=2
0.65 => wckTime=0.333 cpuTime=0.24 mem=13M778
0.70
0.70 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.543 cpuTime=0.37 mem=15M28
0.92
0.92 preprocessing
0.92 nbConstraintChecks=65025 nbPropagations=919 nbRevisions=7114 nbUselessRevisions=5758 nbSingletonTests=50
0.92 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.055 cpuTime=0.04 mem=15M28
0.95
0.95 search
0.95 run=0 nbConstraintChecks=33896 nbPropagations=1397 nbRevisions=12831 nbUselessRevisions=10392 nbAssignments=26
0.95 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.079 cpuTime=0.06 mem=15M28
0.97
0.97 search
0.97 run=1 nbConstraintChecks=68960 nbPropagations=3263 nbRevisions=31219 nbUselessRevisions=25170 nbAssignments=56
0.97 nbFailedAssignments=15 nbBacktracks=29 nbVisitedNodes=86 nbRestartNogoods=2 mapSize=21 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.099 cpuTime=0.07 mem=15M28
0.99
0.99 search
0.99 run=2 nbConstraintChecks=138083 nbPropagations=6114 nbRevisions=62416 nbUselessRevisions=50383
0.99 nbAssignments=104 nbFailedAssignments=32 nbBacktracks=51 nbVisitedNodes=168 nbRestartNogoods=3 mapSize=42
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.119 cpuTime=0.09 mem=15M28
1.01
1.01 search
1.01 run=3 nbConstraintChecks=242105 nbPropagations=10341 nbRevisions=114023 nbUselessRevisions=92395
1.01 nbAssignments=174 nbFailedAssignments=62 nbBacktracks=85 nbVisitedNodes=292 nbRestartNogoods=7 mapSize=76
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.14 cpuTime=0.11 mem=15M28
1.03
1.03 search
1.03 run=4 nbConstraintChecks=354068 nbPropagations=16162 nbRevisions=186733 nbUselessRevisions=151667
1.03 nbAssignments=263 nbFailedAssignments=93 nbBacktracks=135 nbVisitedNodes=441 nbRestartNogoods=9 mapSize=119
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.166 cpuTime=0.13 mem=15M28
1.07
1.07 search
1.07 run=5 nbConstraintChecks=514012 nbPropagations=24157 nbRevisions=288592 nbUselessRevisions=234348
1.07 nbAssignments=385 nbFailedAssignments=133 nbBacktracks=210 nbVisitedNodes=646 nbRestartNogoods=11 mapSize=181
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.204 cpuTime=0.17 mem=15M28
1.12
1.12 search
1.12 run=6 nbConstraintChecks=769681 nbPropagations=35565 nbRevisions=438461 nbUselessRevisions=355744
1.12 nbAssignments=581 nbFailedAssignments=207 nbBacktracks=326 nbVisitedNodes=985 nbRestartNogoods=15 mapSize=275
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.253 cpuTime=0.22 mem=15M28
1.21
1.21 search
1.21 run=7 nbConstraintChecks=1169568 nbPropagations=52713 nbRevisions=672868 nbUselessRevisions=546663
1.21 nbAssignments=897 nbFailedAssignments=343 nbBacktracks=501 nbVisitedNodes=1541 nbRestartNogoods=20 mapSize=428
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.339 cpuTime=0.29 mem=15M28
1.31
1.31 search
1.31 run=8 nbConstraintChecks=1681607 nbPropagations=76714 nbRevisions=1001393 nbUselessRevisions=813193
1.31 nbAssignments=1305 nbFailedAssignments=491 nbBacktracks=757 nbVisitedNodes=2221 nbRestartNogoods=22
1.31 mapSize=627 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.44 cpuTime=0.39 mem=15M28
1.48
1.48 search
1.48 run=9 nbConstraintChecks=2568087 nbPropagations=112264 nbRevisions=1489221 nbUselessRevisions=1207128
1.48 nbAssignments=1950 nbFailedAssignments=745 nbBacktracks=1142 nbVisitedNodes=3343 nbRestartNogoods=25
1.48 mapSize=957 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.612 cpuTime=0.55 mem=15M28
1.50
1.51 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=15M28)
1.71
1.71 search
1.71 run=10 nbConstraintChecks=3881452 nbPropagations=165206 nbRevisions=2227809 nbUselessRevisions=1804815
1.71 nbAssignments=2940 nbFailedAssignments=1152 nbBacktracks=1720 nbVisitedNodes=5058 nbRestartNogoods=31
1.71 => wckTime=0.841 cpuTime=0.76 mem=15M28
2.06
2.06 search
2.06 run=11 nbConstraintChecks=6028882 nbPropagations=247047 nbRevisions=3399628 nbUselessRevisions=2756980
2.06 nbAssignments=4486 nbFailedAssignments=1827 nbBacktracks=2586 nbVisitedNodes=7846 nbRestartNogoods=35
2.06 => wckTime=1.198 cpuTime=1.12 mem=15M28
2.51
2.51 search
2.51 run=12 nbConstraintChecks=8684953 nbPropagations=365686 nbRevisions=5097265 nbUselessRevisions=4136779
2.51 nbAssignments=6591 nbFailedAssignments=2628 nbBacktracks=3883 nbVisitedNodes=11443 nbRestartNogoods=40
2.51 => wckTime=1.642 cpuTime=1.55 mem=15M28
3.20
3.20 search
3.20 run=13 nbConstraintChecks=13016518 nbPropagations=541185 nbRevisions=7573459 nbUselessRevisions=6136534
3.20 nbAssignments=9878 nbFailedAssignments=3962 nbBacktracks=5829 nbVisitedNodes=17130 nbRestartNogoods=51
3.20 => wckTime=2.334 cpuTime=2.24 mem=15M28
4.14
4.14 search
4.14 run=14 nbConstraintChecks=18633870 nbPropagations=796180 nbRevisions=11148386 nbUselessRevisions=9024425
4.14 nbAssignments=14509 nbFailedAssignments=5666 nbBacktracks=8748 nbVisitedNodes=25030 nbRestartNogoods=58
4.14 => wckTime=3.271 cpuTime=3.18 mem=15M28
5.82
5.82 search
5.82 run=15 nbConstraintChecks=28772952 nbPropagations=1189342 nbRevisions=16787467 nbUselessRevisions=13605222
5.82 nbAssignments=22144 nbFailedAssignments=8915 nbBacktracks=13127 nbVisitedNodes=38546 nbRestartNogoods=69
5.82 => wckTime=4.956 cpuTime=4.85 mem=15M28
8.01
8.01 search
8.01 run=16 nbConstraintChecks=42145671 nbPropagations=1767274 nbRevisions=25004962 nbUselessRevisions=20279326
8.01 nbAssignments=32823 nbFailedAssignments=13016 nbBacktracks=19697 nbVisitedNodes=56867 nbRestartNogoods=76
8.01 => wckTime=7.143 cpuTime=7.02 mem=15M28
11.28
11.28 search
11.28 run=17 nbConstraintChecks=62292683 nbPropagations=2618912 nbRevisions=36998368 nbUselessRevisions=29994638
11.28 nbAssignments=48509 nbFailedAssignments=18840 nbBacktracks=29551 nbVisitedNodes=83727 nbRestartNogoods=83
11.28 => wckTime=10.412 cpuTime=10.28 mem=15M28
16.46
16.46 search
16.46 run=18 nbConstraintChecks=94365439 nbPropagations=3904787 nbRevisions=55169503 nbUselessRevisions=44727059
16.46 nbAssignments=73100 nbFailedAssignments=28642 nbBacktracks=44329 nbVisitedNodes=126535 nbRestartNogoods=99
16.46 => wckTime=15.591 cpuTime=15.43 mem=16M4
23.83
23.83 search
23.83 run=19 nbConstraintChecks=139570614 nbPropagations=5816317 nbRevisions=82160835 nbUselessRevisions=66624893
23.83 nbAssignments=109314 nbFailedAssignments=42669 nbBacktracks=66497 nbVisitedNodes=188969 nbRestartNogoods=109
23.83 => wckTime=22.966 cpuTime=22.77 mem=16M4
35.01
35.01 search
35.01 run=20 nbConstraintChecks=209138510 nbPropagations=8655210 nbRevisions=122152706 nbUselessRevisions=99022811
35.01 nbAssignments=162740 nbFailedAssignments=62833 nbBacktracks=99754 nbVisitedNodes=280463 nbRestartNogoods=121
35.01 => wckTime=34.145 cpuTime=33.9 mem=16M4
52.63
52.63 search
52.63 run=21 nbConstraintChecks=318866511 nbPropagations=12957447 nbRevisions=182882683 nbUselessRevisions=148229481
52.63 nbAssignments=244947 nbFailedAssignments=95155 nbBacktracks=149633 nbVisitedNodes=423012 nbRestartNogoods=131
52.63 => wckTime=51.762 cpuTime=51.43 mem=16M4
78.49
78.49 search
78.49 run=22 nbConstraintChecks=479901435 nbPropagations=19414366 nbRevisions=274164401 nbUselessRevisions=222172558
78.49 nbAssignments=365920 nbFailedAssignments=141300 nbBacktracks=224452 nbVisitedNodes=631438 nbRestartNogoods=140
78.49 => wckTime=77.622 cpuTime=77.18 mem=16M4
116.70
116.70 search
116.70 run=23 nbConstraintChecks=717214584 nbPropagations=29047966 nbRevisions=410091545 nbUselessRevisions=332175390
116.70 nbAssignments=545816 nbFailedAssignments=208962 nbBacktracks=336680 nbVisitedNodes=939939 nbRestartNogoods=150
116.70 => wckTime=115.83 cpuTime=115.2 mem=16M4
175.32
175.32 search
175.32 run=24 nbConstraintChecks=1082301210 nbPropagations=43554071 nbRevisions=615319040 nbUselessRevisions=498394758
175.32 nbAssignments=820742 nbFailedAssignments=315540 nbBacktracks=505021 nbVisitedNodes=1415758 nbRestartNogoods=170
175.33 => wckTime=174.458 cpuTime=173.55 mem=16M4
202.87
202.88 search
202.88 run=25 nbConstraintChecks=1257699783 nbPropagations=60333234 nbRevisions=852480607 nbUselessRevisions=690315572
202.88 nbAssignments=946712 nbFailedAssignments=364225 nbBacktracks=582266 nbVisitedNodes=1634062 nbRestartNogoods=183
202.88 => wckTime=202.008 cpuTime=200.97 mem=16M4
202.88
202.88 global
202.88 nbConstraintChecks=1257764808 nbPropagations=60334153 nbRevisions=852487721 nbUselessRevisions=690321330
202.88 nbRestartNogoods=183 solvingWckTime=202.009 solvingCpuTime=200.97 expiredTime=no totalExploration=no
202.88 nbFoundSolutions=1 globalCpuTime=201.41
202.88 => wckTime=202.556 cpuTime=201.35 mem=16M4
202.88
202.88 s SATISFIABLE
202.88 v 16 5 9 7 4 1 18 8 10 18 3 11 12 7 12 0 6 3 5 9 2 16 14 1 16 16 4 4 6 16 7 3 7 3 2 16 4 13 3 8
202.88 d NODES 946712
202.88 d CHECKS 1257764808
202.88
202.88 totalWckTime=202.642 totalCpuTime=201.42
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-208330-1168186951 -o ROOT/results/node6/solver-208330-1168186951 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208330-1168186951/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.92 1.98 1.99 4/98 15944
/proc/meminfo: memFree=1102096/2055924 swapFree=4165672/4192956
[pid=15943] ppid=15941 vsize=9748 CPUtime=0
/proc/15943/stat : 15943 (java) D 15941 15943 15426 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 167090564 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2188068 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/15943/statm: 2437 412 333 14 0 1140 0
[startup+0.103262 s]
/proc/loadavg: 1.92 1.98 1.99 4/98 15944
/proc/meminfo: memFree=1102096/2055924 swapFree=4165672/4192956
[pid=15943] ppid=15941 vsize=914988 CPUtime=0.09
/proc/15943/stat : 15943 (java) R 15941 15943 15426 0 -1 0 2979 0 1 0 7 2 0 0 17 0 8 0 167090564 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155274508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15943/statm: 228747 2725 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515308 s]
/proc/loadavg: 1.92 1.98 1.99 4/98 15944
/proc/meminfo: memFree=1102096/2055924 swapFree=4165672/4192956
[pid=15943] ppid=15941 vsize=915328 CPUtime=0.49
/proc/15943/stat : 15943 (java) R 15941 15943 15426 0 -1 0 6734 0 1 0 45 4 0 0 18 0 8 0 167090564 937295872 6473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15943/statm: 228832 6473 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3404 s]
/proc/loadavg: 1.92 1.98 1.99 3/105 15951
/proc/meminfo: memFree=1078104/2055924 swapFree=4165672/4192956
[pid=15943] ppid=15941 vsize=915456 CPUtime=1.31
/proc/15943/stat : 15943 (java) R 15941 15943 15426 0 -1 0 8732 0 1 0 125 6 0 0 24 0 8 0 167090564 937426944 8470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812705 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15943/statm: 228864 8470 2524 14 0 215334 0
[pid=15943/tid=15945] ppid=15941 vsize=915456 CPUtime=0.03
/proc/15943/task/15945/stat : 15945 (java) S 15941 15943 15426 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 167090568 937426944 8470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15946] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167090569 937426944 8470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15947] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167090569 937426944 8470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15948] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167090572 937426944 8470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15949] ppid=15941 vsize=915456 CPUtime=0.2
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15426 0 -1 64 379 0 0 0 20 0 0 0 16 0 8 0 167090572 937426944 8470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15950] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167090572 937426944 8470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15951] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167090572 937426944 8470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.97759 s]
/proc/loadavg: 1.92 1.98 1.99 3/105 15951
/proc/meminfo: memFree=1077848/2055924 swapFree=4165672/4192956
[pid=15943] ppid=15941 vsize=915456 CPUtime=2.94
/proc/15943/stat : 15943 (java) R 15941 15943 15426 0 -1 0 8773 0 1 0 288 6 0 0 25 0 8 0 167090564 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15943/statm: 228864 8510 2524 14 0 215334 0
[pid=15943/tid=15945] ppid=15941 vsize=915456 CPUtime=0.03
/proc/15943/task/15945/stat : 15945 (java) S 15941 15943 15426 0 -1 64 291 0 0 0 3 0 0 0 17 0 8 0 167090568 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15946] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167090569 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15947] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167090569 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15948] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167090572 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15949] ppid=15941 vsize=915456 CPUtime=0.24
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15426 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 167090572 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15950] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167090572 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15951] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167090572 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.25997 s]
/proc/loadavg: 1.93 1.98 1.99 3/105 15951
/proc/meminfo: memFree=1077656/2055924 swapFree=4165672/4192956
[pid=15943] ppid=15941 vsize=915456 CPUtime=6.2
/proc/15943/stat : 15943 (java) R 15941 15943 15426 0 -1 0 8783 0 1 0 614 6 0 0 25 0 8 0 167090564 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798454 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15943/statm: 228864 8518 2524 14 0 215334 0
[pid=15943/tid=15945] ppid=15941 vsize=915456 CPUtime=0.03
/proc/15943/task/15945/stat : 15945 (java) S 15941 15943 15426 0 -1 64 291 0 0 0 3 0 0 0 17 0 8 0 167090568 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15946] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167090569 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15947] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167090569 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15948] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167090572 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15949] ppid=15941 vsize=915456 CPUtime=0.24
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15426 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 167090572 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15950] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167090572 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15951] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167090572 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7457 s]
/proc/loadavg: 1.93 1.98 1.99 3/105 15951
/proc/meminfo: memFree=1077720/2055924 swapFree=4165672/4192956
[pid=15943] ppid=15941 vsize=915456 CPUtime=12.66
/proc/15943/stat : 15943 (java) R 15941 15943 15426 0 -1 0 8788 0 1 0 1260 6 0 0 25 0 8 0 167090564 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829349 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15943/statm: 228864 8523 2524 14 0 215334 0
[pid=15943/tid=15945] ppid=15941 vsize=915456 CPUtime=0.03
/proc/15943/task/15945/stat : 15945 (java) S 15941 15943 15426 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 167090568 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15946] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167090569 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15947] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167090569 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15948] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167090572 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15949] ppid=15941 vsize=915456 CPUtime=0.24
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15426 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 167090572 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15950] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167090572 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15951] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167090572 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915456
[startup+25.6052 s]
/proc/loadavg: 2.02 2.00 2.00 3/105 15951
/proc/meminfo: memFree=1077720/2055924 swapFree=4165672/4192956
[pid=15943] ppid=15941 vsize=915456 CPUtime=25.46
/proc/15943/stat : 15943 (java) R 15941 15943 15426 0 -1 0 8793 0 1 0 2540 6 0 0 25 0 8 0 167090564 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15943/statm: 228864 8528 2524 14 0 215334 0
[pid=15943/tid=15945] ppid=15941 vsize=915456 CPUtime=0.03
/proc/15943/task/15945/stat : 15945 (java) S 15941 15943 15426 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 167090568 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15946] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167090569 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15947] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167090569 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15948] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167090572 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15949] ppid=15941 vsize=915456 CPUtime=0.24
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15426 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 167090572 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15950] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167090572 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15951] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167090572 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915456
[startup+51.2152 s]
/proc/loadavg: 2.01 2.00 2.00 4/105 15951
/proc/meminfo: memFree=1077784/2055924 swapFree=4165672/4192956
[pid=15943] ppid=15941 vsize=915456 CPUtime=50.94
/proc/15943/stat : 15943 (java) R 15941 15943 15426 0 -1 0 8796 0 1 0 5088 6 0 0 25 0 8 0 167090564 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803838 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15943/statm: 228864 8531 2524 14 0 215334 0
[pid=15943/tid=15945] ppid=15941 vsize=915456 CPUtime=0.03
/proc/15943/task/15945/stat : 15945 (java) S 15941 15943 15426 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 167090568 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15946] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167090569 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15947] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167090569 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15948] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167090572 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15949] ppid=15941 vsize=915456 CPUtime=0.24
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15426 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 167090572 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15950] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167090572 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15951] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167090572 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915456
[startup+102.425 s]
/proc/loadavg: 2.04 2.01 2.00 3/105 15951
/proc/meminfo: memFree=1077784/2055924 swapFree=4165672/4192956
[pid=15943] ppid=15941 vsize=915456 CPUtime=101.92
/proc/15943/stat : 15943 (java) R 15941 15943 15426 0 -1 0 8800 0 1 0 10185 7 0 0 25 0 8 0 167090564 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15943/statm: 228864 8535 2524 14 0 215334 0
[pid=15943/tid=15945] ppid=15941 vsize=915456 CPUtime=0.03
/proc/15943/task/15945/stat : 15945 (java) S 15941 15943 15426 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 167090568 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15946] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167090569 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15947] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167090569 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15948] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167090572 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15949] ppid=15941 vsize=915456 CPUtime=0.24
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15426 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 167090572 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15950] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167090572 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15951] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167090572 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915456
[startup+162.483 s]
/proc/loadavg: 2.01 2.01 2.00 3/105 15951
/proc/meminfo: memFree=1077784/2055924 swapFree=4165672/4192956
[pid=15943] ppid=15941 vsize=915456 CPUtime=161.69
/proc/15943/stat : 15943 (java) R 15941 15943 15426 0 -1 0 8803 0 1 0 16162 7 0 0 25 0 8 0 167090564 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803848 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15943/statm: 228864 8538 2524 14 0 215334 0
[pid=15943/tid=15945] ppid=15941 vsize=915456 CPUtime=0.03
/proc/15943/task/15945/stat : 15945 (java) S 15941 15943 15426 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 167090568 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15946] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167090569 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15947] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167090569 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15948] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167090572 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15949] ppid=15941 vsize=915456 CPUtime=0.24
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15426 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 167090572 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15950] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167090572 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15943/tid=15951] ppid=15941 vsize=915456 CPUtime=0
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15426 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167090572 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.69
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 202.936
CPU time (s): 201.918
CPU user time (s): 201.829
CPU system time (s): 0.088986
CPU usage (%): 99.4986
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 201.829
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8898
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= 5239
involuntary context switches= 10713
runsolver used 0.279957 s user time and 0.635903 s system time
The end
Begin job on node6 on Sun Jan 7 16:22:31 UTC 2007
IDJOB= 208330
IDBENCH= 4374
FILE ID= node6/208330-1168186951
PBS_JOBID= 3478938
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208330-1168186951/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-208330-1168186951 -o ROOT/results/node6/solver-208330-1168186951 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208330-1168186951/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f95319b163220392a47c5e9853571920
RANDOM SEED= 312469034
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.240
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.240
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: 2055924 kB
MemFree: 1102576 kB
Buffers: 71252 kB
Cached: 543968 kB
SwapCached: 2424 kB
Active: 364484 kB
Inactive: 504036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1102576 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 1892 kB
Writeback: 0 kB
Mapped: 273048 kB
Slab: 69120 kB
Committed_AS: 5500308 kB
PageTables: 2832 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 node6 on Sun Jan 7 16:25:54 UTC 2007