0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/214144-1168228430/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.47 nbVariables=648 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.47 => wckTime=0.152 cpuTime=0.11 mem=8M25
0.47
0.47 predicates being loaded...
0.47
0.47 constraints being loaded...
0.90 nbConstraints=1616 nbConvertedConstraints=446 nbConvertConstraintsChecks=56 nbExtensionStructures=2
0.90 nbSharedExtensionStructures=444 nbConflictsStructures=8 nbSharedConflictsStructures=1608
0.90 nbSharedBinaryRepresentations=5 nbEvaluationManagers=6 nbSharedEvaluationManagers=1164 maxDegree=41 maxArity=3
0.90 => wckTime=0.578 cpuTime=0.42 mem=17M777
0.95
0.95 solver IterativeSystematicSolver being built...
1.19 => wckTime=0.871 cpuTime=0.61 mem=24M333
1.33
1.33 preprocessing
1.33 nbConstraintChecks=4095 nbValidityChecks=2120 nbPropagations=2340 nbRevisions=8043 nbUselessRevisions=6989
1.33 nbSingletonTests=670 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.33 => wckTime=0.141 cpuTime=0.1 mem=24M333
1.38
1.38 search
1.38 run=0 nbConstraintChecks=4577 nbValidityChecks=3397 nbPropagations=3775 nbRevisions=14597
1.38 nbUselessRevisions=12080 nbAssignments=38 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=46
1.38 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.188 cpuTime=0.15 mem=24M333
1.41
1.41 search
1.41 run=1 nbConstraintChecks=10914 nbValidityChecks=9272 nbPropagations=9752 nbRevisions=39570
1.41 nbUselessRevisions=32322 nbAssignments=86 nbFailedAssignments=8 nbBacktracks=28 nbVisitedNodes=103
1.41 nbRestartNogoods=2 mapSize=12 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.221 cpuTime=0.18 mem=24M333
1.44
1.44 search
1.44 run=2 nbConstraintChecks=16663 nbValidityChecks=14357 nbPropagations=17726 nbRevisions=73409
1.44 nbUselessRevisions=59408 nbAssignments=133 nbFailedAssignments=13 nbBacktracks=52 nbVisitedNodes=161
1.44 nbRestartNogoods=4 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.248 cpuTime=0.2 mem=24M333
1.49
1.49 search
1.49 run=3 nbConstraintChecks=27987 nbValidityChecks=24342 nbPropagations=29480 nbRevisions=124802
1.49 nbUselessRevisions=100222 nbAssignments=204 nbFailedAssignments=23 nbBacktracks=89 nbVisitedNodes=251
1.49 nbRestartNogoods=5 mapSize=39 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.295 cpuTime=0.25 mem=24M333
1.54
1.54 search
1.54 run=4 nbConstraintChecks=39175 nbValidityChecks=33960 nbPropagations=45013 nbRevisions=193150
1.54 nbUselessRevisions=154154 nbAssignments=294 nbFailedAssignments=36 nbBacktracks=142 nbVisitedNodes=363
1.54 nbRestartNogoods=7 mapSize=58 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.346 cpuTime=0.3 mem=24M333
1.60
1.60 search
1.60 run=5 nbConstraintChecks=53676 nbValidityChecks=46479 nbPropagations=65408 nbRevisions=283817
1.60 nbUselessRevisions=225425 nbAssignments=407 nbFailedAssignments=49 nbBacktracks=228 nbVisitedNodes=506
1.60 nbRestartNogoods=10 mapSize=87 nbInferences=0 nbTooLargeKeys=0
1.60 => wckTime=0.414 cpuTime=0.36 mem=24M333
1.68
1.68 search
1.68 run=6 nbConstraintChecks=68526 nbValidityChecks=58637 nbPropagations=90536 nbRevisions=396611
1.68 nbUselessRevisions=313899 nbAssignments=564 nbFailedAssignments=68 nbBacktracks=346 nbVisitedNodes=705
1.68 nbRestartNogoods=11 mapSize=127 nbInferences=0 nbTooLargeKeys=0
1.68 => wckTime=0.493 cpuTime=0.44 mem=24M333
1.81
1.81 search
1.81 run=7 nbConstraintChecks=97471 nbValidityChecks=83207 nbPropagations=124981 nbRevisions=553182
1.81 nbUselessRevisions=436472 nbAssignments=787 nbFailedAssignments=100 nbBacktracks=517 nbVisitedNodes=997
1.81 nbRestartNogoods=13 mapSize=193 nbInferences=0 nbTooLargeKeys=0
1.81 => wckTime=0.619 cpuTime=0.57 mem=24M333
2.00
2.00 search
2.00 run=8 nbConstraintChecks=135674 nbValidityChecks=116831 nbPropagations=172105 nbRevisions=769851
2.00 nbUselessRevisions=605897 nbAssignments=1129 nbFailedAssignments=154 nbBacktracks=776 nbVisitedNodes=1450
2.00 nbRestartNogoods=16 mapSize=298 nbInferences=0 nbTooLargeKeys=0
2.00 => wckTime=0.813 cpuTime=0.75 mem=24M333
2.28
2.28 search
2.28 run=9 nbConstraintChecks=195241 nbValidityChecks=171418 nbPropagations=240204 nbRevisions=1084201
2.28 nbUselessRevisions=851166 nbAssignments=1699 nbFailedAssignments=229 nbBacktracks=1161 nbVisitedNodes=2072
2.28 nbRestartNogoods=22 mapSize=432 nbInferences=0 nbTooLargeKeys=0
2.28 => wckTime=1.089 cpuTime=1.01 mem=25M308
2.69
2.69 search
2.69 run=10 nbConstraintChecks=299785 nbValidityChecks=266040 nbPropagations=343734 nbRevisions=1566945
2.69 nbUselessRevisions=1227774 nbAssignments=2405 nbFailedAssignments=324 nbBacktracks=1751 nbVisitedNodes=2977
2.69 nbRestartNogoods=26 mapSize=628 nbInferences=0 nbTooLargeKeys=0
2.69 => wckTime=1.503 cpuTime=1.41 mem=25M308
3.16
3.16 search
3.16 run=11 nbConstraintChecks=417383 nbValidityChecks=370678 nbPropagations=489167 nbRevisions=2245669
3.16 nbUselessRevisions=1756674 nbAssignments=3414 nbFailedAssignments=445 nbBacktracks=2619 nbVisitedNodes=4231
3.16 nbRestartNogoods=29 mapSize=868 nbInferences=0 nbTooLargeKeys=0
3.16 => wckTime=1.969 cpuTime=1.88 mem=25M308
3.48
3.48 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=25M308)
3.72
3.72 search
3.72 run=12 nbConstraintChecks=555119 nbValidityChecks=501915 nbPropagations=683983 nbRevisions=3163937
3.72 nbUselessRevisions=2473408 nbAssignments=4884 nbFailedAssignments=585 nbBacktracks=3940 nbVisitedNodes=5977
3.72 nbRestartNogoods=34
3.72 => wckTime=2.525 cpuTime=2.43 mem=25M308
4.48
4.48 search
4.48 run=13 nbConstraintChecks=796500 nbValidityChecks=734030 nbPropagations=962563 nbRevisions=4488330
4.48 nbUselessRevisions=3507842 nbAssignments=7088 nbFailedAssignments=821 nbBacktracks=5891 nbVisitedNodes=8660
4.48 nbRestartNogoods=35
4.48 => wckTime=3.291 cpuTime=3.2 mem=25M308
5.55
5.55 search
5.55 run=14 nbConstraintChecks=1114699 nbValidityChecks=1045133 nbPropagations=1353859 nbRevisions=6365154
5.55 nbUselessRevisions=4975571 nbAssignments=10368 nbFailedAssignments=1147 nbBacktracks=8830 nbVisitedNodes=12596
5.55 nbRestartNogoods=39
5.55 => wckTime=4.356 cpuTime=4.26 mem=25M308
7.20
7.20 search
7.20 run=15 nbConstraintChecks=1639136 nbValidityChecks=1537011 nbPropagations=1930503 nbRevisions=9134269
7.20 nbUselessRevisions=7139562 nbAssignments=15269 nbFailedAssignments=1638 nbBacktracks=13213 nbVisitedNodes=18420
7.20 nbRestartNogoods=41
7.20 => wckTime=6.007 cpuTime=5.91 mem=25M308
9.72
9.72 search
9.72 run=16 nbConstraintChecks=2464746 nbValidityChecks=2310149 nbPropagations=2801111 nbRevisions=13289744
9.72 nbUselessRevisions=10379195 nbAssignments=22676 nbFailedAssignments=2439 nbBacktracks=19796
9.72 nbVisitedNodes=27488 nbRestartNogoods=45
9.72 => wckTime=8.527 cpuTime=8.43 mem=25M308
12.83
12.83 search
12.83 run=17 nbConstraintChecks=3344972 nbValidityChecks=3128761 nbPropagations=3991085 nbRevisions=18968440
12.83 nbUselessRevisions=14807373 nbAssignments=33633 nbFailedAssignments=3526 nbBacktracks=29651
12.83 nbVisitedNodes=40654 nbRestartNogoods=49
12.83 => wckTime=11.644 cpuTime=11.54 mem=25M308
14.73
14.73 search
14.73 run=18 nbConstraintChecks=3868517 nbValidityChecks=3622791 nbPropagations=5368511 nbRevisions=25544158
14.73 nbUselessRevisions=19935494 nbAssignments=40692 nbFailedAssignments=4202 nbBacktracks=35386
14.73 nbVisitedNodes=48993 nbRestartNogoods=55
14.73 => wckTime=13.539 cpuTime=13.43 mem=25M308
14.73
14.73 global
14.73 nbConstraintChecks=3872612 nbValidityChecks=3624911 nbPropagations=5370851 nbRevisions=25552201
14.73 nbUselessRevisions=19942483 nbRestartNogoods=55 solvingWckTime=13.54 solvingCpuTime=13.43 expiredTime=no
14.73 totalExploration=no nbFoundSolutions=1 globalCpuTime=14.1
14.73 => wckTime=14.415 cpuTime=14.04 mem=25M308
14.73
14.73 s SATISFIABLE
14.73 v 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
14.73 d NODES 40692
14.73 d CHECKS 3872612
14.73
14.73 totalWckTime=14.496 totalCpuTime=14.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-214144-1168228430 -o ROOT/results/node4/solver-214144-1168228430 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214144-1168228430/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.87 1.99 1.90 4/94 6527
/proc/meminfo: memFree=1762536/2055920 swapFree=4182144/4192956
[pid=6526] ppid=6524 vsize=18540 CPUtime=0
/proc/6526/stat : 6526 (runsolver) R 6524 6526 6377 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 171238542 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259913215271 0 0 4096 24578 0 0 0 17 1 0 0
/proc/6526/statm: 4635 279 244 17 0 2626 0
[startup+0.103882 s]
/proc/loadavg: 1.87 1.99 1.90 4/94 6527
/proc/meminfo: memFree=1762536/2055920 swapFree=4182144/4192956
[pid=6526] ppid=6524 vsize=914988 CPUtime=0.08
/proc/6526/stat : 6526 (java) R 6524 6526 6377 0 -1 0 2977 0 1 0 6 2 0 0 20 0 8 0 171238542 936947712 2723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6526/statm: 228747 2724 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515924 s]
/proc/loadavg: 1.87 1.99 1.90 4/94 6527
/proc/meminfo: memFree=1762536/2055920 swapFree=4182144/4192956
[pid=6526] ppid=6524 vsize=915328 CPUtime=0.49
/proc/6526/stat : 6526 (java) R 6524 6526 6377 0 -1 0 6378 0 1 0 45 4 0 0 18 0 8 0 171238542 937295872 6117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6526/statm: 228832 6118 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34501 s]
/proc/loadavg: 1.87 1.99 1.90 3/101 6534
/proc/meminfo: memFree=1734064/2055920 swapFree=4182144/4192956
[pid=6526] ppid=6524 vsize=915764 CPUtime=1.32
/proc/6526/stat : 6526 (java) R 6524 6526 6377 0 -1 0 11087 0 1 0 117 15 0 0 24 0 8 0 171238542 937742336 10825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6526/statm: 228941 10825 2542 14 0 215411 0
[pid=6526/tid=6528] ppid=6524 vsize=915764 CPUtime=0.04
/proc/6526/task/6528/stat : 6528 (java) S 6524 6526 6377 0 -1 64 403 0 0 0 4 0 0 0 16 0 8 0 171238547 937742336 10825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6529] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6529/stat : 6529 (java) S 6524 6526 6377 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171238547 937742336 10825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6530] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6530/stat : 6530 (java) S 6524 6526 6377 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171238547 937742336 10825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6531] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6531/stat : 6531 (java) S 6524 6526 6377 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171238550 937742336 10825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6532] ppid=6524 vsize=915764 CPUtime=0.28
/proc/6526/task/6532/stat : 6532 (java) S 6524 6526 6377 0 -1 64 481 0 0 0 27 1 0 0 15 0 8 0 171238550 937742336 10825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6533] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6533/stat : 6533 (java) S 6524 6526 6377 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171238550 937742336 10825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6534] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6534/stat : 6534 (java) S 6524 6526 6377 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171238550 937742336 10825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915764
[startup+2.98216 s]
/proc/loadavg: 1.87 1.99 1.90 3/101 6534
/proc/meminfo: memFree=1728688/2055920 swapFree=4182144/4192956
[pid=6526] ppid=6524 vsize=915764 CPUtime=2.95
/proc/6526/stat : 6526 (java) R 6524 6526 6377 0 -1 0 11317 0 1 0 280 15 0 0 25 0 8 0 171238542 937742336 11053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074062122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6526/statm: 228941 11053 2543 14 0 215411 0
[pid=6526/tid=6528] ppid=6524 vsize=915764 CPUtime=0.04
/proc/6526/task/6528/stat : 6528 (java) S 6524 6526 6377 0 -1 64 403 0 0 0 4 0 0 0 17 0 8 0 171238547 937742336 11053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6529] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6529/stat : 6529 (java) S 6524 6526 6377 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171238547 937742336 11053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6530] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6530/stat : 6530 (java) S 6524 6526 6377 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171238547 937742336 11053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6531] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6531/stat : 6531 (java) S 6524 6526 6377 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171238550 937742336 11053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6532] ppid=6524 vsize=915764 CPUtime=0.34
/proc/6526/task/6532/stat : 6532 (java) S 6524 6526 6377 0 -1 64 506 0 0 0 32 2 0 0 15 0 8 0 171238550 937742336 11053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6533] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6533/stat : 6533 (java) S 6524 6526 6377 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171238550 937742336 11053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6534] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6534/stat : 6534 (java) S 6524 6526 6377 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171238550 937742336 11053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915764
[startup+6.26647 s]
/proc/loadavg: 1.88 1.99 1.90 3/101 6534
/proc/meminfo: memFree=1728048/2055920 swapFree=4182144/4192956
[pid=6526] ppid=6524 vsize=915764 CPUtime=6.23
/proc/6526/stat : 6526 (java) R 6524 6526 6377 0 -1 0 11386 0 1 0 608 15 0 0 25 0 8 0 171238542 937742336 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074098164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6526/statm: 228941 11120 2543 14 0 215411 0
[pid=6526/tid=6528] ppid=6524 vsize=915764 CPUtime=0.04
/proc/6526/task/6528/stat : 6528 (java) S 6524 6526 6377 0 -1 64 403 0 0 0 4 0 0 0 16 0 8 0 171238547 937742336 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6529] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6529/stat : 6529 (java) S 6524 6526 6377 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171238547 937742336 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6530] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6530/stat : 6530 (java) S 6524 6526 6377 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171238547 937742336 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6531] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6531/stat : 6531 (java) S 6524 6526 6377 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171238550 937742336 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6532] ppid=6524 vsize=915764 CPUtime=0.34
/proc/6526/task/6532/stat : 6532 (java) S 6524 6526 6377 0 -1 64 509 0 0 0 32 2 0 0 16 0 8 0 171238550 937742336 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6533] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6533/stat : 6533 (java) S 6524 6526 6377 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171238550 937742336 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6534] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6534/stat : 6534 (java) S 6524 6526 6377 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171238550 937742336 11120 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915764
[startup+12.7561 s]
/proc/loadavg: 1.89 1.99 1.90 3/101 6534
/proc/meminfo: memFree=1727728/2055920 swapFree=4182144/4192956
[pid=6526] ppid=6524 vsize=915764 CPUtime=12.72
/proc/6526/stat : 6526 (java) R 6524 6526 6377 0 -1 0 11392 0 1 0 1257 15 0 0 25 0 8 0 171238542 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074062075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6526/statm: 228941 11126 2543 14 0 215411 0
[pid=6526/tid=6528] ppid=6524 vsize=915764 CPUtime=0.04
/proc/6526/task/6528/stat : 6528 (java) S 6524 6526 6377 0 -1 64 403 0 0 0 4 0 0 0 16 0 8 0 171238547 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6529] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6529/stat : 6529 (java) S 6524 6526 6377 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171238547 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6530] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6530/stat : 6530 (java) S 6524 6526 6377 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171238547 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6531] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6531/stat : 6531 (java) S 6524 6526 6377 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171238550 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6532] ppid=6524 vsize=915764 CPUtime=0.34
/proc/6526/task/6532/stat : 6532 (java) S 6524 6526 6377 0 -1 64 510 0 0 0 32 2 0 0 17 0 8 0 171238550 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6533] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6533/stat : 6533 (java) S 6524 6526 6377 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171238550 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6526/tid=6534] ppid=6524 vsize=915764 CPUtime=0
/proc/6526/task/6534/stat : 6534 (java) S 6524 6526 6377 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171238550 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915764
Child status: 0
Real time (s): 14.7671
CPU time (s): 14.7238
CPU user time (s): 14.5548
CPU system time (s): 0.168974
CPU usage (%): 99.7066
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5548
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11493
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= 1822
involuntary context switches= 2374
runsolver used 0.020996 s user time and 0.056991 s system time
The end
Begin job on node4 on Mon Jan 8 03:53:50 UTC 2007
IDJOB= 214144
IDBENCH= 4902
FILE ID= node4/214144-1168228430
PBS_JOBID= 3481134
Free space on /tmp= 66313 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-4-c.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214144-1168228430/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-214144-1168228430 -o ROOT/results/node4/solver-214144-1168228430 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214144-1168228430/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ebd5780cefbab31bf82b274c2bc8beb8
RANDOM SEED= 537633343
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: 1762952 kB
Buffers: 40120 kB
Cached: 123860 kB
SwapCached: 2552 kB
Active: 147668 kB
Inactive: 90280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1762952 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 2292 kB
Writeback: 0 kB
Mapped: 91292 kB
Slab: 39344 kB
Committed_AS: 4686356 kB
PageTables: 2544 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= 66313 MiB
End job on node4 on Mon Jan 8 03:54:05 UTC 2007