0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/227258-1168080769/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.41 => wckTime=0.099 cpuTime=0.1 mem=6M951
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.69 nbConstraints=752 nbRelationTypes=752 nbExtensionStructures=751 nbSharedExtensionStructures=1
0.69 nbConflictsStructures=751 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11880 maxDegree=39
0.69 maxArity=2
0.69 => wckTime=0.378 cpuTime=0.25 mem=11M848
0.73
0.73 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.579 cpuTime=0.37 mem=14M15
0.90
0.90 preprocessing
0.90 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.90 detectedInconsistency=no
0.90 => wckTime=0.012 cpuTime=0.01 mem=14M15
0.94
0.94 search
0.94 run=0 nbConstraintChecks=14226 nbPropagations=382 nbRevisions=4398 nbUselessRevisions=3713 nbAssignments=22
0.94 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=34 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.05 cpuTime=0.04 mem=15M6
0.97
0.97 search
0.97 run=1 nbConstraintChecks=34147 nbPropagations=1193 nbRevisions=15019 nbUselessRevisions=12686 nbAssignments=54
0.97 nbFailedAssignments=12 nbBacktracks=27 nbVisitedNodes=85 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.08 cpuTime=0.06 mem=15M6
0.99
0.99 search
0.99 run=2 nbConstraintChecks=67057 nbPropagations=2666 nbRevisions=36006 nbUselessRevisions=30430 nbAssignments=96
0.99 nbFailedAssignments=25 nbBacktracks=51 nbVisitedNodes=154 nbRestartNogoods=3 mapSize=46 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.102 cpuTime=0.08 mem=15M6
1.01
1.01 search
1.01 run=3 nbConstraintChecks=105780 nbPropagations=4931 nbRevisions=69342 nbUselessRevisions=58689
1.01 nbAssignments=160 nbFailedAssignments=45 nbBacktracks=87 nbVisitedNodes=256 nbRestartNogoods=5 mapSize=79
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.121 cpuTime=0.1 mem=15M6
1.04
1.04 search
1.04 run=4 nbConstraintChecks=160199 nbPropagations=8223 nbRevisions=119822 nbUselessRevisions=101536
1.04 nbAssignments=242 nbFailedAssignments=71 nbBacktracks=139 nbVisitedNodes=390 nbRestartNogoods=8 mapSize=124
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.146 cpuTime=0.12 mem=15M6
1.07
1.07 search
1.07 run=5 nbConstraintChecks=237624 nbPropagations=13017 nbRevisions=194211 nbUselessRevisions=164527
1.07 nbAssignments=357 nbFailedAssignments=101 nbBacktracks=217 nbVisitedNodes=578 nbRestartNogoods=9 mapSize=189
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.182 cpuTime=0.15 mem=15M6
1.13
1.13 search
1.13 run=6 nbConstraintChecks=348713 nbPropagations=19930 nbRevisions=304576 nbUselessRevisions=258370
1.13 nbAssignments=522 nbFailedAssignments=146 nbBacktracks=330 nbVisitedNodes=849 nbRestartNogoods=11 mapSize=279
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.241 cpuTime=0.2 mem=15M6
1.20
1.20 search
1.20 run=7 nbConstraintChecks=532857 nbPropagations=30292 nbRevisions=473874 nbUselessRevisions=402340
1.20 nbAssignments=782 nbFailedAssignments=228 nbBacktracks=501 nbVisitedNodes=1283 nbRestartNogoods=13 mapSize=422
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.313 cpuTime=0.27 mem=15M6
1.30
1.30 search
1.30 run=8 nbConstraintChecks=772466 nbPropagations=45278 nbRevisions=722903 nbUselessRevisions=614808
1.30 nbAssignments=1142 nbFailedAssignments=327 nbBacktracks=757 nbVisitedNodes=1871 nbRestartNogoods=18
1.30 mapSize=627 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.411 cpuTime=0.36 mem=15M6
1.46
1.46 search
1.46 run=9 nbConstraintChecks=1146258 nbPropagations=67423 nbRevisions=1095565 nbUselessRevisions=933562
1.46 nbAssignments=1710 nbFailedAssignments=500 nbBacktracks=1146 nbVisitedNodes=2788 nbRestartNogoods=23
1.46 mapSize=937 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.567 cpuTime=0.5 mem=15M6
1.50
1.50 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=15M6)
1.65
1.65 search
1.65 run=10 nbConstraintChecks=1693404 nbPropagations=99864 nbRevisions=1649330 nbUselessRevisions=1407428
1.65 nbAssignments=2533 nbFailedAssignments=742 nbBacktracks=1723 nbVisitedNodes=4125 nbRestartNogoods=28
1.65 => wckTime=0.763 cpuTime=0.68 mem=15M6
1.92
1.92 search
1.92 run=11 nbConstraintChecks=2546201 nbPropagations=147956 nbRevisions=2488630 nbUselessRevisions=2127558
1.92 nbAssignments=3773 nbFailedAssignments=1113 nbBacktracks=2587 nbVisitedNodes=6153 nbRestartNogoods=31
1.92 => wckTime=1.033 cpuTime=0.95 mem=15M6
2.33
2.33 search
2.33 run=12 nbConstraintChecks=3783488 nbPropagations=219405 nbRevisions=3738810 nbUselessRevisions=3200136
2.33 nbAssignments=5610 nbFailedAssignments=1647 nbBacktracks=3884 nbVisitedNodes=9155 nbRestartNogoods=35
2.33 => wckTime=1.443 cpuTime=1.35 mem=15M6
2.92
2.92 search
2.92 run=13 nbConstraintChecks=5649346 nbPropagations=325577 nbRevisions=5607396 nbUselessRevisions=4804311
2.92 nbAssignments=8372 nbFailedAssignments=2454 nbBacktracks=5835 nbVisitedNodes=13662 nbRestartNogoods=40
2.92 => wckTime=2.032 cpuTime=1.93 mem=15M6
3.78
3.78 search
3.78 run=14 nbConstraintChecks=8418670 nbPropagations=483888 nbRevisions=8394544 nbUselessRevisions=7196915
3.78 nbAssignments=12525 nbFailedAssignments=3677 nbBacktracks=8760 nbVisitedNodes=20420 nbRestartNogoods=45
3.78 => wckTime=2.889 cpuTime=2.79 mem=15M6
5.09
5.09 search
5.09 run=15 nbConstraintChecks=12719848 nbPropagations=722732 nbRevisions=12594542 nbUselessRevisions=10800448
5.09 nbAssignments=18754 nbFailedAssignments=5521 nbBacktracks=13138 nbVisitedNodes=30629 nbRestartNogoods=50
5.09 => wckTime=4.198 cpuTime=4.09 mem=15M6
7.00
7.00 search
7.00 run=16 nbConstraintChecks=19231095 nbPropagations=1083087 nbRevisions=18920505 nbUselessRevisions=16225904
7.00 nbAssignments=28169 nbFailedAssignments=8361 nbBacktracks=19707 nbVisitedNodes=46132 nbRestartNogoods=60
7.00 => wckTime=6.105 cpuTime=5.99 mem=15M6
9.84
9.84 search
9.84 run=17 nbConstraintChecks=28902838 nbPropagations=1622590 nbRevisions=28399861 nbUselessRevisions=24354038
9.84 nbAssignments=42207 nbFailedAssignments=12539 nbBacktracks=29559 nbVisitedNodes=69099 nbRestartNogoods=68
9.84 => wckTime=8.951 cpuTime=8.83 mem=15M6
14.12
14.12 search
14.12 run=18 nbConstraintChecks=43595976 nbPropagations=2433662 nbRevisions=42692325 nbUselessRevisions=36611337
14.12 nbAssignments=63385 nbFailedAssignments=18935 nbBacktracks=44337 nbVisitedNodes=103739 nbRestartNogoods=75
14.12 => wckTime=13.232 cpuTime=13.1 mem=15M6
18.21
18.21 search
18.21 run=19 nbConstraintChecks=57642070 nbPropagations=3502010 nbRevisions=61556337 nbUselessRevisions=52790842
18.21 nbAssignments=83162 nbFailedAssignments=24930 nbBacktracks=58120 nbVisitedNodes=136163 nbRestartNogoods=81
18.21 => wckTime=17.322 cpuTime=17.19 mem=15M6
18.21
18.21 global
18.21 nbConstraintChecks=57642070 nbPropagations=3502050 nbRevisions=61556337 nbUselessRevisions=52790842
18.21 nbRestartNogoods=81 solvingWckTime=17.323 solvingCpuTime=17.2 expiredTime=no totalExploration=yes
18.21 nbFoundSolutions=0 globalCpuTime=17.61
18.21 => wckTime=17.904 cpuTime=17.57 mem=15M6
18.22
18.22 s UNSATISFIABLE
18.22 d NODES 83162
18.22 d CHECKS 57642070
18.22
18.22 totalWckTime=17.984 totalCpuTime=17.61
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-227258-1168080769 -o ROOT/results/node62/solver-227258-1168080769 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227258-1168080769/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.10 0.54 1.16 3/73 4889
/proc/meminfo: memFree=1119344/2055920 swapFree=4192812/4192956
[pid=4888] ppid=4885 vsize=18540 CPUtime=0
/proc/4888/stat : 4888 (runsolver) R 4885 4888 4752 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156475043 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 236437695783 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4888/statm: 4635 279 244 17 0 2626 0
[startup+0.102724 s]
/proc/loadavg: 0.10 0.54 1.16 3/73 4889
/proc/meminfo: memFree=1119344/2055920 swapFree=4192812/4192956
[pid=4888] ppid=4885 vsize=914988 CPUtime=0.08
/proc/4888/stat : 4888 (java) R 4885 4888 4752 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 156475043 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4888/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510804 s]
/proc/loadavg: 0.10 0.54 1.16 3/73 4889
/proc/meminfo: memFree=1119344/2055920 swapFree=4192812/4192956
[pid=4888] ppid=4885 vsize=915328 CPUtime=0.49
/proc/4888/stat : 4888 (java) R 4885 4888 4752 0 -1 0 6333 0 1 0 45 4 0 0 20 0 8 0 156475043 937295872 6072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073570036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4888/statm: 228832 6072 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33297 s]
/proc/loadavg: 0.33 0.58 1.17 3/87 4903
/proc/meminfo: memFree=1072192/2055920 swapFree=4192812/4192956
[pid=4888] ppid=4885 vsize=915584 CPUtime=1.3
/proc/4888/stat : 4888 (java) R 4885 4888 4752 0 -1 0 8659 0 1 0 123 7 0 0 25 0 8 0 156475043 937558016 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073904713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4888/statm: 228896 8397 2513 14 0 215366 0
[pid=4888/tid=4893] ppid=4885 vsize=915584 CPUtime=0.03
/proc/4888/task/4893/stat : 4893 (java) S 4885 4888 4752 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 156475047 937558016 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4894] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4894/stat : 4894 (java) S 4885 4888 4752 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475048 937558016 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4895] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4895/stat : 4895 (java) S 4885 4888 4752 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475048 937558016 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4900] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4900/stat : 4900 (java) S 4885 4888 4752 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156475051 937558016 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4901] ppid=4885 vsize=915584 CPUtime=0.25
/proc/4888/task/4901/stat : 4901 (java) S 4885 4888 4752 0 -1 64 404 0 0 0 24 1 0 0 15 0 8 0 156475051 937558016 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4902] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4902/stat : 4902 (java) S 4885 4888 4752 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156475051 937558016 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4903] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4903/stat : 4903 (java) S 4885 4888 4752 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156475051 937558016 8397 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) 915584
[startup+2.98429 s]
/proc/loadavg: 0.33 0.58 1.17 3/87 4903
/proc/meminfo: memFree=1071616/2055920 swapFree=4192812/4192956
[pid=4888] ppid=4885 vsize=915584 CPUtime=2.94
/proc/4888/stat : 4888 (java) R 4885 4888 4752 0 -1 0 8698 0 1 0 287 7 0 0 25 0 8 0 156475043 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073911110 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4888/statm: 228896 8435 2513 14 0 215366 0
[pid=4888/tid=4893] ppid=4885 vsize=915584 CPUtime=0.03
/proc/4888/task/4893/stat : 4893 (java) S 4885 4888 4752 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 156475047 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4894] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4894/stat : 4894 (java) S 4885 4888 4752 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475048 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4895] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4895/stat : 4895 (java) S 4885 4888 4752 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475048 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4900] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4900/stat : 4900 (java) S 4885 4888 4752 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156475051 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4901] ppid=4885 vsize=915584 CPUtime=0.28
/proc/4888/task/4901/stat : 4901 (java) S 4885 4888 4752 0 -1 64 419 0 0 0 27 1 0 0 16 0 8 0 156475051 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4902] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4902/stat : 4902 (java) S 4885 4888 4752 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156475051 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4903] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4903/stat : 4903 (java) S 4885 4888 4752 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156475051 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915584
[startup+6.26994 s]
/proc/loadavg: 0.39 0.58 1.17 2/75 4903
/proc/meminfo: memFree=1096040/2055920 swapFree=4192812/4192956
[pid=4888] ppid=4885 vsize=915584 CPUtime=6.21
/proc/4888/stat : 4888 (java) R 4885 4888 4752 0 -1 0 8704 0 1 0 614 7 0 0 25 0 8 0 156475043 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073946871 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4888/statm: 228896 8440 2513 14 0 215366 0
[pid=4888/tid=4893] ppid=4885 vsize=915584 CPUtime=0.03
/proc/4888/task/4893/stat : 4893 (java) S 4885 4888 4752 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 156475047 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4894] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4894/stat : 4894 (java) S 4885 4888 4752 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475048 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4895] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4895/stat : 4895 (java) S 4885 4888 4752 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475048 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4900] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4900/stat : 4900 (java) S 4885 4888 4752 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156475051 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4901] ppid=4885 vsize=915584 CPUtime=0.28
/proc/4888/task/4901/stat : 4901 (java) S 4885 4888 4752 0 -1 64 419 0 0 0 27 1 0 0 16 0 8 0 156475051 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4902] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4902/stat : 4902 (java) S 4885 4888 4752 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156475051 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4903] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4903/stat : 4903 (java) S 4885 4888 4752 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156475051 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915584
[startup+12.7532 s]
/proc/loadavg: 0.44 0.59 1.17 2/75 4911
/proc/meminfo: memFree=1096048/2055920 swapFree=4192812/4192956
[pid=4888] ppid=4885 vsize=915584 CPUtime=12.68
/proc/4888/stat : 4888 (java) R 4885 4888 4752 0 -1 0 8709 0 1 0 1261 7 0 0 25 0 8 0 156475043 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914197 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4888/statm: 228896 8445 2513 14 0 215366 0
[pid=4888/tid=4893] ppid=4885 vsize=915584 CPUtime=0.03
/proc/4888/task/4893/stat : 4893 (java) S 4885 4888 4752 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 156475047 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4894] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4894/stat : 4894 (java) S 4885 4888 4752 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475048 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4895] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4895/stat : 4895 (java) S 4885 4888 4752 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475048 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4900] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4900/stat : 4900 (java) S 4885 4888 4752 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156475051 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4901] ppid=4885 vsize=915584 CPUtime=0.28
/proc/4888/task/4901/stat : 4901 (java) S 4885 4888 4752 0 -1 64 419 0 0 0 27 1 0 0 16 0 8 0 156475051 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4902] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4902/stat : 4902 (java) S 4885 4888 4752 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156475051 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4888/tid=4903] ppid=4885 vsize=915584 CPUtime=0
/proc/4888/task/4903/stat : 4903 (java) S 4885 4888 4752 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156475051 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 18.2547
CPU time (s): 18.1612
CPU user time (s): 18.0793
CPU system time (s): 0.081987
CPU usage (%): 99.4882
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.0793
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8802
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= 1603
involuntary context switches= 1625
runsolver used 0.026995 s user time and 0.053991 s system time
The end
Begin job on node62 on Sat Jan 6 10:52:50 UTC 2007
IDJOB= 227258
IDBENCH= 6066
FILE ID= node62/227258-1168080769
PBS_JOBID= 3476178
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-69_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227258-1168080769/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-227258-1168080769 -o ROOT/results/node62/solver-227258-1168080769 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227258-1168080769/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8f0c92e367777af0a644c027834dea7a
RANDOM SEED= 839437453
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1120840 kB
Buffers: 59780 kB
Cached: 777164 kB
SwapCached: 0 kB
Active: 131392 kB
Inactive: 725560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1120840 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3592 kB
Writeback: 0 kB
Mapped: 30184 kB
Slab: 63800 kB
Committed_AS: 2906240 kB
PageTables: 1684 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 node62 on Sat Jan 6 10:53:15 UTC 2007