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/247465-1168085832/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.39 => wckTime=0.093 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
3.73
3.73 INFO : Contraction of relations, mem = 102M826
5.96
5.96 constraints being loaded...
9.26 nbConstraints=18 nbRelationTypes=18 nbExtensionStructures=18 nbSharedExtensionStructures=0
9.26 nbConflictsStructures=18 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=8
9.26 => wckTime=8.967 cpuTime=7.22 mem=230M284
10.11
10.11 solver IterativeSystematicSolver being built...
10.27 => wckTime=9.972 cpuTime=7.35 mem=143M52
10.27
10.27 preprocessing
10.27 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
10.27 detectedInconsistency=no
10.27 => wckTime=0.0030 cpuTime=0.0 mem=143M52
10.35
10.35 search
10.35 run=0 nbConstraintChecks=10625 nbValidityChecks=16409 nbPropagations=142 nbRevisions=2034
10.35 nbUselessRevisions=1794 nbAssignments=29 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=48
10.35 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
10.35 => wckTime=0.08 cpuTime=0.06 mem=143M709
10.41
10.41 search
10.41 run=1 nbConstraintChecks=24431 nbValidityChecks=37895 nbPropagations=458 nbRevisions=6811
10.41 nbUselessRevisions=6006 nbAssignments=65 nbFailedAssignments=26 nbBacktracks=25 nbVisitedNodes=106
10.41 nbRestartNogoods=2 mapSize=21 nbInferences=0 nbTooLargeKeys=0
10.41 => wckTime=0.137 cpuTime=0.11 mem=143M709
10.47
10.47 search
10.47 run=2 nbConstraintChecks=45309 nbValidityChecks=70006 nbPropagations=982 nbRevisions=15338
10.47 nbUselessRevisions=13527 nbAssignments=112 nbFailedAssignments=42 nbBacktracks=47 nbVisitedNodes=184
10.47 nbRestartNogoods=3 mapSize=40 nbInferences=0 nbTooLargeKeys=0
10.47 => wckTime=0.206 cpuTime=0.17 mem=143M709
10.58
10.58 search
10.58 run=3 nbConstraintChecks=77644 nbValidityChecks=118325 nbPropagations=1848 nbRevisions=29509
10.58 nbUselessRevisions=25976 nbAssignments=184 nbFailedAssignments=71 nbBacktracks=82 nbVisitedNodes=304
10.58 nbRestartNogoods=6 mapSize=69 nbInferences=0 nbTooLargeKeys=0
10.58 => wckTime=0.315 cpuTime=0.27 mem=143M709
10.75
10.75 search
10.75 run=4 nbConstraintChecks=131671 nbValidityChecks=204717 nbPropagations=3353 nbRevisions=54899
10.75 nbUselessRevisions=48354 nbAssignments=299 nbFailedAssignments=123 nbBacktracks=136 nbVisitedNodes=504
10.75 nbRestartNogoods=8 mapSize=113 nbInferences=0 nbTooLargeKeys=0
10.75 => wckTime=0.476 cpuTime=0.43 mem=143M709
10.95
10.95 search
10.95 run=5 nbConstraintChecks=200054 nbValidityChecks=306759 nbPropagations=5631 nbRevisions=92479
10.95 nbUselessRevisions=81257 nbAssignments=449 nbFailedAssignments=189 nbBacktracks=212 nbVisitedNodes=764
10.95 nbRestartNogoods=13 mapSize=176 nbInferences=0 nbTooLargeKeys=0
10.95 => wckTime=0.679 cpuTime=0.63 mem=143M709
11.21
11.21 search
11.21 run=6 nbConstraintChecks=288374 nbValidityChecks=450342 nbPropagations=9009 nbRevisions=149414
11.21 nbUselessRevisions=131292 nbAssignments=662 nbFailedAssignments=278 nbBacktracks=329 nbVisitedNodes=1121
11.21 nbRestartNogoods=17 mapSize=262 nbInferences=0 nbTooLargeKeys=0
11.21 => wckTime=0.94 cpuTime=0.89 mem=143M709
11.58
11.58 search
11.58 run=7 nbConstraintChecks=421596 nbValidityChecks=658963 nbPropagations=14180 nbRevisions=233935
11.58 nbUselessRevisions=205273 nbAssignments=980 nbFailedAssignments=417 nbBacktracks=499 nbVisitedNodes=1668
11.58 nbRestartNogoods=22 mapSize=402 nbInferences=0 nbTooLargeKeys=0
11.58 => wckTime=1.315 cpuTime=1.26 mem=143M709
12.10
12.10 search
12.10 run=8 nbConstraintChecks=613310 nbValidityChecks=960703 nbPropagations=21776 nbRevisions=357703
12.10 nbUselessRevisions=313605 nbAssignments=1430 nbFailedAssignments=603 nbBacktracks=756 nbVisitedNodes=2432
12.10 nbRestartNogoods=30 mapSize=605 nbInferences=0 nbTooLargeKeys=0
12.10 => wckTime=1.83 cpuTime=1.77 mem=143M709
13.09
13.09 search
13.09 run=9 nbConstraintChecks=966036 nbValidityChecks=1500585 nbPropagations=33955 nbRevisions=549410
13.09 nbUselessRevisions=479962 nbAssignments=2222 nbFailedAssignments=1001 nbBacktracks=1140 nbVisitedNodes=3835
13.09 nbRestartNogoods=36 mapSize=936 nbInferences=0 nbTooLargeKeys=0
13.09 => wckTime=2.822 cpuTime=2.74 mem=143M709
13.33
13.33 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=143M709)
14.29
14.29 search
14.29 run=10 nbConstraintChecks=1418617 nbValidityChecks=2214869 nbPropagations=51620 nbRevisions=834061
14.29 nbUselessRevisions=727955 nbAssignments=3242 nbFailedAssignments=1436 nbBacktracks=1717 nbVisitedNodes=5574
14.29 nbRestartNogoods=48
14.29 => wckTime=4.02 cpuTime=3.93 mem=143M709
16.35
16.35 search
16.35 run=11 nbConstraintChecks=2210891 nbValidityChecks=3396860 nbPropagations=78434 nbRevisions=1264702
16.35 nbUselessRevisions=1102713 nbAssignments=4784 nbFailedAssignments=2106 nbBacktracks=2583 nbVisitedNodes=8239
16.35 nbRestartNogoods=58
16.35 => wckTime=6.081 cpuTime=5.99 mem=143M709
19.23
19.23 search
19.23 run=12 nbConstraintChecks=3324857 nbValidityChecks=5095819 nbPropagations=118409 nbRevisions=1908386
19.23 nbUselessRevisions=1663025 nbAssignments=7089 nbFailedAssignments=3104 nbBacktracks=3882 nbVisitedNodes=12210
19.23 nbRestartNogoods=65
19.23 => wckTime=8.959 cpuTime=8.86 mem=143M709
23.89
23.89 search
23.89 run=13 nbConstraintChecks=5114782 nbValidityChecks=7786964 nbPropagations=180214 nbRevisions=2885691
23.89 nbUselessRevisions=2510463 nbAssignments=10717 nbFailedAssignments=4778 nbBacktracks=5829 nbVisitedNodes=18602
23.89 nbRestartNogoods=73
23.89 => wckTime=13.617 cpuTime=13.51 mem=143M709
30.51
30.51 search
30.51 run=14 nbConstraintChecks=7691811 nbValidityChecks=11639773 nbPropagations=272682 nbRevisions=4338633
30.51 nbUselessRevisions=3768926 nbAssignments=15913 nbFailedAssignments=7049 nbBacktracks=8749 nbVisitedNodes=27642
30.51 nbRestartNogoods=85
30.51 => wckTime=20.246 cpuTime=20.13 mem=143M709
39.71
39.71 search
39.71 run=15 nbConstraintChecks=11273325 nbValidityChecks=17124311 nbPropagations=408002 nbRevisions=6486796
39.71 nbUselessRevisions=5634753 nbAssignments=23421 nbFailedAssignments=10171 nbBacktracks=13128
39.71 nbVisitedNodes=40471 nbRestartNogoods=89
39.71 => wckTime=29.439 cpuTime=29.31 mem=143M709
54.68
54.68 search
54.68 run=16 nbConstraintChecks=17091508 nbValidityChecks=25898446 nbPropagations=613854 nbRevisions=9727527
54.69 nbUselessRevisions=8443658 nbAssignments=35273 nbFailedAssignments=15447 nbBacktracks=19697
54.69 nbVisitedNodes=61201 nbRestartNogoods=99
54.69 => wckTime=44.416 cpuTime=44.27 mem=143M709
76.24
76.24 search
76.24 run=17 nbConstraintChecks=25509155 nbValidityChecks=38797142 nbPropagations=922517 nbRevisions=14604351
76.24 nbUselessRevisions=12673318 nbAssignments=52768 nbFailedAssignments=23080 nbBacktracks=29552
76.24 nbVisitedNodes=91530 nbRestartNogoods=108
76.24 => wckTime=65.972 cpuTime=65.82 mem=143M709
108.54
108.54 search
108.54 run=18 nbConstraintChecks=38094264 nbValidityChecks=57836499 nbPropagations=1381322 nbRevisions=21867411
108.54 nbUselessRevisions=18976608 nbAssignments=78310 nbFailedAssignments=33835 nbBacktracks=44332
108.54 nbVisitedNodes=135649 nbRestartNogoods=118
108.54 => wckTime=98.267 cpuTime=98.09 mem=143M709
120.27
120.27 search
120.27 run=19 nbConstraintChecks=42644180 nbValidityChecks=64687480 nbPropagations=1894027 nbRevisions=29983233
120.27 nbUselessRevisions=26020631 nbAssignments=87437 nbFailedAssignments=37638 nbBacktracks=49636
120.27 nbVisitedNodes=151377 nbRestartNogoods=125
120.27 => wckTime=109.999 cpuTime=109.81 mem=143M709
120.27
120.27 global
120.27 nbConstraintChecks=42644180 nbValidityChecks=64687480 nbPropagations=1894047 nbRevisions=29983233
120.27 nbUselessRevisions=26020631 nbRestartNogoods=125 solvingWckTime=110.0 solvingCpuTime=109.81 expiredTime=no
120.27 totalExploration=no nbFoundSolutions=1 globalCpuTime=117.2
120.27 => wckTime=119.974 cpuTime=117.16 mem=143M709
120.27
120.27 s SATISFIABLE
120.27 v 1 4 3 2 0 1 1 3 4 2 1 3 2 0 2 2 1 4 4 1
120.27 d NODES 87437
120.27 d CHECKS 42644180
120.27
120.27 totalWckTime=120.05 totalCpuTime=117.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-247465-1168085832 -o ROOT/results/node33/solver-247465-1168085832 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247465-1168085832/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.47 1.18 2/65 12932
/proc/meminfo: memFree=1205536/2055920 swapFree=4192224/4192956
[pid=12931] ppid=12929 vsize=0 CPUtime=0
/proc/12931/stat : 12931 (java) R 12929 12931 12254 0 -1 0 194 0 0 0 0 0 0 0 19 0 1 0 156979424 0 0 18446744073709551615 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 0 0 0 0 0 0 0
[startup+0.107437 s]
/proc/loadavg: 0.07 0.47 1.18 2/65 12932
/proc/meminfo: memFree=1205536/2055920 swapFree=4192224/4192956
[pid=12931] ppid=12929 vsize=914988 CPUtime=0.09
/proc/12931/stat : 12931 (java) R 12929 12931 12254 0 -1 0 3069 0 1 0 7 2 0 0 23 0 8 0 156979424 936947712 2815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12931/statm: 228747 2815 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518529 s]
/proc/loadavg: 0.07 0.47 1.18 2/65 12932
/proc/meminfo: memFree=1205536/2055920 swapFree=4192224/4192956
[pid=12931] ppid=12929 vsize=915328 CPUtime=0.49
/proc/12931/stat : 12931 (java) R 12929 12931 12254 0 -1 0 10273 0 1 0 44 5 0 0 17 0 8 0 156979424 937295872 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12931/statm: 228832 10012 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3417 s]
/proc/loadavg: 0.07 0.47 1.18 2/72 12939
/proc/meminfo: memFree=1135208/2055920 swapFree=4192224/4192956
[pid=12931] ppid=12929 vsize=915328 CPUtime=1.32
/proc/12931/stat : 12931 (java) S 12929 12931 12254 0 -1 0 23372 0 1 0 120 12 0 0 19 0 8 0 156979424 937295872 23110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12931/statm: 228832 23110 2147 14 0 215302 0
[pid=12931/tid=12933] ppid=12929 vsize=915328 CPUtime=0.08
/proc/12931/task/12933/stat : 12933 (java) R 12929 12931 12254 0 -1 64 6961 0 0 0 6 2 0 0 17 0 8 0 156979427 937295872 23110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155528723 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12931/tid=12934] ppid=12929 vsize=915328 CPUtime=0
/proc/12931/task/12934/stat : 12934 (java) S 12929 12931 12254 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 156979428 937295872 23110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12935] ppid=12929 vsize=915328 CPUtime=0
/proc/12931/task/12935/stat : 12935 (java) S 12929 12931 12254 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 156979428 937295872 23110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12936] ppid=12929 vsize=915328 CPUtime=0
/proc/12931/task/12936/stat : 12936 (java) S 12929 12931 12254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156979431 937295872 23110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12937] ppid=12929 vsize=915328 CPUtime=0.06
/proc/12931/task/12937/stat : 12937 (java) S 12929 12931 12254 0 -1 64 304 0 0 0 6 0 0 0 16 0 8 0 156979431 937295872 23110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12938] ppid=12929 vsize=915328 CPUtime=0
/proc/12931/task/12938/stat : 12938 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156979431 937295872 23110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12939] ppid=12929 vsize=915328 CPUtime=0
/proc/12931/task/12939/stat : 12939 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156979431 937295872 23110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915328
[startup+2.97904 s]
/proc/loadavg: 0.07 0.47 1.18 2/72 12939
/proc/meminfo: memFree=1111912/2055920 swapFree=4192224/4192956
[pid=12931] ppid=12929 vsize=915328 CPUtime=2.95
/proc/12931/stat : 12931 (java) R 12929 12931 12254 0 -1 0 30331 0 1 0 279 16 0 0 17 0 8 0 156979424 937295872 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12931/statm: 228832 30065 2147 14 0 215302 0
[pid=12931/tid=12933] ppid=12929 vsize=915328 CPUtime=0.22
/proc/12931/task/12933/stat : 12933 (java) S 12929 12931 12254 0 -1 64 13914 0 0 0 17 5 0 0 16 0 8 0 156979427 937295872 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12934] ppid=12929 vsize=915328 CPUtime=0
/proc/12931/task/12934/stat : 12934 (java) S 12929 12931 12254 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 156979428 937295872 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12935] ppid=12929 vsize=915328 CPUtime=0
/proc/12931/task/12935/stat : 12935 (java) S 12929 12931 12254 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 156979428 937295872 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12936] ppid=12929 vsize=915328 CPUtime=0
/proc/12931/task/12936/stat : 12936 (java) S 12929 12931 12254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156979431 937295872 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12937] ppid=12929 vsize=915328 CPUtime=0.06
/proc/12931/task/12937/stat : 12937 (java) S 12929 12931 12254 0 -1 64 306 0 0 0 6 0 0 0 16 0 8 0 156979431 937295872 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12938] ppid=12929 vsize=915328 CPUtime=0
/proc/12931/task/12938/stat : 12938 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156979431 937295872 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12939] ppid=12929 vsize=915328 CPUtime=0
/proc/12931/task/12939/stat : 12939 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156979431 937295872 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915328
[startup+6.27972 s]
/proc/loadavg: 0.15 0.48 1.18 2/72 12939
/proc/meminfo: memFree=1058344/2055920 swapFree=4192224/4192956
[pid=12931] ppid=12929 vsize=915400 CPUtime=6.24
/proc/12931/stat : 12931 (java) R 12929 12931 12254 0 -1 0 40817 0 1 0 603 21 0 0 16 0 8 0 156979424 937369600 38970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073662034 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12931/statm: 228850 38970 2162 14 0 215320 0
[pid=12931/tid=12933] ppid=12929 vsize=915400 CPUtime=0.95
/proc/12931/task/12933/stat : 12933 (java) S 12929 12931 12254 0 -1 64 24352 0 0 0 87 8 0 0 16 0 8 0 156979427 937369600 38970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12934] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12934/stat : 12934 (java) S 12929 12931 12254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156979428 937369600 38970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12935] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12935/stat : 12935 (java) S 12929 12931 12254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156979428 937369600 38970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12936] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12936/stat : 12936 (java) S 12929 12931 12254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156979431 937369600 38970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12937] ppid=12929 vsize=915400 CPUtime=0.08
/proc/12931/task/12937/stat : 12937 (java) S 12929 12931 12254 0 -1 64 322 0 0 0 8 0 0 0 15 0 8 0 156979431 937369600 38970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12938] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12938/stat : 12938 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156979431 937369600 38970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12939] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12939/stat : 12939 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156979431 937369600 38970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915400
[startup+12.7631 s]
/proc/loadavg: 0.21 0.49 1.18 2/72 12939
/proc/meminfo: memFree=964400/2055920 swapFree=4192224/4192956
[pid=12931] ppid=12929 vsize=915400 CPUtime=12.71
/proc/12931/stat : 12931 (java) R 12929 12931 12254 0 -1 0 64538 0 1 0 1241 30 0 0 17 0 8 0 156979424 937369600 62682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12931/statm: 228850 62682 2522 14 0 215320 0
[pid=12931/tid=12933] ppid=12929 vsize=915400 CPUtime=2.5
/proc/12931/task/12933/stat : 12933 (java) S 12929 12931 12254 0 -1 64 47577 0 0 0 235 15 0 0 17 0 8 0 156979427 937369600 62682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12931/tid=12934] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12934/stat : 12934 (java) S 12929 12931 12254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156979428 937369600 62682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12935] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12935/stat : 12935 (java) S 12929 12931 12254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156979428 937369600 62682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12936] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12936/stat : 12936 (java) S 12929 12931 12254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156979431 937369600 62682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12937] ppid=12929 vsize=915400 CPUtime=0.19
/proc/12931/task/12937/stat : 12937 (java) S 12929 12931 12254 0 -1 64 385 0 0 0 18 1 0 0 15 0 8 0 156979431 937369600 62682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12938] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12938/stat : 12938 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156979431 937369600 62682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12939] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12939/stat : 12939 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156979431 937369600 62682 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) 915400
[startup+25.6147 s]
/proc/loadavg: 0.39 0.51 1.18 2/72 12939
/proc/meminfo: memFree=964400/2055920 swapFree=4192224/4192956
[pid=12931] ppid=12929 vsize=915400 CPUtime=25.54
/proc/12931/stat : 12931 (java) R 12929 12931 12254 0 -1 0 64545 0 1 0 2524 30 0 0 25 0 8 0 156979424 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12931/statm: 228850 62687 2522 14 0 215320 0
[pid=12931/tid=12933] ppid=12929 vsize=915400 CPUtime=2.5
/proc/12931/task/12933/stat : 12933 (java) S 12929 12931 12254 0 -1 64 47577 0 0 0 235 15 0 0 16 0 8 0 156979427 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12931/tid=12934] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12934/stat : 12934 (java) S 12929 12931 12254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156979428 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12935] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12935/stat : 12935 (java) S 12929 12931 12254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156979428 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12936] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12936/stat : 12936 (java) S 12929 12931 12254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156979431 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12937] ppid=12929 vsize=915400 CPUtime=0.2
/proc/12931/task/12937/stat : 12937 (java) S 12929 12931 12254 0 -1 64 391 0 0 0 19 1 0 0 16 0 8 0 156979431 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12938] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12938/stat : 12938 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156979431 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12939] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12939/stat : 12939 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156979431 937369600 62687 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) 915400
[startup+51.312 s]
/proc/loadavg: 0.60 0.55 1.17 2/72 12939
/proc/meminfo: memFree=964464/2055920 swapFree=4192224/4192956
[pid=12931] ppid=12929 vsize=915400 CPUtime=51.21
/proc/12931/stat : 12931 (java) R 12929 12931 12254 0 -1 0 64545 0 1 0 5091 30 0 0 25 0 8 0 156979424 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12931/statm: 228850 62687 2522 14 0 215320 0
[pid=12931/tid=12933] ppid=12929 vsize=915400 CPUtime=2.5
/proc/12931/task/12933/stat : 12933 (java) S 12929 12931 12254 0 -1 64 47577 0 0 0 235 15 0 0 16 0 8 0 156979427 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12931/tid=12934] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12934/stat : 12934 (java) S 12929 12931 12254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156979428 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12935] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12935/stat : 12935 (java) S 12929 12931 12254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156979428 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12936] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12936/stat : 12936 (java) S 12929 12931 12254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156979431 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12937] ppid=12929 vsize=915400 CPUtime=0.2
/proc/12931/task/12937/stat : 12937 (java) S 12929 12931 12254 0 -1 64 391 0 0 0 19 1 0 0 16 0 8 0 156979431 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12938] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12938/stat : 12938 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156979431 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12939] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12939/stat : 12939 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156979431 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915400
[startup+102.586 s]
/proc/loadavg: 0.82 0.62 1.16 2/72 12939
/proc/meminfo: memFree=964464/2055920 swapFree=4192224/4192956
[pid=12931] ppid=12929 vsize=915400 CPUtime=102.45
/proc/12931/stat : 12931 (java) R 12929 12931 12254 0 -1 0 64545 0 1 0 10215 30 0 0 25 0 8 0 156979424 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073635301 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12931/statm: 228850 62687 2522 14 0 215320 0
[pid=12931/tid=12933] ppid=12929 vsize=915400 CPUtime=2.5
/proc/12931/task/12933/stat : 12933 (java) S 12929 12931 12254 0 -1 64 47577 0 0 0 235 15 0 0 16 0 8 0 156979427 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12931/tid=12934] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12934/stat : 12934 (java) S 12929 12931 12254 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156979428 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12935] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12935/stat : 12935 (java) S 12929 12931 12254 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156979428 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12936] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12936/stat : 12936 (java) S 12929 12931 12254 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156979431 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12937] ppid=12929 vsize=915400 CPUtime=0.2
/proc/12931/task/12937/stat : 12937 (java) S 12929 12931 12254 0 -1 64 391 0 0 0 19 1 0 0 16 0 8 0 156979431 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12938] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12938/stat : 12938 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156979431 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12931/tid=12939] ppid=12929 vsize=915400 CPUtime=0
/proc/12931/task/12939/stat : 12939 (java) S 12929 12931 12254 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156979431 937369600 62687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915400
Child status: 0
Real time (s): 120.368
CPU time (s): 120.175
CPU user time (s): 119.827
CPU system time (s): 0.347947
CPU usage (%): 99.8393
Max. virtual memory (cumulated for all children) (KiB): 919404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.827
system time used= 0.347947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64553
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= 3404
involuntary context switches= 2912
runsolver used 0.134979 s user time and 0.302953 s system time
The end
Begin job on node33 on Sat Jan 6 12:17:33 UTC 2007
IDJOB= 247465
IDBENCH= 11129
FILE ID= node33/247465-1168085832
PBS_JOBID= 3476274
Free space on /tmp= 66533 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247465-1168085832/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-247465-1168085832 -o ROOT/results/node33/solver-247465-1168085832 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247465-1168085832/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2edb97a8e449f03344d9a881313e99a5
RANDOM SEED= 593782949
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.281
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.281
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: 1205312 kB
Buffers: 45012 kB
Cached: 706348 kB
SwapCached: 448 kB
Active: 64896 kB
Inactive: 702104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1205312 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 23676 kB
Writeback: 0 kB
Mapped: 25052 kB
Slab: 69652 kB
Committed_AS: 2686828 kB
PageTables: 1408 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= 66533 MiB
End job on node33 on Sat Jan 6 12:19:40 UTC 2007