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/218424-1168252725/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.43 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.71
0.71 constraints being loaded...
0.88 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.88 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.88 => wckTime=0.548 cpuTime=0.5 mem=42M403
0.97
0.97 solver IterativeSystematicSolver being built...
1.15 => wckTime=0.815 cpuTime=0.64 mem=21M68
1.23
1.23 preprocessing
1.23 nbConstraintChecks=18020 nbValidityChecks=28954 nbPropagations=167 nbRevisions=1520 nbUselessRevisions=1289
1.23 nbSingletonTests=25 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.23 => wckTime=0.08 cpuTime=0.05 mem=21M68
1.29
1.29 search
1.29 run=0 nbConstraintChecks=24867 nbValidityChecks=46182 nbPropagations=467 nbRevisions=5028
1.29 nbUselessRevisions=4057 nbAssignments=26 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=45
1.29 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.138 cpuTime=0.09 mem=22M38
1.34
1.34 search
1.34 run=1 nbConstraintChecks=55646 nbValidityChecks=108492 nbPropagations=1324 nbRevisions=14608
1.34 nbUselessRevisions=11752 nbAssignments=73 nbFailedAssignments=27 nbBacktracks=26 nbVisitedNodes=107
1.34 nbRestartNogoods=5 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.188 cpuTime=0.14 mem=22M38
1.42
1.42 search
1.42 run=2 nbConstraintChecks=106182 nbValidityChecks=209213 nbPropagations=2949 nbRevisions=32814
1.42 nbUselessRevisions=26279 nbAssignments=151 nbFailedAssignments=73 nbBacktracks=51 nbVisitedNodes=248
1.42 nbRestartNogoods=8 mapSize=47 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.274 cpuTime=0.22 mem=22M38
1.51
1.51 search
1.51 run=3 nbConstraintChecks=161623 nbValidityChecks=318451 nbPropagations=5358 nbRevisions=60092
1.51 nbUselessRevisions=47903 nbAssignments=224 nbFailedAssignments=108 nbBacktracks=86 nbVisitedNodes=379
1.51 nbRestartNogoods=9 mapSize=80 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.359 cpuTime=0.29 mem=22M38
1.63
1.63 search
1.63 run=4 nbConstraintChecks=246480 nbValidityChecks=487642 nbPropagations=8957 nbRevisions=101182
1.63 nbUselessRevisions=80356 nbAssignments=342 nbFailedAssignments=166 nbBacktracks=136 nbVisitedNodes=577
1.63 nbRestartNogoods=13 mapSize=120 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.475 cpuTime=0.41 mem=22M38
1.81
1.81 search
1.81 run=5 nbConstraintChecks=382961 nbValidityChecks=749490 nbPropagations=14306 nbRevisions=163266
1.81 nbUselessRevisions=129558 nbAssignments=509 nbFailedAssignments=252 nbBacktracks=211 nbVisitedNodes=871
1.81 nbRestartNogoods=16 mapSize=182 nbInferences=0 nbTooLargeKeys=0
1.81 => wckTime=0.663 cpuTime=0.58 mem=22M38
2.06
2.06 search
2.06 run=6 nbConstraintChecks=576173 nbValidityChecks=1115742 nbPropagations=22132 nbRevisions=252806
2.06 nbUselessRevisions=200344 nbAssignments=751 nbFailedAssignments=358 nbBacktracks=326 nbVisitedNodes=1262
2.07 nbRestartNogoods=29 mapSize=274 nbInferences=0 nbTooLargeKeys=0
2.07 => wckTime=0.915 cpuTime=0.84 mem=22M38
2.47
2.47 search
2.47 run=7 nbConstraintChecks=871186 nbValidityChecks=1689417 nbPropagations=34221 nbRevisions=387107
2.47 nbUselessRevisions=305722 nbAssignments=1113 nbFailedAssignments=547 nbBacktracks=496 nbVisitedNodes=1924
2.47 nbRestartNogoods=34 mapSize=417 nbInferences=0 nbTooLargeKeys=0
2.47 => wckTime=1.323 cpuTime=1.23 mem=22M38
3.08
3.08 search
3.08 run=8 nbConstraintChecks=1326839 nbValidityChecks=2593451 nbPropagations=52731 nbRevisions=592051
3.08 nbUselessRevisions=466461 nbAssignments=1743 nbFailedAssignments=915 nbBacktracks=752 nbVisitedNodes=3080
3.08 nbRestartNogoods=48 mapSize=635 nbInferences=0 nbTooLargeKeys=0
3.08 => wckTime=1.929 cpuTime=1.82 mem=22M38
3.99
3.99 search
3.99 run=9 nbConstraintChecks=2059563 nbValidityChecks=3935443 nbPropagations=79642 nbRevisions=893001
3.99 nbUselessRevisions=701880 nbAssignments=2665 nbFailedAssignments=1447 nbBacktracks=1136 nbVisitedNodes=4747
3.99 nbRestartNogoods=54 mapSize=926 nbInferences=0 nbTooLargeKeys=0
3.99 => wckTime=2.835 cpuTime=2.7 mem=22M38
4.21
4.21 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=22M38)
5.10
5.10 search
5.10 run=10 nbConstraintChecks=2953395 nbValidityChecks=5683170 nbPropagations=118840 nbRevisions=1335765
5.10 nbUselessRevisions=1048449 nbAssignments=3884 nbFailedAssignments=2084 nbBacktracks=1716 nbVisitedNodes=6921
5.10 nbRestartNogoods=59
5.10 => wckTime=3.95 cpuTime=3.8 mem=22M38
6.99
6.99 search
6.99 run=11 nbConstraintChecks=4478842 nbValidityChecks=8756055 nbPropagations=180437 nbRevisions=2021743
6.99 nbUselessRevisions=1584086 nbAssignments=6004 nbFailedAssignments=3335 nbBacktracks=2580 nbVisitedNodes=10904
6.99 nbRestartNogoods=68
6.99 => wckTime=5.844 cpuTime=5.67 mem=22M38
10.18
10.18 search
10.18 run=12 nbConstraintChecks=7087739 nbValidityChecks=13962265 nbPropagations=278310 nbRevisions=3118418
10.18 nbUselessRevisions=2441260 nbAssignments=9474 nbFailedAssignments=5502 nbBacktracks=3878 nbVisitedNodes=17423
10.18 nbRestartNogoods=78
10.18 => wckTime=9.027 cpuTime=8.83 mem=22M38
14.31
14.31 search
14.31 run=13 nbConstraintChecks=10491488 nbValidityChecks=20658889 nbPropagations=423636 nbRevisions=4761478
14.31 nbUselessRevisions=3724496 nbAssignments=13786 nbFailedAssignments=7864 nbBacktracks=5824 nbVisitedNodes=25286
14.31 nbRestartNogoods=87
14.31 => wckTime=13.164 cpuTime=12.92 mem=22M38
22.07
22.07 search
22.07 run=14 nbConstraintChecks=16902378 nbValidityChecks=33438778 nbPropagations=656800 nbRevisions=7371854
22.07 nbUselessRevisions=5761362 nbAssignments=22100 nbFailedAssignments=13243 nbBacktracks=8743 nbVisitedNodes=41101
22.07 nbRestartNogoods=108
22.07 => wckTime=20.924 cpuTime=20.6 mem=22M38
28.92
28.92 search
28.92 run=15 nbConstraintChecks=22579787 nbValidityChecks=44239336 nbPropagations=960529 nbRevisions=10799887
28.92 nbUselessRevisions=8439526 nbAssignments=29547 nbFailedAssignments=17320 nbBacktracks=12093
28.92 nbVisitedNodes=54444 nbRestartNogoods=133
28.92 => wckTime=27.766 cpuTime=27.39 mem=22M38
28.92
28.92 global
28.92 nbConstraintChecks=22597807 nbValidityChecks=44268290 nbPropagations=960696 nbRevisions=10801407
28.92 nbUselessRevisions=8440815 nbRestartNogoods=133 solvingWckTime=27.767 solvingCpuTime=27.39 expiredTime=no
28.92 totalExploration=no nbFoundSolutions=1 globalCpuTime=28.09
28.92 => wckTime=28.586 cpuTime=28.04 mem=22M38
28.92
28.92 s SATISFIABLE
28.92 v 1 15 3 16 4 12 15 7 14 3 0 3 8 18 11 18 13 15 8 16
28.92 d NODES 29547
28.92 d CHECKS 22597807
28.92
28.92 totalWckTime=28.669 totalCpuTime=28.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-218424-1168252725 -o ROOT/results/node9/solver-218424-1168252725 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218424-1168252725/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.92 1.98 1.99 4/87 16012
/proc/meminfo: memFree=1714304/2055920 swapFree=4191880/4192956
[pid=16011] ppid=16009 vsize=18540 CPUtime=0
/proc/16011/stat : 16011 (runsolver) R 16009 16011 15944 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 173667687 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16011/statm: 4635 279 244 17 0 2626 0
[startup+0.107923 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 16012
/proc/meminfo: memFree=1714304/2055920 swapFree=4191880/4192956
[pid=16011] ppid=16009 vsize=913068 CPUtime=0.07
/proc/16011/stat : 16011 (java) S 16009 16011 15944 0 -1 0 2872 0 1 0 6 1 0 0 17 0 8 0 173667687 934981632 2618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16011/statm: 228267 2618 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.515967 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 16012
/proc/meminfo: memFree=1714304/2055920 swapFree=4191880/4192956
[pid=16011] ppid=16009 vsize=915328 CPUtime=0.49
/proc/16011/stat : 16011 (java) R 16009 16011 15944 0 -1 0 7202 0 1 0 44 5 0 0 18 0 8 0 173667687 937295872 6941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16011/statm: 228832 6941 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34306 s]
/proc/loadavg: 1.92 1.98 1.99 4/94 16019
/proc/meminfo: memFree=1656712/2055920 swapFree=4191880/4192956
[pid=16011] ppid=16009 vsize=915460 CPUtime=1.29
/proc/16011/stat : 16011 (java) R 16009 16011 15944 0 -1 0 17091 0 1 0 118 11 0 0 24 0 8 0 173667687 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16011/statm: 228865 16829 2527 14 0 215335 0
[pid=16011/tid=16013] ppid=16009 vsize=915460 CPUtime=0.07
/proc/16011/task/16013/stat : 16013 (java) S 16009 16011 15944 0 -1 64 1792 0 0 0 7 0 0 0 16 0 8 0 173667692 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16014] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16014/stat : 16014 (java) S 16009 16011 15944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173667692 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16015] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16015/stat : 16015 (java) S 16009 16011 15944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173667692 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16016] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16016/stat : 16016 (java) S 16009 16011 15944 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173667696 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16017] ppid=16009 vsize=915460 CPUtime=0.16
/proc/16011/task/16017/stat : 16017 (java) S 16009 16011 15944 0 -1 64 354 0 0 0 15 1 0 0 15 0 8 0 173667696 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16018] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16018/stat : 16018 (java) S 16009 16011 15944 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173667696 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16019] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16019/stat : 16019 (java) S 16009 16011 15944 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173667696 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.99525 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 16019
/proc/meminfo: memFree=1656392/2055920 swapFree=4191880/4192956
[pid=16011] ppid=16009 vsize=915460 CPUtime=2.94
/proc/16011/stat : 16011 (java) R 16009 16011 15944 0 -1 0 17111 0 1 0 282 12 0 0 25 0 8 0 173667687 937431040 16848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16011/statm: 228865 16848 2527 14 0 215335 0
[pid=16011/tid=16013] ppid=16009 vsize=915460 CPUtime=0.07
/proc/16011/task/16013/stat : 16013 (java) S 16009 16011 15944 0 -1 64 1792 0 0 0 7 0 0 0 17 0 8 0 173667692 937431040 16848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16014] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16014/stat : 16014 (java) S 16009 16011 15944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173667692 937431040 16848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16015] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16015/stat : 16015 (java) S 16009 16011 15944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173667692 937431040 16848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16016] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16016/stat : 16016 (java) S 16009 16011 15944 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173667696 937431040 16848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16017] ppid=16009 vsize=915460 CPUtime=0.22
/proc/16011/task/16017/stat : 16017 (java) S 16009 16011 15944 0 -1 64 373 0 0 0 20 2 0 0 16 0 8 0 173667696 937431040 16848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16018] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16018/stat : 16018 (java) S 16009 16011 15944 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173667696 937431040 16848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16019] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16019/stat : 16019 (java) S 16009 16011 15944 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173667696 937431040 16848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.27462 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 16019
/proc/meminfo: memFree=1655944/2055920 swapFree=4191880/4192956
[pid=16011] ppid=16009 vsize=915460 CPUtime=6.18
/proc/16011/stat : 16011 (java) R 16009 16011 15944 0 -1 0 17124 0 1 0 606 12 0 0 25 0 8 0 173667687 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727961 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16011/statm: 228865 16858 2527 14 0 215335 0
[pid=16011/tid=16013] ppid=16009 vsize=915460 CPUtime=0.07
/proc/16011/task/16013/stat : 16013 (java) S 16009 16011 15944 0 -1 64 1792 0 0 0 7 0 0 0 16 0 8 0 173667692 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16014] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16014/stat : 16014 (java) S 16009 16011 15944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173667692 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16015] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16015/stat : 16015 (java) S 16009 16011 15944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173667692 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16016] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16016/stat : 16016 (java) S 16009 16011 15944 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173667696 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16017] ppid=16009 vsize=915460 CPUtime=0.24
/proc/16011/task/16017/stat : 16017 (java) S 16009 16011 15944 0 -1 64 383 0 0 0 22 2 0 0 15 0 8 0 173667696 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16018] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16018/stat : 16018 (java) S 16009 16011 15944 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173667696 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16019] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16019/stat : 16019 (java) S 16009 16011 15944 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173667696 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7754 s]
/proc/loadavg: 1.94 1.98 1.99 3/94 16019
/proc/meminfo: memFree=1655504/2055920 swapFree=4191880/4192956
[pid=16011] ppid=16009 vsize=915460 CPUtime=12.62
/proc/16011/stat : 16011 (java) R 16009 16011 15944 0 -1 0 17125 0 1 0 1250 12 0 0 25 0 8 0 173667687 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16011/statm: 228865 16858 2527 14 0 215335 0
[pid=16011/tid=16013] ppid=16009 vsize=915460 CPUtime=0.07
/proc/16011/task/16013/stat : 16013 (java) S 16009 16011 15944 0 -1 64 1792 0 0 0 7 0 0 0 16 0 8 0 173667692 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16014] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16014/stat : 16014 (java) S 16009 16011 15944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173667692 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16015] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16015/stat : 16015 (java) S 16009 16011 15944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173667692 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16016] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16016/stat : 16016 (java) S 16009 16011 15944 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173667696 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16017] ppid=16009 vsize=915460 CPUtime=0.24
/proc/16011/task/16017/stat : 16017 (java) S 16009 16011 15944 0 -1 64 383 0 0 0 22 2 0 0 16 0 8 0 173667696 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16018] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16018/stat : 16018 (java) S 16009 16011 15944 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173667696 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16019] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16019/stat : 16019 (java) S 16009 16011 15944 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173667696 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
[startup+25.6398 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 16019
/proc/meminfo: memFree=1654992/2055920 swapFree=4191880/4192956
[pid=16011] ppid=16009 vsize=915460 CPUtime=25.37
/proc/16011/stat : 16011 (java) R 16009 16011 15944 0 -1 0 17125 0 1 0 2525 12 0 0 25 0 8 0 173667687 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16011/statm: 228865 16858 2527 14 0 215335 0
[pid=16011/tid=16013] ppid=16009 vsize=915460 CPUtime=0.07
/proc/16011/task/16013/stat : 16013 (java) S 16009 16011 15944 0 -1 64 1792 0 0 0 7 0 0 0 16 0 8 0 173667692 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16014] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16014/stat : 16014 (java) S 16009 16011 15944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173667692 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16015] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16015/stat : 16015 (java) S 16009 16011 15944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173667692 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16016] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16016/stat : 16016 (java) S 16009 16011 15944 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173667696 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16017] ppid=16009 vsize=915460 CPUtime=0.24
/proc/16011/task/16017/stat : 16017 (java) S 16009 16011 15944 0 -1 64 383 0 0 0 22 2 0 0 16 0 8 0 173667696 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16018] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16018/stat : 16018 (java) S 16009 16011 15944 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173667696 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16011/tid=16019] ppid=16009 vsize=915460 CPUtime=0
/proc/16011/task/16019/stat : 16019 (java) S 16009 16011 15944 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173667696 937431040 16858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 28.9506
CPU time (s): 28.6456
CPU user time (s): 28.5047
CPU system time (s): 0.140978
CPU usage (%): 98.9468
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.5047
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17133
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= 1650
involuntary context switches= 2391
runsolver used 0.038994 s user time and 0.104984 s system time
The end
Begin job on node9 on Mon Jan 8 10:38:45 UTC 2007
IDJOB= 218424
IDBENCH= 5235
FILE ID= node9/218424-1168252725
PBS_JOBID= 3481684
Free space on /tmp= 66535 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218424-1168252725/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-218424-1168252725 -o ROOT/results/node9/solver-218424-1168252725 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218424-1168252725/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b4a48de713c00a5a377f5d58d9bb676f
RANDOM SEED= 564478206
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.231
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.231
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: 1714720 kB
Buffers: 36512 kB
Cached: 97448 kB
SwapCached: 408 kB
Active: 223800 kB
Inactive: 58736 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1714720 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3104 kB
Writeback: 0 kB
Mapped: 161260 kB
Slab: 43264 kB
Committed_AS: 4992420 kB
PageTables: 2500 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= 66535 MiB
End job on node9 on Mon Jan 8 10:39:15 UTC 2007