0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=mac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/212806-1168077299/unknown.xml
0.43
0.43 domains being loaded...
0.43
0.43 variables being loaded...
0.64 nbVariables=2786 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.64 => wckTime=0.277 cpuTime=0.2 mem=11M795
0.64
0.64 predicates being loaded...
0.64
0.64 constraints being loaded...
1.46 nbConstraints=4821 nbSingletonDomainVariables=336 nbConvertedConstraints=3904 nbConvertConstraintsChecks=1095
1.46 nbExtensionStructures=9 nbSharedExtensionStructures=3895 nbConflictsStructures=112
1.46 nbSharedConflictsStructures=4709 nbSharedBinaryRepresentations=21 nbEvaluationManagers=103
1.46 nbSharedEvaluationManagers=814 maxDegree=32 maxArity=5
1.46 => wckTime=1.099 cpuTime=0.92 mem=41M69
1.59
1.59 solver IterativeSystematicSolver being built...
1.92 => wckTime=1.564 cpuTime=1.19 mem=36M732
1.96
1.96 preprocessing
1.96 nbConstraintChecks=0 nbPropagations=2786 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.96 detectedInconsistency=no
1.96 => wckTime=0.029 cpuTime=0.02 mem=36M732
3.21
3.21 search
3.21 run=0 nbConstraintChecks=9601 nbValidityChecks=778 nbPropagations=5394 nbRevisions=6903
3.21 nbUselessRevisions=4299 nbAssignments=472 nbFailedAssignments=5 nbBacktracks=17 nbVisitedNodes=480
3.21 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
3.21 => wckTime=1.279 cpuTime=1.21 mem=36M732
4.28
4.28 search
4.28 run=1 nbConstraintChecks=15812 nbValidityChecks=1787 nbPropagations=12616 nbRevisions=18648
4.28 nbUselessRevisions=11622 nbAssignments=953 nbFailedAssignments=8 nbBacktracks=102 nbVisitedNodes=966
4.28 nbRestartNogoods=4 mapSize=7 nbInferences=0 nbTooLargeKeys=0
4.28 => wckTime=2.353 cpuTime=2.27 mem=36M732
5.33
5.33 search
5.33 run=2 nbConstraintChecks=22227 nbValidityChecks=2819 nbPropagations=21723 nbRevisions=35360
5.33 nbUselessRevisions=22036 nbAssignments=1433 nbFailedAssignments=12 nbBacktracks=196 nbVisitedNodes=1452
5.33 nbRestartNogoods=5 mapSize=12 nbInferences=0 nbTooLargeKeys=0
5.33 => wckTime=3.398 cpuTime=3.29 mem=37M706
6.15
6.15 search
6.15 run=3 nbConstraintChecks=29871 nbValidityChecks=4112 nbPropagations=32993 nbRevisions=57939
6.15 nbUselessRevisions=36144 nbAssignments=1892 nbFailedAssignments=16 nbBacktracks=269 nbVisitedNodes=1918
6.15 nbRestartNogoods=6 mapSize=18 nbInferences=0 nbTooLargeKeys=0
6.15 => wckTime=4.22 cpuTime=4.09 mem=37M706
7.04
7.04 search
7.04 run=4 nbConstraintChecks=40164 nbValidityChecks=6056 nbPropagations=47221 nbRevisions=88830
7.04 nbUselessRevisions=55594 nbAssignments=2341 nbFailedAssignments=20 nbBacktracks=326 nbVisitedNodes=2374
7.04 nbRestartNogoods=7 mapSize=23 nbInferences=0 nbTooLargeKeys=0
7.04 => wckTime=5.111 cpuTime=4.97 mem=37M706
8.00
8.00 search
8.00 run=5 nbConstraintChecks=49139 nbValidityChecks=7867 nbPropagations=64017 nbRevisions=127037
8.00 nbUselessRevisions=79758 nbAssignments=2792 nbFailedAssignments=24 nbBacktracks=412 nbVisitedNodes=2836
8.00 nbRestartNogoods=9 mapSize=32 nbInferences=0 nbTooLargeKeys=0
8.00 => wckTime=6.066 cpuTime=5.91 mem=37M706
9.48
9.48 search
9.48 run=6 nbConstraintChecks=61328 nbValidityChecks=9814 nbPropagations=84191 nbRevisions=174563
9.48 nbUselessRevisions=109777 nbAssignments=3423 nbFailedAssignments=45 nbBacktracks=565 nbVisitedNodes=3498
9.48 nbRestartNogoods=11 mapSize=60 nbInferences=0 nbTooLargeKeys=0
9.48 => wckTime=7.549 cpuTime=7.38 mem=38M679
10.59
10.59 search
10.59 run=7 nbConstraintChecks=70558 nbValidityChecks=12035 nbPropagations=106900 nbRevisions=229844
10.59 nbUselessRevisions=144981 nbAssignments=3955 nbFailedAssignments=55 nbBacktracks=735 nbVisitedNodes=4052
10.59 nbRestartNogoods=13 mapSize=81 nbInferences=0 nbTooLargeKeys=0
10.59 => wckTime=8.658 cpuTime=8.48 mem=38M679
11.71
11.71 search
11.71 run=8 nbConstraintChecks=84459 nbValidityChecks=15240 nbPropagations=133388 nbRevisions=296669
11.71 nbUselessRevisions=187885 nbAssignments=4606 nbFailedAssignments=76 nbBacktracks=999 nbVisitedNodes=4740
11.71 nbRestartNogoods=14 mapSize=116 nbInferences=0 nbTooLargeKeys=0
11.71 => wckTime=9.781 cpuTime=9.59 mem=38M679
13.13
13.13 search
13.13 run=9 nbConstraintChecks=122311 nbValidityChecks=25719 nbPropagations=170401 nbRevisions=398214
13.13 nbUselessRevisions=254612 nbAssignments=5398 nbFailedAssignments=112 nbBacktracks=1384 nbVisitedNodes=5604
13.13 nbRestartNogoods=16 mapSize=184 nbInferences=0 nbTooLargeKeys=0
13.13 => wckTime=11.199 cpuTime=11.0 mem=38M679
14.82
14.82 search
14.82 run=10 nbConstraintChecks=145945 nbValidityChecks=31305 nbPropagations=213775 nbRevisions=519172
14.82 nbUselessRevisions=334140 nbAssignments=6296 nbFailedAssignments=156 nbBacktracks=1972 nbVisitedNodes=6609
14.82 nbRestartNogoods=20 mapSize=288 nbInferences=0 nbTooLargeKeys=0
14.82 => wckTime=12.894 cpuTime=12.66 mem=39M653
16.57
16.57 search
16.57 run=11 nbConstraintChecks=175140 nbValidityChecks=36859 nbPropagations=264656 nbRevisions=663305
16.57 nbUselessRevisions=428927 nbAssignments=7309 nbFailedAssignments=230 nbBacktracks=2865 nbVisitedNodes=7729
16.57 nbRestartNogoods=23 mapSize=385 nbInferences=0 nbTooLargeKeys=0
16.57 => wckTime=14.638 cpuTime=14.39 mem=39M653
18.52
18.52 search
18.52 run=12 nbConstraintChecks=242851 nbValidityChecks=56112 nbPropagations=332388 nbRevisions=867562
18.52 nbUselessRevisions=566059 nbAssignments=8750 nbFailedAssignments=351 nbBacktracks=4166 nbVisitedNodes=9437
18.52 nbRestartNogoods=25 mapSize=648 nbInferences=0 nbTooLargeKeys=0
18.52 => wckTime=16.589 cpuTime=16.32 mem=40M627
18.78
18.78 search
18.78 run=13 nbConstraintChecks=256846 nbValidityChecks=60002 nbPropagations=403566 nbRevisions=1084088
18.78 nbUselessRevisions=711798 nbAssignments=8971 nbFailedAssignments=380 nbBacktracks=4359 nbVisitedNodes=9718
18.78 nbRestartNogoods=29 mapSize=707 nbInferences=0 nbTooLargeKeys=0
18.78 => wckTime=16.847 cpuTime=16.58 mem=40M627
18.78
18.78 global
18.78 nbConstraintChecks=256846 nbValidityChecks=60002 nbPropagations=406352 nbRevisions=1084088
18.78 nbUselessRevisions=711798 nbRestartNogoods=29 solvingWckTime=16.849 solvingCpuTime=16.58 expiredTime=no
18.78 totalExploration=yes nbFoundSolutions=0 globalCpuTime=17.82
18.78 => wckTime=18.42 cpuTime=17.77 mem=40M627
18.78
18.78 s UNSATISFIABLE
18.78 d NODES 8971
18.78 d CHECKS 256846
18.78
18.78 totalWckTime=18.507 totalCpuTime=17.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-212806-1168077299 -o ROOT/results/node11/solver-212806-1168077299 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212806-1168077299/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.06 2.05 1.97 5/93 28996
/proc/meminfo: memFree=870360/2055920 swapFree=4192812/4192956
[pid=28995] ppid=28993 vsize=18540 CPUtime=0
/proc/28995/stat : 28995 (runsolver) R 28993 28995 28126 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156124953 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28995/statm: 4635 279 244 17 0 2626 0
[startup+0.107914 s]
/proc/loadavg: 2.06 2.05 1.97 5/93 28996
/proc/meminfo: memFree=870360/2055920 swapFree=4192812/4192956
[pid=28995] ppid=28993 vsize=907808 CPUtime=0.07
/proc/28995/stat : 28995 (java) R 28993 28995 28126 0 -1 0 2521 0 1 0 5 2 0 0 17 0 4 0 156124953 929595392 2268 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155274508 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/28995/statm: 226952 2268 1238 14 0 214535 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 907808
[startup+0.515991 s]
/proc/loadavg: 2.06 2.05 1.97 5/93 28996
/proc/meminfo: memFree=870360/2055920 swapFree=4192812/4192956
[pid=28995] ppid=28993 vsize=915328 CPUtime=0.47
/proc/28995/stat : 28995 (java) R 28993 28995 28126 0 -1 0 6272 0 1 0 42 5 0 0 19 0 8 0 156124953 937295872 6011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380209 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28995/statm: 228832 6011 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33716 s]
/proc/loadavg: 2.06 2.05 1.97 3/100 29003
/proc/meminfo: memFree=829216/2055920 swapFree=4192812/4192956
[pid=28995] ppid=28993 vsize=915640 CPUtime=1.28
/proc/28995/stat : 28995 (java) R 28993 28995 28126 0 -1 0 14120 0 1 0 101 27 0 0 24 0 8 0 156124953 937615360 13858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8400106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28995/statm: 228910 13858 2167 14 0 215380 0
[pid=28995/tid=28997] ppid=28993 vsize=915640 CPUtime=0
/proc/28995/task/28997/stat : 28997 (java) S 28993 28995 28126 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 156124960 937615360 13858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=28998] ppid=28993 vsize=915640 CPUtime=0
/proc/28995/task/28998/stat : 28998 (java) S 28993 28995 28126 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156124960 937615360 13858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=28999] ppid=28993 vsize=915640 CPUtime=0
/proc/28995/task/28999/stat : 28999 (java) S 28993 28995 28126 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156124960 937615360 13858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29000] ppid=28993 vsize=915640 CPUtime=0
/proc/28995/task/29000/stat : 29000 (java) S 28993 28995 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156124964 937615360 13858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29001] ppid=28993 vsize=915640 CPUtime=0.21
/proc/28995/task/29001/stat : 29001 (java) S 28993 28995 28126 0 -1 64 428 0 0 0 20 1 0 0 16 0 8 0 156124964 937615360 13858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29002] ppid=28993 vsize=915640 CPUtime=0
/proc/28995/task/29002/stat : 29002 (java) S 28993 28995 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124964 937615360 13858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29003] ppid=28993 vsize=915640 CPUtime=0
/proc/28995/task/29003/stat : 29003 (java) S 28993 28995 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124964 937615360 13858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915640
[startup+2.97949 s]
/proc/loadavg: 2.06 2.05 1.97 4/100 29003
/proc/meminfo: memFree=813792/2055920 swapFree=4192812/4192956
[pid=28995] ppid=28993 vsize=915728 CPUtime=2.91
/proc/28995/stat : 28995 (java) R 28993 28995 28126 0 -1 0 16822 0 1 0 257 34 0 0 25 0 8 0 156124953 937705472 16558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28995/statm: 228932 16558 2530 14 0 215402 0
[pid=28995/tid=28997] ppid=28993 vsize=915728 CPUtime=0.11
/proc/28995/task/28997/stat : 28997 (java) S 28993 28995 28126 0 -1 64 1584 0 0 0 11 0 0 0 17 0 8 0 156124960 937705472 16558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=28998] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/28998/stat : 28998 (java) S 28993 28995 28126 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156124960 937705472 16558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=28999] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/28999/stat : 28999 (java) S 28993 28995 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124960 937705472 16558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29000] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/29000/stat : 29000 (java) S 28993 28995 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156124964 937705472 16558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29001] ppid=28993 vsize=915728 CPUtime=0.34
/proc/28995/task/29001/stat : 29001 (java) S 28993 28995 28126 0 -1 64 501 0 0 0 32 2 0 0 15 0 8 0 156124964 937705472 16558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29002] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/29002/stat : 29002 (java) S 28993 28995 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124964 937705472 16558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29003] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/29003/stat : 29003 (java) S 28993 28995 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124964 937705472 16558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915728
[startup+6.28114 s]
/proc/loadavg: 2.06 2.05 1.97 3/100 29003
/proc/meminfo: memFree=813664/2055920 swapFree=4192812/4192956
[pid=28995] ppid=28993 vsize=915728 CPUtime=6.18
/proc/28995/stat : 28995 (java) R 28993 28995 28126 0 -1 0 16848 0 1 0 583 35 0 0 25 0 8 0 156124953 937705472 16581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074103945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28995/statm: 228932 16581 2534 14 0 215402 0
[pid=28995/tid=28997] ppid=28993 vsize=915728 CPUtime=0.11
/proc/28995/task/28997/stat : 28997 (java) S 28993 28995 28126 0 -1 64 1585 0 0 0 11 0 0 0 17 0 8 0 156124960 937705472 16581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=28998] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/28998/stat : 28998 (java) S 28993 28995 28126 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156124960 937705472 16581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=28999] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/28999/stat : 28999 (java) S 28993 28995 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124960 937705472 16581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29000] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/29000/stat : 29000 (java) S 28993 28995 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156124964 937705472 16581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29001] ppid=28993 vsize=915728 CPUtime=0.38
/proc/28995/task/29001/stat : 29001 (java) S 28993 28995 28126 0 -1 64 520 0 0 0 35 3 0 0 16 0 8 0 156124964 937705472 16581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29002] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/29002/stat : 29002 (java) S 28993 28995 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124964 937705472 16581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29003] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/29003/stat : 29003 (java) S 28993 28995 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124964 937705472 16581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915728
[startup+12.7644 s]
/proc/loadavg: 2.05 2.05 1.97 3/100 29003
/proc/meminfo: memFree=813664/2055920 swapFree=4192812/4192956
[pid=28995] ppid=28993 vsize=915728 CPUtime=12.6
/proc/28995/stat : 28995 (java) R 28993 28995 28126 0 -1 0 16851 0 1 0 1225 35 0 0 25 0 8 0 156124953 937705472 16582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074089260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28995/statm: 228932 16582 2534 14 0 215402 0
[pid=28995/tid=28997] ppid=28993 vsize=915728 CPUtime=0.11
/proc/28995/task/28997/stat : 28997 (java) S 28993 28995 28126 0 -1 64 1585 0 0 0 11 0 0 0 16 0 8 0 156124960 937705472 16582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=28998] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/28998/stat : 28998 (java) S 28993 28995 28126 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156124960 937705472 16582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=28999] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/28999/stat : 28999 (java) S 28993 28995 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124960 937705472 16582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29000] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/29000/stat : 29000 (java) S 28993 28995 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156124964 937705472 16582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29001] ppid=28993 vsize=915728 CPUtime=0.38
/proc/28995/task/29001/stat : 29001 (java) S 28993 28995 28126 0 -1 64 521 0 0 0 35 3 0 0 15 0 8 0 156124964 937705472 16582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29002] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/29002/stat : 29002 (java) S 28993 28995 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124964 937705472 16582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28995/tid=29003] ppid=28993 vsize=915728 CPUtime=0
/proc/28995/task/29003/stat : 29003 (java) S 28993 28995 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124964 937705472 16582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915728
Child status: 0
Real time (s): 18.8323
CPU time (s): 18.5902
CPU user time (s): 18.2172
CPU system time (s): 0.372943
CPU usage (%): 98.7141
Max. virtual memory (cumulated for all children) (KiB): 915824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.2172
system time used= 0.372943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16868
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= 2061
involuntary context switches= 2603
runsolver used 0.025996 s user time and 0.068989 s system time
The end
Begin job on node11 on Sat Jan 6 09:54:59 UTC 2007
IDJOB= 212806
IDBENCH= 4799
FILE ID= node11/212806-1168077299
PBS_JOBID= 3475776
Free space on /tmp= 66310 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/bf-2670-001.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212806-1168077299/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-212806-1168077299 -o ROOT/results/node11/solver-212806-1168077299 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212806-1168077299/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 254fa29df9e9670d71c11b5fd4b239c4
RANDOM SEED= 222425412
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.261
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 : 5931.00
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.261
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: 870840 kB
Buffers: 39784 kB
Cached: 250304 kB
SwapCached: 0 kB
Active: 886164 kB
Inactive: 213488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 870840 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2368 kB
Writeback: 0 kB
Mapped: 837748 kB
Slab: 68648 kB
Committed_AS: 5109392 kB
PageTables: 3884 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= 66310 MiB
End job on node11 on Sat Jan 6 09:55:18 UTC 2007