0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/225846-1168080647/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.39 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.73
0.73 constraints being loaded...
0.86 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=7 maxArity=2
0.86 => wckTime=0.565 cpuTime=0.51 mem=36M339
0.91
0.91 solver IterativeSystematicSolver being built...
1.06 => wckTime=0.769 cpuTime=0.64 mem=16M200
1.07
1.07 preprocessing
1.07 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.07 detectedInconsistency=no
1.07 => wckTime=0.0020 cpuTime=0.01 mem=16M200
1.17
1.17 search
1.17 run=0 nbConstraintChecks=443610 nbPropagations=1630 nbRevisions=6037 nbUselessRevisions=2822 nbAssignments=58
1.17 nbFailedAssignments=44 nbBacktracks=10 nbVisitedNodes=109 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.17 nbTooLargeKeys=0
1.17 => wckTime=0.102 cpuTime=0.07 mem=16M200
1.20
1.20 search
1.20 run=1 nbConstraintChecks=765455 nbPropagations=4976 nbRevisions=18146 nbUselessRevisions=8262
1.20 nbAssignments=104 nbFailedAssignments=71 nbBacktracks=25 nbVisitedNodes=192 nbRestartNogoods=3 mapSize=23
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.127 cpuTime=0.09 mem=16M200
1.24
1.24 search
1.24 run=2 nbConstraintChecks=1340901 nbPropagations=10463 nbRevisions=38520 nbUselessRevisions=17266
1.24 nbAssignments=152 nbFailedAssignments=93 nbBacktracks=48 nbVisitedNodes=278 nbRestartNogoods=4 mapSize=41
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.169 cpuTime=0.13 mem=16M200
1.31
1.31 search
1.31 run=3 nbConstraintChecks=2439302 nbPropagations=20966 nbRevisions=76229 nbUselessRevisions=33566
1.31 nbAssignments=282 nbFailedAssignments=184 nbBacktracks=81 nbVisitedNodes=528 nbRestartNogoods=17 mapSize=73
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.244 cpuTime=0.2 mem=16M200
1.39
1.39 search
1.39 run=4 nbConstraintChecks=3711884 nbPropagations=36699 nbRevisions=133491 nbUselessRevisions=58338
1.39 nbAssignments=403 nbFailedAssignments=250 nbBacktracks=133 nbVisitedNodes=750 nbRestartNogoods=21 mapSize=123
1.39 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.319 cpuTime=0.28 mem=16M200
1.54
1.54 search
1.54 run=5 nbConstraintChecks=6261343 nbPropagations=62510 nbRevisions=227783 nbUselessRevisions=99464
1.54 nbAssignments=742 nbFailedAssignments=510 nbBacktracks=210 nbVisitedNodes=1401 nbRestartNogoods=32 mapSize=186
1.54 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.469 cpuTime=0.43 mem=16M200
1.72
1.72 search
1.72 run=6 nbConstraintChecks=9211449 nbPropagations=101852 nbRevisions=370911 nbUselessRevisions=161563
1.72 nbAssignments=1087 nbFailedAssignments=736 nbBacktracks=325 nbVisitedNodes=2063 nbRestartNogoods=37
1.72 mapSize=297 nbInferences=0 nbTooLargeKeys=0
1.72 => wckTime=0.651 cpuTime=0.6 mem=16M200
2.04
2.04 search
2.04 run=7 nbConstraintChecks=14471868 nbPropagations=162135 nbRevisions=593136 nbUselessRevisions=260181
2.04 nbAssignments=1786 nbFailedAssignments=1262 nbBacktracks=495 nbVisitedNodes=3419 nbRestartNogoods=40
2.04 mapSize=448 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=0.969 cpuTime=0.9 mem=17M171
2.49
2.49 search
2.49 run=8 nbConstraintChecks=22236112 nbPropagations=256777 nbRevisions=939001 nbUselessRevisions=413081
2.49 nbAssignments=2743 nbFailedAssignments=1960 nbBacktracks=751 nbVisitedNodes=5275 nbRestartNogoods=62
2.49 mapSize=687 nbInferences=0 nbTooLargeKeys=0
2.49 => wckTime=1.418 cpuTime=1.34 mem=17M171
3.02
3.02 search
3.02 run=9 nbConstraintChecks=32062132 nbPropagations=391115 nbRevisions=1428904 nbUselessRevisions=628844
3.02 nbAssignments=3862 nbFailedAssignments=2690 nbBacktracks=1135 nbVisitedNodes=7404 nbRestartNogoods=67
3.02 mapSize=1030 nbInferences=1 nbTooLargeKeys=0
3.02 => wckTime=1.954 cpuTime=1.87 mem=17M171
3.04
3.04 INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=17M171)
4.08
4.08 search
4.08 run=10 nbConstraintChecks=51090343 nbPropagations=606569 nbRevisions=2217054 nbUselessRevisions=976051
4.08 nbAssignments=6223 nbFailedAssignments=4470 nbBacktracks=1711 nbVisitedNodes=12005 nbRestartNogoods=74
4.08 => wckTime=3.011 cpuTime=2.92 mem=17M171
4.98
4.98 search
4.98 run=11 nbConstraintChecks=67611963 nbPropagations=890166 nbRevisions=3257248 nbUselessRevisions=1434194
4.98 nbAssignments=8062 nbFailedAssignments=5441 nbBacktracks=2577 nbVisitedNodes=15353 nbRestartNogoods=90
4.98 => wckTime=3.909 cpuTime=3.81 mem=17M171
6.71
6.71 search
6.71 run=12 nbConstraintChecks=99151311 nbPropagations=1311520 nbRevisions=4795107 nbUselessRevisions=2110122
6.71 nbAssignments=11994 nbFailedAssignments=8074 nbBacktracks=3875 nbVisitedNodes=22830 nbRestartNogoods=106
6.71 => wckTime=5.637 cpuTime=5.53 mem=17M171
9.18
9.18 search
9.18 run=13 nbConstraintChecks=144698446 nbPropagations=1925647 nbRevisions=7039056 nbUselessRevisions=3099767
9.18 nbAssignments=17804 nbFailedAssignments=11934 nbBacktracks=5821 nbVisitedNodes=33784 nbRestartNogoods=110
9.18 => wckTime=8.109 cpuTime=7.98 mem=17M171
13.38
13.38 search
13.38 run=14 nbConstraintChecks=223242129 nbPropagations=2868917 nbRevisions=10479341 nbUselessRevisions=4615235
13.38 nbAssignments=27672 nbFailedAssignments=18879 nbBacktracks=8741 nbVisitedNodes=52711 nbRestartNogoods=114
13.38 => wckTime=12.314 cpuTime=12.16 mem=17M171
18.98
18.98 search
18.98 run=15 nbConstraintChecks=326195989 nbPropagations=4258230 nbRevisions=15542897 nbUselessRevisions=6846751
18.98 nbAssignments=41187 nbFailedAssignments=28010 nbBacktracks=13121 nbVisitedNodes=78344 nbRestartNogoods=123
18.98 => wckTime=17.914 cpuTime=17.71 mem=17M171
27.89
27.89 search
27.89 run=16 nbConstraintChecks=491314110 nbPropagations=6306689 nbRevisions=23053890 nbUselessRevisions=10169163
27.89 nbAssignments=61428 nbFailedAssignments=41678 nbBacktracks=19689 nbVisitedNodes=116493 nbRestartNogoods=127
27.89 => wckTime=26.818 cpuTime=26.57 mem=17M171
41.79
41.79 search
41.79 run=17 nbConstraintChecks=736386432 nbPropagations=9389242 nbRevisions=34355763 nbUselessRevisions=15172516
41.79 nbAssignments=93225 nbFailedAssignments=63617 nbBacktracks=29542 nbVisitedNodes=176906 nbRestartNogoods=135
41.79 => wckTime=40.722 cpuTime=40.45 mem=17M171
61.79
61.79 search
61.79 run=18 nbConstraintChecks=1084253514 nbPropagations=13970873 nbRevisions=51141097 nbUselessRevisions=22584838
61.79 nbAssignments=137240 nbFailedAssignments=92848 nbBacktracks=44321 nbVisitedNodes=260394 nbRestartNogoods=157
61.79 => wckTime=60.717 cpuTime=60.45 mem=17M171
93.74
93.74 search
93.74 run=19 nbConstraintChecks=1647046580 nbPropagations=20896097 nbRevisions=76563917 nbUselessRevisions=33829152
93.74 nbAssignments=208940 nbFailedAssignments=142378 nbBacktracks=66489 nbVisitedNodes=396741 nbRestartNogoods=165
93.74 => wckTime=92.671 cpuTime=92.36 mem=17M171
126.71
126.71 search
126.71 run=20 nbConstraintChecks=2222806410 nbPropagations=30267736 nbRevisions=110990366 nbUselessRevisions=49067668
126.71 nbAssignments=284121 nbFailedAssignments=194750 nbBacktracks=89258 nbVisitedNodes=539908 nbRestartNogoods=179
126.71 => wckTime=125.638 cpuTime=125.32 mem=17M171
126.71
126.71 global
126.71 nbConstraintChecks=2222806410 nbPropagations=30267776 nbRevisions=110990366 nbUselessRevisions=49067668
126.71 nbRestartNogoods=179 solvingWckTime=125.639 solvingCpuTime=125.32 expiredTime=no totalExploration=no
126.71 nbFoundSolutions=1 globalCpuTime=126.01
126.71 => wckTime=126.413 cpuTime=125.96 mem=17M171
126.71
126.71 s SATISFIABLE
126.71 v 96 153 83 11 54 2 112 113 80 89 80 128 37 30 77 41 46 111 142 105 118 28 118 125 76 3 110 179 159 179 33 66 159 132 150 84 88 5 103 146
126.71 d NODES 284121
126.71 d CHECKS 2222806410
126.71
126.71 totalWckTime=126.489 totalCpuTime=126.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-225846-1168080647 -o ROOT/results/node15/solver-225846-1168080647 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225846-1168080647/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.58 1.48 1.80 5/86 15754
/proc/meminfo: memFree=997976/2055920 swapFree=4174172/4192956
[pid=15753] ppid=15748 vsize=72 CPUtime=0
/proc/15753/stat : 15753 (java) R 15748 15753 14943 0 -1 0 18 0 0 0 0 0 0 0 19 0 1 0 156460245 73728 2 18446744073709551615 0 0 4294957032 18446744073709551615 240472616231 0 0 4096 0 0 0 0 17 1 0 0
/proc/15753/statm: 18 2 0 0 0 1 0
[startup+0.108233 s]
/proc/loadavg: 0.58 1.48 1.80 5/86 15754
/proc/meminfo: memFree=997976/2055920 swapFree=4174172/4192956
[pid=15753] ppid=15748 vsize=914988 CPUtime=0.09
/proc/15753/stat : 15753 (java) R 15748 15753 14943 0 -1 0 3070 0 1 0 8 1 0 0 23 0 8 0 156460245 936947712 2816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155518291 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15753/statm: 228747 2816 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51629 s]
/proc/loadavg: 0.58 1.48 1.80 5/86 15754
/proc/meminfo: memFree=997976/2055920 swapFree=4174172/4192956
[pid=15753] ppid=15748 vsize=915328 CPUtime=0.5
/proc/15753/stat : 15753 (java) R 15748 15753 14943 0 -1 0 8029 0 1 0 47 3 0 0 25 0 8 0 156460245 937295872 7768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073588999 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15753/statm: 228832 7768 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33743 s]
/proc/loadavg: 0.58 1.48 1.80 4/100 15768
/proc/meminfo: memFree=904936/2055920 swapFree=4174172/4192956
[pid=15753] ppid=15748 vsize=915464 CPUtime=1.31
/proc/15753/stat : 15753 (java) R 15748 15753 14943 0 -1 0 14335 0 1 0 124 7 0 0 25 0 8 0 156460245 937435136 14073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073740977 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15753/statm: 228866 14073 2513 14 0 215336 0
[pid=15753/tid=15756] ppid=15748 vsize=915464 CPUtime=0.03
/proc/15753/task/15756/stat : 15756 (java) S 15748 15753 14943 0 -1 64 612 0 0 0 3 0 0 0 17 0 8 0 156460249 937435136 14073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15759] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15759/stat : 15759 (java) S 15748 15753 14943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15760] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15760/stat : 15760 (java) S 15748 15753 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15761] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15761/stat : 15761 (java) S 15748 15753 14943 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156460252 937435136 14073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15762] ppid=15748 vsize=915464 CPUtime=0.16
/proc/15753/task/15762/stat : 15762 (java) S 15748 15753 14943 0 -1 64 359 0 0 0 15 1 0 0 15 0 8 0 156460252 937435136 14073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15763] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15763/stat : 15763 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156460252 937435136 14073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15766] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15766/stat : 15766 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156460252 937435136 14073 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+2.97471 s]
/proc/loadavg: 0.70 1.49 1.81 4/100 15768
/proc/meminfo: memFree=904808/2055920 swapFree=4174172/4192956
[pid=15753] ppid=15748 vsize=915464 CPUtime=2.94
/proc/15753/stat : 15753 (java) R 15748 15753 14943 0 -1 0 14351 0 1 0 286 8 0 0 25 0 8 0 156460245 937435136 14087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15753/statm: 228866 14087 2513 14 0 215336 0
[pid=15753/tid=15756] ppid=15748 vsize=915464 CPUtime=0.03
/proc/15753/task/15756/stat : 15756 (java) S 15748 15753 14943 0 -1 64 612 0 0 0 3 0 0 0 17 0 8 0 156460249 937435136 14087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15759] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15759/stat : 15759 (java) S 15748 15753 14943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15760] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15760/stat : 15760 (java) S 15748 15753 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15761] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15761/stat : 15761 (java) S 15748 15753 14943 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156460252 937435136 14087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15762] ppid=15748 vsize=915464 CPUtime=0.19
/proc/15753/task/15762/stat : 15762 (java) S 15748 15753 14943 0 -1 64 372 0 0 0 18 1 0 0 15 0 8 0 156460252 937435136 14087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15763] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15763/stat : 15763 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156460252 937435136 14087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15766] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15766/stat : 15766 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156460252 937435136 14087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.27427 s]
/proc/loadavg: 0.70 1.49 1.81 4/100 15768
/proc/meminfo: memFree=904744/2055920 swapFree=4174172/4192956
[pid=15753] ppid=15748 vsize=915464 CPUtime=6.23
/proc/15753/stat : 15753 (java) R 15748 15753 14943 0 -1 0 14356 0 1 0 615 8 0 0 25 0 8 0 156460245 937435136 14091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918486 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15753/statm: 228866 14091 2513 14 0 215336 0
[pid=15753/tid=15756] ppid=15748 vsize=915464 CPUtime=0.03
/proc/15753/task/15756/stat : 15756 (java) S 15748 15753 14943 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156460249 937435136 14091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15759] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15759/stat : 15759 (java) S 15748 15753 14943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15760] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15760/stat : 15760 (java) S 15748 15753 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15761] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15761/stat : 15761 (java) S 15748 15753 14943 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156460252 937435136 14091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15762] ppid=15748 vsize=915464 CPUtime=0.19
/proc/15753/task/15762/stat : 15762 (java) S 15748 15753 14943 0 -1 64 376 0 0 0 18 1 0 0 16 0 8 0 156460252 937435136 14091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15763] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15763/stat : 15763 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156460252 937435136 14091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15766] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15766/stat : 15766 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156460252 937435136 14091 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+12.7514 s]
/proc/loadavg: 0.90 1.51 1.81 4/100 15768
/proc/meminfo: memFree=904752/2055920 swapFree=4174172/4192956
[pid=15753] ppid=15748 vsize=915464 CPUtime=12.66
/proc/15753/stat : 15753 (java) R 15748 15753 14943 0 -1 0 14358 0 1 0 1258 8 0 0 25 0 8 0 156460245 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15753/statm: 228866 14092 2513 14 0 215336 0
[pid=15753/tid=15756] ppid=15748 vsize=915464 CPUtime=0.03
/proc/15753/task/15756/stat : 15756 (java) S 15748 15753 14943 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156460249 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15759] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15759/stat : 15759 (java) S 15748 15753 14943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15760] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15760/stat : 15760 (java) S 15748 15753 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15761] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15761/stat : 15761 (java) S 15748 15753 14943 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15762] ppid=15748 vsize=915464 CPUtime=0.2
/proc/15753/task/15762/stat : 15762 (java) S 15748 15753 14943 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15763] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15763/stat : 15763 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15766] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15766/stat : 15766 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915464
[startup+25.6106 s]
/proc/loadavg: 1.06 1.52 1.81 3/100 15768
/proc/meminfo: memFree=904944/2055920 swapFree=4174172/4192956
[pid=15753] ppid=15748 vsize=915464 CPUtime=25.43
/proc/15753/stat : 15753 (java) R 15748 15753 14943 0 -1 0 14358 0 1 0 2535 8 0 0 25 0 8 0 156460245 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741054 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15753/statm: 228866 14092 2513 14 0 215336 0
[pid=15753/tid=15756] ppid=15748 vsize=915464 CPUtime=0.03
/proc/15753/task/15756/stat : 15756 (java) S 15748 15753 14943 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156460249 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15759] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15759/stat : 15759 (java) S 15748 15753 14943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15760] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15760/stat : 15760 (java) S 15748 15753 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15761] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15761/stat : 15761 (java) S 15748 15753 14943 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15762] ppid=15748 vsize=915464 CPUtime=0.2
/proc/15753/task/15762/stat : 15762 (java) S 15748 15753 14943 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15763] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15763/stat : 15763 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15766] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15766/stat : 15766 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915464
[startup+51.303 s]
/proc/loadavg: 1.04 1.48 1.79 2/88 15777
/proc/meminfo: memFree=955600/2055920 swapFree=4174172/4192956
[pid=15753] ppid=15748 vsize=915464 CPUtime=51.08
/proc/15753/stat : 15753 (java) R 15748 15753 14943 0 -1 0 14358 0 1 0 5100 8 0 0 25 0 8 0 156460245 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15753/statm: 228866 14092 2513 14 0 215336 0
[pid=15753/tid=15756] ppid=15748 vsize=915464 CPUtime=0.03
/proc/15753/task/15756/stat : 15756 (java) S 15748 15753 14943 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156460249 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15759] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15759/stat : 15759 (java) S 15748 15753 14943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15760] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15760/stat : 15760 (java) S 15748 15753 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15761] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15761/stat : 15761 (java) S 15748 15753 14943 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15762] ppid=15748 vsize=915464 CPUtime=0.2
/proc/15753/task/15762/stat : 15762 (java) S 15748 15753 14943 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15763] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15763/stat : 15763 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15766] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15766/stat : 15766 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915464
[startup+102.577 s]
/proc/loadavg: 1.08 1.42 1.75 2/88 15832
/proc/meminfo: memFree=952976/2055920 swapFree=4174172/4192956
[pid=15753] ppid=15748 vsize=915464 CPUtime=102.32
/proc/15753/stat : 15753 (java) R 15748 15753 14943 0 -1 0 14358 0 1 0 10223 9 0 0 25 0 8 0 156460245 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15753/statm: 228866 14092 2513 14 0 215336 0
[pid=15753/tid=15756] ppid=15748 vsize=915464 CPUtime=0.03
/proc/15753/task/15756/stat : 15756 (java) S 15748 15753 14943 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156460249 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15759] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15759/stat : 15759 (java) S 15748 15753 14943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15760] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15760/stat : 15760 (java) S 15748 15753 14943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15761] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15761/stat : 15761 (java) S 15748 15753 14943 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15762] ppid=15748 vsize=915464 CPUtime=0.2
/proc/15753/task/15762/stat : 15762 (java) S 15748 15753 14943 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15763] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15763/stat : 15763 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15753/tid=15766] ppid=15748 vsize=915464 CPUtime=0
/proc/15753/task/15766/stat : 15766 (java) S 15748 15753 14943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156460252 937435136 14092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 126.768
CPU time (s): 126.471
CPU user time (s): 126.367
CPU system time (s): 0.103984
CPU usage (%): 99.7653
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.367
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14364
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= 3594
involuntary context switches= 5536
runsolver used 0.131979 s user time and 0.357945 s system time
The end
Begin job on node15 on Sat Jan 6 10:50:50 UTC 2007
IDJOB= 225846
IDBENCH= 5902
FILE ID= node15/225846-1168080647
PBS_JOBID= 3475801
Free space on /tmp= 66280 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-57_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225846-1168080647/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-225846-1168080647 -o ROOT/results/node15/solver-225846-1168080647 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225846-1168080647/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f8bf2ea5c0f5bd31444eac644d9156f8
RANDOM SEED= 543377267
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.276
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.276
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: 999200 kB
Buffers: 85444 kB
Cached: 830324 kB
SwapCached: 7128 kB
Active: 354504 kB
Inactive: 598596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 999200 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 6932 kB
Writeback: 0 kB
Mapped: 45920 kB
Slab: 88520 kB
Committed_AS: 4161792 kB
PageTables: 2224 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= 66283 MiB
End job on node15 on Sat Jan 6 10:53:06 UTC 2007