0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/230174-1168081041/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.40 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.53
0.53 constraints being loaded...
0.67 nbConstraints=483 nbRelationTypes=483 nbExtensionStructures=483 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=483 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4944 maxDegree=31
0.67 maxArity=2
0.67 => wckTime=0.362 cpuTime=0.28 mem=15M777
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.553 cpuTime=0.4 mem=15M253
0.87
0.87 preprocessing
0.87 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87 detectedInconsistency=no
0.87 => wckTime=0.0080 cpuTime=0.01 mem=15M253
0.91
0.91 search
0.91 run=0 nbConstraintChecks=51857 nbPropagations=582 nbRevisions=8583 nbUselessRevisions=7340 nbAssignments=24
0.91 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.053 cpuTime=0.04 mem=15M253
0.94
0.94 search
0.94 run=1 nbConstraintChecks=116770 nbPropagations=1831 nbRevisions=27447 nbUselessRevisions=23289
0.94 nbAssignments=53 nbFailedAssignments=18 nbBacktracks=25 nbVisitedNodes=90 nbRestartNogoods=3 mapSize=23
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.079 cpuTime=0.05 mem=15M253
0.96
0.96 search
0.96 run=2 nbConstraintChecks=216369 nbPropagations=4063 nbRevisions=62661 nbUselessRevisions=52985
0.96 nbAssignments=102 nbFailedAssignments=39 nbBacktracks=48 nbVisitedNodes=175 nbRestartNogoods=5 mapSize=45
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.103 cpuTime=0.07 mem=15M253
0.99
0.99 search
0.99 run=3 nbConstraintChecks=363343 nbPropagations=7603 nbRevisions=121127 nbUselessRevisions=102227
0.99 nbAssignments=171 nbFailedAssignments=69 nbBacktracks=82 nbVisitedNodes=296 nbRestartNogoods=9 mapSize=77
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.129 cpuTime=0.1 mem=15M253
1.02
1.02 search
1.02 run=4 nbConstraintChecks=556272 nbPropagations=13047 nbRevisions=212551 nbUselessRevisions=179201
1.02 nbAssignments=270 nbFailedAssignments=113 nbBacktracks=132 nbVisitedNodes=475 nbRestartNogoods=12 mapSize=124
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.164 cpuTime=0.13 mem=15M253
1.08
1.08 search
1.08 run=5 nbConstraintChecks=876559 nbPropagations=21459 nbRevisions=355201 nbUselessRevisions=298847
1.08 nbAssignments=414 nbFailedAssignments=177 nbBacktracks=207 nbVisitedNodes=738 nbRestartNogoods=18 mapSize=195
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.222 cpuTime=0.19 mem=15M253
1.16
1.16 search
1.16 run=6 nbConstraintChecks=1338706 nbPropagations=34122 nbRevisions=573741 nbUselessRevisions=482259
1.16 nbAssignments=643 nbFailedAssignments=289 nbBacktracks=320 nbVisitedNodes=1158 nbRestartNogoods=28 mapSize=303
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.3 cpuTime=0.26 mem=15M253
1.28
1.28 search
1.28 run=7 nbConstraintChecks=2078304 nbPropagations=53250 nbRevisions=906349 nbUselessRevisions=760135
1.28 nbAssignments=974 nbFailedAssignments=445 nbBacktracks=490 nbVisitedNodes=1766 nbRestartNogoods=35 mapSize=469
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.418 cpuTime=0.38 mem=15M253
1.45
1.45 search
1.45 run=8 nbConstraintChecks=3182292 nbPropagations=81941 nbRevisions=1412513 nbUselessRevisions=1183333
1.45 nbAssignments=1481 nbFailedAssignments=693 nbBacktracks=746 nbVisitedNodes=2708 nbRestartNogoods=43
1.45 mapSize=715 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.588 cpuTime=0.54 mem=15M253
1.65
1.65 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=15M253)
1.69
1.69 search
1.69 run=9 nbConstraintChecks=4774062 nbPropagations=124892 nbRevisions=2180898 nbUselessRevisions=1826761
1.69 nbAssignments=2247 nbFailedAssignments=1071 nbBacktracks=1130 nbVisitedNodes=4127 nbRestartNogoods=47
1.69 => wckTime=0.835 cpuTime=0.77 mem=15M253
2.02
2.02 search
2.02 run=10 nbConstraintChecks=7146144 nbPropagations=188386 nbRevisions=3314224 nbUselessRevisions=2772498
2.02 nbAssignments=3364 nbFailedAssignments=1608 nbBacktracks=1706 nbVisitedNodes=6190 nbRestartNogoods=55
2.02 => wckTime=1.165 cpuTime=1.1 mem=15M253
2.51
2.51 search
2.51 run=11 nbConstraintChecks=10634426 nbPropagations=283711 nbRevisions=5035766 nbUselessRevisions=4213431
2.51 nbAssignments=5065 nbFailedAssignments=2442 nbBacktracks=2570 nbVisitedNodes=9347 nbRestartNogoods=69
2.51 => wckTime=1.655 cpuTime=1.59 mem=15M253
3.27
3.27 search
3.27 run=12 nbConstraintChecks=16104952 nbPropagations=427316 nbRevisions=7653767 nbUselessRevisions=6404204
3.27 nbAssignments=7632 nbFailedAssignments=3708 nbBacktracks=3869 nbVisitedNodes=14110 nbRestartNogoods=75
3.27 => wckTime=2.407 cpuTime=2.34 mem=15M253
4.33
4.33 search
4.33 run=13 nbConstraintChecks=23904000 nbPropagations=639560 nbRevisions=11519718 nbUselessRevisions=9638640
4.33 nbAssignments=11355 nbFailedAssignments=5480 nbBacktracks=5815 nbVisitedNodes=20975 nbRestartNogoods=81
4.33 => wckTime=3.473 cpuTime=3.4 mem=15M253
5.91
5.91 search
5.91 run=14 nbConstraintChecks=35504463 nbPropagations=953571 nbRevisions=17214017 nbUselessRevisions=14394551
5.91 nbAssignments=16876 nbFailedAssignments=8078 nbBacktracks=8734 nbVisitedNodes=31141 nbRestartNogoods=95
5.91 => wckTime=5.05 cpuTime=4.99 mem=15M253
8.37
8.37 search
8.37 run=15 nbConstraintChecks=53597184 nbPropagations=1427621 nbRevisions=25887076 nbUselessRevisions=21648939
8.37 nbAssignments=25376 nbFailedAssignments=12193 nbBacktracks=13115 nbVisitedNodes=46916 nbRestartNogoods=105
8.37 => wckTime=7.507 cpuTime=7.44 mem=15M253
12.13
12.13 search
12.13 run=16 nbConstraintChecks=81391668 nbPropagations=2145248 nbRevisions=39126310 nbUselessRevisions=32731887
12.13 nbAssignments=38360 nbFailedAssignments=18604 nbBacktracks=19684 nbVisitedNodes=71114 nbRestartNogoods=118
12.13 => wckTime=11.268 cpuTime=11.2 mem=15M253
17.78
17.78 search
17.78 run=17 nbConstraintChecks=122661983 nbPropagations=3229930 nbRevisions=59346613 nbUselessRevisions=49698343
17.78 nbAssignments=57874 nbFailedAssignments=28262 nbBacktracks=29537 nbVisitedNodes=107398 nbRestartNogoods=127
17.78 => wckTime=16.917 cpuTime=16.85 mem=15M253
26.34
26.34 search
26.34 run=18 nbConstraintChecks=186212562 nbPropagations=4863597 nbRevisions=89808965 nbUselessRevisions=75248591
26.34 nbAssignments=86901 nbFailedAssignments=42507 nbBacktracks=44315 nbVisitedNodes=161421 nbRestartNogoods=137
26.34 => wckTime=25.484 cpuTime=25.42 mem=15M253
39.17
39.17 search
39.17 run=19 nbConstraintChecks=282167034 nbPropagations=7323105 nbRevisions=135716480 nbUselessRevisions=113750914
39.17 nbAssignments=130171 nbFailedAssignments=63604 nbBacktracks=66484 nbVisitedNodes=241729 nbRestartNogoods=149
39.17 => wckTime=38.313 cpuTime=38.23 mem=15M253
49.66
49.66 search
49.66 run=20 nbConstraintChecks=360522691 nbPropagations=10449791 nbRevisions=194241461 nbUselessRevisions=162842299
49.66 nbAssignments=164912 nbFailedAssignments=80607 nbBacktracks=84223 nbVisitedNodes=306367 nbRestartNogoods=162
49.66 => wckTime=48.797 cpuTime=48.7 mem=15M253
49.66
49.66 global
49.66 nbConstraintChecks=360522691 nbPropagations=10449841 nbRevisions=194241461 nbUselessRevisions=162842299
49.66 nbRestartNogoods=162 solvingWckTime=48.797 solvingCpuTime=48.7 expiredTime=no totalExploration=yes
49.66 nbFoundSolutions=0 globalCpuTime=49.14
49.66 => wckTime=49.353 cpuTime=49.1 mem=15M253
49.66
49.66 s UNSATISFIABLE
49.66 d NODES 164912
49.66 d CHECKS 360522691
49.66
49.66 totalWckTime=49.428 totalCpuTime=49.14
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-230174-1168081041 -o ROOT/results/node72/solver-230174-1168081041 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230174-1168081041/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: 0.07 0.43 1.13 5/82 2122
/proc/meminfo: memFree=1447496/2055920 swapFree=4192812/4192956
[pid=2121] ppid=2119 vsize=1784 CPUtime=0
/proc/2121/stat : 2121 (java) R 2119 2121 1684 0 -1 0 148 0 0 0 0 0 0 0 19 0 1 0 156514367 1826816 120 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134549483 0 0 4096 0 0 0 0 17 1 0 0
/proc/2121/statm: 446 136 102 14 0 91 0
[startup+0.103939 s]
/proc/loadavg: 0.07 0.43 1.13 5/82 2122
/proc/meminfo: memFree=1447496/2055920 swapFree=4192812/4192956
[pid=2121] ppid=2119 vsize=914988 CPUtime=0.08
/proc/2121/stat : 2121 (java) R 2119 2121 1684 0 -1 0 2994 0 1 0 7 1 0 0 16 0 8 0 156514367 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2121/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511974 s]
/proc/loadavg: 0.07 0.43 1.13 5/82 2122
/proc/meminfo: memFree=1447496/2055920 swapFree=4192812/4192956
[pid=2121] ppid=2119 vsize=915328 CPUtime=0.49
/proc/2121/stat : 2121 (java) S 2119 2121 1684 0 -1 0 6925 0 1 0 45 4 0 0 16 0 8 0 156514367 937295872 6664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2121/statm: 228832 6664 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33405 s]
/proc/loadavg: 0.07 0.43 1.13 3/88 2130
/proc/meminfo: memFree=1421912/2055920 swapFree=4192812/4192956
[pid=2121] ppid=2119 vsize=915460 CPUtime=1.31
/proc/2121/stat : 2121 (java) R 2119 2121 1684 0 -1 0 9159 0 1 0 125 6 0 0 16 0 8 0 156514367 937431040 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816563 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2121/statm: 228865 8897 2513 14 0 215335 0
[pid=2121/tid=2123] ppid=2119 vsize=915460 CPUtime=0.03
/proc/2121/task/2123/stat : 2123 (java) S 2119 2121 1684 0 -1 64 381 0 0 0 3 0 0 0 16 0 8 0 156514371 937431040 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2121/tid=2124] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2124/stat : 2124 (java) S 2119 2121 1684 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156514372 937431040 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2125] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2125/stat : 2125 (java) S 2119 2121 1684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156514372 937431040 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2126] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2126/stat : 2126 (java) S 2119 2121 1684 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156514375 937431040 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2127] ppid=2119 vsize=915460 CPUtime=0.2
/proc/2121/task/2127/stat : 2127 (java) S 2119 2121 1684 0 -1 64 381 0 0 0 19 1 0 0 16 0 8 0 156514375 937431040 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2128] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2128/stat : 2128 (java) S 2119 2121 1684 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156514375 937431040 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2129] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2129/stat : 2129 (java) R 2119 2121 1684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156514375 937431040 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.9842 s]
/proc/loadavg: 0.07 0.43 1.13 2/88 2130
/proc/meminfo: memFree=1421784/2055920 swapFree=4192812/4192956
[pid=2121] ppid=2119 vsize=915460 CPUtime=2.96
/proc/2121/stat : 2121 (java) R 2119 2121 1684 0 -1 0 9175 0 1 0 290 6 0 0 17 0 8 0 156514367 937431040 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2121/statm: 228865 8911 2513 14 0 215335 0
[pid=2121/tid=2123] ppid=2119 vsize=915460 CPUtime=0.03
/proc/2121/task/2123/stat : 2123 (java) S 2119 2121 1684 0 -1 64 381 0 0 0 3 0 0 0 16 0 8 0 156514371 937431040 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2121/tid=2124] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2124/stat : 2124 (java) S 2119 2121 1684 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156514372 937431040 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2125] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2125/stat : 2125 (java) S 2119 2121 1684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156514372 937431040 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2126] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2126/stat : 2126 (java) S 2119 2121 1684 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156514375 937431040 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2127] ppid=2119 vsize=915460 CPUtime=0.22
/proc/2121/task/2127/stat : 2127 (java) S 2119 2121 1684 0 -1 64 396 0 0 0 21 1 0 0 15 0 8 0 156514375 937431040 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2128] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2128/stat : 2128 (java) S 2119 2121 1684 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156514375 937431040 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2129] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2129/stat : 2129 (java) S 2119 2121 1684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156514375 937431040 8911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.26149 s]
/proc/loadavg: 0.14 0.44 1.13 2/88 2130
/proc/meminfo: memFree=1421784/2055920 swapFree=4192812/4192956
[pid=2121] ppid=2119 vsize=915460 CPUtime=6.23
/proc/2121/stat : 2121 (java) R 2119 2121 1684 0 -1 0 9177 0 1 0 617 6 0 0 19 0 8 0 156514367 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838327 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2121/statm: 228865 8912 2513 14 0 215335 0
[pid=2121/tid=2123] ppid=2119 vsize=915460 CPUtime=0.03
/proc/2121/task/2123/stat : 2123 (java) S 2119 2121 1684 0 -1 64 381 0 0 0 3 0 0 0 16 0 8 0 156514371 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2121/tid=2124] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2124/stat : 2124 (java) S 2119 2121 1684 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156514372 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2125] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2125/stat : 2125 (java) S 2119 2121 1684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156514372 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2126] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2126/stat : 2126 (java) S 2119 2121 1684 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156514375 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2127] ppid=2119 vsize=915460 CPUtime=0.22
/proc/2121/task/2127/stat : 2127 (java) S 2119 2121 1684 0 -1 64 397 0 0 0 21 1 0 0 16 0 8 0 156514375 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2128] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2128/stat : 2128 (java) S 2119 2121 1684 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156514375 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2129] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2129/stat : 2129 (java) S 2119 2121 1684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156514375 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7441 s]
/proc/loadavg: 0.21 0.45 1.13 2/88 2130
/proc/meminfo: memFree=1421784/2055920 swapFree=4192812/4192956
[pid=2121] ppid=2119 vsize=915460 CPUtime=12.71
/proc/2121/stat : 2121 (java) R 2119 2121 1684 0 -1 0 9177 0 1 0 1265 6 0 0 25 0 8 0 156514367 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849904 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2121/statm: 228865 8912 2513 14 0 215335 0
[pid=2121/tid=2123] ppid=2119 vsize=915460 CPUtime=0.03
/proc/2121/task/2123/stat : 2123 (java) S 2119 2121 1684 0 -1 64 381 0 0 0 3 0 0 0 16 0 8 0 156514371 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2121/tid=2124] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2124/stat : 2124 (java) S 2119 2121 1684 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156514372 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2125] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2125/stat : 2125 (java) S 2119 2121 1684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156514372 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2126] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2126/stat : 2126 (java) S 2119 2121 1684 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156514375 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2127] ppid=2119 vsize=915460 CPUtime=0.22
/proc/2121/task/2127/stat : 2127 (java) S 2119 2121 1684 0 -1 64 397 0 0 0 21 1 0 0 16 0 8 0 156514375 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2128] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2128/stat : 2128 (java) S 2119 2121 1684 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156514375 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2129] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2129/stat : 2129 (java) S 2119 2121 1684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156514375 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915460
[startup+25.5743 s]
/proc/loadavg: 0.46 0.49 1.13 2/88 2130
/proc/meminfo: memFree=1421784/2055920 swapFree=4192812/4192956
[pid=2121] ppid=2119 vsize=915460 CPUtime=25.54
/proc/2121/stat : 2121 (java) R 2119 2121 1684 0 -1 0 9177 0 1 0 2548 6 0 0 25 0 8 0 156514367 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836575 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2121/statm: 228865 8912 2513 14 0 215335 0
[pid=2121/tid=2123] ppid=2119 vsize=915460 CPUtime=0.03
/proc/2121/task/2123/stat : 2123 (java) S 2119 2121 1684 0 -1 64 381 0 0 0 3 0 0 0 16 0 8 0 156514371 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2121/tid=2124] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2124/stat : 2124 (java) S 2119 2121 1684 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156514372 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2125] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2125/stat : 2125 (java) S 2119 2121 1684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156514372 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2126] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2126/stat : 2126 (java) S 2119 2121 1684 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156514375 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2127] ppid=2119 vsize=915460 CPUtime=0.22
/proc/2121/task/2127/stat : 2127 (java) S 2119 2121 1684 0 -1 64 397 0 0 0 21 1 0 0 16 0 8 0 156514375 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2128] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2128/stat : 2128 (java) S 2119 2121 1684 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156514375 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2121/tid=2129] ppid=2119 vsize=915460 CPUtime=0
/proc/2121/task/2129/stat : 2129 (java) S 2119 2121 1684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156514375 937431040 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 49.7231
CPU time (s): 49.6265
CPU user time (s): 49.5435
CPU system time (s): 0.082987
CPU usage (%): 99.8056
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.5435
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9183
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= 1855
involuntary context switches= 191
runsolver used 0.051992 s user time and 0.134979 s system time
The end
Begin job on node72 on Sat Jan 6 10:57:27 UTC 2007
IDJOB= 230174
IDBENCH= 6400
FILE ID= node72/230174-1168081041
PBS_JOBID= 3476177
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-52_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230174-1168081041/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-230174-1168081041 -o ROOT/results/node72/solver-230174-1168081041 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230174-1168081041/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 697b75829a4b2f79d1b8ce7ffe73c720
RANDOM SEED= 334692103
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1448248 kB
Buffers: 42232 kB
Cached: 445260 kB
SwapCached: 0 kB
Active: 151200 kB
Inactive: 384468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1448248 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2044 kB
Writeback: 0 kB
Mapped: 67168 kB
Slab: 57116 kB
Committed_AS: 2627520 kB
PageTables: 2112 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= 66549 MiB
End job on node72 on Sat Jan 6 10:58:29 UTC 2007