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/240010-1168368612/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.45 nbVariables=225 nbDomainTypes=16 minDomainSize=1 maxDomainSize=15
0.45 => wckTime=0.133 cpuTime=0.1 mem=7M894
0.45
0.45 relations being loaded...
0.46
0.46 constraints being loaded...
0.73 nbConstraints=2520 nbRelationTypes=17 nbSingletonDomainVariables=105 nbExtensionStructures=31
0.73 nbSharedExtensionStructures=2489 nbConflictsStructures=31 nbSharedConflictsStructures=2489
0.73 nbSharedBinaryRepresentations=493 maxDegree=28 maxArity=2
0.73 => wckTime=0.412 cpuTime=0.28 mem=15M712
0.78
0.78 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.644 cpuTime=0.42 mem=16M651
1.06
1.06 preprocessing
1.06 nbConstraintChecks=41843 nbPropagations=1523 nbRevisions=10803 nbUselessRevisions=8305 nbSingletonTests=367
1.06 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=1296 detectedInconsistency=no
1.06 => wckTime=0.093 cpuTime=0.07 mem=16M651
1.10
1.10 search
1.10 run=0 nbConstraintChecks=3759 nbPropagations=1878 nbRevisions=12096 nbUselessRevisions=9047 nbAssignments=160
1.10 nbFailedAssignments=6 nbBacktracks=15 nbVisitedNodes=173 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.10 nbTooLargeKeys=0
1.10 => wckTime=0.133 cpuTime=0.1 mem=16M651
1.14
1.14 search
1.14 run=1 nbConstraintChecks=13918 nbPropagations=4663 nbRevisions=28607 nbUselessRevisions=21335
1.14 nbAssignments=396 nbFailedAssignments=9 nbBacktracks=37 nbVisitedNodes=356 nbRestartNogoods=3 mapSize=13
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.169 cpuTime=0.12 mem=16M651
1.16
1.16 search
1.16 run=2 nbConstraintChecks=21119 nbPropagations=8016 nbRevisions=47899 nbUselessRevisions=35320
1.16 nbAssignments=565 nbFailedAssignments=18 nbBacktracks=63 nbVisitedNodes=547 nbRestartNogoods=6 mapSize=34
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.194 cpuTime=0.14 mem=16M651
1.18
1.19 search
1.19 run=3 nbConstraintChecks=27488 nbPropagations=11950 nbRevisions=69634 nbUselessRevisions=50776
1.19 nbAssignments=752 nbFailedAssignments=30 nbBacktracks=96 nbVisitedNodes=754 nbRestartNogoods=7 mapSize=53
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.218 cpuTime=0.16 mem=16M651
1.21
1.21 search
1.21 run=4 nbConstraintChecks=35272 nbPropagations=16538 nbRevisions=94534 nbUselessRevisions=68267
1.21 nbAssignments=952 nbFailedAssignments=40 nbBacktracks=148 nbVisitedNodes=973 nbRestartNogoods=8 mapSize=70
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.239 cpuTime=0.19 mem=16M651
1.25
1.25 search
1.25 run=5 nbConstraintChecks=47649 nbPropagations=22105 nbRevisions=124475 nbUselessRevisions=89020
1.25 nbAssignments=1198 nbFailedAssignments=62 nbBacktracks=229 nbVisitedNodes=1259 nbRestartNogoods=10 mapSize=105
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.284 cpuTime=0.21 mem=16M651
1.28
1.28 search
1.28 run=6 nbConstraintChecks=65883 nbPropagations=29040 nbRevisions=162256 nbUselessRevisions=114963
1.28 nbAssignments=1474 nbFailedAssignments=82 nbBacktracks=345 nbVisitedNodes=1585 nbRestartNogoods=15 mapSize=151
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.317 cpuTime=0.24 mem=17M627
1.34
1.34 search
1.34 run=7 nbConstraintChecks=100497 nbPropagations=38466 nbRevisions=214397 nbUselessRevisions=150441
1.34 nbAssignments=1876 nbFailedAssignments=130 nbBacktracks=517 nbVisitedNodes=2026 nbRestartNogoods=19
1.34 mapSize=235 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.377 cpuTime=0.29 mem=17M627
1.39
1.39 search
1.39 run=8 nbConstraintChecks=136362 nbPropagations=50406 nbRevisions=281418 nbUselessRevisions=195474
1.39 nbAssignments=2323 nbFailedAssignments=179 nbBacktracks=775 nbVisitedNodes=2580 nbRestartNogoods=22
1.39 mapSize=333 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.427 cpuTime=0.34 mem=17M627
1.47
1.47 search
1.47 run=9 nbConstraintChecks=195987 nbPropagations=66601 nbRevisions=374595 nbUselessRevisions=258246
1.47 nbAssignments=2989 nbFailedAssignments=268 nbBacktracks=1161 nbVisitedNodes=3377 nbRestartNogoods=29
1.47 mapSize=500 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.506 cpuTime=0.41 mem=17M627
1.58
1.58 search
1.58 run=10 nbConstraintChecks=270313 nbPropagations=88260 nbRevisions=496085 nbUselessRevisions=338119
1.58 nbAssignments=3834 nbFailedAssignments=410 nbBacktracks=1737 nbVisitedNodes=4504 nbRestartNogoods=35
1.58 mapSize=762 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.61 cpuTime=0.51 mem=17M627
1.69
1.69 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=17M627)
1.74
1.74 search
1.74 run=11 nbConstraintChecks=432584 nbPropagations=117071 nbRevisions=717001 nbUselessRevisions=502155
1.74 nbAssignments=4916 nbFailedAssignments=588 nbBacktracks=2617 nbVisitedNodes=5953 nbRestartNogoods=37
1.74 => wckTime=0.771 cpuTime=0.67 mem=17M627
1.97
1.97 search
1.97 run=12 nbConstraintChecks=696825 nbPropagations=157137 nbRevisions=1107084 nbUselessRevisions=811296
1.97 nbAssignments=6481 nbFailedAssignments=824 nbBacktracks=3915 nbVisitedNodes=7990 nbRestartNogoods=39
1.97 => wckTime=1.001 cpuTime=0.9 mem=17M627
2.33
2.33 search
2.33 run=13 nbConstraintChecks=1137010 nbPropagations=215747 nbRevisions=1773819 nbUselessRevisions=1355979
2.33 nbAssignments=8836 nbFailedAssignments=1199 nbBacktracks=5871 nbVisitedNodes=11125 nbRestartNogoods=42
2.33 => wckTime=1.363 cpuTime=1.25 mem=17M627
2.90
2.90 search
2.90 run=14 nbConstraintChecks=1809961 nbPropagations=302967 nbRevisions=2869032 nbUselessRevisions=2267644
2.90 nbAssignments=12402 nbFailedAssignments=1821 nbBacktracks=8791 nbVisitedNodes=15921 nbRestartNogoods=46
2.90 => wckTime=1.932 cpuTime=1.81 mem=17M627
3.83
3.83 search
3.83 run=15 nbConstraintChecks=3027906 nbPropagations=439861 nbRevisions=4713603 nbUselessRevisions=3818227
3.83 nbAssignments=17872 nbFailedAssignments=2893 nbBacktracks=13170 nbVisitedNodes=23383 nbRestartNogoods=50
3.83 => wckTime=2.866 cpuTime=2.73 mem=17M627
5.12
5.12 search
5.12 run=16 nbConstraintChecks=4565735 nbPropagations=644806 nbRevisions=7543937 nbUselessRevisions=6214241
5.12 nbAssignments=25964 nbFailedAssignments=4384 nbBacktracks=19741 nbVisitedNodes=34524 nbRestartNogoods=57
5.12 => wckTime=4.156 cpuTime=4.01 mem=17M627
7.06
7.06 search
7.06 run=17 nbConstraintChecks=7009228 nbPropagations=954075 nbRevisions=11901298 nbUselessRevisions=9911347
7.06 nbAssignments=38136 nbFailedAssignments=6665 nbBacktracks=29602 nbVisitedNodes=51096 nbRestartNogoods=62
7.06 => wckTime=6.091 cpuTime=5.93 mem=17M627
9.93
9.93 search
9.93 run=18 nbConstraintChecks=10429288 nbPropagations=1414480 nbRevisions=18420472 nbUselessRevisions=15454565
9.93 nbAssignments=56316 nbFailedAssignments=9986 nbBacktracks=44384 nbVisitedNodes=76092 nbRestartNogoods=69
9.93 => wckTime=8.961 cpuTime=8.78 mem=17M627
13.68
13.68 search
13.68 run=19 nbConstraintChecks=15168485 nbPropagations=2077775 nbRevisions=27948713 nbUselessRevisions=23580563
13.68 nbAssignments=79939 nbFailedAssignments=14669 nbBacktracks=63099 nbVisitedNodes=108906 nbRestartNogoods=78
13.68 => wckTime=12.709 cpuTime=12.48 mem=17M627
13.68
13.68 global
13.68 nbConstraintChecks=15210328 nbPropagations=2079298 nbRevisions=27959516 nbUselessRevisions=23588868
13.68 nbRestartNogoods=78 solvingWckTime=12.71 solvingCpuTime=12.48 expiredTime=no totalExploration=no
13.68 nbFoundSolutions=1 globalCpuTime=12.97
13.68 => wckTime=13.358 cpuTime=12.91 mem=18M602
13.68
13.68 s SATISFIABLE
13.68 v 9 14 6 8 2 11 7 12 13 0 3 1 10 5 4 2 3 13 12 1 9 6 0 8 5 14 10 4 11 7 0 10 1 13 8 14 3 6 5 12 9 4 7 2 11 11 13 3 1 10 8 5 4 9 6 7 0 2 14 12 10 12 8 5 3 4 11 9 14 13 2 7 0 1 6 5 11 9 2 0 6 4 10 7 8 1 12 3 13 14 3 2 0 7 6 1 14 13 10 4 11 9 8 12 5 13 6 11 0 7 12 2 14 4 10 5 8 1 3 9 6 0 5 9 12 10 1 3 11 7 8 2 14 4 13 4 9 2 6 5 7 10 11 1 14 12 3 13 0 8 1 8 14 3 4 5 9 7 0 11 6 13 12 10 2 8 4 10 14 9 3 0 5 12 2 13 6 11 7 1 12 5 7 10 14 13 8 1 2 3 4 11 6 9 0 7 1 4 11 13 0 12 2 6 9 10 14 5 8 3 14 7 12 4 11 2 13 8 3 1 0 5 9 6 10
13.68 d NODES 79939
13.68 d CHECKS 15210328
13.68
13.68 totalWckTime=13.439 totalCpuTime=12.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-240010-1168368612 -o ROOT/results/node9/solver-240010-1168368612 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240010-1168368612/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.80 1.87 1.94 2/94 29569
/proc/meminfo: memFree=1758472/2055920 swapFree=4191880/4192956
[pid=29568] ppid=29566 vsize=18540 CPUtime=0
/proc/29568/stat : 29568 (runsolver) R 29566 29568 29033 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 185256311 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29568/statm: 4635 279 244 17 0 2626 0
[startup+0.102525 s]
/proc/loadavg: 1.80 1.87 1.94 2/94 29569
/proc/meminfo: memFree=1758472/2055920 swapFree=4191880/4192956
[pid=29568] ppid=29566 vsize=913228 CPUtime=0.08
/proc/29568/stat : 29568 (java) R 29566 29568 29033 0 -1 0 2915 0 1 0 7 1 0 0 20 0 8 0 185256311 935145472 2661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29568/statm: 228307 2661 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.514573 s]
/proc/loadavg: 1.80 1.87 1.94 2/94 29569
/proc/meminfo: memFree=1758472/2055920 swapFree=4191880/4192956
[pid=29568] ppid=29566 vsize=915328 CPUtime=0.49
/proc/29568/stat : 29568 (java) R 29566 29568 29033 0 -1 0 6356 0 1 0 45 4 0 0 18 0 8 0 185256311 937295872 6095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072939651 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29568/statm: 228832 6095 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33567 s]
/proc/loadavg: 1.80 1.87 1.94 3/101 29576
/proc/meminfo: memFree=1732304/2055920 swapFree=4191880/4192956
[pid=29568] ppid=29566 vsize=915580 CPUtime=1.3
/proc/29568/stat : 29568 (java) R 29566 29568 29033 0 -1 0 9265 0 1 0 122 8 0 0 23 0 8 0 185256311 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073911418 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29568/statm: 228895 9003 2524 14 0 215365 0
[pid=29568/tid=29570] ppid=29566 vsize=915580 CPUtime=0.04
/proc/29568/task/29570/stat : 29570 (java) S 29566 29568 29033 0 -1 64 476 0 0 0 4 0 0 0 16 0 8 0 185256314 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29571] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29571/stat : 29571 (java) S 29566 29568 29033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185256315 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29572] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29572/stat : 29572 (java) S 29566 29568 29033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185256315 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29573] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29573/stat : 29573 (java) S 29566 29568 29033 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185256318 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29574] ppid=29566 vsize=915580 CPUtime=0.28
/proc/29568/task/29574/stat : 29574 (java) S 29566 29568 29033 0 -1 64 422 0 0 0 27 1 0 0 15 0 8 0 185256318 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29575] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29575/stat : 29575 (java) S 29566 29568 29033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185256318 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29576] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29576/stat : 29576 (java) S 29566 29568 29033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185256318 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915580
[startup+2.97385 s]
/proc/loadavg: 1.80 1.87 1.94 3/101 29576
/proc/meminfo: memFree=1731536/2055920 swapFree=4191880/4192956
[pid=29568] ppid=29566 vsize=915580 CPUtime=2.92
/proc/29568/stat : 29568 (java) R 29566 29568 29033 0 -1 0 9448 0 1 0 284 8 0 0 25 0 8 0 185256311 937553920 9184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972923 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29568/statm: 228895 9184 2524 14 0 215365 0
[pid=29568/tid=29570] ppid=29566 vsize=915580 CPUtime=0.04
/proc/29568/task/29570/stat : 29570 (java) S 29566 29568 29033 0 -1 64 476 0 0 0 4 0 0 0 17 0 8 0 185256314 937553920 9184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29571] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29571/stat : 29571 (java) S 29566 29568 29033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185256315 937553920 9184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29572] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29572/stat : 29572 (java) S 29566 29568 29033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185256315 937553920 9184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29573] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29573/stat : 29573 (java) S 29566 29568 29033 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185256318 937553920 9184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29574] ppid=29566 vsize=915580 CPUtime=0.29
/proc/29568/task/29574/stat : 29574 (java) S 29566 29568 29033 0 -1 64 430 0 0 0 28 1 0 0 16 0 8 0 185256318 937553920 9184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29575] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29575/stat : 29575 (java) S 29566 29568 29033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185256318 937553920 9184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29576] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29576/stat : 29576 (java) S 29566 29568 29033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185256318 937553920 9184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915580
[startup+6.26222 s]
/proc/loadavg: 1.82 1.87 1.94 3/101 29576
/proc/meminfo: memFree=1731472/2055920 swapFree=4191880/4192956
[pid=29568] ppid=29566 vsize=915580 CPUtime=6.17
/proc/29568/stat : 29568 (java) R 29566 29568 29033 0 -1 0 9453 0 1 0 609 8 0 0 25 0 8 0 185256311 937553920 9189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073921792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29568/statm: 228895 9189 2524 14 0 215365 0
[pid=29568/tid=29570] ppid=29566 vsize=915580 CPUtime=0.04
/proc/29568/task/29570/stat : 29570 (java) S 29566 29568 29033 0 -1 64 476 0 0 0 4 0 0 0 16 0 8 0 185256314 937553920 9189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29571] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29571/stat : 29571 (java) S 29566 29568 29033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185256315 937553920 9189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29572] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29572/stat : 29572 (java) S 29566 29568 29033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185256315 937553920 9189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29573] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29573/stat : 29573 (java) S 29566 29568 29033 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185256318 937553920 9189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29574] ppid=29566 vsize=915580 CPUtime=0.29
/proc/29568/task/29574/stat : 29574 (java) S 29566 29568 29033 0 -1 64 430 0 0 0 28 1 0 0 16 0 8 0 185256318 937553920 9189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29575] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29575/stat : 29575 (java) S 29566 29568 29033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185256318 937553920 9189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29576] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29576/stat : 29576 (java) S 29566 29568 29033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185256318 937553920 9189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915580
[startup+12.745 s]
/proc/loadavg: 1.83 1.87 1.94 3/101 29576
/proc/meminfo: memFree=1731480/2055920 swapFree=4191880/4192956
[pid=29568] ppid=29566 vsize=915580 CPUtime=12.59
/proc/29568/stat : 29568 (java) R 29566 29568 29033 0 -1 0 9458 0 1 0 1251 8 0 0 25 0 8 0 185256311 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29568/statm: 228895 9194 2524 14 0 215365 0
[pid=29568/tid=29570] ppid=29566 vsize=915580 CPUtime=0.04
/proc/29568/task/29570/stat : 29570 (java) S 29566 29568 29033 0 -1 64 476 0 0 0 4 0 0 0 16 0 8 0 185256314 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29571] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29571/stat : 29571 (java) S 29566 29568 29033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185256315 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29572] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29572/stat : 29572 (java) S 29566 29568 29033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185256315 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29573] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29573/stat : 29573 (java) S 29566 29568 29033 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185256318 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29574] ppid=29566 vsize=915580 CPUtime=0.29
/proc/29568/task/29574/stat : 29574 (java) S 29566 29568 29033 0 -1 64 430 0 0 0 28 1 0 0 16 0 8 0 185256318 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29575] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29575/stat : 29575 (java) S 29566 29568 29033 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185256318 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29568/tid=29576] ppid=29566 vsize=915580 CPUtime=0
/proc/29568/task/29576/stat : 29576 (java) S 29566 29568 29033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185256318 937553920 9194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 13.7382
CPU time (s): 13.5419
CPU user time (s): 13.445
CPU system time (s): 0.096985
CPU usage (%): 98.5712
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.445
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9554
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= 1605
involuntary context switches= 2371
runsolver used 0.022996 s user time and 0.055991 s system time
The end
Begin job on node9 on Tue Jan 9 18:50:12 UTC 2007
IDJOB= 240010
IDBENCH= 7097
FILE ID= node9/240010-1168368612
PBS_JOBID= 3503830
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-15/qcp-15-120-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240010-1168368612/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-240010-1168368612 -o ROOT/results/node9/solver-240010-1168368612 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240010-1168368612/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d3df06e25014e5ca721bd24b7eb5bf96
RANDOM SEED= 446977312
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.231
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.231
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: 1758952 kB
Buffers: 36008 kB
Cached: 150720 kB
SwapCached: 408 kB
Active: 169440 kB
Inactive: 82520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1758952 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2036 kB
Writeback: 0 kB
Mapped: 84340 kB
Slab: 29684 kB
Committed_AS: 5561796 kB
PageTables: 2408 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= 66546 MiB
End job on node9 on Tue Jan 9 18:50:26 UTC 2007