0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/213026-1168225199/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.48 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.48 => wckTime=0.15 cpuTime=0.1 mem=7M50
0.48
0.48 predicates being loaded...
0.48
0.48 constraints being loaded...
0.70 nbConstraints=520 nbConvertedConstraints=201 nbConvertConstraintsChecks=16 nbExtensionStructures=2
0.70 nbSharedExtensionStructures=199 nbConflictsStructures=3 nbSharedConflictsStructures=517
0.70 nbSharedBinaryRepresentations=5 nbEvaluationManagers=1 nbSharedEvaluationManagers=318 maxDegree=6 maxArity=3
0.70 => wckTime=0.372 cpuTime=0.25 mem=10M951
0.74
0.74 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.603 cpuTime=0.4 mem=17M691
1.02
1.02 preprocessing
1.02 nbConstraintChecks=1742 nbValidityChecks=260 nbPropagations=1443 nbRevisions=1504 nbUselessRevisions=914
1.02 nbSingletonTests=480 nbEffectiveSingletonTests=0 nbESACBranches=13 nbRemovedValues=0 detectedInconsistency=no
1.02 => wckTime=0.085 cpuTime=0.06 mem=17M691
1.05
1.05 search
1.05 run=0 nbConstraintChecks=536 nbValidityChecks=157 nbPropagations=1764 nbRevisions=1996 nbUselessRevisions=1098
1.05 nbAssignments=40 nbFailedAssignments=2 nbBacktracks=13 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=5
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.12 cpuTime=0.09 mem=18M699
1.08
1.08 search
1.08 run=1 nbConstraintChecks=1941 nbValidityChecks=835 nbPropagations=4431 nbRevisions=5465
1.08 nbUselessRevisions=2782 nbAssignments=100 nbFailedAssignments=10 nbBacktracks=28 nbVisitedNodes=122
1.08 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.142 cpuTime=0.11 mem=18M699
1.09
1.09 search
1.09 run=2 nbConstraintChecks=2706 nbValidityChecks=1257 nbPropagations=7588 nbRevisions=9736
1.09 nbUselessRevisions=4802 nbAssignments=170 nbFailedAssignments=17 nbBacktracks=50 nbVisitedNodes=205
1.09 nbRestartNogoods=7 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.158 cpuTime=0.12 mem=18M699
1.11
1.11 search
1.11 run=3 nbConstraintChecks=3615 nbValidityChecks=1807 nbPropagations=11328 nbRevisions=14936
1.11 nbUselessRevisions=7259 nbAssignments=325 nbFailedAssignments=28 nbBacktracks=85 nbVisitedNodes=309
1.11 nbRestartNogoods=10 mapSize=44 nbInferences=2 nbTooLargeKeys=0
1.11 => wckTime=0.178 cpuTime=0.14 mem=18M699
1.14
1.14 search
1.14 run=4 nbConstraintChecks=5724 nbValidityChecks=3172 nbPropagations=16428 nbRevisions=22381
1.14 nbUselessRevisions=10678 nbAssignments=493 nbFailedAssignments=45 nbBacktracks=138 nbVisitedNodes=452
1.14 nbRestartNogoods=12 mapSize=72 nbInferences=3 nbTooLargeKeys=0
1.14 => wckTime=0.204 cpuTime=0.16 mem=18M699
1.16
1.16 search
1.16 run=5 nbConstraintChecks=7258 nbValidityChecks=4225 nbPropagations=22437 nbRevisions=31436
1.16 nbUselessRevisions=14819 nbAssignments=630 nbFailedAssignments=67 nbBacktracks=218 nbVisitedNodes=633
1.16 nbRestartNogoods=18 mapSize=114 nbInferences=3 nbTooLargeKeys=0
1.16 => wckTime=0.227 cpuTime=0.18 mem=18M699
1.19
1.19 search
1.19 run=6 nbConstraintChecks=8481 nbValidityChecks=5051 nbPropagations=29081 nbRevisions=41776
1.19 nbUselessRevisions=19639 nbAssignments=798 nbFailedAssignments=99 nbBacktracks=331 nbVisitedNodes=874
1.19 nbRestartNogoods=20 mapSize=184 nbInferences=12 nbTooLargeKeys=0
1.19 => wckTime=0.253 cpuTime=0.21 mem=18M699
1.24
1.24 search
1.24 run=7 nbConstraintChecks=10888 nbValidityChecks=6440 nbPropagations=36987 nbRevisions=54528
1.24 nbUselessRevisions=25569 nbAssignments=1086 nbFailedAssignments=162 nbBacktracks=502 nbVisitedNodes=1275
1.24 nbRestartNogoods=23 mapSize=274 nbInferences=12 nbTooLargeKeys=0
1.24 => wckTime=0.307 cpuTime=0.26 mem=18M699
1.30
1.30 search
1.30 run=8 nbConstraintChecks=17198 nbValidityChecks=10132 nbPropagations=48615 nbRevisions=73313
1.30 nbUselessRevisions=33830 nbAssignments=1494 nbFailedAssignments=262 nbBacktracks=758 nbVisitedNodes=1848
1.30 nbRestartNogoods=28 mapSize=467 nbInferences=13 nbTooLargeKeys=0
1.30 => wckTime=0.364 cpuTime=0.31 mem=18M699
1.39
1.39 search
1.39 run=9 nbConstraintChecks=20697 nbValidityChecks=12628 nbPropagations=62134 nbRevisions=95891
1.39 nbUselessRevisions=44018 nbAssignments=1999 nbFailedAssignments=344 nbBacktracks=1150 nbVisitedNodes=2525
1.39 nbRestartNogoods=34 mapSize=632 nbInferences=14 nbTooLargeKeys=0
1.39 => wckTime=0.454 cpuTime=0.38 mem=18M699
1.51
1.51 search
1.51 run=10 nbConstraintChecks=31703 nbValidityChecks=19329 nbPropagations=82259 nbRevisions=129737
1.51 nbUselessRevisions=58911 nbAssignments=2776 nbFailedAssignments=490 nbBacktracks=1731 nbVisitedNodes=3590
1.51 nbRestartNogoods=41 mapSize=946 nbInferences=17 nbTooLargeKeys=0
1.51 => wckTime=0.577 cpuTime=0.49 mem=18M699
1.71
1.71 search
1.71 run=11 nbConstraintChecks=45590 nbValidityChecks=28971 nbPropagations=110422 nbRevisions=178496
1.71 nbUselessRevisions=80737 nbAssignments=3975 nbFailedAssignments=723 nbBacktracks=2605 nbVisitedNodes=5237
1.71 nbRestartNogoods=46 mapSize=1378 nbInferences=32 nbTooLargeKeys=0
1.71 => wckTime=0.773 cpuTime=0.69 mem=18M699
1.99
1.99 search
1.99 run=12 nbConstraintChecks=63568 nbValidityChecks=41031 nbPropagations=149216 nbRevisions=246948
1.99 nbUselessRevisions=111609 nbAssignments=5570 nbFailedAssignments=981 nbBacktracks=3903 nbVisitedNodes=7356
1.99 nbRestartNogoods=50 mapSize=1892 nbInferences=38 nbTooLargeKeys=0
1.99 => wckTime=1.053 cpuTime=0.97 mem=19M674
2.44
2.44 search
2.44 run=13 nbConstraintChecks=105392 nbValidityChecks=71019 nbPropagations=213540 nbRevisions=364691
2.44 nbUselessRevisions=166069 nbAssignments=8004 nbFailedAssignments=1410 nbBacktracks=5854 nbVisitedNodes=10705
2.44 nbRestartNogoods=55 mapSize=2785 nbInferences=53 nbTooLargeKeys=0
2.44 => wckTime=1.504 cpuTime=1.41 mem=19M674
3.06
3.06 search
3.06 run=14 nbConstraintChecks=173949 nbValidityChecks=120786 nbPropagations=317837 nbRevisions=561188
3.06 nbUselessRevisions=259822 nbAssignments=11862 nbFailedAssignments=2279 nbBacktracks=8778 nbVisitedNodes=16349
3.06 nbRestartNogoods=65 mapSize=4548 nbInferences=84 nbTooLargeKeys=0
3.06 => wckTime=2.131 cpuTime=2.03 mem=20M649
4.05
4.05 search
4.05 run=15 nbConstraintChecks=260711 nbValidityChecks=182525 nbPropagations=474325 nbRevisions=858857
4.05 nbUselessRevisions=402281 nbAssignments=17445 nbFailedAssignments=3403 nbBacktracks=13158 nbVisitedNodes=24241
4.05 nbRestartNogoods=69 mapSize=6832 nbInferences=113 nbTooLargeKeys=0
4.05 => wckTime=3.115 cpuTime=3.01 mem=21M624
5.53
5.53 search
5.53 run=16 nbConstraintChecks=390342 nbValidityChecks=277567 nbPropagations=709121 nbRevisions=1311509
5.53 nbUselessRevisions=621165 nbAssignments=25798 nbFailedAssignments=5098 nbBacktracks=19726 nbVisitedNodes=36021
5.53 nbRestartNogoods=79 mapSize=10234 nbInferences=161 nbTooLargeKeys=0
5.53 => wckTime=4.598 cpuTime=4.48 mem=23M575
7.24
7.24 search
7.24 run=17 nbConstraintChecks=589456 nbValidityChecks=413451 nbPropagations=1064676 nbRevisions=1985832
7.24 nbUselessRevisions=940624 nbAssignments=36096 nbFailedAssignments=7153 nbBacktracks=27503 nbVisitedNodes=50437
7.24 nbRestartNogoods=87 mapSize=14322 nbInferences=227 nbTooLargeKeys=0
7.24 => wckTime=6.305 cpuTime=6.16 mem=24M681
7.24
7.24 global
7.24 nbConstraintChecks=591198 nbValidityChecks=413711 nbPropagations=1066119 nbRevisions=1987336
7.24 nbUselessRevisions=941538 nbRestartNogoods=87 solvingWckTime=6.306 solvingCpuTime=6.16 expiredTime=no
7.24 totalExploration=no nbFoundSolutions=1 globalCpuTime=6.61
7.24 => wckTime=6.91 cpuTime=6.56 mem=24M681
7.24
7.24 s SATISFIABLE
7.24 v 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0
7.24 d NODES 36096
7.24 d CHECKS 591198
7.24
7.24 totalWckTime=6.991 totalCpuTime=6.61
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-213026-1168225199 -o ROOT/results/node4/solver-213026-1168225199 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213026-1168225199/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.22 1.73 1.90 5/87 2323
/proc/meminfo: memFree=1830696/2055920 swapFree=4182144/4192956
[pid=2322] ppid=2320 vsize=18540 CPUtime=0
/proc/2322/stat : 2322 (runsolver) R 2320 2322 2199 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 170916572 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/2322/statm: 4635 279 244 17 0 2626 0
[startup+0.104388 s]
/proc/loadavg: 1.22 1.73 1.90 5/87 2323
/proc/meminfo: memFree=1830696/2055920 swapFree=4182144/4192956
[pid=2322] ppid=2320 vsize=911488 CPUtime=0.06
/proc/2322/stat : 2322 (java) R 2320 2322 2199 0 -1 0 2587 0 1 0 4 2 0 0 23 0 8 0 170916572 933363712 2334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2322/statm: 227872 2334 1272 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.512423 s]
/proc/loadavg: 1.22 1.73 1.90 5/87 2323
/proc/meminfo: memFree=1830696/2055920 swapFree=4182144/4192956
[pid=2322] ppid=2320 vsize=915328 CPUtime=0.43
/proc/2322/stat : 2322 (java) R 2320 2322 2199 0 -1 0 6263 0 1 0 39 4 0 0 22 0 8 0 170916572 937295872 6002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942255 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2322/statm: 228832 6002 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.3375 s]
/proc/loadavg: 1.22 1.73 1.90 3/94 2330
/proc/meminfo: memFree=1803440/2055920 swapFree=4182144/4192956
[pid=2322] ppid=2320 vsize=915556 CPUtime=1.25
/proc/2322/stat : 2322 (java) R 2320 2322 2199 0 -1 0 9592 0 1 0 116 9 0 0 25 0 8 0 170916572 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2322/statm: 228889 9330 2543 14 0 215359 0
[pid=2322/tid=2324] ppid=2320 vsize=915556 CPUtime=0.03
/proc/2322/task/2324/stat : 2324 (java) S 2320 2322 2199 0 -1 64 222 0 0 0 3 0 0 0 16 0 8 0 170916579 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2325] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2325/stat : 2325 (java) S 2320 2322 2199 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170916579 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2326] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2326/stat : 2326 (java) S 2320 2322 2199 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170916579 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2327] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2327/stat : 2327 (java) S 2320 2322 2199 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 170916582 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2328] ppid=2320 vsize=915556 CPUtime=0.24
/proc/2322/task/2328/stat : 2328 (java) S 2320 2322 2199 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 170916582 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2329] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2329/stat : 2329 (java) S 2320 2322 2199 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 170916582 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2330] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2330/stat : 2330 (java) S 2320 2322 2199 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170916583 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915556
[startup+2.98966 s]
/proc/loadavg: 1.22 1.73 1.90 3/94 2330
/proc/meminfo: memFree=1802160/2055920 swapFree=4182144/4192956
[pid=2322] ppid=2320 vsize=915556 CPUtime=2.89
/proc/2322/stat : 2322 (java) R 2320 2322 2199 0 -1 0 10058 0 1 0 279 10 0 0 25 0 8 0 170916572 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2322/statm: 228889 9794 2543 14 0 215359 0
[pid=2322/tid=2324] ppid=2320 vsize=915556 CPUtime=0.03
/proc/2322/task/2324/stat : 2324 (java) S 2320 2322 2199 0 -1 64 222 0 0 0 3 0 0 0 17 0 8 0 170916579 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2325] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2325/stat : 2325 (java) S 2320 2322 2199 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170916579 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2326] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2326/stat : 2326 (java) S 2320 2322 2199 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170916579 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2327] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2327/stat : 2327 (java) S 2320 2322 2199 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 170916582 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2328] ppid=2320 vsize=915556 CPUtime=0.25
/proc/2322/task/2328/stat : 2328 (java) S 2320 2322 2199 0 -1 64 421 0 0 0 24 1 0 0 15 0 8 0 170916582 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2329] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2329/stat : 2329 (java) S 2320 2322 2199 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 170916582 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2330] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2330/stat : 2330 (java) S 2320 2322 2199 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170916583 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915556
[startup+6.27697 s]
/proc/loadavg: 1.28 1.74 1.90 3/94 2330
/proc/meminfo: memFree=1798640/2055920 swapFree=4182144/4192956
[pid=2322] ppid=2320 vsize=915556 CPUtime=6.15
/proc/2322/stat : 2322 (java) R 2320 2322 2199 0 -1 0 10938 0 1 0 605 10 0 0 25 0 8 0 170916572 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074028809 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2322/statm: 228889 10674 2543 14 0 215359 0
[pid=2322/tid=2324] ppid=2320 vsize=915556 CPUtime=0.03
/proc/2322/task/2324/stat : 2324 (java) S 2320 2322 2199 0 -1 64 222 0 0 0 3 0 0 0 16 0 8 0 170916579 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2325] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2325/stat : 2325 (java) S 2320 2322 2199 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170916579 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2326] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2326/stat : 2326 (java) S 2320 2322 2199 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170916579 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2327] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2327/stat : 2327 (java) S 2320 2322 2199 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 170916582 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2328] ppid=2320 vsize=915556 CPUtime=0.25
/proc/2322/task/2328/stat : 2328 (java) S 2320 2322 2199 0 -1 64 421 0 0 0 24 1 0 0 15 0 8 0 170916582 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2329] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2329/stat : 2329 (java) S 2320 2322 2199 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 170916582 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2330] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2330/stat : 2330 (java) S 2320 2322 2199 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170916583 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915556
Child status: 0
Real time (s): 7.29694
CPU time (s): 7.12592
CPU user time (s): 7.01293
CPU system time (s): 0.112982
CPU usage (%): 97.6561
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.01293
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11229
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= 1525
involuntary context switches= 1904
runsolver used 0.013997 s user time and 0.026995 s system time
The end
Begin job on node4 on Mon Jan 8 03:00:06 UTC 2007
IDJOB= 213026
IDBENCH= 4816
FILE ID= node4/213026-1168225199
PBS_JOBID= 3481009
Free space on /tmp= 66307 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-1-6-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213026-1168225199/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-213026-1168225199 -o ROOT/results/node4/solver-213026-1168225199 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213026-1168225199/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fb2add53fc1bc48bc4b8068286c2632b
RANDOM SEED= 474243165
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.223
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.223
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: 1831304 kB
Buffers: 34032 kB
Cached: 91492 kB
SwapCached: 2520 kB
Active: 104276 kB
Inactive: 65960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1831304 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 1832 kB
Writeback: 0 kB
Mapped: 55388 kB
Slab: 39092 kB
Committed_AS: 4626576 kB
PageTables: 2368 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= 66307 MiB
End job on node4 on Mon Jan 8 03:00:22 UTC 2007