0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/240276-1168371619/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.49 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.49 => wckTime=0.152 cpuTime=0.11 mem=7M894
0.49
0.49 relations being loaded...
0.49
0.49 constraints being loaded...
0.86 nbConstraints=5540 nbRelationTypes=22 nbSingletonDomainVariables=213 nbExtensionStructures=41
0.86 nbSharedExtensionStructures=5499 nbConflictsStructures=41 nbSharedConflictsStructures=5499
0.86 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.86 => wckTime=0.522 cpuTime=0.36 mem=24M505
0.93
0.93 solver IterativeSystematicSolver being built...
1.13 => wckTime=0.794 cpuTime=0.52 mem=18M513
1.30
1.31 preprocessing
1.31 nbConstraintChecks=100881 nbPropagations=2691 nbRevisions=22277 nbUselessRevisions=17338 nbSingletonTests=667
1.31 nbEffectiveSingletonTests=0 nbESACBranches=10 nbRemovedValues=2922 detectedInconsistency=no
1.31 => wckTime=0.17 cpuTime=0.14 mem=18M513
1.37
1.37 search
1.37 run=0 nbConstraintChecks=4645 nbPropagations=3121 nbRevisions=23720 nbUselessRevisions=18225 nbAssignments=282
1.37 nbFailedAssignments=4 nbBacktracks=16 nbVisitedNodes=290 nbRestartNogoods=0 mapSize=5 nbInferences=0
1.37 nbTooLargeKeys=0
1.37 => wckTime=0.24 cpuTime=0.2 mem=19M584
1.43
1.43 search
1.43 run=1 nbConstraintChecks=14973 nbPropagations=7101 nbRevisions=51638 nbUselessRevisions=39690
1.43 nbAssignments=615 nbFailedAssignments=6 nbBacktracks=31 nbVisitedNodes=569 nbRestartNogoods=2 mapSize=11
1.43 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.297 cpuTime=0.25 mem=19M584
1.49
1.49 search
1.49 run=2 nbConstraintChecks=24549 nbPropagations=11763 nbRevisions=82974 nbUselessRevisions=63332
1.49 nbAssignments=919 nbFailedAssignments=17 nbBacktracks=58 nbVisitedNodes=894 nbRestartNogoods=3 mapSize=30
1.49 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.355 cpuTime=0.3 mem=19M584
1.57
1.57 search
1.57 run=3 nbConstraintChecks=37904 nbPropagations=17484 nbRevisions=119704 nbUselessRevisions=91093
1.57 nbAssignments=1682 nbFailedAssignments=21 nbBacktracks=92 nbVisitedNodes=1200 nbRestartNogoods=5 mapSize=36
1.57 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.435 cpuTime=0.37 mem=20M557
1.62
1.62 search
1.62 run=4 nbConstraintChecks=49622 nbPropagations=24021 nbRevisions=160554 nbUselessRevisions=121454
1.62 nbAssignments=2005 nbFailedAssignments=35 nbBacktracks=147 nbVisitedNodes=1548 nbRestartNogoods=7 mapSize=59
1.62 nbInferences=0 nbTooLargeKeys=0
1.62 => wckTime=0.487 cpuTime=0.42 mem=20M557
1.68
1.68 search
1.68 run=5 nbConstraintChecks=59920 nbPropagations=31404 nbRevisions=205141 nbUselessRevisions=154215
1.68 nbAssignments=2362 nbFailedAssignments=46 nbBacktracks=222 nbVisitedNodes=1922 nbRestartNogoods=9 mapSize=71
1.68 nbInferences=0 nbTooLargeKeys=0
1.68 => wckTime=0.546 cpuTime=0.47 mem=20M557
1.77
1.77 search
1.77 run=6 nbConstraintChecks=97375 nbPropagations=41315 nbRevisions=266124 nbUselessRevisions=199286
1.77 nbAssignments=2925 nbFailedAssignments=73 nbBacktracks=340 nbVisitedNodes=2366 nbRestartNogoods=14 mapSize=117
1.77 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.637 cpuTime=0.56 mem=21M529
1.85
1.85 search
1.85 run=7 nbConstraintChecks=132469 nbPropagations=53357 nbRevisions=340549 nbUselessRevisions=253106
1.85 nbAssignments=3413 nbFailedAssignments=108 nbBacktracks=543 nbVisitedNodes=2927 nbRestartNogoods=15
1.85 mapSize=187 nbInferences=0 nbTooLargeKeys=0
1.85 => wckTime=0.717 cpuTime=0.64 mem=21M529
1.97
1.97 search
1.97 run=8 nbConstraintChecks=179532 nbPropagations=68372 nbRevisions=433928 nbUselessRevisions=320000
1.97 nbAssignments=4496 nbFailedAssignments=166 nbBacktracks=826 nbVisitedNodes=3622 nbRestartNogoods=18
1.97 mapSize=288 nbInferences=0 nbTooLargeKeys=0
1.97 => wckTime=0.836 cpuTime=0.76 mem=21M529
2.09
2.09 search
2.09 run=9 nbConstraintChecks=246396 nbPropagations=87084 nbRevisions=552679 nbUselessRevisions=403689
2.09 nbAssignments=5197 nbFailedAssignments=216 nbBacktracks=1218 nbVisitedNodes=4443 nbRestartNogoods=20
2.09 mapSize=403 nbInferences=0 nbTooLargeKeys=0
2.09 => wckTime=0.959 cpuTime=0.88 mem=22M502
2.25
2.25 search
2.25 run=10 nbConstraintChecks=320214 nbPropagations=109907 nbRevisions=704423 nbUselessRevisions=511840
2.25 nbAssignments=6093 nbFailedAssignments=308 nbBacktracks=1796 nbVisitedNodes=5508 nbRestartNogoods=24
2.25 mapSize=562 nbInferences=0 nbTooLargeKeys=0
2.25 => wckTime=1.113 cpuTime=1.02 mem=23M475
2.55
2.55 search
2.55 run=11 nbConstraintChecks=534584 nbPropagations=140586 nbRevisions=991847 nbUselessRevisions=739457
2.55 nbAssignments=7650 nbFailedAssignments=435 nbBacktracks=2661 nbVisitedNodes=6831 nbRestartNogoods=30
2.55 mapSize=823 nbInferences=0 nbTooLargeKeys=0
2.55 => wckTime=1.42 cpuTime=1.32 mem=23M475
2.75
2.75 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=24M447)
2.93
2.93 search
2.93 run=12 nbConstraintChecks=797041 nbPropagations=182568 nbRevisions=1426885 nbUselessRevisions=1092224
2.93 nbAssignments=9528 nbFailedAssignments=729 nbBacktracks=3961 nbVisitedNodes=9009 nbRestartNogoods=37
2.93 => wckTime=1.801 cpuTime=1.7 mem=24M447
3.38
3.38 search
3.38 run=13 nbConstraintChecks=1185761 nbPropagations=237683 nbRevisions=2103633 nbUselessRevisions=1656369
3.38 nbAssignments=11770 nbFailedAssignments=974 nbBacktracks=5909 nbVisitedNodes=11724 nbRestartNogoods=42
3.38 => wckTime=2.246 cpuTime=2.14 mem=24M447
4.11
4.11 search
4.11 run=14 nbConstraintChecks=1850895 nbPropagations=315184 nbRevisions=3190992 nbUselessRevisions=2579551
4.11 nbAssignments=15236 nbFailedAssignments=1365 nbBacktracks=8829 nbVisitedNodes=15881 nbRestartNogoods=52
4.11 => wckTime=2.975 cpuTime=2.87 mem=24M447
5.37
5.37 search
5.37 run=15 nbConstraintChecks=3061460 nbPropagations=434791 nbRevisions=5026781 nbUselessRevisions=4156866
5.37 nbAssignments=20496 nbFailedAssignments=2137 nbBacktracks=13207 nbVisitedNodes=22653 nbRestartNogoods=59
5.37 => wckTime=4.239 cpuTime=4.12 mem=24M447
7.40
7.40 search
7.40 run=16 nbConstraintChecks=5012465 nbPropagations=624627 nbRevisions=8016073 nbUselessRevisions=6730508
7.40 nbAssignments=28970 nbFailedAssignments=3999 nbBacktracks=19778 nbVisitedNodes=34707 nbRestartNogoods=65
7.40 => wckTime=6.269 cpuTime=6.14 mem=24M447
10.82
10.82 search
10.82 run=17 nbConstraintChecks=8705706 nbPropagations=934320 nbRevisions=13380360 nbUselessRevisions=11400174
10.82 nbAssignments=41404 nbFailedAssignments=6459 nbBacktracks=29631 nbVisitedNodes=51941 nbRestartNogoods=71
10.82 => wckTime=9.682 cpuTime=9.54 mem=24M447
15.80
15.80 search
15.80 run=18 nbConstraintChecks=13969535 nbPropagations=1421879 nbRevisions=22173824 nbUselessRevisions=19109375
15.80 nbAssignments=59842 nbFailedAssignments=10076 nbBacktracks=44409 nbVisitedNodes=77516 nbRestartNogoods=77
15.80 => wckTime=14.663 cpuTime=14.49 mem=24M447
23.34
23.34 search
23.34 run=19 nbConstraintChecks=21551242 nbPropagations=2179366 nbRevisions=35577544 nbUselessRevisions=30836595
23.34 nbAssignments=87585 nbFailedAssignments=15633 nbBacktracks=66578 nbVisitedNodes=116522 nbRestartNogoods=86
23.34 => wckTime=22.204 cpuTime=22.0 mem=24M447
35.48
35.48 search
35.48 run=20 nbConstraintChecks=34273261 nbPropagations=3368410 nbRevisions=56837012 nbUselessRevisions=49426792
35.48 nbAssignments=130150 nbFailedAssignments=24914 nbBacktracks=99834 nbVisitedNodes=176524 nbRestartNogoods=91
35.48 => wckTime=34.351 cpuTime=34.09 mem=24M447
54.33
54.33 search
54.33 run=21 nbConstraintChecks=55212360 nbPropagations=5240727 nbRevisions=91706547 nbUselessRevisions=80133997
54.33 nbAssignments=192981 nbFailedAssignments=37778 nbBacktracks=149713 nbVisitedNodes=264189 nbRestartNogoods=98
54.33 => wckTime=53.197 cpuTime=52.85 mem=24M447
81.16
81.16 search
81.16 run=22 nbConstraintChecks=84003222 nbPropagations=8081939 nbRevisions=145147962 nbUselessRevisions=127261573
81.16 nbAssignments=287994 nbFailedAssignments=57940 nbBacktracks=224531 nbVisitedNodes=398148 nbRestartNogoods=114
81.16 => wckTime=80.025 cpuTime=79.54 mem=24M447
119.58
119.59 search
119.59 run=23 nbConstraintChecks=124634878 nbPropagations=12286001 nbRevisions=224370915 nbUselessRevisions=197088557
119.59 nbAssignments=425848 nbFailedAssignments=83543 nbBacktracks=336759 nbVisitedNodes=586810 nbRestartNogoods=123
119.59 => wckTime=118.452 cpuTime=117.79 mem=24M447
150.40
150.40 search
150.40 run=24 nbConstraintChecks=157434235 nbPropagations=17590577 nbRevisions=324481373 nbUselessRevisions=285322949
150.40 nbAssignments=532279 nbFailedAssignments=105335 nbBacktracks=420998 nbVisitedNodes=734256 nbRestartNogoods=129
150.40 => wckTime=149.267 cpuTime=148.45 mem=24M447
150.40
150.40 global
150.40 nbConstraintChecks=157535116 nbPropagations=17593268 nbRevisions=324503650 nbUselessRevisions=285340287
150.40 nbRestartNogoods=129 solvingWckTime=149.268 solvingCpuTime=148.45 expiredTime=no totalExploration=no
150.40 nbFoundSolutions=1 globalCpuTime=149.03
150.40 => wckTime=150.067 cpuTime=148.98 mem=24M447
150.41
150.41 s SATISFIABLE
150.41 v 5 17 7 16 6 15 10 1 18 9 8 19 14 0 2 13 11 4 12 3 3 12 4 2 17 0 11 16 8 19 13 14 9 1 5 10 18 6 15 7 10 11 1 13 15 18 5 6 0 16 4 7 12 14 8 9 19 17 3 2 7 9 15 19 5 12 16 4 6 8 14 11 10 3 0 17 1 2 18 13 13 7 12 11 10 17 0 2 15 14 18 8 3 5 19 16 4 9 6 1 6 15 2 1 11 3 19 10 14 13 7 9 4 18 12 8 17 16 0 5 2 1 9 5 0 16 8 12 13 4 15 10 18 11 7 6 14 3 17 19 12 16 10 9 4 11 13 18 1 15 2 17 5 7 14 0 3 8 19 6 4 5 0 12 2 7 6 8 11 17 10 13 16 19 3 14 15 1 9 18 14 8 19 17 7 13 3 15 16 2 12 6 1 10 9 18 5 0 11 4 8 2 14 18 16 19 9 3 5 7 6 12 0 13 4 11 10 15 1 17 17 3 18 0 13 1 2 14 19 12 5 4 6 16 15 7 9 11 10 8 18 14 3 8 1 2 7 17 9 11 19 0 13 6 10 4 16 12 5 15 15 0 13 3 14 10 4 5 7 6 11 1 17 9 18 12 2 19 8 16 1 10 8 7 18 6 12 11 17 5 0 15 19 4 16 3 13 14 2 9 19 18 11 14 3 9 1 7 10 0 17 16 15 2 6 5 8 13 4 12 11 19 5 10 12 4 17 0 3 1 9 18 2 8 13 15 6 7 16 14 0 13 6 15 9 14 18 19 4 3 16 2 8 17 11 1 12 5 7 10 9 6 16 4 8 5 15 13 2 18 1 3 7 12 17 19 0 10 14 11 16 4 17 6 19 8 14 9 12 10 3 5 11 15 1 2 7 18 13 0
150.41 d NODES 532279
150.41 d CHECKS 157535116
150.41
150.41 totalWckTime=150.149 totalCpuTime=149.03
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-240276-1168371619 -o ROOT/results/node11/solver-240276-1168371619 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240276-1168371619/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.99 1.97 1.92 4/94 20877
/proc/meminfo: memFree=1725648/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=11820 CPUtime=0
/proc/20876/stat : 20876 (java) D 20874 20876 16860 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 185556991 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7979812 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/20876/statm: 2955 510 421 14 0 1602 0
[startup+0.103236 s]
/proc/loadavg: 1.99 1.97 1.92 4/94 20877
/proc/meminfo: memFree=1725648/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=911488 CPUtime=0.06
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 2589 0 1 0 5 1 0 0 20 0 8 0 185556991 933363712 2336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155287757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 227872 2336 1273 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.511319 s]
/proc/loadavg: 1.99 1.97 1.92 4/94 20877
/proc/meminfo: memFree=1725648/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915328 CPUtime=0.47
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 6401 0 1 0 43 4 0 0 18 0 8 0 185556991 937295872 6140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228832 6140 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33448 s]
/proc/loadavg: 1.99 1.97 1.92 4/101 20884
/proc/meminfo: memFree=1688536/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=1.28
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12010 0 1 0 120 8 0 0 23 0 8 0 185556991 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961446 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11748 2523 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185556995 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.26
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 465 0 0 0 25 1 0 0 15 0 8 0 185557001 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915676
[startup+2.98081 s]
/proc/loadavg: 1.99 1.97 1.92 3/101 20884
/proc/meminfo: memFree=1688280/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=2.92
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12035 0 1 0 283 9 0 0 25 0 8 0 185556991 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11772 2524 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 17 0 8 0 185556995 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.32
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 488 0 0 0 30 2 0 0 15 0 8 0 185557001 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915676
[startup+6.27346 s]
/proc/loadavg: 1.99 1.97 1.92 3/101 20884
/proc/meminfo: memFree=1688216/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=6.2
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12038 0 1 0 611 9 0 0 25 0 8 0 185556991 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073964609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11773 2524 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.32
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 490 0 0 0 30 2 0 0 17 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915676
[startup+12.7627 s]
/proc/loadavg: 1.99 1.97 1.92 3/101 20884
/proc/meminfo: memFree=1688216/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=12.65
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12038 0 1 0 1256 9 0 0 25 0 8 0 185556991 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11773 2524 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.32
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 490 0 0 0 30 2 0 0 17 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915676
[startup+25.6223 s]
/proc/loadavg: 1.99 1.97 1.92 3/101 20884
/proc/meminfo: memFree=1688216/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=25.45
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12038 0 1 0 2536 9 0 0 25 0 8 0 185556991 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11773 2524 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.32
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 490 0 0 0 30 2 0 0 17 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915676
[startup+51.2574 s]
/proc/loadavg: 2.07 1.99 1.92 3/101 20884
/proc/meminfo: memFree=1688280/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=50.97
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12038 0 1 0 5087 10 0 0 25 0 8 0 185556991 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11773 2524 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.32
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 490 0 0 0 30 2 0 0 17 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915676
[startup+102.526 s]
/proc/loadavg: 2.08 2.00 1.93 3/101 20884
/proc/meminfo: memFree=1688216/2055920 swapFree=4192812/4192956
[pid=20876] ppid=20874 vsize=915676 CPUtime=101.99
/proc/20876/stat : 20876 (java) R 20874 20876 16860 0 -1 0 12038 0 1 0 10189 10 0 0 25 0 8 0 185556991 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20876/statm: 228919 11773 2524 14 0 215389 0
[pid=20876/tid=20878] ppid=20874 vsize=915676 CPUtime=0.06
/proc/20876/task/20878/stat : 20878 (java) S 20874 20876 16860 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20879] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20879/stat : 20879 (java) S 20874 20876 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20880] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20880/stat : 20880 (java) S 20874 20876 16860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185556995 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20881] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20881/stat : 20881 (java) S 20874 20876 16860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20882] ppid=20874 vsize=915676 CPUtime=0.32
/proc/20876/task/20882/stat : 20882 (java) S 20874 20876 16860 0 -1 64 490 0 0 0 30 2 0 0 17 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20883] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20883/stat : 20883 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20876/tid=20884] ppid=20874 vsize=915676 CPUtime=0
/proc/20876/task/20884/stat : 20884 (java) S 20874 20876 16860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185557001 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 150.424
CPU time (s): 149.661
CPU user time (s): 149.544
CPU system time (s): 0.116982
CPU usage (%): 99.493
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.544
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12050
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= 4425
involuntary context switches= 11440
runsolver used 0.186971 s user time and 0.487925 s system time
The end
Begin job on node11 on Tue Jan 9 19:40:19 UTC 2007
IDJOB= 240276
IDBENCH= 7119
FILE ID= node11/240276-1168371619
PBS_JOBID= 3503791
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240276-1168371619/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-240276-1168371619 -o ROOT/results/node11/solver-240276-1168371619 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240276-1168371619/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0fa951e5d7c1dde14756850748c0bfa9
RANDOM SEED= 221571372
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.261
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.261
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: 1726064 kB
Buffers: 47808 kB
Cached: 151296 kB
SwapCached: 0 kB
Active: 186328 kB
Inactive: 92488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1726064 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2212 kB
Writeback: 0 kB
Mapped: 106300 kB
Slab: 35504 kB
Committed_AS: 6144548 kB
PageTables: 2496 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= 66550 MiB
End job on node11 on Tue Jan 9 19:42:50 UTC 2007