0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=esac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/202496-1168152025/unknown.xml
0.45
0.45 domains being loaded...
0.46
0.46 variables being loaded...
0.49 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.49 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.49
0.49 relations being loaded...
0.60
0.60 constraints being loaded...
0.72 nbConstraints=348 nbRelationTypes=348 nbExtensionStructures=348 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=348 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3168 maxDegree=24
0.72 maxArity=2
0.72 => wckTime=0.33 cpuTime=0.24 mem=13M778
0.76
0.76 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.539 cpuTime=0.38 mem=15M28
0.98
0.98 preprocessing
0.98 nbConstraintChecks=57397 nbPropagations=839 nbRevisions=6513 nbUselessRevisions=5388 nbSingletonTests=45
0.98 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.98 => wckTime=0.051 cpuTime=0.03 mem=15M28
1.01
1.01 search
1.01 run=0 nbConstraintChecks=30459 nbPropagations=1269 nbRevisions=11405 nbUselessRevisions=9388 nbAssignments=26
1.01 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.074 cpuTime=0.05 mem=15M28
1.03
1.03 search
1.03 run=1 nbConstraintChecks=63069 nbPropagations=3016 nbRevisions=28459 nbUselessRevisions=23310 nbAssignments=53
1.03 nbFailedAssignments=16 nbBacktracks=27 nbVisitedNodes=82 nbRestartNogoods=2 mapSize=22 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.094 cpuTime=0.06 mem=15M28
1.05
1.05 search
1.05 run=2 nbConstraintChecks=128063 nbPropagations=5651 nbRevisions=57113 nbUselessRevisions=46600
1.05 nbAssignments=103 nbFailedAssignments=34 nbBacktracks=50 nbVisitedNodes=164 nbRestartNogoods=3 mapSize=43
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.113 cpuTime=0.08 mem=15M28
1.06
1.06 search
1.06 run=3 nbConstraintChecks=201221 nbPropagations=9341 nbRevisions=99484 nbUselessRevisions=81210
1.06 nbAssignments=168 nbFailedAssignments=56 nbBacktracks=85 nbVisitedNodes=267 nbRestartNogoods=7 mapSize=72
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.129 cpuTime=0.1 mem=15M28
1.09
1.09 search
1.09 run=4 nbConstraintChecks=315327 nbPropagations=14687 nbRevisions=164385 nbUselessRevisions=134296
1.09 nbAssignments=270 nbFailedAssignments=96 nbBacktracks=140 nbVisitedNodes=435 nbRestartNogoods=11 mapSize=117
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.156 cpuTime=0.12 mem=15M28
1.14
1.14 search
1.14 run=5 nbConstraintChecks=538221 nbPropagations=22794 nbRevisions=268181 nbUselessRevisions=218442
1.14 nbAssignments=410 nbFailedAssignments=152 nbBacktracks=216 nbVisitedNodes=689 nbRestartNogoods=14 mapSize=188
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.209 cpuTime=0.16 mem=15M28
1.20
1.20 search
1.20 run=6 nbConstraintChecks=801997 nbPropagations=34611 nbRevisions=421581 nbUselessRevisions=342672
1.20 nbAssignments=615 nbFailedAssignments=221 nbBacktracks=333 nbVisitedNodes=1021 nbRestartNogoods=19 mapSize=284
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.262 cpuTime=0.21 mem=15M28
1.27
1.27 search
1.27 run=7 nbConstraintChecks=1183657 nbPropagations=51720 nbRevisions=649770 nbUselessRevisions=528127
1.27 nbAssignments=900 nbFailedAssignments=329 nbBacktracks=503 nbVisitedNodes=1517 nbRestartNogoods=22 mapSize=426
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.337 cpuTime=0.29 mem=15M28
1.39
1.39 search
1.40 run=8 nbConstraintChecks=1839574 nbPropagations=77132 nbRevisions=998588 nbUselessRevisions=810603
1.40 nbAssignments=1363 nbFailedAssignments=531 nbBacktracks=759 nbVisitedNodes=2328 nbRestartNogoods=28
1.40 mapSize=645 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.462 cpuTime=0.41 mem=15M28
1.58
1.58 search
1.58 run=9 nbConstraintChecks=2745563 nbPropagations=114561 nbRevisions=1515827 nbUselessRevisions=1228178
1.58 nbAssignments=2022 nbFailedAssignments=799 nbBacktracks=1144 nbVisitedNodes=3474 nbRestartNogoods=31
1.58 mapSize=977 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.644 cpuTime=0.57 mem=15M28
1.61
1.61 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=15M28)
1.80
1.80 search
1.80 run=10 nbConstraintChecks=3963727 nbPropagations=168948 nbRevisions=2275750 nbUselessRevisions=1843853
1.80 nbAssignments=2967 nbFailedAssignments=1149 nbBacktracks=1720 nbVisitedNodes=5086 nbRestartNogoods=37
1.80 => wckTime=0.87 cpuTime=0.78 mem=15M28
2.13
2.13 search
2.13 run=11 nbConstraintChecks=6003352 nbPropagations=249396 nbRevisions=3409551 nbUselessRevisions=2761098
2.13 nbAssignments=4403 nbFailedAssignments=1713 nbBacktracks=2588 nbVisitedNodes=7583 nbRestartNogoods=41
2.13 => wckTime=1.2 cpuTime=1.11 mem=15M28
2.60
2.60 search
2.60 run=12 nbConstraintChecks=8656061 nbPropagations=368184 nbRevisions=5098563 nbUselessRevisions=4132666
2.60 nbAssignments=6618 nbFailedAssignments=2624 nbBacktracks=3885 nbVisitedNodes=11456 nbRestartNogoods=46
2.60 => wckTime=1.665 cpuTime=1.57 mem=15M28
3.28
3.28 search
3.28 run=13 nbConstraintChecks=12681813 nbPropagations=543062 nbRevisions=7581326 nbUselessRevisions=6147134
3.28 nbAssignments=9815 nbFailedAssignments=3869 nbBacktracks=5831 nbVisitedNodes=16987 nbRestartNogoods=55
3.28 => wckTime=2.346 cpuTime=2.24 mem=15M28
4.32
4.32 search
4.32 run=14 nbConstraintChecks=18901374 nbPropagations=803533 nbRevisions=11278253 nbUselessRevisions=9147104
4.32 nbAssignments=14577 nbFailedAssignments=5706 nbBacktracks=8752 nbVisitedNodes=25175 nbRestartNogoods=59
4.32 => wckTime=3.389 cpuTime=3.28 mem=15M28
5.88
5.88 search
5.88 run=15 nbConstraintChecks=28121069 nbPropagations=1191472 nbRevisions=16814210 nbUselessRevisions=13648792
5.88 nbAssignments=21874 nbFailedAssignments=8616 nbBacktracks=13132 nbVisitedNodes=37871 nbRestartNogoods=65
5.88 => wckTime=4.943 cpuTime=4.82 mem=15M28
8.26
8.26 search
8.26 run=16 nbConstraintChecks=42499368 nbPropagations=1772994 nbRevisions=25158557 nbUselessRevisions=20435400
8.26 nbAssignments=32729 nbFailedAssignments=12898 nbBacktracks=19700 nbVisitedNodes=56699 nbRestartNogoods=71
8.26 => wckTime=7.324 cpuTime=7.17 mem=15M28
11.64
11.64 search
11.64 run=17 nbConstraintChecks=62608917 nbPropagations=2636234 nbRevisions=37534380 nbUselessRevisions=30506846
11.64 nbAssignments=48637 nbFailedAssignments=18949 nbBacktracks=29552 nbVisitedNodes=84180 nbRestartNogoods=80
11.64 => wckTime=10.705 cpuTime=10.52 mem=15M28
17.24
17.24 search
17.24 run=18 nbConstraintChecks=97743470 nbPropagations=3953737 nbRevisions=56395819 nbUselessRevisions=45809121
17.24 nbAssignments=73112 nbFailedAssignments=28638 nbBacktracks=44332 nbVisitedNodes=126971 nbRestartNogoods=86
17.24 => wckTime=16.309 cpuTime=16.09 mem=16M3
25.26
25.26 search
25.26 run=19 nbConstraintChecks=145564446 nbPropagations=5928741 nbRevisions=84747791 nbUselessRevisions=68858443
25.26 nbAssignments=109583 nbFailedAssignments=42931 nbBacktracks=66501 nbVisitedNodes=190418 nbRestartNogoods=98
25.26 => wckTime=24.327 cpuTime=24.03 mem=16M3
37.31
37.31 search
37.31 run=20 nbConstraintChecks=219345641 nbPropagations=8897093 nbRevisions=127150647 nbUselessRevisions=103270273
37.31 nbAssignments=164173 nbFailedAssignments=64263 nbBacktracks=99753 nbVisitedNodes=284941 nbRestartNogoods=113
37.31 => wckTime=36.373 cpuTime=35.99 mem=16M3
54.40
54.40 search
54.40 run=21 nbConstraintChecks=322834034 nbPropagations=13267521 nbRevisions=189728239 nbUselessRevisions=154091645
54.40 nbAssignments=242639 nbFailedAssignments=95224 nbBacktracks=147218 nbVisitedNodes=421262 nbRestartNogoods=125
54.40 => wckTime=53.47 cpuTime=52.94 mem=16M3
54.40
54.40 global
54.41 nbConstraintChecks=322891431 nbPropagations=13268360 nbRevisions=189734752 nbUselessRevisions=154097033
54.41 nbRestartNogoods=125 solvingWckTime=53.471 solvingCpuTime=52.94 expiredTime=no totalExploration=no
54.41 nbFoundSolutions=1 globalCpuTime=53.37
54.41 => wckTime=54.014 cpuTime=53.32 mem=16M3
54.41
54.41 s SATISFIABLE
54.41 v 7 4 16 0 8 14 1 8 6 3 15 16 1 2 16 12 7 4 17 7 0 5 18 12 8 8 4 14 3 1 13 6 4 13 14 10 15 16 12 17
54.41 d NODES 242639
54.41 d CHECKS 322891431
54.41
54.41 totalWckTime=54.103 totalCpuTime=53.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-202496-1168152025 -o ROOT/results/node48/solver-202496-1168152025 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202496-1168152025/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: 2.03 2.14 2.10 4/74 23005
/proc/meminfo: memFree=1839096/2055920 swapFree=4192812/4192956
[pid=23004] ppid=23002 vsize=18540 CPUtime=0
/proc/23004/stat : 23004 (runsolver) D 23002 23004 22528 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 163601248 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 255539604775 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/23004/statm: 4635 279 244 17 0 2626 0
[startup+0.102939 s]
/proc/loadavg: 2.03 2.14 2.10 4/74 23005
/proc/meminfo: memFree=1839096/2055920 swapFree=4192812/4192956
[pid=23004] ppid=23002 vsize=906128 CPUtime=0.01
/proc/23004/stat : 23004 (java) R 23002 23004 22528 0 -1 0 1978 0 1 0 1 0 0 0 17 0 1 0 163601248 927875072 1727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153602184 0 4 0 7368 0 0 0 17 1 0 0
/proc/23004/statm: 226532 1727 992 14 0 214115 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 906128
[startup+0.510971 s]
/proc/loadavg: 2.03 2.14 2.10 4/74 23005
/proc/meminfo: memFree=1839096/2055920 swapFree=4192812/4192956
[pid=23004] ppid=23002 vsize=915328 CPUtime=0.42
/proc/23004/stat : 23004 (java) R 23002 23004 22528 0 -1 0 6134 0 1 0 39 3 0 0 18 0 8 0 163601248 937295872 5873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23004/statm: 228832 5873 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328
[startup+1.33404 s]
/proc/loadavg: 2.03 2.14 2.10 3/81 23012
/proc/meminfo: memFree=1815168/2055920 swapFree=4192812/4192956
[pid=23004] ppid=23002 vsize=915456 CPUtime=1.23
/proc/23004/stat : 23004 (java) R 23002 23004 22528 0 -1 0 8717 0 1 0 118 5 0 0 24 0 8 0 163601248 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23004/statm: 228864 8455 2524 14 0 215334 0
[pid=23004/tid=23006] ppid=23002 vsize=915456 CPUtime=0.03
/proc/23004/task/23006/stat : 23006 (java) S 23002 23004 22528 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163601258 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23007] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23007/stat : 23007 (java) S 23002 23004 22528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163601259 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23008] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23008/stat : 23008 (java) S 23002 23004 22528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163601259 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23009] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23009/stat : 23009 (java) S 23002 23004 22528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163601262 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23010] ppid=23002 vsize=915456 CPUtime=0.21
/proc/23004/task/23010/stat : 23010 (java) S 23002 23004 22528 0 -1 64 376 0 0 0 21 0 0 0 15 0 8 0 163601262 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23011] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23011/stat : 23011 (java) S 23002 23004 22528 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163601262 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23012] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23012/stat : 23012 (java) S 23002 23004 22528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163601262 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915456
[startup+2.98719 s]
/proc/loadavg: 2.03 2.14 2.10 3/81 23012
/proc/meminfo: memFree=1814848/2055920 swapFree=4192812/4192956
[pid=23004] ppid=23002 vsize=915456 CPUtime=2.87
/proc/23004/stat : 23004 (java) R 23002 23004 22528 0 -1 0 8772 0 1 0 282 5 0 0 25 0 8 0 163601248 937426944 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816879 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23004/statm: 228864 8509 2524 14 0 215334 0
[pid=23004/tid=23006] ppid=23002 vsize=915456 CPUtime=0.03
/proc/23004/task/23006/stat : 23006 (java) S 23002 23004 22528 0 -1 64 291 0 0 0 3 0 0 0 17 0 8 0 163601258 937426944 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23007] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23007/stat : 23007 (java) S 23002 23004 22528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163601259 937426944 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23008] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23008/stat : 23008 (java) S 23002 23004 22528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163601259 937426944 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23009] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23009/stat : 23009 (java) S 23002 23004 22528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163601262 937426944 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23010] ppid=23002 vsize=915456 CPUtime=0.25
/proc/23004/task/23010/stat : 23010 (java) S 23002 23004 22528 0 -1 64 392 0 0 0 24 1 0 0 15 0 8 0 163601262 937426944 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23011] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23011/stat : 23011 (java) S 23002 23004 22528 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163601262 937426944 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23012] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23012/stat : 23012 (java) S 23002 23004 22528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163601262 937426944 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915456
[startup+6.27449 s]
/proc/loadavg: 2.03 2.14 2.10 3/81 23012
/proc/meminfo: memFree=1814656/2055920 swapFree=4192812/4192956
[pid=23004] ppid=23002 vsize=915456 CPUtime=6.12
/proc/23004/stat : 23004 (java) R 23002 23004 22528 0 -1 0 8780 0 1 0 607 5 0 0 25 0 8 0 163601248 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073885853 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23004/statm: 228864 8516 2524 14 0 215334 0
[pid=23004/tid=23006] ppid=23002 vsize=915456 CPUtime=0.03
/proc/23004/task/23006/stat : 23006 (java) S 23002 23004 22528 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163601258 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23007] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23007/stat : 23007 (java) S 23002 23004 22528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163601259 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23008] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23008/stat : 23008 (java) S 23002 23004 22528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163601259 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23009] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23009/stat : 23009 (java) S 23002 23004 22528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163601262 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23010] ppid=23002 vsize=915456 CPUtime=0.25
/proc/23004/task/23010/stat : 23010 (java) S 23002 23004 22528 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 163601262 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23011] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23011/stat : 23011 (java) S 23002 23004 22528 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163601262 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23012] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23012/stat : 23012 (java) S 23002 23004 22528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163601262 937426944 8516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915456
[startup+12.7631 s]
/proc/loadavg: 2.02 2.13 2.10 3/81 23012
/proc/meminfo: memFree=1813120/2055920 swapFree=4192812/4192956
[pid=23004] ppid=23002 vsize=915456 CPUtime=12.56
/proc/23004/stat : 23004 (java) R 23002 23004 22528 0 -1 0 8787 0 1 0 1251 5 0 0 25 0 8 0 163601248 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23004/statm: 228864 8522 2524 14 0 215334 0
[pid=23004/tid=23006] ppid=23002 vsize=915456 CPUtime=0.03
/proc/23004/task/23006/stat : 23006 (java) S 23002 23004 22528 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163601258 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23007] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23007/stat : 23007 (java) S 23002 23004 22528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163601259 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23008] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23008/stat : 23008 (java) S 23002 23004 22528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163601259 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23009] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23009/stat : 23009 (java) S 23002 23004 22528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163601262 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23010] ppid=23002 vsize=915456 CPUtime=0.25
/proc/23004/task/23010/stat : 23010 (java) S 23002 23004 22528 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 163601262 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23011] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23011/stat : 23011 (java) S 23002 23004 22528 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163601262 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23012] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23012/stat : 23012 (java) S 23002 23004 22528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163601262 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915456
[startup+25.6003 s]
/proc/loadavg: 2.02 2.13 2.09 3/81 23012
/proc/meminfo: memFree=1813120/2055920 swapFree=4192812/4192956
[pid=23004] ppid=23002 vsize=915456 CPUtime=25.29
/proc/23004/stat : 23004 (java) R 23002 23004 22528 0 -1 0 8792 0 1 0 2524 5 0 0 25 0 8 0 163601248 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803450 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23004/statm: 228864 8527 2524 14 0 215334 0
[pid=23004/tid=23006] ppid=23002 vsize=915456 CPUtime=0.03
/proc/23004/task/23006/stat : 23006 (java) S 23002 23004 22528 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163601258 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23007] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23007/stat : 23007 (java) S 23002 23004 22528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163601259 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23008] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23008/stat : 23008 (java) S 23002 23004 22528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163601259 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23009] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23009/stat : 23009 (java) S 23002 23004 22528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163601262 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23010] ppid=23002 vsize=915456 CPUtime=0.25
/proc/23004/task/23010/stat : 23010 (java) S 23002 23004 22528 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 163601262 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23011] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23011/stat : 23011 (java) S 23002 23004 22528 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163601262 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23012] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23012/stat : 23012 (java) S 23002 23004 22528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163601262 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915456
[startup+51.2046 s]
/proc/loadavg: 2.01 2.12 2.09 3/81 23012
/proc/meminfo: memFree=1809920/2055920 swapFree=4192812/4192956
[pid=23004] ppid=23002 vsize=915456 CPUtime=50.68
/proc/23004/stat : 23004 (java) R 23002 23004 22528 0 -1 0 8794 0 1 0 5063 5 0 0 25 0 8 0 163601248 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23004/statm: 228864 8529 2524 14 0 215334 0
[pid=23004/tid=23006] ppid=23002 vsize=915456 CPUtime=0.03
/proc/23004/task/23006/stat : 23006 (java) S 23002 23004 22528 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163601258 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23007] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23007/stat : 23007 (java) S 23002 23004 22528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163601259 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23008] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23008/stat : 23008 (java) S 23002 23004 22528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163601259 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23009] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23009/stat : 23009 (java) S 23002 23004 22528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163601262 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23010] ppid=23002 vsize=915456 CPUtime=0.25
/proc/23004/task/23010/stat : 23010 (java) S 23002 23004 22528 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 163601262 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23011] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23011/stat : 23011 (java) S 23002 23004 22528 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163601262 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23004/tid=23012] ppid=23002 vsize=915456 CPUtime=0
/proc/23004/task/23012/stat : 23012 (java) S 23002 23004 22528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163601262 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 54.4424
CPU time (s): 53.8828
CPU user time (s): 53.8168
CPU system time (s): 0.065989
CPU usage (%): 98.9721
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.8168
system time used= 0.065989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8885
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= 2189
involuntary context switches= 3584
runsolver used 0.072988 s user time and 0.181972 s system time
The end
Begin job on node48 on Sun Jan 7 06:40:26 UTC 2007
IDJOB= 202496
IDBENCH= 3861
FILE ID= node48/202496-1168152025
PBS_JOBID= 3478473
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202496-1168152025/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-202496-1168152025 -o ROOT/results/node48/solver-202496-1168152025 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202496-1168152025/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a3054f1235edbe560c520e9d38323431
RANDOM SEED= 831246487
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.218
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.218
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: 1839512 kB
Buffers: 35224 kB
Cached: 80920 kB
SwapCached: 0 kB
Active: 94692 kB
Inactive: 65044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1839512 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 54896 kB
Slab: 42080 kB
Committed_AS: 3464756 kB
PageTables: 1780 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= 66559 MiB
End job on node48 on Sun Jan 7 06:41:20 UTC 2007