0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/248973-1168402257/unknown.xml
0.42
0.42 domains being loaded...
0.43
0.43 variables being loaded...
0.47 nbVariables=100 nbDomainTypes=1 minDomainSize=46 maxDomainSize=46
0.47 => wckTime=0.117 cpuTime=0.09 mem=6M951
0.47
0.47 predicates being loaded...
0.50
0.50 constraints being loaded...
0.98 nbConstraints=40 nbSingletonDomainVariables=15 nbDisconnectedVariables=15 nbConvertedConstraints=7
0.98 nbConvertConstraintsChecks=890836 nbExtensionStructures=7 nbSharedExtensionStructures=0 nbConflictsStructures=16
0.98 nbSharedConflictsStructures=0 nbUnbuiltConflictsStructures=24 nbSharedBinaryRepresentations=623
0.98 nbEvaluationManagers=33 nbSharedEvaluationManagers=0 maxDegree=5 maxArity=7
0.98 => wckTime=0.625 cpuTime=0.56 mem=8M935
1.02
1.02 solver IterativeSystematicSolver being built...
1.20 => wckTime=0.847 cpuTime=0.7 mem=15M521
2.18
2.18 preprocessing
2.18 nbConstraintChecks=1555348 nbValidityChecks=1585 nbPropagations=335 nbRevisions=254 nbUselessRevisions=97
2.18 nbSingletonTests=116 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=1390 detectedInconsistency=no
2.18 => wckTime=0.98 cpuTime=0.96 mem=15M521
3.48
3.48 search
3.48 run=0 nbConstraintChecks=1750777 nbValidityChecks=3137 nbPropagations=611 nbRevisions=584
3.48 nbUselessRevisions=180 nbAssignments=66 nbFailedAssignments=21 nbBacktracks=13 nbVisitedNodes=88
3.48 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
3.48 => wckTime=2.28 cpuTime=2.23 mem=15M521
5.72
5.72 search
5.72 run=1 nbConstraintChecks=4621714 nbValidityChecks=12145 nbPropagations=1991 nbRevisions=2384
5.72 nbUselessRevisions=1104 nbAssignments=410 nbFailedAssignments=33 nbBacktracks=32 nbVisitedNodes=163
5.72 nbRestartNogoods=7 mapSize=19 nbInferences=0 nbTooLargeKeys=0
5.72 => wckTime=4.514 cpuTime=4.44 mem=15M521
7.11
7.11 search
7.11 run=2 nbConstraintChecks=6497047 nbValidityChecks=15943 nbPropagations=3621 nbRevisions=4465
7.11 nbUselessRevisions=2111 nbAssignments=475 nbFailedAssignments=50 nbBacktracks=55 nbVisitedNodes=245
7.11 nbRestartNogoods=10 mapSize=36 nbInferences=0 nbTooLargeKeys=0
7.11 => wckTime=5.909 cpuTime=5.82 mem=15M521
11.17
11.17 search
11.17 run=3 nbConstraintChecks=11703807 nbValidityChecks=19405 nbPropagations=5573 nbRevisions=6929
11.17 nbUselessRevisions=3213 nbAssignments=571 nbFailedAssignments=90 nbBacktracks=90 nbVisitedNodes=381
11.17 nbRestartNogoods=15 mapSize=61 nbInferences=0 nbTooLargeKeys=0
11.17 => wckTime=9.969 cpuTime=9.84 mem=15M521
15.94
15.94 search
15.94 run=4 nbConstraintChecks=18800169 nbValidityChecks=28846 nbPropagations=8347 nbRevisions=10512
15.94 nbUselessRevisions=4908 nbAssignments=895 nbFailedAssignments=110 nbBacktracks=142 nbVisitedNodes=494
15.94 nbRestartNogoods=26 mapSize=87 nbInferences=0 nbTooLargeKeys=0
15.94 => wckTime=14.737 cpuTime=14.55 mem=15M521
20.04
20.04 search
20.04 run=5 nbConstraintChecks=24717022 nbValidityChecks=38310 nbPropagations=11909 nbRevisions=15152
20.04 nbUselessRevisions=7180 nbAssignments=1215 nbFailedAssignments=131 nbBacktracks=230 nbVisitedNodes=632
20.04 nbRestartNogoods=38 mapSize=130 nbInferences=0 nbTooLargeKeys=0
20.04 => wckTime=18.831 cpuTime=18.61 mem=15M521
24.78
24.78 search
24.78 run=6 nbConstraintChecks=31206678 nbValidityChecks=48439 nbPropagations=16150 nbRevisions=20557
24.78 nbUselessRevisions=9711 nbAssignments=1400 nbFailedAssignments=174 nbBacktracks=343 nbVisitedNodes=856
24.78 nbRestartNogoods=40 mapSize=220 nbInferences=0 nbTooLargeKeys=0
24.78 => wckTime=23.577 cpuTime=23.31 mem=15M521
36.84
36.84 search
36.84 run=7 nbConstraintChecks=48507796 nbValidityChecks=74937 nbPropagations=21942 nbRevisions=27919
36.84 nbUselessRevisions=13062 nbAssignments=1850 nbFailedAssignments=254 nbBacktracks=515 nbVisitedNodes=1212
36.84 nbRestartNogoods=50 mapSize=377 nbInferences=0 nbTooLargeKeys=0
36.84 => wckTime=35.637 cpuTime=35.25 mem=15M521
47.36
47.36 search
47.36 run=8 nbConstraintChecks=63697757 nbValidityChecks=98904 nbPropagations=29578 nbRevisions=37863
47.36 nbUselessRevisions=17932 nbAssignments=2656 nbFailedAssignments=314 nbBacktracks=654 nbVisitedNodes=1571
47.36 nbRestartNogoods=69 mapSize=470 nbInferences=0 nbTooLargeKeys=0
47.36 => wckTime=46.154 cpuTime=45.67 mem=16M496
47.36
47.36 global
47.36 nbConstraintChecks=65253105 nbValidityChecks=100489 nbPropagations=29913 nbRevisions=38117
47.36 nbUselessRevisions=18029 nbRestartNogoods=69 solvingWckTime=46.156 solvingCpuTime=45.67 expiredTime=no
47.36 totalExploration=no nbFoundSolutions=1 globalCpuTime=46.42
47.36 => wckTime=47.005 cpuTime=46.37 mem=16M496
47.36
47.36 s SATISFIABLE
47.36 v 43 3 2 2 2 5 3 47 44 3 45 19 3 11 23 3 4 17 2 14 37 45 44 2 2 13 2 43 17 9 47 43 43 7 14 34 43 2 3 19 28 4 11 47 13 2 23 47 11 2 23 3 2 13 37 7 5 12 20 2 6 7 47 2 12 11 2 29 43 5 22 4 41 2 47 2 39 2 4 30 2 2 17 23 23 21 39 37 47 7 36 2 37 7 11 19 3 11 33 47
47.36 d NODES 2656
47.36 d CHECKS 65253105
47.36
47.36 totalWckTime=47.085 totalCpuTime=46.42
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-248973-1168402257 -o ROOT/results/node38/solver-248973-1168402257 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/248973-1168402257/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: 2.28 2.09 1.99 4/81 11441
/proc/meminfo: memFree=1524808/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=18540 CPUtime=0
/proc/11440/stat : 11440 (runsolver) R 11438 11440 10551 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 188625311 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266890439975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11440/statm: 4635 279 244 17 0 2626 0
[startup+0.107729 s]
/proc/loadavg: 2.28 2.09 1.99 4/81 11441
/proc/meminfo: memFree=1524808/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=907808 CPUtime=0.06
/proc/11440/stat : 11440 (java) R 11438 11440 10551 0 -1 0 2500 0 1 0 5 1 0 0 17 0 4 0 188625311 929595392 2247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155076304 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/11440/statm: 226952 2247 1230 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.515805 s]
/proc/loadavg: 2.28 2.09 1.99 4/81 11441
/proc/meminfo: memFree=1524808/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=915328 CPUtime=0.45
/proc/11440/stat : 11440 (java) R 11438 11440 10551 0 -1 0 6326 0 1 0 41 4 0 0 18 0 8 0 188625311 937295872 6065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072929762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11440/statm: 228832 6065 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33696 s]
/proc/loadavg: 2.28 2.09 1.99 3/88 11448
/proc/meminfo: memFree=1506256/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=915460 CPUtime=1.27
/proc/11440/stat : 11440 (java) R 11438 11440 10551 0 -1 0 8668 0 1 0 121 6 0 0 25 0 8 0 188625311 937431040 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073600174 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11440/statm: 228865 8406 2540 14 0 215335 0
[pid=11440/tid=11442] ppid=11438 vsize=915460 CPUtime=0.02
/proc/11440/task/11442/stat : 11442 (java) S 11438 11440 10551 0 -1 64 168 0 0 0 2 0 0 0 17 0 8 0 188625318 937431040 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11443] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 10551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188625318 937431040 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11444] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 10551 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188625318 937431040 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11445] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188625322 937431040 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11446] ppid=11438 vsize=915460 CPUtime=0.14
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 10551 0 -1 64 345 0 0 0 13 1 0 0 16 0 8 0 188625322 937431040 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11447] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188625322 937431040 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11448] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188625322 937431040 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915460
[startup+2.98328 s]
/proc/loadavg: 2.26 2.08 1.99 3/88 11448
/proc/meminfo: memFree=1500688/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=915460 CPUtime=2.9
/proc/11440/stat : 11440 (java) R 11438 11440 10551 0 -1 0 8778 0 1 0 284 6 0 0 25 0 8 0 188625311 937431040 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073600103 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11440/statm: 228865 8515 2542 14 0 215335 0
[pid=11440/tid=11442] ppid=11438 vsize=915460 CPUtime=0.02
/proc/11440/task/11442/stat : 11442 (java) S 11438 11440 10551 0 -1 64 168 0 0 0 2 0 0 0 17 0 8 0 188625318 937431040 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11443] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 10551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188625318 937431040 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11444] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 10551 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188625318 937431040 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11445] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188625322 937431040 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11446] ppid=11438 vsize=915460 CPUtime=0.17
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 10551 0 -1 64 358 0 0 0 16 1 0 0 15 0 8 0 188625322 937431040 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11447] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188625322 937431040 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11448] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188625322 937431040 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915460
[startup+6.27492 s]
/proc/loadavg: 2.26 2.08 1.99 3/88 11448
/proc/meminfo: memFree=1500432/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=915460 CPUtime=6.15
/proc/11440/stat : 11440 (java) R 11438 11440 10551 0 -1 0 8811 0 1 0 609 6 0 0 25 0 8 0 188625311 937431040 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11440/statm: 228865 8545 2543 14 0 215335 0
[pid=11440/tid=11442] ppid=11438 vsize=915460 CPUtime=0.02
/proc/11440/task/11442/stat : 11442 (java) S 11438 11440 10551 0 -1 64 168 0 0 0 2 0 0 0 16 0 8 0 188625318 937431040 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11443] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 10551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188625318 937431040 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11444] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 10551 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188625318 937431040 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11445] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188625322 937431040 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11446] ppid=11438 vsize=915460 CPUtime=0.19
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 10551 0 -1 64 369 0 0 0 18 1 0 0 15 0 8 0 188625322 937431040 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11447] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188625322 937431040 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11448] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188625322 937431040 8545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915460
[startup+12.7532 s]
/proc/loadavg: 2.22 2.08 1.99 3/88 11448
/proc/meminfo: memFree=1499792/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=915460 CPUtime=12.57
/proc/11440/stat : 11440 (java) R 11438 11440 10551 0 -1 0 8828 0 1 0 1251 6 0 0 25 0 8 0 188625311 937431040 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073601504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11440/statm: 228865 8560 2543 14 0 215335 0
[pid=11440/tid=11442] ppid=11438 vsize=915460 CPUtime=0.02
/proc/11440/task/11442/stat : 11442 (java) S 11438 11440 10551 0 -1 64 168 0 0 0 2 0 0 0 16 0 8 0 188625318 937431040 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11443] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 10551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188625318 937431040 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11444] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 10551 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188625318 937431040 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11445] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188625322 937431040 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11446] ppid=11438 vsize=915460 CPUtime=0.19
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 10551 0 -1 64 369 0 0 0 18 1 0 0 16 0 8 0 188625322 937431040 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11447] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188625322 937431040 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11448] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188625322 937431040 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915460
[startup+25.6097 s]
/proc/loadavg: 2.19 2.08 1.99 3/88 11448
/proc/meminfo: memFree=1499536/2055920 swapFree=4192812/4192956
[pid=11440] ppid=11438 vsize=915460 CPUtime=25.3
/proc/11440/stat : 11440 (java) R 11438 11440 10551 0 -1 0 8891 0 1 0 2524 6 0 0 25 0 8 0 188625311 937431040 8617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773754 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11440/statm: 228865 8617 2543 14 0 215335 0
[pid=11440/tid=11442] ppid=11438 vsize=915460 CPUtime=0.02
/proc/11440/task/11442/stat : 11442 (java) S 11438 11440 10551 0 -1 64 168 0 0 0 2 0 0 0 17 0 8 0 188625318 937431040 8617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11443] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11443/stat : 11443 (java) S 11438 11440 10551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188625318 937431040 8617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11444] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11444/stat : 11444 (java) S 11438 11440 10551 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188625318 937431040 8617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11445] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11445/stat : 11445 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188625322 937431040 8617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11446] ppid=11438 vsize=915460 CPUtime=0.2
/proc/11440/task/11446/stat : 11446 (java) S 11438 11440 10551 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 188625322 937431040 8617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11447] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11447/stat : 11447 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188625322 937431040 8617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11440/tid=11448] ppid=11438 vsize=915460 CPUtime=0
/proc/11440/task/11448/stat : 11448 (java) S 11438 11440 10551 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188625322 937431040 8617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 47.3827
CPU time (s): 46.8829
CPU user time (s): 46.8049
CPU system time (s): 0.077988
CPU usage (%): 98.9452
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.8049
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9055
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= 2041
involuntary context switches= 3947
runsolver used 0.057991 s user time and 0.159975 s system time
The end
Begin job on node38 on Wed Jan 10 04:10:57 UTC 2007
IDJOB= 248973
IDBENCH= 11748
FILE ID= node38/248973-1168402257
PBS_JOBID= 3522916
Free space on /tmp= 66521 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-15/primes-15-40-2-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/248973-1168402257/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-248973-1168402257 -o ROOT/results/node38/solver-248973-1168402257 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/248973-1168402257/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5d0beba664e5faea8d864432f450c6ae
RANDOM SEED= 961916609
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.267
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.267
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: 1525288 kB
Buffers: 38304 kB
Cached: 371532 kB
SwapCached: 0 kB
Active: 198100 kB
Inactive: 278368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1525288 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1696 kB
Writeback: 0 kB
Mapped: 85728 kB
Slab: 39356 kB
Committed_AS: 5016524 kB
PageTables: 2056 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= 66521 MiB
End job on node38 on Wed Jan 10 04:11:44 UTC 2007