0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/225204-1168271295/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.44 => wckTime=0.11 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
0.79
0.79 constraints being loaded...
0.93 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.93 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.93 => wckTime=0.599 cpuTime=0.54 mem=36M294
0.98
0.98 solver IterativeSystematicSolver being built...
1.14 => wckTime=0.818 cpuTime=0.67 mem=16M389
1.22
1.22 preprocessing
1.22 nbConstraintChecks=469153 nbPropagations=1019 nbRevisions=3422 nbUselessRevisions=1931 nbSingletonTests=53
1.22 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
1.22 => wckTime=0.067 cpuTime=0.06 mem=16M389
1.28
1.28 search
1.28 run=0 nbConstraintChecks=335922 nbPropagations=2637 nbRevisions=8569 nbUselessRevisions=4128 nbAssignments=53
1.28 nbFailedAssignments=37 nbBacktracks=11 nbVisitedNodes=98 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.28 nbTooLargeKeys=0
1.28 => wckTime=0.127 cpuTime=0.11 mem=16M389
1.31
1.31 search
1.31 run=1 nbConstraintChecks=900153 nbPropagations=7390 nbRevisions=24394 nbUselessRevisions=11619
1.31 nbAssignments=125 nbFailedAssignments=89 nbBacktracks=26 nbVisitedNodes=234 nbRestartNogoods=2 mapSize=24
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.164 cpuTime=0.14 mem=16M389
1.37
1.37 search
1.37 run=2 nbConstraintChecks=1668863 nbPropagations=15187 nbRevisions=51402 nbUselessRevisions=23966
1.37 nbAssignments=214 nbFailedAssignments=150 nbBacktracks=50 nbVisitedNodes=403 nbRestartNogoods=8 mapSize=45
1.37 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.222 cpuTime=0.19 mem=16M389
1.42
1.42 search
1.42 run=3 nbConstraintChecks=2406088 nbPropagations=26359 nbRevisions=89291 nbUselessRevisions=41067
1.42 nbAssignments=345 nbFailedAssignments=243 nbBacktracks=83 nbVisitedNodes=648 nbRestartNogoods=9 mapSize=72
1.42 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.274 cpuTime=0.24 mem=16M389
1.48
1.48 search
1.48 run=4 nbConstraintChecks=3436927 nbPropagations=40928 nbRevisions=139457 nbUselessRevisions=63974
1.48 nbAssignments=464 nbFailedAssignments=293 nbBacktracks=134 nbVisitedNodes=833 nbRestartNogoods=23 mapSize=115
1.48 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.334 cpuTime=0.3 mem=16M389
1.61
1.61 search
1.61 run=5 nbConstraintChecks=5326983 nbPropagations=63390 nbRevisions=216055 nbUselessRevisions=98285
1.61 nbAssignments=721 nbFailedAssignments=462 nbBacktracks=209 nbVisitedNodes=1305 nbRestartNogoods=30 mapSize=179
1.61 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.462 cpuTime=0.42 mem=16M389
1.79
1.79 search
1.79 run=6 nbConstraintChecks=8200260 nbPropagations=96367 nbRevisions=329924 nbUselessRevisions=149161
1.79 nbAssignments=1064 nbFailedAssignments=687 nbBacktracks=324 nbVisitedNodes=1957 nbRestartNogoods=38
1.79 mapSize=279 nbInferences=0 nbTooLargeKeys=0
1.79 => wckTime=0.638 cpuTime=0.59 mem=17M362
2.04
2.04 search
2.04 run=7 nbConstraintChecks=11771978 nbPropagations=147712 nbRevisions=503402 nbUselessRevisions=225641
2.04 nbAssignments=1659 nbFailedAssignments=1108 nbBacktracks=494 nbVisitedNodes=3092 nbRestartNogoods=41
2.04 mapSize=433 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=0.887 cpuTime=0.82 mem=17M362
2.41
2.41 search
2.41 run=8 nbConstraintChecks=18355877 nbPropagations=222883 nbRevisions=761619 nbUselessRevisions=340039
2.41 nbAssignments=2394 nbFailedAssignments=1582 nbBacktracks=751 nbVisitedNodes=4482 nbRestartNogoods=46
2.41 mapSize=644 nbInferences=0 nbTooLargeKeys=0
2.41 => wckTime=1.263 cpuTime=1.19 mem=17M362
3.04
3.04 search
3.04 run=9 nbConstraintChecks=29308865 nbPropagations=340471 nbRevisions=1172506 nbUselessRevisions=523379
3.04 nbAssignments=3810 nbFailedAssignments=2599 nbBacktracks=1137 nbVisitedNodes=7204 nbRestartNogoods=58
3.04 mapSize=991 nbInferences=1 nbTooLargeKeys=0
3.04 => wckTime=1.89 cpuTime=1.8 mem=17M362
3.06
3.06 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=17M362)
3.82
3.82 search
3.82 run=10 nbConstraintChecks=42221893 nbPropagations=520127 nbRevisions=1788373 nbUselessRevisions=794769
3.82 nbAssignments=5787 nbFailedAssignments=3993 nbBacktracks=1715 nbVisitedNodes=10994 nbRestartNogoods=66
3.82 => wckTime=2.668 cpuTime=2.57 mem=17M362
5.04
5.04 search
5.04 run=11 nbConstraintChecks=64555637 nbPropagations=778471 nbRevisions=2688344 nbUselessRevisions=1193416
5.04 nbAssignments=8125 nbFailedAssignments=5438 nbBacktracks=2581 nbVisitedNodes=15360 nbRestartNogoods=75
5.04 => wckTime=3.889 cpuTime=3.78 mem=17M362
6.82
6.82 search
6.82 run=12 nbConstraintChecks=94312586 nbPropagations=1181845 nbRevisions=4084555 nbUselessRevisions=1805986
6.82 nbAssignments=12387 nbFailedAssignments=8339 nbBacktracks=3878 nbVisitedNodes=23368 nbRestartNogoods=94
6.82 => wckTime=5.67 cpuTime=5.55 mem=17M362
9.10
9.10 search
9.10 run=13 nbConstraintChecks=134101873 nbPropagations=1758426 nbRevisions=6085225 nbUselessRevisions=2681042
9.10 nbAssignments=17662 nbFailedAssignments=11652 nbBacktracks=5824 nbVisitedNodes=33244 nbRestartNogoods=108
9.10 => wckTime=7.952 cpuTime=7.81 mem=17M362
13.76
13.76 search
13.77 run=14 nbConstraintChecks=218526699 nbPropagations=2634785 nbRevisions=9146414 nbUselessRevisions=4017747
13.77 nbAssignments=26840 nbFailedAssignments=17906 nbBacktracks=8743 nbVisitedNodes=50736 nbRestartNogoods=122
13.77 => wckTime=12.617 cpuTime=12.43 mem=17M362
19.05
19.05 search
19.05 run=15 nbConstraintChecks=309017235 nbPropagations=3917690 nbRevisions=13613013 nbUselessRevisions=5966434
19.05 nbAssignments=39640 nbFailedAssignments=26325 nbBacktracks=13121 nbVisitedNodes=74904 nbRestartNogoods=135
19.05 => wckTime=17.897 cpuTime=17.66 mem=17M362
28.19
28.19 search
28.19 run=16 nbConstraintChecks=467632328 nbPropagations=5887927 nbRevisions=20461426 nbUselessRevisions=8951209
28.19 nbAssignments=60796 nbFailedAssignments=40901 nbBacktracks=19690 nbVisitedNodes=115126 nbRestartNogoods=160
28.19 => wckTime=27.042 cpuTime=26.73 mem=17M362
35.42
35.42 search
35.42 run=17 nbConstraintChecks=591149274 nbPropagations=8417344 nbRevisions=29244094 nbUselessRevisions=12783896
35.42 nbAssignments=78727 nbFailedAssignments=52955 nbBacktracks=25464 nbVisitedNodes=148865 nbRestartNogoods=184
35.42 => wckTime=34.273 cpuTime=33.89 mem=17M362
35.42
35.42 global
35.42 nbConstraintChecks=591618427 nbPropagations=8418363 nbRevisions=29247516 nbUselessRevisions=12785827
35.42 nbRestartNogoods=184 solvingWckTime=34.274 solvingCpuTime=33.89 expiredTime=no totalExploration=no
35.42 nbFoundSolutions=1 globalCpuTime=34.6
35.42 => wckTime=35.097 cpuTime=34.56 mem=17M362
35.43
35.43 s SATISFIABLE
35.43 v 41 3 133 120 28 139 42 138 137 71 111 165 58 174 168 147 123 13 146 106 31 104 6 64 125 73 27 84 177 96 164 152 14 100 2 22 76 68 94 56
35.43 d NODES 78727
35.43 d CHECKS 591618427
35.43
35.43 totalWckTime=35.179 totalCpuTime=34.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-225204-1168271295 -o ROOT/results/node30/solver-225204-1168271295 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225204-1168271295/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.08 1.22 1.59 4/86 3815
/proc/meminfo: memFree=734560/2055920 swapFree=4191880/4192956
[pid=3814] ppid=3812 vsize=1784 CPUtime=0
/proc/3814/stat : 3814 (java) R 3812 3814 3570 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 175523447 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/3814/statm: 446 140 106 14 0 91 0
[startup+0.106085 s]
/proc/loadavg: 1.08 1.22 1.59 4/86 3815
/proc/meminfo: memFree=734560/2055920 swapFree=4191880/4192956
[pid=3814] ppid=3812 vsize=914988 CPUtime=0.09
/proc/3814/stat : 3814 (java) R 3812 3814 3570 0 -1 0 3003 0 1 0 8 1 0 0 20 0 8 0 175523447 936947712 2749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3814/statm: 228747 2749 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518113 s]
/proc/loadavg: 1.08 1.22 1.59 4/86 3815
/proc/meminfo: memFree=734560/2055920 swapFree=4191880/4192956
[pid=3814] ppid=3812 vsize=915328 CPUtime=0.48
/proc/3814/stat : 3814 (java) R 3812 3814 3570 0 -1 0 7190 0 5 0 45 3 0 0 18 0 8 0 175523447 937295872 6933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073561769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3814/statm: 228832 6933 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34717 s]
/proc/loadavg: 1.08 1.22 1.59 3/93 3822
/proc/meminfo: memFree=680424/2055920 swapFree=4191880/4192956
[pid=3814] ppid=3812 vsize=915464 CPUtime=1.3
/proc/3814/stat : 3814 (java) R 3812 3814 3570 0 -1 0 14357 0 5 0 124 6 0 0 25 0 8 0 175523447 937435136 14099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073747336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3814/statm: 228866 14099 2524 14 0 215336 0
[pid=3814/tid=3816] ppid=3812 vsize=915464 CPUtime=0.04
/proc/3814/task/3816/stat : 3816 (java) S 3812 3814 3570 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175523451 937435136 14099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3817] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3817/stat : 3817 (java) S 3812 3814 3570 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175523452 937435136 14099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3818] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3818/stat : 3818 (java) S 3812 3814 3570 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175523452 937435136 14099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3819] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3819/stat : 3819 (java) S 3812 3814 3570 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175523455 937435136 14099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3820] ppid=3812 vsize=915464 CPUtime=0.17
/proc/3814/task/3820/stat : 3820 (java) S 3812 3814 3570 0 -1 64 358 0 0 0 17 0 0 0 15 0 8 0 175523455 937435136 14099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3821] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3821/stat : 3821 (java) S 3812 3814 3570 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175523455 937435136 14099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3822] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3822/stat : 3822 (java) S 3812 3814 3570 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175523455 937435136 14099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.98727 s]
/proc/loadavg: 1.15 1.23 1.60 3/93 3822
/proc/meminfo: memFree=674408/2055920 swapFree=4191880/4192956
[pid=3814] ppid=3812 vsize=915464 CPUtime=2.92
/proc/3814/stat : 3814 (java) R 3812 3814 3570 0 -1 0 14375 0 5 0 285 7 0 0 25 0 8 0 175523447 937435136 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073740087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3814/statm: 228866 14116 2524 14 0 215336 0
[pid=3814/tid=3816] ppid=3812 vsize=915464 CPUtime=0.04
/proc/3814/task/3816/stat : 3816 (java) S 3812 3814 3570 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175523451 937435136 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3817] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3817/stat : 3817 (java) S 3812 3814 3570 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175523452 937435136 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3818] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3818/stat : 3818 (java) S 3812 3814 3570 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175523452 937435136 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3819] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3819/stat : 3819 (java) S 3812 3814 3570 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175523455 937435136 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3820] ppid=3812 vsize=915464 CPUtime=0.21
/proc/3814/task/3820/stat : 3820 (java) S 3812 3814 3570 0 -1 64 374 0 0 0 21 0 0 0 15 0 8 0 175523455 937435136 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3821] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3821/stat : 3821 (java) S 3812 3814 3570 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175523455 937435136 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3822] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3822/stat : 3822 (java) S 3812 3814 3570 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175523455 937435136 14116 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+6.26748 s]
/proc/loadavg: 1.15 1.23 1.60 3/93 3822
/proc/meminfo: memFree=734768/2055920 swapFree=4191880/4192956
[pid=3814] ppid=3812 vsize=915464 CPUtime=6.18
/proc/3814/stat : 3814 (java) R 3812 3814 3570 0 -1 0 14379 0 5 0 610 8 0 0 25 0 8 0 175523447 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3814/statm: 228866 14119 2524 14 0 215336 0
[pid=3814/tid=3816] ppid=3812 vsize=915464 CPUtime=0.04
/proc/3814/task/3816/stat : 3816 (java) S 3812 3814 3570 0 -1 64 611 0 0 0 4 0 0 0 16 0 8 0 175523451 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3817] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3817/stat : 3817 (java) S 3812 3814 3570 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175523452 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3818] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3818/stat : 3818 (java) S 3812 3814 3570 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175523452 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3819] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3819/stat : 3819 (java) S 3812 3814 3570 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175523455 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3820] ppid=3812 vsize=915464 CPUtime=0.22
/proc/3814/task/3820/stat : 3820 (java) S 3812 3814 3570 0 -1 64 377 0 0 0 21 1 0 0 15 0 8 0 175523455 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3821] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3821/stat : 3821 (java) S 3812 3814 3570 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175523455 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3822] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3822/stat : 3822 (java) S 3812 3814 3570 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175523455 937435136 14119 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+12.7569 s]
/proc/loadavg: 1.28 1.26 1.60 3/93 3822
/proc/meminfo: memFree=690864/2055920 swapFree=4191880/4192956
[pid=3814] ppid=3812 vsize=915464 CPUtime=12.61
/proc/3814/stat : 3814 (java) R 3812 3814 3570 0 -1 0 14379 0 5 0 1253 8 0 0 25 0 8 0 175523447 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742486 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3814/statm: 228866 14119 2524 14 0 215336 0
[pid=3814/tid=3816] ppid=3812 vsize=915464 CPUtime=0.04
/proc/3814/task/3816/stat : 3816 (java) S 3812 3814 3570 0 -1 64 611 0 0 0 4 0 0 0 16 0 8 0 175523451 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3817] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3817/stat : 3817 (java) S 3812 3814 3570 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175523452 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3818] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3818/stat : 3818 (java) S 3812 3814 3570 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175523452 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3819] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3819/stat : 3819 (java) S 3812 3814 3570 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175523455 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3820] ppid=3812 vsize=915464 CPUtime=0.22
/proc/3814/task/3820/stat : 3820 (java) S 3812 3814 3570 0 -1 64 377 0 0 0 21 1 0 0 15 0 8 0 175523455 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3821] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3821/stat : 3821 (java) S 3812 3814 3570 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175523455 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3822] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3822/stat : 3822 (java) S 3812 3814 3570 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175523455 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
[startup+25.6147 s]
/proc/loadavg: 1.39 1.28 1.60 3/93 3822
/proc/meminfo: memFree=703792/2055920 swapFree=4191880/4192956
[pid=3814] ppid=3812 vsize=915464 CPUtime=25.35
/proc/3814/stat : 3814 (java) R 3812 3814 3570 0 -1 0 14381 0 5 0 2527 8 0 0 25 0 8 0 175523447 937435136 14120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3814/statm: 228866 14120 2524 14 0 215336 0
[pid=3814/tid=3816] ppid=3812 vsize=915464 CPUtime=0.04
/proc/3814/task/3816/stat : 3816 (java) S 3812 3814 3570 0 -1 64 611 0 0 0 4 0 0 0 16 0 8 0 175523451 937435136 14120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3817] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3817/stat : 3817 (java) S 3812 3814 3570 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175523452 937435136 14120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3818] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3818/stat : 3818 (java) S 3812 3814 3570 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175523452 937435136 14120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3819] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3819/stat : 3819 (java) S 3812 3814 3570 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175523455 937435136 14120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3820] ppid=3812 vsize=915464 CPUtime=0.22
/proc/3814/task/3820/stat : 3820 (java) S 3812 3814 3570 0 -1 64 378 0 0 0 21 1 0 0 16 0 8 0 175523455 937435136 14120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3821] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3821/stat : 3821 (java) S 3812 3814 3570 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175523455 937435136 14120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3814/tid=3822] ppid=3812 vsize=915464 CPUtime=0
/proc/3814/task/3822/stat : 3822 (java) S 3812 3814 3570 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175523455 937435136 14120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 35.4768
CPU time (s): 35.0927
CPU user time (s): 35.0007
CPU system time (s): 0.091986
CPU usage (%): 98.9172
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.0007
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14388
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1785
involuntary context switches= 2693
runsolver used 0.054991 s user time and 0.111982 s system time
The end
Begin job on node30 on Mon Jan 8 15:48:15 UTC 2007
IDJOB= 225204
IDBENCH= 5835
FILE ID= node30/225204-1168271295
PBS_JOBID= 3483197
Free space on /tmp= 66490 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225204-1168271295/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-225204-1168271295 -o ROOT/results/node30/solver-225204-1168271295 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225204-1168271295/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e7744e2e0b31c6eb2d2c94934bc76323
RANDOM SEED= 779199334
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.234
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.234
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: 735168 kB
Buffers: 12688 kB
Cached: 1131144 kB
SwapCached: 268 kB
Active: 724468 kB
Inactive: 539720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 735168 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 6024 kB
Writeback: 0 kB
Mapped: 138740 kB
Slab: 41340 kB
Committed_AS: 3906808 kB
PageTables: 2364 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= 66490 MiB
End job on node30 on Mon Jan 8 15:48:51 UTC 2007