0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/240029-1168368814/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.43 nbVariables=225 nbDomainTypes=16 minDomainSize=1 maxDomainSize=15
0.43 => wckTime=0.127 cpuTime=0.11 mem=7M894
0.43
0.43 relations being loaded...
0.43
0.43 constraints being loaded...
0.69 nbConstraints=2519 nbRelationTypes=17 nbSingletonDomainVariables=105 nbExtensionStructures=31
0.69 nbSharedExtensionStructures=2488 nbConflictsStructures=31 nbSharedConflictsStructures=2488
0.69 nbSharedBinaryRepresentations=493 maxDegree=28 maxArity=2
0.69 => wckTime=0.388 cpuTime=0.28 mem=15M712
0.74
0.74 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.606 cpuTime=0.42 mem=16M651
1.03
1.03 preprocessing
1.03 nbConstraintChecks=41542 nbPropagations=1540 nbRevisions=11222 nbUselessRevisions=8628 nbSingletonTests=362
1.03 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=1317 detectedInconsistency=no
1.03 => wckTime=0.117 cpuTime=0.09 mem=16M651
1.06
1.06 search
1.06 run=0 nbConstraintChecks=2556 nbPropagations=1784 nbRevisions=12131 nbUselessRevisions=9182 nbAssignments=143
1.06 nbFailedAssignments=1 nbBacktracks=10 nbVisitedNodes=148 nbRestartNogoods=0 mapSize=3 nbInferences=0
1.06 nbTooLargeKeys=0
1.06 => wckTime=0.152 cpuTime=0.12 mem=16M651
1.08
1.08 search
1.08 run=1 nbConstraintChecks=7317 nbPropagations=3887 nbRevisions=26007 nbUselessRevisions=19440 nbAssignments=285
1.08 nbFailedAssignments=5 nbBacktracks=32 nbVisitedNodes=301 nbRestartNogoods=1 mapSize=13 nbInferences=0
1.08 nbTooLargeKeys=0
1.08 => wckTime=0.169 cpuTime=0.13 mem=16M651
1.10
1.10 search
1.10 run=2 nbConstraintChecks=10626 nbPropagations=6324 nbRevisions=41003 nbUselessRevisions=30348
1.10 nbAssignments=448 nbFailedAssignments=12 nbBacktracks=55 nbVisitedNodes=477 nbRestartNogoods=2 mapSize=23
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.187 cpuTime=0.15 mem=16M651
1.12
1.12 search
1.12 run=3 nbConstraintChecks=15770 nbPropagations=9186 nbRevisions=57688 nbUselessRevisions=42169
1.12 nbAssignments=620 nbFailedAssignments=23 nbBacktracks=90 nbVisitedNodes=671 nbRestartNogoods=5 mapSize=42
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.207 cpuTime=0.17 mem=16M651
1.15
1.15 search
1.15 run=4 nbConstraintChecks=23654 nbPropagations=12665 nbRevisions=77441 nbUselessRevisions=55912
1.15 nbAssignments=807 nbFailedAssignments=31 nbBacktracks=142 nbVisitedNodes=877 nbRestartNogoods=8 mapSize=59
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.237 cpuTime=0.19 mem=16M651
1.18
1.18 search
1.18 run=5 nbConstraintChecks=36773 nbPropagations=17090 nbRevisions=102460 nbUselessRevisions=73029
1.18 nbAssignments=1039 nbFailedAssignments=52 nbBacktracks=228 nbVisitedNodes=1149 nbRestartNogoods=10 mapSize=97
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.266 cpuTime=0.22 mem=16M651
1.22
1.22 search
1.22 run=6 nbConstraintChecks=61353 nbPropagations=23019 nbRevisions=136932 nbUselessRevisions=95922
1.22 nbAssignments=1313 nbFailedAssignments=86 nbBacktracks=349 nbVisitedNodes=1494 nbRestartNogoods=12 mapSize=156
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.308 cpuTime=0.25 mem=17M626
1.27
1.27 search
1.27 run=7 nbConstraintChecks=89598 nbPropagations=30803 nbRevisions=181777 nbUselessRevisions=124894
1.27 nbAssignments=1655 nbFailedAssignments=132 nbBacktracks=521 nbVisitedNodes=1930 nbRestartNogoods=13
1.27 mapSize=238 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.356 cpuTime=0.29 mem=17M626
1.32
1.32 search
1.32 run=8 nbConstraintChecks=130642 nbPropagations=41480 nbRevisions=243803 nbUselessRevisions=165239
1.32 nbAssignments=2149 nbFailedAssignments=186 nbBacktracks=787 nbVisitedNodes=2500 nbRestartNogoods=20
1.32 mapSize=349 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.407 cpuTime=0.34 mem=17M626
1.38
1.39 search
1.39 run=9 nbConstraintChecks=180886 nbPropagations=55746 nbRevisions=325819 nbUselessRevisions=218366
1.39 nbAssignments=2762 nbFailedAssignments=293 nbBacktracks=1174 nbVisitedNodes=3307 nbRestartNogoods=22
1.39 mapSize=520 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.475 cpuTime=0.41 mem=17M626
1.53
1.53 search
1.53 run=10 nbConstraintChecks=317126 nbPropagations=75717 nbRevisions=490452 nbUselessRevisions=340678
1.53 nbAssignments=3722 nbFailedAssignments=419 nbBacktracks=1763 nbVisitedNodes=4289 nbRestartNogoods=26
1.53 mapSize=770 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.625 cpuTime=0.55 mem=17M626
1.67
1.67 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=17M626)
1.70
1.71 search
1.71 run=11 nbConstraintChecks=478783 nbPropagations=102967 nbRevisions=751096 nbUselessRevisions=543186
1.71 nbAssignments=4778 nbFailedAssignments=586 nbBacktracks=2628 nbVisitedNodes=5694 nbRestartNogoods=27
1.71 => wckTime=0.796 cpuTime=0.72 mem=17M626
1.94
1.94 search
1.94 run=12 nbConstraintChecks=746279 nbPropagations=141984 nbRevisions=1172488 nbUselessRevisions=879578
1.94 nbAssignments=6424 nbFailedAssignments=914 nbBacktracks=3932 nbVisitedNodes=7980 nbRestartNogoods=32
1.94 => wckTime=1.03 cpuTime=0.95 mem=17M626
2.34
2.34 search
2.34 run=13 nbConstraintChecks=1253591 nbPropagations=203147 nbRevisions=1902767 nbUselessRevisions=1475656
2.34 nbAssignments=8853 nbFailedAssignments=1370 nbBacktracks=5879 nbVisitedNodes=11370 nbRestartNogoods=34
2.34 => wckTime=1.432 cpuTime=1.35 mem=17M626
2.88
2.88 search
2.88 run=14 nbConstraintChecks=1961963 nbPropagations=294192 nbRevisions=3065542 nbUselessRevisions=2438251
2.88 nbAssignments=12493 nbFailedAssignments=1981 nbBacktracks=8798 nbVisitedNodes=16129 nbRestartNogoods=42
2.88 => wckTime=1.971 cpuTime=1.88 mem=17M626
3.74
3.74 search
3.74 run=15 nbConstraintChecks=3162978 nbPropagations=435006 nbRevisions=4974376 nbUselessRevisions=4035646
3.74 nbAssignments=18047 nbFailedAssignments=3127 nbBacktracks=13177 nbVisitedNodes=24007 nbRestartNogoods=48
3.74 => wckTime=2.829 cpuTime=2.74 mem=17M626
5.11
5.11 search
5.11 run=16 nbConstraintChecks=5083687 nbPropagations=656582 nbRevisions=8036505 nbUselessRevisions=6601987
5.11 nbAssignments=26581 nbFailedAssignments=5075 nbBacktracks=19747 nbVisitedNodes=36324 nbRestartNogoods=55
5.11 => wckTime=4.199 cpuTime=4.11 mem=17M626
7.23
7.23 search
7.23 run=17 nbConstraintChecks=8084265 nbPropagations=1004396 nbRevisions=12938429 nbUselessRevisions=10724654
7.23 nbAssignments=38830 nbFailedAssignments=7451 nbBacktracks=29605 nbVisitedNodes=53787 nbRestartNogoods=61
7.23 => wckTime=6.316 cpuTime=6.23 mem=17M626
10.18
10.18 search
10.18 run=18 nbConstraintChecks=12217890 nbPropagations=1527363 nbRevisions=20366730 nbUselessRevisions=16989286
10.18 nbAssignments=57641 nbFailedAssignments=11452 nbBacktracks=44389 nbVisitedNodes=80834 nbRestartNogoods=68
10.18 => wckTime=9.27 cpuTime=9.18 mem=17M626
14.64
14.64 search
14.64 run=19 nbConstraintChecks=18450224 nbPropagations=2315274 nbRevisions=31566217 nbUselessRevisions=26431980
14.64 nbAssignments=85907 nbFailedAssignments=17513 nbBacktracks=66564 nbVisitedNodes=121071 nbRestartNogoods=76
14.64 => wckTime=13.729 cpuTime=13.63 mem=17M626
17.98
17.98 search
17.98 run=20 nbConstraintChecks=23147810 nbPropagations=3304081 nbRevisions=45652404 nbUselessRevisions=38314318
17.98 nbAssignments=106713 nbFailedAssignments=21810 nbBacktracks=82848 nbVisitedNodes=150578 nbRestartNogoods=87
17.98 => wckTime=17.067 cpuTime=16.97 mem=18M601
17.98
17.98 global
17.98 nbConstraintChecks=23189352 nbPropagations=3305621 nbRevisions=45663626 nbUselessRevisions=38322946
17.98 nbRestartNogoods=87 solvingWckTime=17.068 solvingCpuTime=16.97 expiredTime=no totalExploration=no
17.98 nbFoundSolutions=1 globalCpuTime=17.43
17.98 => wckTime=17.678 cpuTime=17.39 mem=18M601
17.98
17.98 s SATISFIABLE
17.98 v 6 8 1 7 13 10 0 5 3 14 12 9 4 11 2 3 7 2 10 12 6 9 0 5 8 13 1 11 14 4 5 3 14 1 4 2 13 8 10 9 7 11 12 6 0 10 1 13 0 9 4 11 14 2 6 8 5 7 3 12 9 11 0 12 7 5 14 1 4 2 6 13 3 8 10 8 0 4 9 6 13 7 11 14 3 2 12 10 5 1 7 9 6 11 2 8 4 10 12 13 5 14 1 0 3 13 2 10 5 3 12 1 7 11 0 4 8 14 9 6 0 5 7 2 11 14 6 12 8 1 3 4 9 10 13 14 10 12 13 0 1 8 3 7 5 9 6 2 4 11 1 14 3 8 5 11 12 6 9 4 0 10 13 2 7 11 13 9 3 1 0 2 4 6 10 14 7 8 12 5 12 6 8 4 10 9 5 2 13 11 1 3 0 7 14 2 4 11 6 14 7 3 9 1 12 10 0 5 13 8 4 12 5 14 8 3 10 13 0 7 11 2 6 1 9
17.98 d NODES 106713
17.98 d CHECKS 23189352
17.98
17.98 totalWckTime=17.753 totalCpuTime=17.43
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-240029-1168368814 -o ROOT/results/node59/solver-240029-1168368814 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240029-1168368814/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: 0.92 0.98 1.10 4/65 10488
/proc/meminfo: memFree=1828120/2055920 swapFree=4192812/4192956
[pid=10487] ppid=10485 vsize=1784 CPUtime=0
/proc/10487/stat : 10487 (java) D 10485 10487 8117 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 185279373 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/10487/statm: 446 136 102 14 0 91 0
[startup+0.10667 s]
/proc/loadavg: 0.92 0.98 1.10 4/65 10488
/proc/meminfo: memFree=1828120/2055920 swapFree=4192812/4192956
[pid=10487] ppid=10485 vsize=914988 CPUtime=0.08
/proc/10487/stat : 10487 (java) R 10485 10487 8117 0 -1 0 3049 0 1 0 7 1 0 0 16 0 8 0 185279373 936947712 2795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153795281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10487/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514713 s]
/proc/loadavg: 0.92 0.98 1.10 4/65 10488
/proc/meminfo: memFree=1828120/2055920 swapFree=4192812/4192956
[pid=10487] ppid=10485 vsize=915328 CPUtime=0.5
/proc/10487/stat : 10487 (java) R 10485 10487 8117 0 -1 0 6490 0 1 0 46 4 0 0 16 0 8 0 185279373 937295872 6229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072946241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10487/statm: 228832 6229 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3378 s]
/proc/loadavg: 0.92 0.98 1.10 2/72 10495
/proc/meminfo: memFree=1801824/2055920 swapFree=4192812/4192956
[pid=10487] ppid=10485 vsize=915580 CPUtime=1.32
/proc/10487/stat : 10487 (java) R 10485 10487 8117 0 -1 0 9303 0 1 0 125 7 0 0 16 0 8 0 185279373 937553920 9041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073924300 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10487/statm: 228895 9041 2524 14 0 215365 0
[pid=10487/tid=10489] ppid=10485 vsize=915580 CPUtime=0.04
/proc/10487/task/10489/stat : 10489 (java) S 10485 10487 8117 0 -1 64 477 0 0 0 4 0 0 0 16 0 8 0 185279377 937553920 9041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10487/tid=10490] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10490/stat : 10490 (java) S 10485 10487 8117 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185279378 937553920 9041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10491] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10491/stat : 10491 (java) S 10485 10487 8117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185279378 937553920 9041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10492] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10492/stat : 10492 (java) S 10485 10487 8117 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185279381 937553920 9041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10493] ppid=10485 vsize=915580 CPUtime=0.25
/proc/10487/task/10493/stat : 10493 (java) S 10485 10487 8117 0 -1 64 422 0 0 0 24 1 0 0 15 0 8 0 185279381 937553920 9041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10494] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10494/stat : 10494 (java) S 10485 10487 8117 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185279381 937553920 9041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10495] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10495/stat : 10495 (java) S 10485 10487 8117 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185279381 937553920 9041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915580
[startup+2.98998 s]
/proc/loadavg: 0.92 0.98 1.10 2/72 10495
/proc/meminfo: memFree=1801056/2055920 swapFree=4192812/4192956
[pid=10487] ppid=10485 vsize=915580 CPUtime=2.96
/proc/10487/stat : 10487 (java) R 10485 10487 8117 0 -1 0 9449 0 1 0 289 7 0 0 18 0 8 0 185279373 937553920 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971321 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10487/statm: 228895 9184 2524 14 0 215365 0
[pid=10487/tid=10489] ppid=10485 vsize=915580 CPUtime=0.04
/proc/10487/task/10489/stat : 10489 (java) S 10485 10487 8117 0 -1 64 477 0 0 0 4 0 0 0 17 0 8 0 185279377 937553920 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10490] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10490/stat : 10490 (java) S 10485 10487 8117 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185279378 937553920 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10491] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10491/stat : 10491 (java) S 10485 10487 8117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185279378 937553920 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10492] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10492/stat : 10492 (java) S 10485 10487 8117 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185279381 937553920 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10493] ppid=10485 vsize=915580 CPUtime=0.26
/proc/10487/task/10493/stat : 10493 (java) S 10485 10487 8117 0 -1 64 430 0 0 0 25 1 0 0 16 0 8 0 185279381 937553920 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10494] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10494/stat : 10494 (java) S 10485 10487 8117 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185279381 937553920 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10495] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10495/stat : 10495 (java) S 10485 10487 8117 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185279381 937553920 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915580
[startup+6.27534 s]
/proc/loadavg: 0.93 0.98 1.10 2/72 10495
/proc/meminfo: memFree=1800992/2055920 swapFree=4192812/4192956
[pid=10487] ppid=10485 vsize=915580 CPUtime=6.25
/proc/10487/stat : 10487 (java) R 10485 10487 8117 0 -1 0 9453 0 1 0 618 7 0 0 25 0 8 0 185279373 937553920 9188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073918339 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10487/statm: 228895 9188 2524 14 0 215365 0
[pid=10487/tid=10489] ppid=10485 vsize=915580 CPUtime=0.04
/proc/10487/task/10489/stat : 10489 (java) S 10485 10487 8117 0 -1 64 477 0 0 0 4 0 0 0 16 0 8 0 185279377 937553920 9188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10490] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10490/stat : 10490 (java) S 10485 10487 8117 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185279378 937553920 9188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10491] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10491/stat : 10491 (java) S 10485 10487 8117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185279378 937553920 9188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10492] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10492/stat : 10492 (java) S 10485 10487 8117 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185279381 937553920 9188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10493] ppid=10485 vsize=915580 CPUtime=0.26
/proc/10487/task/10493/stat : 10493 (java) S 10485 10487 8117 0 -1 64 430 0 0 0 25 1 0 0 16 0 8 0 185279381 937553920 9188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10494] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10494/stat : 10494 (java) S 10485 10487 8117 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185279381 937553920 9188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10495] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10495/stat : 10495 (java) S 10485 10487 8117 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185279381 937553920 9188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915580
[startup+12.7591 s]
/proc/loadavg: 0.93 0.98 1.10 2/72 10495
/proc/meminfo: memFree=1801000/2055920 swapFree=4192812/4192956
[pid=10487] ppid=10485 vsize=915580 CPUtime=12.73
/proc/10487/stat : 10487 (java) R 10485 10487 8117 0 -1 0 9459 0 1 0 1266 7 0 0 25 0 8 0 185279373 937553920 9194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10487/statm: 228895 9194 2524 14 0 215365 0
[pid=10487/tid=10489] ppid=10485 vsize=915580 CPUtime=0.04
/proc/10487/task/10489/stat : 10489 (java) S 10485 10487 8117 0 -1 64 477 0 0 0 4 0 0 0 16 0 8 0 185279377 937553920 9194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10490] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10490/stat : 10490 (java) S 10485 10487 8117 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185279378 937553920 9194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10491] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10491/stat : 10491 (java) S 10485 10487 8117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185279378 937553920 9194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10492] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10492/stat : 10492 (java) S 10485 10487 8117 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185279381 937553920 9194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10493] ppid=10485 vsize=915580 CPUtime=0.26
/proc/10487/task/10493/stat : 10493 (java) S 10485 10487 8117 0 -1 64 431 0 0 0 25 1 0 0 16 0 8 0 185279381 937553920 9194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10494] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10494/stat : 10494 (java) S 10485 10487 8117 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185279381 937553920 9194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10487/tid=10495] ppid=10485 vsize=915580 CPUtime=0
/proc/10487/task/10495/stat : 10495 (java) S 10485 10487 8117 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185279381 937553920 9194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 18.0355
CPU time (s): 17.9713
CPU user time (s): 17.8823
CPU system time (s): 0.088986
CPU usage (%): 99.6441
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.8823
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= 9555
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= 1391
involuntary context switches= 648
runsolver used 0.026995 s user time and 0.047992 s system time
The end
Begin job on node59 on Tue Jan 9 18:53:34 UTC 2007
IDJOB= 240029
IDBENCH= 7098
FILE ID= node59/240029-1168368814
PBS_JOBID= 3504106
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-15/qcp-15-120-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240029-1168368814/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-240029-1168368814 -o ROOT/results/node59/solver-240029-1168368814 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240029-1168368814/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 92a6ef11d57255960fe8c14e1649f70c
RANDOM SEED= 336759789
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.239
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.239
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: 1828536 kB
Buffers: 26368 kB
Cached: 137920 kB
SwapCached: 0 kB
Active: 104516 kB
Inactive: 75188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1828536 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 25592 kB
Slab: 33672 kB
Committed_AS: 4037704 kB
PageTables: 1472 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= 66559 MiB
End job on node59 on Tue Jan 9 18:53:53 UTC 2007