0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/210938-1168203995/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.49 nbVariables=1190 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.49 => wckTime=0.19 cpuTime=0.14 mem=8M869
0.49
0.49 predicates being loaded...
0.49
0.49 constraints being loaded...
1.26 nbConstraints=3007 nbMergedConstraints=175 nbSingletonDomainVariables=68 nbConvertedConstraints=1999
1.26 nbConvertConstraintsChecks=51274 nbExtensionStructures=9 nbSharedExtensionStructures=1990
1.26 nbConflictsStructures=48 nbSharedConflictsStructures=2959 nbSharedBinaryRepresentations=21
1.26 nbEvaluationManagers=39 nbSharedEvaluationManagers=969 maxDegree=185 maxArity=11
1.26 => wckTime=0.967 cpuTime=0.78 mem=40M91
1.34
1.34 solver IterativeSystematicSolver being built...
1.59 => wckTime=1.291 cpuTime=0.99 mem=27M548
2.43
2.43 preprocessing
2.43 nbConstraintChecks=31639 nbValidityChecks=21848 nbPropagations=6310 nbRevisions=32516 nbUselessRevisions=29505
2.43 nbSingletonTests=2151 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
2.43 => wckTime=0.838 cpuTime=0.79 mem=27M548
2.55
2.55 search
2.55 run=0 nbConstraintChecks=6433 nbValidityChecks=7114 nbPropagations=7287 nbRevisions=40823
2.55 nbUselessRevisions=36835 nbAssignments=93 nbFailedAssignments=1 nbBacktracks=16 nbVisitedNodes=96
2.55 nbRestartNogoods=0 mapSize=1 nbInferences=0 nbTooLargeKeys=0
2.55 => wckTime=0.964 cpuTime=0.91 mem=27M548
2.65
2.65 search
2.65 run=1 nbConstraintChecks=11419 nbValidityChecks=14300 nbPropagations=15506 nbRevisions=89313
2.65 nbUselessRevisions=80405 nbAssignments=181 nbFailedAssignments=2 nbBacktracks=37 nbVisitedNodes=186
2.65 nbRestartNogoods=1 mapSize=2 nbInferences=0 nbTooLargeKeys=0
2.65 => wckTime=1.062 cpuTime=1.01 mem=27M548
2.77
2.77 search
2.77 run=2 nbConstraintChecks=17273 nbValidityChecks=21651 nbPropagations=24817 nbRevisions=146246
2.77 nbUselessRevisions=131310 nbAssignments=286 nbFailedAssignments=4 nbBacktracks=73 nbVisitedNodes=295
2.77 nbRestartNogoods=2 mapSize=5 nbInferences=0 nbTooLargeKeys=0
2.77 => wckTime=1.175 cpuTime=1.12 mem=27M548
2.93
2.93 search
2.93 run=3 nbConstraintChecks=28584 nbValidityChecks=34088 nbPropagations=35917 nbRevisions=217466
2.93 nbUselessRevisions=194776 nbAssignments=415 nbFailedAssignments=4 nbBacktracks=106 nbVisitedNodes=448
2.93 nbRestartNogoods=3 mapSize=26 nbInferences=24 nbTooLargeKeys=0
2.93 => wckTime=1.335 cpuTime=1.28 mem=27M548
3.07
3.07 search
3.07 run=4 nbConstraintChecks=39967 nbValidityChecks=45284 nbPropagations=48730 nbRevisions=301852
3.07 nbUselessRevisions=269740 nbAssignments=538 nbFailedAssignments=4 nbBacktracks=158 nbVisitedNodes=587
3.07 nbRestartNogoods=6 mapSize=40 nbInferences=40 nbTooLargeKeys=0
3.07 => wckTime=1.479 cpuTime=1.42 mem=28M522
3.26
3.26 search
3.26 run=5 nbConstraintChecks=50633 nbValidityChecks=55072 nbPropagations=63392 nbRevisions=399239
3.26 nbUselessRevisions=355823 nbAssignments=702 nbFailedAssignments=8 nbBacktracks=237 nbVisitedNodes=767
3.26 nbRestartNogoods=8 mapSize=53 nbInferences=48 nbTooLargeKeys=0
3.26 => wckTime=1.671 cpuTime=1.61 mem=28M522
3.52
3.52 search
3.52 run=6 nbConstraintChecks=69335 nbValidityChecks=73548 nbPropagations=80637 nbRevisions=517855
3.52 nbUselessRevisions=460672 nbAssignments=907 nbFailedAssignments=8 nbBacktracks=373 nbVisitedNodes=1026
3.52 nbRestartNogoods=11 mapSize=106 nbInferences=102 nbTooLargeKeys=0
3.52 => wckTime=1.934 cpuTime=1.87 mem=28M522
3.89
3.89 search
3.89 run=7 nbConstraintChecks=93292 nbValidityChecks=92985 nbPropagations=101436 nbRevisions=662427
3.89 nbUselessRevisions=587920 nbAssignments=1193 nbFailedAssignments=14 nbBacktracks=545 nbVisitedNodes=1367
3.89 nbRestartNogoods=12 mapSize=158 nbInferences=145 nbTooLargeKeys=0
3.89 => wckTime=2.299 cpuTime=2.24 mem=28M522
4.49
4.49 search
4.49 run=8 nbConstraintChecks=128329 nbValidityChecks=127224 nbPropagations=126133 nbRevisions=842804
4.49 nbUselessRevisions=747281 nbAssignments=1622 nbFailedAssignments=17 nbBacktracks=833 nbVisitedNodes=1925
4.49 nbRestartNogoods=15 mapSize=285 nbInferences=268 nbTooLargeKeys=0
4.49 => wckTime=2.897 cpuTime=2.82 mem=28M522
4.93
4.93 search
4.93 run=9 nbConstraintChecks=151362 nbValidityChecks=143976 nbPropagations=153767 nbRevisions=1044331
4.93 nbUselessRevisions=924532 nbAssignments=2048 nbFailedAssignments=41 nbBacktracks=1219 nbVisitedNodes=2399
4.93 nbRestartNogoods=17 mapSize=330 nbInferences=268 nbTooLargeKeys=0
4.93 => wckTime=3.339 cpuTime=3.26 mem=28M522
6.02
6.02 search
6.02 run=10 nbConstraintChecks=234392 nbValidityChecks=197789 nbPropagations=185874 nbRevisions=1291992
6.02 nbUselessRevisions=1143184 nbAssignments=2919 nbFailedAssignments=79 nbBacktracks=1880 nbVisitedNodes=3355
6.02 nbRestartNogoods=20 mapSize=412 nbInferences=269 nbTooLargeKeys=0
6.02 => wckTime=4.428 cpuTime=4.34 mem=28M522
7.26
7.26 search
7.26 run=11 nbConstraintChecks=245077 nbValidityChecks=206647 nbPropagations=219875 nbRevisions=1551046
7.26 nbUselessRevisions=1371302 nbAssignments=3975 nbFailedAssignments=89 nbBacktracks=2842 nbVisitedNodes=4436
7.26 nbRestartNogoods=22 mapSize=436 nbInferences=273 nbTooLargeKeys=0
7.26 => wckTime=5.666 cpuTime=5.57 mem=28M522
8.97
8.97 search
8.97 run=12 nbConstraintChecks=321205 nbValidityChecks=250542 nbPropagations=267133 nbRevisions=1889826
8.97 nbUselessRevisions=1665878 nbAssignments=5460 nbFailedAssignments=113 nbBacktracks=4147 nbVisitedNodes=6068
8.97 nbRestartNogoods=23 mapSize=581 nbInferences=361 nbTooLargeKeys=0
8.97 => wckTime=7.383 cpuTime=7.29 mem=28M522
11.73
11.73 search
11.73 run=13 nbConstraintChecks=435943 nbValidityChecks=322553 nbPropagations=333226 nbRevisions=2347846
11.73 nbUselessRevisions=2061175 nbAssignments=7726 nbFailedAssignments=137 nbBacktracks=6093 nbVisitedNodes=8606
11.73 nbRestartNogoods=25 mapSize=846 nbInferences=583 nbTooLargeKeys=0
11.73 => wckTime=10.139 cpuTime=10.04 mem=29M496
15.95
15.95 search
15.95 run=14 nbConstraintChecks=698744 nbValidityChecks=472402 nbPropagations=443662 nbRevisions=3078882
15.95 nbUselessRevisions=2685506 nbAssignments=11203 nbFailedAssignments=200 nbBacktracks=9022 nbVisitedNodes=12610
15.95 nbRestartNogoods=29 mapSize=1370 nbInferences=975 nbTooLargeKeys=0
15.95 => wckTime=14.363 cpuTime=14.26 mem=29M496
22.29
22.29 search
22.29 run=15 nbConstraintChecks=1336133 nbValidityChecks=791445 nbPropagations=669600 nbRevisions=4489518
22.29 nbUselessRevisions=3875223 nbAssignments=16391 nbFailedAssignments=234 nbBacktracks=13411 nbVisitedNodes=18599
22.29 nbRestartNogoods=32 mapSize=2162 nbInferences=1713 nbTooLargeKeys=0
22.29 => wckTime=20.702 cpuTime=20.57 mem=30M470
32.41
32.41 search
32.41 run=16 nbConstraintChecks=2619109 nbValidityChecks=1438119 nbPropagations=1126040 nbRevisions=7265469
32.41 nbUselessRevisions=6202503 nbAssignments=24623 nbFailedAssignments=283 nbBacktracks=19993 nbVisitedNodes=28459
32.41 nbRestartNogoods=37 mapSize=3777 nbInferences=3249 nbTooLargeKeys=0
32.41 => wckTime=30.816 cpuTime=30.68 mem=32M417
47.62
47.62 search
47.62 run=17 nbConstraintChecks=4489789 nbValidityChecks=2409907 nbPropagations=1911132 nbRevisions=12021815
47.62 nbUselessRevisions=10185823 nbAssignments=36899 nbFailedAssignments=342 nbBacktracks=29851 nbVisitedNodes=43099
47.62 nbRestartNogoods=44 mapSize=6167 nbInferences=5546 nbTooLargeKeys=0
47.62 => wckTime=46.027 cpuTime=45.87 mem=34M365
67.24
67.24 search
67.24 run=18 nbConstraintChecks=7245821 nbValidityChecks=3795999 nbPropagations=3195573 nbRevisions=19629419
67.24 nbUselessRevisions=16516008 nbAssignments=54302 nbFailedAssignments=1050 nbBacktracks=44633
67.24 nbVisitedNodes=63712 nbRestartNogoods=47 mapSize=9330 nbInferences=7396 nbTooLargeKeys=0
67.24 => wckTime=65.647 cpuTime=65.46 mem=37M287
93.08
93.08 search
93.08 run=19 nbConstraintChecks=10542211 nbValidityChecks=5531429 nbPropagations=5120562 nbRevisions=30760000
93.08 nbUselessRevisions=25719664 nbAssignments=79030 nbFailedAssignments=2048 nbBacktracks=66815
93.08 nbVisitedNodes=92266 nbRestartNogoods=58 mapSize=13085 nbInferences=8907 nbTooLargeKeys=0
93.08 => wckTime=91.49 cpuTime=91.28 mem=42M156
101.88
101.88 search
101.88 run=20 nbConstraintChecks=11547551 nbValidityChecks=6035884 nbPropagations=7186806 nbRevisions=42708601
101.88 nbUselessRevisions=35597679 nbAssignments=86745 nbFailedAssignments=2472 nbBacktracks=73825
101.88 nbVisitedNodes=101200 nbRestartNogoods=61 mapSize=14253 nbInferences=9180 nbTooLargeKeys=0
101.88 => wckTime=100.286 cpuTime=100.07 mem=44M103
101.88
101.88 global
101.88 nbConstraintChecks=11579190 nbValidityChecks=6057732 nbPropagations=7193116 nbRevisions=42741117
101.88 nbUselessRevisions=35627184 nbRestartNogoods=61 solvingWckTime=100.287 solvingCpuTime=100.07 expiredTime=no
101.88 totalExploration=yes nbFoundSolutions=0 globalCpuTime=101.11
101.88 => wckTime=101.583 cpuTime=101.06 mem=44M103
101.88
101.88 s UNSATISFIABLE
101.88 d NODES 86745
101.88 d CHECKS 11579190
101.88
101.88 totalWckTime=101.661 totalCpuTime=101.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-210938-1168203995 -o ROOT/results/node2/solver-210938-1168203995 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210938-1168203995/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.94 2.00 1.93 4/87 14989
/proc/meminfo: memFree=1152584/2055920 swapFree=4191880/4192956
[pid=14988] ppid=14986 vsize=9740 CPUtime=0
/proc/14988/stat : 14988 (java) R 14986 14988 13941 0 -1 0 612 0 0 0 0 0 0 0 18 0 1 0 168795205 9973760 388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152795368 0 0 4096 0 0 0 0 17 0 0 0
/proc/14988/statm: 2435 395 316 14 0 1138 0
[startup+0.104775 s]
/proc/loadavg: 1.94 2.00 1.93 4/87 14989
/proc/meminfo: memFree=1152584/2055920 swapFree=4191880/4192956
[pid=14988] ppid=14986 vsize=914988 CPUtime=0.09
/proc/14988/stat : 14988 (java) R 14986 14988 13941 0 -1 0 3070 0 1 0 8 1 0 0 24 0 8 0 168795205 936947712 2816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14988/statm: 228747 2817 1454 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512851 s]
/proc/loadavg: 1.94 2.00 1.93 4/87 14989
/proc/meminfo: memFree=1152584/2055920 swapFree=4191880/4192956
[pid=14988] ppid=14986 vsize=915328 CPUtime=0.5
/proc/14988/stat : 14988 (java) R 14986 14988 13941 0 -1 0 6694 0 1 0 46 4 0 0 25 0 8 0 168795205 937295872 6433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14988/statm: 228832 6433 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.336 s]
/proc/loadavg: 1.95 2.00 1.93 3/94 14996
/proc/meminfo: memFree=1108432/2055920 swapFree=4191880/4192956
[pid=14988] ppid=14986 vsize=915764 CPUtime=1.32
/proc/14988/stat : 14988 (java) R 14986 14988 13941 0 -1 0 14852 0 1 0 110 22 0 0 25 0 8 0 168795205 937742336 14590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14988/statm: 228941 14596 2183 14 0 215411 0
[pid=14988/tid=14990] ppid=14986 vsize=915764 CPUtime=0.06
/proc/14988/task/14990/stat : 14990 (java) R 14986 14988 13941 0 -1 64 483 0 0 0 6 0 0 0 16 0 8 0 168795208 937742336 14599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155526115 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14991] ppid=14986 vsize=915764 CPUtime=0
/proc/14988/task/14991/stat : 14991 (java) S 14986 14988 13941 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 168795209 937742336 14604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14992] ppid=14986 vsize=915764 CPUtime=0
/proc/14988/task/14992/stat : 14992 (java) S 14986 14988 13941 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 168795209 937742336 14608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14993] ppid=14986 vsize=915764 CPUtime=0
/proc/14988/task/14993/stat : 14993 (java) S 14986 14988 13941 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168795212 937742336 14613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14994] ppid=14986 vsize=915764 CPUtime=0.22
/proc/14988/task/14994/stat : 14994 (java) S 14986 14988 13941 0 -1 64 443 0 0 0 21 1 0 0 15 0 8 0 168795212 937742336 14617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14995] ppid=14986 vsize=915764 CPUtime=0
/proc/14988/task/14995/stat : 14995 (java) S 14986 14988 13941 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168795212 937742336 14621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14996] ppid=14986 vsize=915764 CPUtime=0
/proc/14988/task/14996/stat : 14996 (java) S 14986 14988 13941 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168795212 937742336 14625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915764
[startup+2.98931 s]
/proc/loadavg: 1.95 2.00 1.93 3/94 14996
/proc/meminfo: memFree=1101072/2055920 swapFree=4191880/4192956
[pid=14988] ppid=14986 vsize=915728 CPUtime=2.97
/proc/14988/stat : 14988 (java) R 14986 14988 13941 0 -1 0 15615 0 1 0 273 24 0 0 25 0 8 0 168795205 937705472 15351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074143075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14988/statm: 228932 15351 2544 14 0 215402 0
[pid=14988/tid=14990] ppid=14986 vsize=915728 CPUtime=0.06
/proc/14988/task/14990/stat : 14990 (java) S 14986 14988 13941 0 -1 64 730 0 0 0 6 0 0 0 17 0 8 0 168795208 937705472 15351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14991] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14991/stat : 14991 (java) S 14986 14988 13941 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168795209 937705472 15351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14992] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14992/stat : 14992 (java) S 14986 14988 13941 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168795209 937705472 15351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14993] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14993/stat : 14993 (java) S 14986 14988 13941 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168795212 937705472 15351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14994] ppid=14986 vsize=915728 CPUtime=0.32
/proc/14988/task/14994/stat : 14994 (java) S 14986 14988 13941 0 -1 64 502 0 0 0 30 2 0 0 15 0 8 0 168795212 937705472 15351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14995] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14995/stat : 14995 (java) S 14986 14988 13941 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168795212 937705472 15351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14996] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14996/stat : 14996 (java) S 14986 14988 13941 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168795212 937705472 15351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915728
[startup+6.27491 s]
/proc/loadavg: 1.95 2.00 1.93 3/94 14996
/proc/meminfo: memFree=1100944/2055920 swapFree=4191880/4192956
[pid=14988] ppid=14986 vsize=915728 CPUtime=6.25
/proc/14988/stat : 14988 (java) R 14986 14988 13941 0 -1 0 15633 0 1 0 601 24 0 0 25 0 8 0 168795205 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074059802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14988/statm: 228932 15366 2544 14 0 215402 0
[pid=14988/tid=14990] ppid=14986 vsize=915728 CPUtime=0.06
/proc/14988/task/14990/stat : 14990 (java) S 14986 14988 13941 0 -1 64 730 0 0 0 6 0 0 0 17 0 8 0 168795208 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14991] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14991/stat : 14991 (java) S 14986 14988 13941 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168795209 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14992] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14992/stat : 14992 (java) S 14986 14988 13941 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168795209 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14993] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14993/stat : 14993 (java) S 14986 14988 13941 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168795212 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14994] ppid=14986 vsize=915728 CPUtime=0.35
/proc/14988/task/14994/stat : 14994 (java) S 14986 14988 13941 0 -1 64 520 0 0 0 33 2 0 0 15 0 8 0 168795212 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14995] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14995/stat : 14995 (java) S 14986 14988 13941 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168795212 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14996] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14996/stat : 14996 (java) S 14986 14988 13941 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168795212 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915728
[startup+12.7701 s]
/proc/loadavg: 1.95 2.00 1.93 3/94 14996
/proc/meminfo: memFree=1100752/2055920 swapFree=4191880/4192956
[pid=14988] ppid=14986 vsize=915728 CPUtime=12.74
/proc/14988/stat : 14988 (java) R 14986 14988 13941 0 -1 0 15636 0 1 0 1250 24 0 0 25 0 8 0 168795205 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14988/statm: 228932 15366 2544 14 0 215402 0
[pid=14988/tid=14990] ppid=14986 vsize=915728 CPUtime=0.06
/proc/14988/task/14990/stat : 14990 (java) S 14986 14988 13941 0 -1 64 730 0 0 0 6 0 0 0 17 0 8 0 168795208 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14991] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14991/stat : 14991 (java) S 14986 14988 13941 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168795209 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14992] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14992/stat : 14992 (java) S 14986 14988 13941 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168795209 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14993] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14993/stat : 14993 (java) S 14986 14988 13941 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168795212 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14994] ppid=14986 vsize=915728 CPUtime=0.35
/proc/14988/task/14994/stat : 14994 (java) S 14986 14988 13941 0 -1 64 520 0 0 0 33 2 0 0 16 0 8 0 168795212 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14995] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14995/stat : 14995 (java) S 14986 14988 13941 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168795212 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14996] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14996/stat : 14996 (java) S 14986 14988 13941 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168795212 937705472 15366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915728
[startup+25.6345 s]
/proc/loadavg: 1.96 2.00 1.93 3/94 14996
/proc/meminfo: memFree=1100496/2055920 swapFree=4191880/4192956
[pid=14988] ppid=14986 vsize=915728 CPUtime=25.58
/proc/14988/stat : 14988 (java) R 14986 14988 13941 0 -1 0 15638 0 1 0 2534 24 0 0 25 0 8 0 168795205 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14988/statm: 228932 15367 2544 14 0 215402 0
[pid=14988/tid=14990] ppid=14986 vsize=915728 CPUtime=0.06
/proc/14988/task/14990/stat : 14990 (java) S 14986 14988 13941 0 -1 64 730 0 0 0 6 0 0 0 16 0 8 0 168795208 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14991] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14991/stat : 14991 (java) S 14986 14988 13941 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168795209 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14992] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14992/stat : 14992 (java) S 14986 14988 13941 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168795209 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14993] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14993/stat : 14993 (java) S 14986 14988 13941 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168795212 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14994] ppid=14986 vsize=915728 CPUtime=0.36
/proc/14988/task/14994/stat : 14994 (java) S 14986 14988 13941 0 -1 64 521 0 0 0 34 2 0 0 16 0 8 0 168795212 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14995] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14995/stat : 14995 (java) S 14986 14988 13941 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168795212 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14996] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14996/stat : 14996 (java) S 14986 14988 13941 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168795212 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915728
[startup+51.2782 s]
/proc/loadavg: 1.98 2.00 1.93 3/94 14996
/proc/meminfo: memFree=1099728/2055920 swapFree=4191880/4192956
[pid=14988] ppid=14986 vsize=915728 CPUtime=51.19
/proc/14988/stat : 14988 (java) R 14986 14988 13941 0 -1 0 15638 0 1 0 5095 24 0 0 25 0 8 0 168795205 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074049935 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14988/statm: 228932 15367 2544 14 0 215402 0
[pid=14988/tid=14990] ppid=14986 vsize=915728 CPUtime=0.06
/proc/14988/task/14990/stat : 14990 (java) S 14986 14988 13941 0 -1 64 730 0 0 0 6 0 0 0 16 0 8 0 168795208 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14991] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14991/stat : 14991 (java) S 14986 14988 13941 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168795209 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14992] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14992/stat : 14992 (java) S 14986 14988 13941 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168795209 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14993] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14993/stat : 14993 (java) S 14986 14988 13941 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168795212 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14994] ppid=14986 vsize=915728 CPUtime=0.36
/proc/14988/task/14994/stat : 14994 (java) S 14986 14988 13941 0 -1 64 521 0 0 0 34 2 0 0 16 0 8 0 168795212 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14995] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14995/stat : 14995 (java) S 14986 14988 13941 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168795212 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14988/tid=14996] ppid=14986 vsize=915728 CPUtime=0
/proc/14988/task/14996/stat : 14996 (java) S 14986 14988 13941 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168795212 937705472 15367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915728
Child status: 0
Real time (s): 101.914
CPU time (s): 101.771
CPU user time (s): 101.503
CPU system time (s): 0.267959
CPU usage (%): 99.8592
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.503
system time used= 0.267959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16020
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= 3703
involuntary context switches= 4691
runsolver used 0.112982 s user time and 0.349946 s system time
The end
Begin job on node2 on Sun Jan 7 21:06:36 UTC 2007
IDJOB= 210938
IDBENCH= 4657
FILE ID= node2/210938-1168203995
PBS_JOBID= 3480532
Free space on /tmp= 66270 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/37s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210938-1168203995/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-210938-1168203995 -o ROOT/results/node2/solver-210938-1168203995 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210938-1168203995/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 50931393ced8e9e6bd497768a9b58030
RANDOM SEED= 255829585
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: 1153064 kB
Buffers: 54804 kB
Cached: 543284 kB
SwapCached: 448 kB
Active: 418008 kB
Inactive: 418052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1153064 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2344 kB
Writeback: 0 kB
Mapped: 257136 kB
Slab: 51040 kB
Committed_AS: 4271868 kB
PageTables: 2804 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= 66333 MiB
End job on node2 on Sun Jan 7 21:08:18 UTC 2007