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/208808-1168190120/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.099 cpuTime=0.1 mem=6M951
0.42
0.42 relations being loaded...
0.69
0.69 constraints being loaded...
0.86 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
0.86 => wckTime=0.54 cpuTime=0.49 mem=43M462
0.94
0.94 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.779 cpuTime=0.62 mem=21M364
1.18
1.18 preprocessing
1.18 nbConstraintChecks=19475 nbValidityChecks=33059 nbPropagations=170 nbRevisions=1542 nbUselessRevisions=1318
1.18 nbSingletonTests=30 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.18 => wckTime=0.079 cpuTime=0.05 mem=21M364
1.23
1.23 search
1.23 run=0 nbConstraintChecks=22598 nbValidityChecks=48388 nbPropagations=470 nbRevisions=4902
1.23 nbUselessRevisions=3961 nbAssignments=28 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=53
1.23 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.133 cpuTime=0.09 mem=22M365
1.29
1.29 search
1.29 run=1 nbConstraintChecks=59548 nbValidityChecks=127585 nbPropagations=1464 nbRevisions=15947
1.29 nbUselessRevisions=12790 nbAssignments=76 nbFailedAssignments=43 nbBacktracks=25 nbVisitedNodes=141
1.29 nbRestartNogoods=1 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.192 cpuTime=0.15 mem=22M365
1.40
1.40 search
1.40 run=2 nbConstraintChecks=130583 nbValidityChecks=285581 nbPropagations=3437 nbRevisions=38714
1.40 nbUselessRevisions=30831 nbAssignments=176 nbFailedAssignments=116 nbBacktracks=47 nbVisitedNodes=334
1.40 nbRestartNogoods=7 mapSize=46 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.301 cpuTime=0.24 mem=22M365
1.52
1.52 search
1.52 run=3 nbConstraintChecks=208658 nbValidityChecks=450745 nbPropagations=6536 nbRevisions=74445
1.52 nbUselessRevisions=59030 nbAssignments=274 nbFailedAssignments=170 nbBacktracks=80 nbVisitedNodes=502
1.52 nbRestartNogoods=14 mapSize=78 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.419 cpuTime=0.36 mem=22M365
1.72
1.72 search
1.72 run=4 nbConstraintChecks=355181 nbValidityChecks=751115 nbPropagations=11548 nbRevisions=131676
1.72 nbUselessRevisions=103733 nbAssignments=415 nbFailedAssignments=257 nbBacktracks=130 nbVisitedNodes=773
1.72 nbRestartNogoods=20 mapSize=127 nbInferences=0 nbTooLargeKeys=0
1.72 => wckTime=0.618 cpuTime=0.56 mem=22M365
1.95
1.95 search
1.95 run=5 nbConstraintChecks=522938 nbValidityChecks=1125534 nbPropagations=18756 nbRevisions=214364
1.95 nbUselessRevisions=168132 nbAssignments=644 nbFailedAssignments=406 nbBacktracks=205 nbVisitedNodes=1201
1.95 nbRestartNogoods=34 mapSize=194 nbInferences=0 nbTooLargeKeys=0
1.95 => wckTime=0.853 cpuTime=0.79 mem=22M365
2.32
2.32 search
2.32 run=6 nbConstraintChecks=786927 nbValidityChecks=1673747 nbPropagations=29785 nbRevisions=340006
2.32 nbUselessRevisions=265560 nbAssignments=948 nbFailedAssignments=593 nbBacktracks=319 nbVisitedNodes=1779
2.32 nbRestartNogoods=37 mapSize=302 nbInferences=0 nbTooLargeKeys=0
2.32 => wckTime=1.22 cpuTime=1.14 mem=22M365
2.93
2.93 search
2.93 run=7 nbConstraintChecks=1247233 nbValidityChecks=2653190 nbPropagations=47038 nbRevisions=536519
2.93 nbUselessRevisions=417640 nbAssignments=1531 nbFailedAssignments=1002 nbBacktracks=489 nbVisitedNodes=2910
2.93 nbRestartNogoods=43 mapSize=470 nbInferences=0 nbTooLargeKeys=0
2.93 => wckTime=1.831 cpuTime=1.73 mem=22M365
3.52
3.52 search
3.52 run=8 nbConstraintChecks=1706089 nbValidityChecks=3631381 nbPropagations=71703 nbRevisions=814179
3.52 nbUselessRevisions=632528 nbAssignments=2185 nbFailedAssignments=1378 nbBacktracks=745 nbVisitedNodes=4100
3.52 nbRestartNogoods=49 mapSize=712 nbInferences=0 nbTooLargeKeys=0
3.52 => wckTime=2.416 cpuTime=2.3 mem=22M365
4.55
4.55 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=22M365)
4.89
4.89 search
4.89 run=9 nbConstraintChecks=2794909 nbValidityChecks=5970786 nbPropagations=111969 nbRevisions=1277585
4.89 nbUselessRevisions=991464 nbAssignments=3666 nbFailedAssignments=2463 nbBacktracks=1130 nbVisitedNodes=6984
4.89 nbRestartNogoods=52
4.89 => wckTime=3.788 cpuTime=3.66 mem=22M365
6.88
6.88 search
6.88 run=10 nbConstraintChecks=4389577 nbValidityChecks=9257850 nbPropagations=172692 nbRevisions=1989718
6.88 nbUselessRevisions=1545307 nbAssignments=5502 nbFailedAssignments=3719 nbBacktracks=1706 nbVisitedNodes=10538
6.88 nbRestartNogoods=60
6.88 => wckTime=5.783 cpuTime=5.62 mem=22M365
9.24
9.24 search
9.24 run=11 nbConstraintChecks=6268135 nbValidityChecks=13260356 nbPropagations=261868 nbRevisions=3019407
9.24 nbUselessRevisions=2344724 nbAssignments=7729 nbFailedAssignments=5078 nbBacktracks=2570 nbVisitedNodes=14763
9.24 nbRestartNogoods=75
9.24 => wckTime=8.135 cpuTime=7.95 mem=22M365
13.17
13.17 search
13.17 run=12 nbConstraintChecks=9365729 nbValidityChecks=19776050 nbPropagations=392591 nbRevisions=4514269
13.17 nbUselessRevisions=3499653 nbAssignments=11244 nbFailedAssignments=7274 nbBacktracks=3867 nbVisitedNodes=21402
13.17 nbRestartNogoods=91
13.17 => wckTime=12.068 cpuTime=11.85 mem=22M365
17.91
17.91 search
17.91 run=13 nbConstraintChecks=13141002 nbValidityChecks=27866123 nbPropagations=582435 nbRevisions=6665087
17.91 nbUselessRevisions=5165279 nbAssignments=16340 nbFailedAssignments=10405 nbBacktracks=5813 nbVisitedNodes=30915
17.91 nbRestartNogoods=100
17.91 => wckTime=16.81 cpuTime=16.55 mem=22M365
25.12
25.12 search
25.12 run=14 nbConstraintChecks=18932268 nbValidityChecks=40191859 nbPropagations=860888 nbRevisions=9798088
25.12 nbUselessRevisions=7592668 nbAssignments=24145 nbFailedAssignments=15287 nbBacktracks=8732 nbVisitedNodes=45641
25.12 nbRestartNogoods=117
25.12 => wckTime=24.021 cpuTime=23.68 mem=22M365
39.35
39.35 search
39.35 run=15 nbConstraintChecks=30112600 nbValidityChecks=63457051 nbPropagations=1284347 nbRevisions=14575529
39.35 nbUselessRevisions=11277960 nbAssignments=36075 nbFailedAssignments=22836 nbBacktracks=13110
39.35 nbVisitedNodes=68508 nbRestartNogoods=143
39.35 => wckTime=38.245 cpuTime=37.75 mem=22M365
55.98
55.98 search
55.98 run=16 nbConstraintChecks=43417588 nbValidityChecks=91672076 nbPropagations=1905456 nbRevisions=21563404
55.98 nbUselessRevisions=16682791 nbAssignments=53109 nbFailedAssignments=33298 nbBacktracks=19678
55.98 nbVisitedNodes=100465 nbRestartNogoods=158
55.98 => wckTime=54.882 cpuTime=54.24 mem=22M365
84.49
84.49 search
84.49 run=17 nbConstraintChecks=65987153 nbValidityChecks=140018465 nbPropagations=2838045 nbRevisions=32085192
84.49 nbUselessRevisions=24815909 nbAssignments=80988 nbFailedAssignments=51320 nbBacktracks=29532
84.49 nbVisitedNodes=153474 nbRestartNogoods=180
84.49 => wckTime=83.388 cpuTime=82.44 mem=22M365
120.28
120.28 search
120.28 run=18 nbConstraintChecks=94541452 nbValidityChecks=200730386 nbPropagations=4207180 nbRevisions=47500826
120.28 nbUselessRevisions=36756329 nbAssignments=117988 nbFailedAssignments=74405 nbBacktracks=43427
120.28 nbVisitedNodes=222921 nbRestartNogoods=188
120.28 => wckTime=119.181 cpuTime=117.9 mem=22M365
120.28
120.28 global
120.28 nbConstraintChecks=94560927 nbValidityChecks=200763445 nbPropagations=4207350 nbRevisions=47502368
120.28 nbUselessRevisions=36757647 nbRestartNogoods=188 solvingWckTime=119.182 solvingCpuTime=117.9 expiredTime=no
120.28 totalExploration=no nbFoundSolutions=1 globalCpuTime=118.56
120.28 => wckTime=119.964 cpuTime=118.52 mem=22M365
120.29
120.29 s SATISFIABLE
120.29 v 14 7 12 6 4 4 16 11 8 13 19 15 1 3 16 14 11 7 17 3
120.29 d NODES 117988
120.29 d CHECKS 94560927
120.29
120.29 totalWckTime=120.048 totalCpuTime=118.56
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-208808-1168190120 -o ROOT/results/node2/solver-208808-1168190120 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208808-1168190120/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.72 2.66 2.35 5/94 11507
/proc/meminfo: memFree=933704/2055920 swapFree=4191880/4192956
[pid=11506] ppid=11504 vsize=18540 CPUtime=0
/proc/11506/stat : 11506 (runsolver) R 11504 11506 11439 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 167407632 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/11506/statm: 4635 279 244 17 0 2626 0
[startup+0.107192 s]
/proc/loadavg: 2.72 2.66 2.35 5/94 11507
/proc/meminfo: memFree=933704/2055920 swapFree=4191880/4192956
[pid=11506] ppid=11504 vsize=914988 CPUtime=0.08
/proc/11506/stat : 11506 (java) R 11504 11506 11439 0 -1 0 2964 0 1 0 6 2 0 0 24 0 8 0 167407632 936947712 2710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11506/statm: 228747 2710 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515272 s]
/proc/loadavg: 2.72 2.66 2.35 5/94 11507
/proc/meminfo: memFree=933704/2055920 swapFree=4191880/4192956
[pid=11506] ppid=11504 vsize=915328 CPUtime=0.49
/proc/11506/stat : 11506 (java) R 11504 11506 11439 0 -1 0 7588 0 1 0 43 6 0 0 25 0 8 0 167407632 937295872 7327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073560343 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11506/statm: 228832 7327 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33742 s]
/proc/loadavg: 2.72 2.66 2.35 6/101 11514
/proc/meminfo: memFree=860624/2055920 swapFree=4191880/4192956
[pid=11506] ppid=11504 vsize=915460 CPUtime=1.29
/proc/11506/stat : 11506 (java) R 11504 11506 11439 0 -1 0 17386 0 1 0 118 11 0 0 25 0 8 0 167407632 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073728137 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11506/statm: 228865 17124 2527 14 0 215335 0
[pid=11506/tid=11508] ppid=11504 vsize=915460 CPUtime=0.06
/proc/11506/task/11508/stat : 11508 (java) S 11504 11506 11439 0 -1 64 1840 0 0 0 6 0 0 0 17 0 8 0 167407636 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11509] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11509/stat : 11509 (java) S 11504 11506 11439 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11510] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11510/stat : 11510 (java) S 11504 11506 11439 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11511] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11511/stat : 11511 (java) S 11504 11506 11439 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167407640 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11512] ppid=11504 vsize=915460 CPUtime=0.17
/proc/11506/task/11512/stat : 11512 (java) S 11504 11506 11439 0 -1 64 357 0 0 0 16 1 0 0 15 0 8 0 167407640 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11513] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11513/stat : 11513 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167407640 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11514] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11514/stat : 11514 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167407640 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.98772 s]
/proc/loadavg: 2.74 2.66 2.35 3/101 11514
/proc/meminfo: memFree=874960/2055920 swapFree=4191880/4192956
[pid=11506] ppid=11504 vsize=915460 CPUtime=2.93
/proc/11506/stat : 11506 (java) R 11504 11506 11439 0 -1 0 17406 0 1 0 281 12 0 0 25 0 8 0 167407632 937431040 17142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11506/statm: 228865 17142 2527 14 0 215335 0
[pid=11506/tid=11508] ppid=11504 vsize=915460 CPUtime=0.06
/proc/11506/task/11508/stat : 11508 (java) S 11504 11506 11439 0 -1 64 1840 0 0 0 6 0 0 0 17 0 8 0 167407636 937431040 17142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11509] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11509/stat : 11509 (java) S 11504 11506 11439 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11510] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11510/stat : 11510 (java) S 11504 11506 11439 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11511] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11511/stat : 11511 (java) S 11504 11506 11439 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167407640 937431040 17142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11512] ppid=11504 vsize=915460 CPUtime=0.21
/proc/11506/task/11512/stat : 11512 (java) S 11504 11506 11439 0 -1 64 375 0 0 0 20 1 0 0 16 0 8 0 167407640 937431040 17142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11513] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11513/stat : 11513 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167407640 937431040 17142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11514] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11514/stat : 11514 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167407640 937431040 17142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.27533 s]
/proc/loadavg: 2.74 2.66 2.35 4/101 11514
/proc/meminfo: memFree=868760/2055920 swapFree=4191880/4192956
[pid=11506] ppid=11504 vsize=915460 CPUtime=6.18
/proc/11506/stat : 11506 (java) R 11504 11506 11439 0 -1 0 17414 0 1 0 606 12 0 0 25 0 8 0 167407632 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073722716 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11506/statm: 228865 17149 2527 14 0 215335 0
[pid=11506/tid=11508] ppid=11504 vsize=915460 CPUtime=0.06
/proc/11506/task/11508/stat : 11508 (java) S 11504 11506 11439 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 167407636 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11509] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11509/stat : 11509 (java) S 11504 11506 11439 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11510] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11510/stat : 11510 (java) S 11504 11506 11439 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11511] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11511/stat : 11511 (java) S 11504 11506 11439 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11512] ppid=11504 vsize=915460 CPUtime=0.23
/proc/11506/task/11512/stat : 11512 (java) S 11504 11506 11439 0 -1 64 382 0 0 0 22 1 0 0 16 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11513] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11513/stat : 11513 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11514] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11514/stat : 11514 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7705 s]
/proc/loadavg: 2.78 2.67 2.36 4/101 11514
/proc/meminfo: memFree=874904/2055920 swapFree=4191880/4192956
[pid=11506] ppid=11504 vsize=915460 CPUtime=12.62
/proc/11506/stat : 11506 (java) R 11504 11506 11439 0 -1 0 17414 0 1 0 1250 12 0 0 25 0 8 0 167407632 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073726762 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11506/statm: 228865 17149 2527 14 0 215335 0
[pid=11506/tid=11508] ppid=11504 vsize=915460 CPUtime=0.06
/proc/11506/task/11508/stat : 11508 (java) S 11504 11506 11439 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 167407636 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11509] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11509/stat : 11509 (java) S 11504 11506 11439 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11510] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11510/stat : 11510 (java) S 11504 11506 11439 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11511] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11511/stat : 11511 (java) S 11504 11506 11439 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11512] ppid=11504 vsize=915460 CPUtime=0.23
/proc/11506/task/11512/stat : 11512 (java) S 11504 11506 11439 0 -1 64 382 0 0 0 22 1 0 0 16 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11513] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11513/stat : 11513 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11514] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11514/stat : 11514 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
[startup+25.6229 s]
/proc/loadavg: 2.74 2.67 2.36 4/101 11514
/proc/meminfo: memFree=852504/2055920 swapFree=4191880/4192956
[pid=11506] ppid=11504 vsize=915460 CPUtime=25.34
/proc/11506/stat : 11506 (java) R 11504 11506 11439 0 -1 0 17415 0 1 0 2522 12 0 0 25 0 8 0 167407632 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11506/statm: 228865 17149 2527 14 0 215335 0
[pid=11506/tid=11508] ppid=11504 vsize=915460 CPUtime=0.06
/proc/11506/task/11508/stat : 11508 (java) S 11504 11506 11439 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 167407636 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11509] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11509/stat : 11509 (java) S 11504 11506 11439 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11510] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11510/stat : 11510 (java) S 11504 11506 11439 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11511] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11511/stat : 11511 (java) S 11504 11506 11439 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11512] ppid=11504 vsize=915460 CPUtime=0.23
/proc/11506/task/11512/stat : 11512 (java) S 11504 11506 11439 0 -1 64 382 0 0 0 22 1 0 0 16 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11513] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11513/stat : 11513 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11514] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11514/stat : 11514 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915460
[startup+51.2636 s]
/proc/loadavg: 2.83 2.69 2.38 4/101 11514
/proc/meminfo: memFree=852632/2055920 swapFree=4191880/4192956
[pid=11506] ppid=11504 vsize=915460 CPUtime=50.71
/proc/11506/stat : 11506 (java) R 11504 11506 11439 0 -1 0 17415 0 1 0 5059 12 0 0 25 0 8 0 167407632 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758233 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11506/statm: 228865 17149 2527 14 0 215335 0
[pid=11506/tid=11508] ppid=11504 vsize=915460 CPUtime=0.06
/proc/11506/task/11508/stat : 11508 (java) S 11504 11506 11439 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 167407636 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11509] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11509/stat : 11509 (java) S 11504 11506 11439 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11510] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11510/stat : 11510 (java) S 11504 11506 11439 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11511] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11511/stat : 11511 (java) S 11504 11506 11439 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11512] ppid=11504 vsize=915460 CPUtime=0.23
/proc/11506/task/11512/stat : 11512 (java) S 11504 11506 11439 0 -1 64 382 0 0 0 22 1 0 0 16 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11513] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11513/stat : 11513 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11514] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11514/stat : 11514 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915460
[startup+102.524 s]
/proc/loadavg: 2.75 2.70 2.39 3/101 11514
/proc/meminfo: memFree=842584/2055920 swapFree=4191880/4192956
[pid=11506] ppid=11504 vsize=915460 CPUtime=101.47
/proc/11506/stat : 11506 (java) R 11504 11506 11439 0 -1 0 17415 0 1 0 10134 13 0 0 25 0 8 0 167407632 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073722772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11506/statm: 228865 17149 2527 14 0 215335 0
[pid=11506/tid=11508] ppid=11504 vsize=915460 CPUtime=0.06
/proc/11506/task/11508/stat : 11508 (java) S 11504 11506 11439 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 167407636 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11509] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11509/stat : 11509 (java) S 11504 11506 11439 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11510] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11510/stat : 11510 (java) S 11504 11506 11439 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167407637 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11511] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11511/stat : 11511 (java) S 11504 11506 11439 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11512] ppid=11504 vsize=915460 CPUtime=0.23
/proc/11506/task/11512/stat : 11512 (java) S 11504 11506 11439 0 -1 64 382 0 0 0 22 1 0 0 16 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11513] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11513/stat : 11513 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11506/tid=11514] ppid=11504 vsize=915460 CPUtime=0
/proc/11506/task/11514/stat : 11514 (java) S 11504 11506 11439 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167407640 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 120.321
CPU time (s): 119.087
CPU user time (s): 118.945
CPU system time (s): 0.141978
CPU usage (%): 98.9744
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.945
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17424
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= 3558
involuntary context switches= 9789
runsolver used 0.172973 s user time and 0.371943 s system time
The end
Begin job on node2 on Sun Jan 7 17:15:20 UTC 2007
IDJOB= 208808
IDBENCH= 4454
FILE ID= node2/208808-1168190120
PBS_JOBID= 3478997
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208808-1168190120/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-208808-1168190120 -o ROOT/results/node2/solver-208808-1168190120 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208808-1168190120/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0597a0c8af63e6878b9e7f4bc8dfa89b
RANDOM SEED= 107984902
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.259
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 : 5931.00
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.259
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: 934312 kB
Buffers: 50972 kB
Cached: 440764 kB
SwapCached: 448 kB
Active: 672056 kB
Inactive: 382048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 934312 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3300 kB
Writeback: 0 kB
Mapped: 587072 kB
Slab: 51032 kB
Committed_AS: 4556340 kB
PageTables: 3460 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= 66324 MiB
End job on node2 on Sun Jan 7 17:17:20 UTC 2007